[[файл:СЕК30п.JPG]]
== Другие понятия: ==
*[[логический закон]];*[[логическая функция]];*[[таблица истинности]];*[[карта Карно]];*[[трёхмерная карта Карно]];*[[полином Жегалкина]];*[[предикат]];*[[секвенции]];*[[силлогизм]];*[[суждение]];*[[умозаключение]].{{Список ЛП}}
== Ссылки ==
* Генцен Г. Исследования логических выводов. В кн. Математическая теория логического вывода, М, 1967, с. 9—74.
* [[Участник:Logic-samara]]
[[Категория:Дискретная математика]][[Категория:Логика]]