Консультации Портала - Консультация #192019

Задать вопрос Консультации Пользователи Форум

Задать вопрос экспертам

Консультация № 192019

06.12.2017, 17:16

0.00 руб.

0 1 1

Образование

Здравствуйте, уважаемые эксперты! Прошу вас ответить на следующий вопрос:

Записать следующее высказывание в виде формул логики высказываний, используя логические переменные для обозначения элементарных высказываний, т.е. таких, которые уже не могут быть построены с помощью каких-либо других высказываний. Для полученной формулы логики высказывания составить таблицу истинности:

Неверно, что и Петров, и Иванов не имеют алиби; значит, хотя бы один из
них не преступник.

Обсуждение

давно

Гордиенко Андрей Владимирович

Мастер-Эксперт
17387
18345

08.12.2017, 10:50

общий

это ответ

Здравствуйте, Zloe Zlo!

Обозначим элементарные высказывания так:
a -- Петров не имеет алиби;
b -- Иванов не имеет алиби.

Фраза "хотя бы один из них не преступник" на обычном языке означает, что или Петров имеет алиби, или Иванов имеет алиби, или оба имеют алиби. Слово "значит" указывает на причинно-следственную связь. Поэтому заданное высказывание можно записать так:

[$172$](a [$8743$] b) [$8594$] ([$172$]a [$8744$] [$172$]b).

Таблица истинности для этой формулы показана ниже.

[table]
[row][col] a [/col][col] b [/col][col] [$172$]a [/col][col] [$172$]b [/col][col] a [$8743$] b [/col][col] [$172$](a [$8743$] b) [/col][col] [$172$]a [$8744$] [$172$]b [/col][col] [$172$](a [$8743$] b) [$8594$] ([$172$]a [$8744$] [$172$]b) [/col][/row]
[row][col] 0 [/col][col] 0 [/col][col] 1 [/col][col] 1 [/col][col] 0 [/col][col] 1 [/col][col] 1 [/col][col] 1 [/col][/row]
[row][col] 0 [/col][col] 1 [/col][col] 1 [/col][col] 0 [/col][col] 0 [/col][col] 1 [/col][col] 1 [/col][col] 1 [/col][/row]
[row][col] 1 [/col][col] 0 [/col][col] 0 [/col][col] 1 [/col][col] 0 [/col][col] 1 [/col][col] 1 [/col][col] 1 [/col][/row]
[row][col] 1 [/col][col] 1 [/col][col] 0 [/col][col] 0 [/col][col] 1 [/col][col] 0 [/col][col] 0 [/col][col] 1 [/col][/row]
[/table]

Об авторе:
Facta loquuntur.

Форма ответа

Отправка постов/ответов доступна только зарегистрированным и подтвержденным пользователям.

Если Вы уже зарегистрированы на Портале - войдите в систему, если Вы еще не регистрировались - пройдите простую процедуру регистрации.