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

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