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

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

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

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

Условие

Формализуйте приведённые ниже суждения и постройте соответствующую таблицу истинности. А – армрестлинг был запрещён, В – борьба была запрещена, С – крокет был запрещён. Если Международный Олимпийский комитет запретит борьбу, он будет вынужден запретить и армрестлинг, однако, если будет запрещён крокет, армрестлинг не запретят ни в коем случае. Выходит, что запрещён будет крокет или армрестлинг.

Решение

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

Формула рассуждения:
((В→А)&(С→¬А))→(С˅А)
Построим для данной формулы таблицу истинности. Количество строк в таблице будет равно 2n, где 2 обозначает количество возможных логических значений (истина или ложь), n – количество переменных . 23 = 8.
1 2 3 4 5 6
А В С В→А ¬А С→¬А (В→А)&(С→¬А) С˅А ((В→А)&(С→¬А))→(С˅А)
и и и и л л л и и
и и л и л и и и и
и л и и л л л и и
и л л и л и и и и
л и и л и и л и и
л и л л и и л л и
л л и и и и и и и
л л л и и и и л л
Из таблицы истинности видно формула является выполнимой, но не является тождественно истинной, поскольку имеются и истинные и ложное итоговое значение формулы.

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

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

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