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