Académique Documents
Professionnel Documents
Culture Documents
The propositional logic enclosing to the sets theory with selfconsidering and the theorem
about the “third exeption” law was described.
Keywords: sets with selfconsidering, propositional logic,the theorem about the “third
exeption” law, set theory
Page 1 from 2
Chechulin V. L., About the simplest model of the logic in the selfconsidering’s semantic
exeption” law was executioned: ¬¬х = х, ((х ∈ ∅)∈ ∅) = x (see the table 2),— analogies
to the overs logical acsioms [2, с. 46–47]1. The teorem was prooved.
Theorem 1 (about “third exeption” law). In the too significant logic the negation’s
negation of the logical value is identital to the this value, ¬¬х = х.
Like that, the simplest logic’s model in the selfconsidering’s semantic was
constructed; therefore sets theory’s objects and logic was the one levels constructions.
On the other side of the theory of sets to look in more detail in [7], [5],
Bibliography
1. Goldblatt R., Toposy, kategorniy analiz logiki, М.: "Mir", 1983.— 488 р.
2. Kolmogorov А. А., Dragaling G. А., Matematicheskaya logika, М.: "МGU", 2002.—
240 р.
3. Frenkel A., Bar-Hillel I., Osnovaniya teorii mnozhestv, М.: "Мir", 1961.
4. Chechulin V. L. Sets with selfconsidering // University research (Russia), 2009,
http://www.uresearch.psu.ru/files/articles/18_96185.doc
5. Chechulin, V. L. Set theory with selfconsidering (foundation and some applications):
monography / V. L. Chechulin; Perm State University.— Perm (Russia), 2010.— 100 p.
ISBN 978-5-7944-1468-4
http://elibrary.ru/item.asp?id=15267103
6. Chechulin V. L. Informatization of the process of producing formalin / V. L. Chechulin,
V. G. Ardavichus, O. V. Kolbasina // Russian Journal of Applied Chemistry.– 2008.– Vol.
81, No. 6.– pp. 1112–1116.
7. Chechulin V. L. About the selfconsidering semantic in the mathematical logic. / V. L.
Chechulin // Bull. Symbolic Logic.– 2010.– Vol. 16, №1, pp. 111–112 (European Summer
Meeting of the Association for Symbolic Logic: Logic Colloquium '09.– Sofia, Bulgaria.–
2009.– July 31—August 5.)
1
This description of the logical constants was presented the more natural, than, for example, kategories
desckription [1, p. 138 and so on].
Page 2 from 2