Условие задачи
Докажите, что справедливы следующие логические следования, руководствуясь определением этого понятия; выясните, будут ли верны обратные следования, т.е. будет ли формула, стоящая слева, логическим следствием формулы справа:
Ответ
Пусть((QP)P)=1.
Тогда ((QP))=1 и (P)=0 невозможно, т.е. невозможно, чтобы (P)=0 и (Q)=1.
Если(P)=0 и (Q)=0, то ((QP))=0,а значит((QP)(PQ))=1.
Если (P)=1 и (Q)=0, то ((QP))=0, а...