Табличным способом обоснуйте правильность вывода. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по логике
Табличным способом обоснуйте правильность вывода

Табличным способом обоснуйте правильность вывода .pdf

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

Условие

Табличным способом обоснуйте правильность вывода: Установлено, что преступление могли совершить Соколов, Дадаев или Больняк. Известно, что Дадаев никогда не совершает преступления без Больняка. Следовательно, если Больняк не совершал преступления, то его совершил Соколов.

Ответ

формула принимает все значения истинности, следовательно, вывод умозаключения правильный.

Решение

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

Умозаключение состоит из трех простых суждений:
p – «Соколов совершил преступление»;
q – «Дадаев совершил преступление»;
r – «Больняк совершил преступление»;
Символическая запись сложных суждений:
1. «Преступление могли совершить Соколов, Дадаев или Больняк»:
р q r.
2 . Дадаев никогда не совершает преступления без Больняка:
q ↔ r.
3. «Если Больняк не совершал преступления, то его совершил Соколов:
¬r → р.
Схема умозаключения: ((р q r) (q ↔ r)) → (¬r → р).
Таблица истинности:
Порядок действий → 1 2 4 3 6 5
р q r ¬r р q r (q ↔ r) → (¬r → р)
и и и л и и и и и и
и и л и и и л л и и
и л и л и и л л и и
и л л и и и и и и и
л и и л и и и и и и
л и л и и и л л и л
л л и л л и л л и и
л л л и л л л и и л
Ответ: формула принимает все значения истинности, следовательно, вывод умозаключения правильный.

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

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

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