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