Методические указания стр 147 Вариант №5 стр 151
Задание 1. Если я пойду завтра на первое занятие, то должен буду встать рано, а если я пойду вечером на танцы, то лягу спать поздно. Если я лягу спать поздно, а встану рано, то я буду вынужден довольствоваться пятью часами сна. Я не могу довольствоваться пятью часами сна. Следовательно, я или не пойду завтра на первое занятие, или не пойду вечером на танцы. Доказать всеми возможными способами. Задание 2. Используя процедуру Эрбрана, доказать невыполнимость множества дизъюнктов S = {~C(x) ∨ W(x), ~C(x) ∨ R(x), C(a) , Ο(a), ~O(x) ∨ ∼R(x)} Задание 3. Ни один торговец наркотиками не является наркоманом. Некоторые наркоманы привлекались к ответственности. Следовательно, некоторые люди, привлекавшиеся к ответственности, не являются торговцами наркотиками. Доказать.
Тип: Контрольная работа
Предмет: Логика
Математическая логика и теория алгоритмов КР В11
Стоимость: 565 руб.
Тип: Контрольная работа
Предмет: Логика
Исчисляемые высказывания. Основные математические аксиомы.
Стоимость: 600 руб.
Тип: Контрольная работа
Предмет: Логика
Составить триады и определить истинность силлогизмов
Стоимость: 510 руб.
Роль самостоятельной работы довольно велика:Самостоятельная работа не нацелена на то, чтобы давать знания. Она направлена на обучение студентов правильному самостоятельному поиску этих знаний. Образовательная система несовершенна. Существует огромный разрыв между тем, что должен знать студент, и т…
Читать дальше