Условие задачи
Является ли формула ((P ⊃ Q) & P) ⊃ Q тавтологией?
Ответ
Предположим, что ((P Q) P) Q ложна при некоторых значениях высказывательных переменных P и Q. Представим наши рассуждения в виде таблицы. Каждая следующая строчка таблицы есть логичес...