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