|
Купить Гарантия | |
| Код работы: | 35289 | |
| Дисциплина: | Математическая логика | |
| Тип: | Контрольная | |
| Вуз: | ПГУТИ - посмотреть другие работы и дисциплины по этому вузу | |
| Цена: | 290 руб. | |
| Просмотров: | 3882 | |
| Уникальность: | В пределах нормы. При необходимости можно повысить оригинальность текста |
|
| Содержание: |
Содержание Задание 1 3 Задание 2 5 Задание 3 6 Задание 4 8 Список используемой литературы 9 |
|
| Отрывок: |
Задание 1 Ниже приведены по три клаузы в одном варианте. Каждую клаузу необходимо доказать любым из следующих методов: аксиоматическим, натурального исчисления, резолюций, или Вонга. a. А -> (В -> -С), -А -> В, -А -> (-В -> С) => С; В b. А, -В -> (А -> D), С -> (В -> Е), D -> (Е v -С) => С -> Е c. -С, D -> С, А -> (-В -> D), В => А -> С Доказательство a. Докажем методом натурального исчисления, что 1. допущение 2. допущение 3. допущение 4. 1, БП, УИ 5. 2, 4, правило условного силлогизма 6. 5, правило контрапозиции 7. 3, правило импортизации 8. 7, 6, правило условного силлогизма 9. 8, УК 10. 9, правило контрапозиции 11. В – 10, БП, УИ b. Докажем методом натурального исчисления, что 1. А – допущение 2. допущение 3. допущение 4. допущение 5. С – допущение 6. 5, 3, УИ 7. 2, БП, УИ 8. D – 7, 1, УИ 9. 8, 4, УИ 10. 5, ВО 11. Е – 9, 10, УД Показали, что , тогда по теореме дедукции c. [...] | |
|
Купить эту работу Гарантия возврата денег |
||
Другие готовые работы для скачивания, которые могут Вам подойти
| Тема: | Русский язык Вариант 4 | Подробнее |
| Тип: | Контрольная | |
| Вуз: | БГПУ | |
| Просмотры: | 10780 | |
| Тема: | контрольная работа/ вариант 4 | Подробнее |
| Тип: | Контрольная | |
| Вуз: | СПбУУЭ | |
| Просмотры: | 9425 | |
| Тема: | Вариант 4 – на первую букву фамилии Г | Подробнее |
| Тип: | Курсовая | |
| Вуз: | АГУ г.Барнаул | |
| Просмотры: | 7013 | |
| Тема: | Вариант 4 | Подробнее |
| Тип: | Контрольная | |
| Вуз: | Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ) | |
| Просмотры: | 6357 | |
| Тема: | Вариант 4 Контрольная 1 Кассовые операции | Подробнее |
| Тип: | Контрольная | |
| Вуз: | Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ) | |
| Просмотры: | 8246 | |
| Тема: | Вариант 4 | Подробнее |
| Тип: | Контрольная | |
| Вуз: | Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ) | |
| Просмотры: | 5816 | |
Поиск других готовых работ, выполненных в «ИнПро»
