Задача 3
Формализовать представленные рассуждения в виде формул алгебры
логики. Выделить атомарные высказывания и связки. Определить посылки и
заключение в заданном рассуждении.
Если свидетель не был запуган, то записка была найдена, если Генри
покончил жизнь самоубийством. Свидетель не был запуган, и записка не
была найдена. Следовательно, Генри не покончил жизнь самоубийством.