Средствами таблично построенной логики высказываний установите, является ли правильным следующее рассуждение: «Если...
Условие задачи
Средствами таблично построенной логики высказываний установите, является ли правильным следующее рассуждение:
«Если Джон не общался этой ночью со Смитом, когда было совершено преступление, то Смит мог быть причастен к совершённому преступлению. Надёжность Джона подвергается сомнению. Следовательно, либо Смит преступник, либо Джон лжет».
Добавлено: 2025-08-31 23:54:37
Решение
Переведём рассуждение на формальный язык логики высказываний. Введём обозначения:
$$ A: \text{Джон общался этой ночью со Смитом} $$
Метод решения
Таблично построенная логика высказываний (построение таблицы истинности или поиск контрпримера)
Что будет в полном решении
Формализация высказываний, построение таблицы истинности для посылок и заключения, проверка наличия строки с истинными посылками и ложным заключением.
Часто задаваемые вопросы
Вы можете оплатить с помощью банковской карты или любого доступного способа. Сразу после оплаты решение откроется на странице и придет на ваш email.
Решение доступно мгновенно после оплаты.
Да, после завершения платежа вы получите электронный чек на указанный email.
Попробуйте повторить платеж или свяжитесь с нашей поддержкой, мы поможем решить проблему.