Условие:
Является ли формула ((P ⊃ Q) & P) ⊃ (Q ⊃ ¬P) тавтологией?
Решение:
Предположим, что формула ((P Q) P) (Q P)ложна при некоторых значениях высказывательных переменных P и Q.
| ((P Q) P) (Q P)= Л |

Является ли формула ((P ⊃ Q) & P) ⊃ (Q ⊃ ¬P) тавтологией?
Предположим, что формула ((P Q) P) (Q P)ложна при некоторых значениях высказывательных переменных P и Q.
| ((P Q) P) (Q P)= Л |
Не нашел нужную задачу?