Исчисление высказываний 1 Записать рассуждение в логической символике. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по информатике
Исчисление высказываний 1 Записать рассуждение в логической символике

Исчисление высказываний 1 Записать рассуждение в логической символике .pdf

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

Условие

Исчисление высказываний 1. Записать рассуждение в логической символике, обосновать выбор логических связок 2. Проверить правильность рассуждений, составив таблицу истинности Если бы на стадо не напал волк, овечка Долли не сбежала бы. Если бы пастух был внимательным, на стадо не напал бы волк. Пастух был не внимательным, и овечка Долли сбежала. Значит, на стадо напал волк. Незнание правил дорожного движения не освобождает от ответственности в случае их несоблюдения. При нарушении правил водитель несет ответственность. Следовательно, знать правила нужно.

Нужно полное решение этой работы?

Решение

Потяни, чтобы посмотреть

Введём высказывания:
A — «На стадо напал волк»,
B — «Сбежала овечка Долли»,
C — «Пастух был внимателен».
Тогда посылки будут представлены формулами:
¬A→¬B, C→¬A, ¬C∧B;
заключение — A.
Требуется проверить, имеет ли место логическое следование
¬A→¬B, C→¬A, ¬C∧B⊨A.
Логическое следование имеет место тогда и только тогда, когда при истинности всех посылок обязательно истинно следствие. Составим таблицы истинности и проверим.
Все три посылки принимают значение «истина» только в 7-й строке, в этой строке заключение также принимает значение «истина» . Следовательно, логическое следование имеет место и, поэтому рассуждение правильно.
Запись предложений естественного языка в виде формул логики высказываний часто неоднозначно, к тому же в заключении имеет место модальность «нужно» которую нельзя формализовать в рамках классической логики

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу