Контрольная работа

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