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

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

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

Табличным способом обоснуйте правильность вывода

990 символов
Логика
Контрольная работа

Установите какие законы логики нарушены

735 символов
Логика
Контрольная работа

Проанализируйте силлогизм назовите ошибку

1043 символов
Логика
Контрольная работа
Все Контрольные работы по логике
Закажи контрольную работу
Оставляя свои контактные данные и нажимая «Узнать стоимость», я соглашаюсь пройти процедуру регистрации на Платформе, принимаю условия Пользовательского соглашения и Политики конфиденциальности в целях заключения соглашения.

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