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