Вариант №8
Номер 2:
Проверить правильность рассуждения:
В воскресенье я либо пойду на лыжах, либо основательно отосплюсь. Если я пойду на лыжах, то я физически окрепну. Если же я основательно отосплюсь, то в понедельник буду чувствовать себя бодро. Если я физически окрепну в воскресенье, то в понедельник буду чувствовать себя бодро. Следовательно, в понедельник я буду чувствовать себя бодро.
Решение.
Элементарные высказывания:
a="в воскресенье я пойду на лыжах",
b=" в воскресенье я отосплюсь",
c="я физически окрепну",
d="в понедельник буду чувствовать себя бодро".
Посылки:
"в воскресенье я либо пойду на лыжах, либо основательно отосплюсь"
;
"если я пойду на лыжах, то я физически окрепну"
;
"если я основательно отосплюсь, то в понедельник буду чувствовать себя бодро"
;
"если я физически окрепну в воскресенье, то в понедельник буду чувствовать себя бодро"
.
Заключение:
"в понедельник буду чувствовать себя бодро"
.
Рассуждение правильно, если заключение 
следует из конъюнкции посылок 
, то есть импликация 
(тождественно истинна).
По методу от противного, предположим, что заключение ложно: 
.
Подставим 
в 
:
Получили, что если Q ложно, то и P ложно, то есть 
. Но 
.
Рассуждение правильное.
