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