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

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