Докажите что справедливы следующие логические следование. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по высшей математике
Докажите что справедливы следующие логические следование

Докажите что справедливы следующие логические следование .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

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

Решение

Потяни, чтобы посмотреть

Пусть λ(¬Q→P→P)=1. Тогда λ(¬Q→P)=1 и λP=0 невозможно, т.е. невозможно, чтобы λP=0 и λQ=1. Если λP=0 и λQ=0, то λ¬Q→P=0, а значит
λ¬Q→P→P↔Q=1. Если λP=1 и λQ=0, то λ¬Q→P=0, а значит λ¬Q→P→P↔Q=1 . Если λP=1 и λ1=1, то λ¬Q→P=0, а значит λ¬Q→P→P↔Q=1.
Таким образом, ¬Q→P→P ⊨ ¬Q→P→P↔Q.
Пусть λ¬Q→P→P↔Q=1, тогда невозможно, что бы λ¬Q→P=1,
а λQ↔P=0, т

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу