Выразите в символической форме структуру рассуждения и табличным способом установите его правильность (является ли оно логическим законом). Бесплатный доступ к решению задач

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

Выразите в символической форме структуру рассуждения и табличным способом установите его правильность (является ли оно логическим законом) .pdf

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

Условие

Выразите в символической форме структуру рассуждения и табличным способом установите его правильность (является ли оно логическим законом). Если мистер Смит счастлив, то миссис Смит несчастлива, и если мистер Смит несчастлив, то миссис Смит счастлива. Значит, мистер Смит счастлив исключительно тогда, когда миссис Смит несчастна.

Решение

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

Пусть А – «мистер Смит счастлив»
В- «миссис Смит счастлив»
((А→В)∩(А→В))→(А≡В)
Построим таблицу истинности
А В А
В
А→В
А→В
(А→В)∩(А→В)
А≡В
((А→В)∩(А→В))→(А≡В)
0 0 1 1 1 0 0 0 1
0 1 1 0 1 1 1 1 1
1 0 0 1 1 1 1 1 1
1 1 0 0 0 1 0 0 1
Рассуждение правильное (является логическим законом)

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

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

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