Professional 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
to the overs logical acsioms [7, с. 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], [7],
Bibliography
7. Goldblatt R., Toposy, kategorniy analiz logiki, М.: "Mir", 1983.— 488 р.
7. Kolmogorov А. А., Dragaling G. А., Matematicheskaya logika, М.: "МGU", 2002.—
240 р.
7. Frenkel A., Bar-Hillel I., Osnovaniya teorii mnozhestv, М.: "Мir", 1961.
7. Chechulin V. L. Sets with selfconsidering // University research (Russia), 2009,
http://www.uresearch.psu.ru/files/articles/18_96185.doc
7. 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
7. 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 [7, p. 138 and so on].
Page 2 from 2