Условие:
Методом от противного выяснить, верны ли следующие логические следования:
2) P ⇒ Q, Q ⇒ ¨P ╞ ¨P
Решение:
Справедливость данного логического следования покажем методом доказательства от противного. Допустим, что данное логическое следование не выполняется, т.е. существуют такие истинностные значения пропозициональных переменных Р, Q, R, при которых истинностные значения формул-посыл...