Справедливо ли данное логическое следование. Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по логике
Справедливо ли данное логическое следование

Справедливо ли данное логическое следование .pdf

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

Условие

Справедливо ли данное логическое следование, будет ли верно обратное следование? ¬P↔¬Q⊨¬P∧Q.

Решение

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

Формула G является логическим следствием формулы F, если в случае, когда истинна F обязательно истинна G . Составим таблицы истинности и проверим.
В 4-й строке формула ¬P↔¬Q истинна а ¬P∧Q — ложна; во 2-й 3-й строках истинна ¬P∧Q а ¬P↔¬Q — ложна

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

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

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