[Логика Классов]
а- раздел математической логики, соответнствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. к. соответствует и силлогистике Аристотеля. Иногда Л. к. рассматривается как формализованная теория множеств, в других случаях - как расширение логики выснказываний. Если в логике высказываний отвлекаются от связей межнду субъектом и предикатом высказывания, то в Л. к. эти связи учинтываются. В число классов в Л. к. включается и пустой класс (0), содержащий нулевое множество элементов, и универсальный класс (1), включающий все объекты рассматриваемой области. С классанми можно производить операции пересечения, объединения и дополннения. К алфавиту логики высказываний в Л.к. добавляются перенменные а, b, с, ... для классов; знаки, обозначающие операции с классами; постоянные термы 0 и 1 и знаки для обозначения отнношений между классами. Далее дается индуктивное определение терма и класса. Вводятся отношение включения класса в класс (аb) (а включается в класс b), отношение равенства двух класнсов (а=b). Оба эти отношения могут быть определены через отноншение принадлежности элемента классу (аÎb). Элементарные формулы в Л. к. имеют вид: иÌv, u=v, где и и v Ч термы. Если формула Р является истинной, то это означает, что она истинна для любых классов области, являющихся значениями переменных, входящих в формулу Р. Если она истинна в любых областях, то она тождественно-истинна. Так, формула (a Ç b Ì a) гласит, что всякий элемент, содержащийся в обоих классах а и b, содержится и в классе а. Эта формула истинна не только для люнбых классов а и b данной области D, но и для всяких классов любой области D. Таблицы истинности, соответствующие возможным значениням для термов (u Ç v), (u È v), u', (и É v), (u= v), будут совпадать соответнственно с таблицами конъюнкции, дизъюнкции, отрицания, импликанции, эквивалентности. Четыре Аристотелевы формы элементарных высказываний Ч общеутвердительного А, частноутвердительного I, общеотрицательного Е, частноотрицательного О (см.: Сужденние) Ч могут быть соответственно выражены так: и Ì v (лВсе и суть v
