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

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

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

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

Условие

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

Решение

Потяни, чтобы посмотреть
Формализованное суждение имеет вид
(А→С∩В→С)→(А∪С)
Построим таблицу истинности
А В С А
А→С
С
В→С
(А→С∩В→С)
А∪С
(А→С∩В→С)→(А∪С)
0 0 0 1 0 1 1 0 1 1
0 0 1 1 1 0 1 1 1 1
0 1 0 1 0 1 1 0 1 1
0 1 1 1 1 0 0 0 1 1
1 0 0 0 1 1 1 1 1 1
1 0 1 0 1 0 1 1 0 0
1 1 0 0 1 1 1 1 1 1
1 1 1 0 1 0 0 0 0 1
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше контрольных работ по логике:

Перечислите определения нарушающие правила

550 символов
Логика
Контрольная работа
Все Контрольные работы по логике