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

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