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

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