Формализуйте приведённые ниже суждения и постройте соответствующую таблицу истинности. Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по логике
Формализуйте приведённые ниже суждения и постройте соответствующую таблицу истинности

Формализуйте приведённые ниже суждения и постройте соответствующую таблицу истинности .pdf

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

Условие

Формализуйте приведённые ниже суждения и постройте соответствующую таблицу истинности. А – Арчибальд заработал на афёре. В – Велемир заработал на афёре. С – Синдбад заработал на афёре. На афёре заработал либо Синдбад, либо Арчибальд. При этом если Арчибальд заработал на афёре, на ней обязательно заработал и Велемир. Отсюда: Синдбад или Велемир заработали на афёре.

Решение

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

Формализованное суждение имеет вид
(С∪А∩А→В)→(В∪С)
Построим таблицу истинности
А В С С∪А
А→В
С∪А∩А→В
В∪С
(С∪А∩А→В)→(В∪С)
0 0 0 0 1 0 0 1
0 0 1 1 1 1 1 1
0 1 0 0 1 0 1 1
0 1 1 1 1 1 1 1
1 0 0 1 0 0 0 1
1 0 1 1 0 0 1 1
1 1 0 1 1 1 1 1
1 1 1 1 1 1 1 1
Данное рассуждение является верным

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

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

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