Логотип Автор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% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше контрольных работ по логике:
Все Контрольные работы по логике
Закажи контрольную работу

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