Статья 288

Из термов обычным образом строятся четыре вида силлогистических атомарных формул.
Система расширенной силлогистики содержит аксиомы всей системы, дополнительные аксиомы и единственное правило вывода.
Булева алгебра классов в терминах операций включения, объединения, пересечения и дополнения задается аксиомами.
Эквивалентность этой системы и системы расширенной силлогистики можно доказать, используя определение отношения включения в терминах силлогистики и определений силлогистических утверждений в терминах отношения включения.
Таким образом, различие языков и способов формализации не является принципиальным в логическом исследовании содержательных рассуждений. Что касается собственно силлогистики, то ее аппарат и методы не утратили своего значения и по сей день.

включения

включения


Они находят различные приложения в анализе содержательных рассуждений и в более специальных областях.