Логотип Автор24реферат
Задать вопрос
%
уникальность
не проверялась
Контрольная работа на тему:

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

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

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

Условие

Формализуйте приведённые ниже суждения и постройте соответствующие таблицы истинности. А – Амелия унаследовала поместье; В – Беатриче унаследовала поместье; С – Клара унаследовала поместье. I. Если поместье досталось Амелии, оно не достанется Беатриче. Но если Клара получит поместье, она поделится с Беатриче. Значит, поместье достанется Амелии, либо Беатриче.

Решение

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

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.