Используя секвенциальное исчисление высказываний проверить, имеет ли место логическое следствие "Если файлы были повреждены, то пароль не был подобран и имел место сбой электроснабжения. Если Смит не является шпионом и файлы были повреждены, то имел место сбой электроснабжения. Если файль не были повреждены, то Смит не является шпионом и имел место сбой электроснабжения. Сбоя электроснабжения не было. Следовательно, Смит - шпион.".
Наша задача состоит в том, чтобы с помощью подхода секвенциального исчисления показать, что из набора предпосылок
(1) Если файлы были повреждены, то пароль не был подобран и имел место сбой электроснабжения.
(2) Если Смит не является шпионом и файлы были повреждены, то имел место сбой электроснабжения.
(3) Если файлы не были повреждены, то Смит не является шпионом и имел место сбой электроснабжения.
(4) Сбоя электроснабжения не было
логически следует вывод «Смит – шпион».
Ниже приведём шаг за шагом рассуждения, привод...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
