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