Контрольная работа вар. 18188

Методические указания стр 147 Вариант №5 стр 151

Задание 1. Если я пойду завтра на первое занятие, то должен буду встать рано, а если я пойду вечером на танцы, то лягу спать поздно. Если я лягу спать поздно, а встану рано, то я буду вынужден довольствоваться пятью часами сна. Я не могу довольствоваться пятью часами сна. Следовательно, я или не пойду завтра на первое занятие, или не пойду вечером на танцы. Доказать всеми возможными способами. Задание 2. Используя процедуру Эрбрана, доказать невыполнимость множества дизъюнктов S = {~C(x) ∨ W(x), ~C(x) ∨ R(x), C(a) , Ο(a), ~O(x) ∨ ∼R(x)} Задание 3. Ни один торговец наркотиками не является наркоманом. Некоторые наркоманы привлекались к ответственности. Следовательно, некоторые люди, привлекавшиеся к ответственности, не являются торговцами наркотиками. Доказать.