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

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

Проверить правильность логического рассуждения .pdf

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

Условие

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

Решение

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

Введем следующие обозначения:
А="Почтальон будет приносить газеты вовремя",
В="Люди будут покупать газеты в киоске",
C="Люди будут слушать радио",
D= "Тираж газет будет уменьшен".
Запишем в виде формул алгебры логики приведенные рассуждения.
Посылки: A→(B ⋁ C), B→D, D ∧ A →C.
Заключение: В.
Рассуждение считается правильным только в том случае, если из конъюнкции посылок следует заключение . Т.е. в нашем случае надо проверить, что формула
F= (A→(B ⋁ C)) ∧ (B→D) ∧ (D ∧ A →C) → В
является тавтологией.
Обозначим: F1=A→(B ⋁ C), F2=B→D, F3= D ∧ A →C.
Составим таблицу истинности:
A B C D A
B ⋁ C F1 В
B→D D ∧ A
С
D ∧ A →C
F1∧F2∧F3
F= F1∧F2∧F3→ В
0 0 0 0 1 0 0 1 0 0 1 1 0 1
0 0 0 1 1 0 0 1 1 1 1 1 0 1
0 0 1 0 1 1 1 1 0 0 0 1 0 1
0 0 1 1 1 1 1 1 1 1 0 0 0 1
0 1 0 0 1 1 1 0 1 0 1 1 1 1
0 1 0 1 1 1 1 0 1 1 1 1 1 1
0 1 1 0 1 1 1 0 1 0 0 1 1 1
0 1 1 1 1 1 1 0 1 1 0 0 0 1
1 0 0 0 0 0 1 1 0 0 1 1 0 1
1 0 0 1 0 0 1 1 1 0 1 1 1 0
1 0 1 0 0 1 1 1 0 0 0 1 0 1
1 0 1 1 0 1 1 1 1 0 0 1 1 0
1 1 0 0 0 1 1 0 1 0 1 1 1 1
1 1 0 1 0 1 1 0 1 0 1 1 1 1
1 1 1 0 0 1 1 0 1 0 0 1 1 1
1 1 1 1 0 1 1 0 1 0 0 1 1 1
В последнем столбце имеются нули

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

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

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