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

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