Условие задачи
Даны аксиомы:
А1. Благими намерениями вымощена дорога в ад.
А2. Дорога в рай – это дорога не в ад, а благое – это не дурное.
Следует ли из данных аксиом следующая теорема:
Т. Дорога в рай вымощена дурными намерениями?
Ответ
Добавляем переменные:
P благие намерения
Q дурные намерения
R дорога в рай
S до...