В столбце … таблицы находятся значения дизъюнкции 
В столбце … таблицы находятся значения импликации 
В столбце … таблицы находятся значения функции ↔
В столбце … таблицы находятся значения функции конъюнкции 
Правило Modus tollens имеет вид …
Правило Modus Рonenc имеет вид …
Предикат P(x1,x2,...,xn), заданный на множестве
, называется выполнимым, если существует такой набор переменных, взятый из множеств Mi , что при подстановке их вместо xi получим …