Лобанов В.И. Русская логика для школьников (азбука математической логики)

М.: Эндемик, 2004. — 122 с.Азбука математической логики. Данное пособие является общедоступным изложением основ Русской, истинно математической логики. Вскрывая противостояние Русской и классической логики, автор показывает, что силлогистика Аристотеля не имеет никакого отношения к логике здравого смысла. Книга полезна школьникам и академикам, "физикам" и "лирикам".Русская логика для школьников.
Предисловие.
Инженерная логика.
Комбинационные логические цепи.
Основные положения алгебры логики.
Алгебра множеств.
Синтез комбинационных схем.
Минимизация полностью определённых булевых функций.
Оценка сложности реализации булевых функций.
Формы задания булевых функций.
Минимизация недоопределённых булевых функций.
Минимизация системы булевых функций.
Математическая логика суждений и предикатов.
Законы логики суждений.
Алгоритм «Импульс».
Практикум по логике суждений.
Троичная логика.
Базисы силлогистики.
Все x суть y(Axy).
Ни один x не есть y(Exy).
Некоторые x суть y.
Силлогистика Аристотеля - Жергонна.
Алгоритм "Осташ-Т" (тест).
Алгоритм «ТВАТ» (графический синтез силлогизмов).
Алгоритм «РЕДАН» (синтез недостающей посылки).
Алгоритм "ИЭИ "(синтез заключения).
Ошибки Аристотеля.
Заключение.
Атомарная силлогистика.
Практикум по силлогистике.
Практикум по решению соритов.
Алгоритм «Осташков».
Естественный вывод и кванторы.
Логика П.С.Порецкого.
Логика Л.Кэрролла.
Вероятностная логика.
Дисциплина мышления.
Заключение.
Краткий справочник по русской логике.
Перечень сокращений.
Литература.
Оглавление.