Условие:
3. Решить задачу.
Доказать справедливость рассуждения:
Ваня переутомился, или болен. Если Ваня переутомился, то он раздражается.
Ваня не раздражается. Следовательно, он болен.
Используйте для доказательства две теоремы о логическом следствии.
Решение:
Обозначим следующие высказывания: P: Ваня переутомился. B: Ваня болен. I: Ваня раздражается. Дано: 1) P или B. 2) Если P, то I. 3) Не I. Шаг 1. Примени...
