1. Главная
  2. Библиотека
  3. Логика
  4. Решите следующую математическую задачу на логику высказываний. Является ли формула ((P ⊃ Q) & P) ⊃ (Q ⊃ ¬P) тавтологией?...

Решите следующую математическую задачу на логику высказываний. Является ли формула ((P ⊃ Q) & P) ⊃ (Q ⊃ ¬P) тавтологией?

«Решите следующую математическую задачу на логику высказываний. Является ли формула ((P ⊃ Q) & P) ⊃ (Q ⊃ ¬P) тавтологией?»
  • Логика

Условие:

Является ли формула ((P ⊃ Q) & P) ⊃ (Q ⊃ ¬P) тавтологией?

Решение:

Предположим, что формула ((P Q) P) (Q P)ложна при некоторых значениях высказывательных переменных P и Q.

((P Q) P) (Q P)= Л
(P Q) P = И ...

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет