Выясните выполняется ли логическое следование P→Q. Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по высшей математике
Выясните выполняется ли логическое следование P→Q

Выясните выполняется ли логическое следование P→Q .pdf

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

Условие

Выясните, выполняется ли логическое следование P→Q, R→S, ¬Q∧¬S⊨Q

Решение

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

По определению Φ1, Φ2, Φ3⊨Ψ если при одновременной истинности Φ1, Φ2, Φ3 обязательно истинна Ψ . Предположим, что P→Q, R→S, ¬Q∧¬S — истинны, а ¬P∧¬Q — ложна. Тогда Q — истинна или P — истинна; поскольку истинна P→Q, то получаем P — ложна и Q — истинна но тогда будет ложна ¬Q∧¬S — противоречие

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

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

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