Классическая логика
Двузначная логика с законами тождества, противоречия и исключённого третьего. Аристотель (384-322 до н.э.) — основатель. Силлогизмы, логика предикатов.
Классическая логика
Высказывания и операции
Высказывание: истинно (T) или ложно (F). Операции: ¬ (отрицание), ∧ (конъюнкция, И), ∨ (дизъюнкция, ИЛИ), → (импликация), ↔ (эквивалентность). Таблицы истинности. Законы: коммутативность, ассоциативность, дистрибутивность, де Моргана. Тавтология: всегда истинно. Противоречие: всегда ложно.
Силлогизмы
Дедуктивное умозаключение из двух посылок. Структура: большая посылка, меньшая посылка, заключение. Пример: Все люди смертны. Сократ — человек. ∴ Сократ смертен. Фигуры и модусы силлогизма. Barbara, Celarent, Darii, Ferio. Аристотель, IV в. до н.э. Основа формальной логики.