1. Главная
  2. Библиотека
  3. Информатика
  4. Даны аксиомы: А1. Благими намерениями вымощена дорога в ад. А2. Дорога в рай – это дорога не в ад, а благое – это не дурно...

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

«Даны аксиомы: А1. Благими намерениями вымощена дорога в ад. А2. Дорога в рай – это дорога не в ад, а благое – это не дурное. Следует ли из данных аксиом следующая теорема: Т. Дорога в рай вымощена дурными намерениями?»
  • Информатика

Условие:

Даны аксиомы:

А1. Благими намерениями вымощена дорога в ад.

А2. Дорога в рай – это дорога не в ад, а благое – это не дурное.

Следует ли из данных аксиом следующая теорема:

Т. Дорога в рай вымощена дурными намерениями?

 

Решение:

Добавляем переменные:

P благие намерения

Q дурные намерения

R дорога в рай

S до...

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет