1. Главная
  2. Библиотека
  3. Логика
  4. Доказать справедливость рассуждения, используя две теор...
Решение задачи на тему

Доказать справедливость рассуждения, используя две теоремы о логическом следствии: Ваня переутомился, или болен. Если Ваня переутомился, то он раздражается. Ваня не раздражается. Следовательно, он болен.

  • Логика
  • #Основы формальной логики
  • #Символическая логика
Доказать справедливость рассуждения, используя две теоремы о логическом следствии:
Ваня переутомился, или болен.
Если Ваня переутомился, то он раздражается.
Ваня не раздражается.
Следовательно, он болен.

Условие:

3. Решить задачу.
Доказать справедливость рассуждения:
Ваня переутомился, или болен. Если Ваня переутомился, то он раздражается.
Ваня не раздражается. Следовательно, он болен.
Используйте для доказательства две теоремы о логическом следствии.

Решение:

Обозначим следующие высказывания: P: Ваня переутомился. B: Ваня болен. I: Ваня раздражается.

Дано:

  1. P или B.
  2. Если P, то I.
  3. Не I.

Шаг 1. Примени...

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