Условие:
Проверить, имеет ли место отношение логического следования между следующими формулами классической
пропозициональной логики:

Проверить, имеет ли место отношение логического следования между следующими формулами классической
пропозициональной логики:
Ответ
q, (p q) |= p
(q (p q)) p