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

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

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

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

Условие

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

Решение

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

Зададим переменные простым суждениям: «Если Иванов является участником преступления (р), то он знал потерпевшего (q). Иванов не знал потерпевшего (¬q), но знал его жену (r). Потерпевший знал Иванова (s) . Следовательно, Иванов – преступник (р)».
Символическая запись: ((p → q) ¬q r s) → р.
Таблица истинности:
р q r s q ((p → q) ¬q r s) → р
и и и и л и л л л и
и и и л л и л л л и
и и л и л и л л л и
и и л л л и л л л и
и л и и и л л л л и
и л и л и л л л л и
и л л и и л л л л и
и л л л и л л л л и
л и и и л и л л л и
л и и л л и л л л и
л и л и л и л л л и
л и л л л и л л л и
л л и и и и и и и л
л л и л и и и и л и
л л л и и и и л л и
л л л л и и и л л и
Умозаключение не правильное, содержит противоречие, формула случайная (принимает оба значения).

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

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

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