1. Главная
  2. Библиотека
  3. Высшая математика
  4. Докажите, что справедливы следующие логические следования, руководствуясь определением этого понятия; выясните, будут ли в...

Докажите, что справедливы следующие логические следования, руководствуясь определением этого понятия; выясните, будут ли верны обратные следования, т.е. будет ли формула, стоящая слева, логическим следствием формулы справа:

«Докажите, что справедливы следующие логические следования, руководствуясь определением этого понятия; выясните, будут ли верны обратные следования, т.е. будет ли формула, стоящая слева, логическим следствием формулы справа:»
  • Высшая математика

Условие:

Докажите, что справедливы следующие логические следования, руководствуясь определением этого понятия; выясните, будут ли верны обратные следования, т.е. будет ли формула, стоящая слева, логическим следствием формулы справа:

Решение:

Пусть((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, а...

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет