Международный женский день
Пасха
День Победы
Выберите Ваш город X

Вариант 4

Купить Гарантия
Код работы: 35289
Дисциплина: Математическая логика
Тип: Контрольная
Вуз:ПГУТИ - посмотреть другие работы и дисциплины по этому вузу
   
Цена: 290 руб.
Просмотров: 3556
Уникальность: В пределах нормы. При необходимости можно повысить оригинальность текста
   
Содержание: Содержание

Задание 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 Подробнее
Тип: Контрольная
Вуз: АПЭК
Просмотры: 7493
Тема: Вариант 4 Подробнее
Тип: Контрольная
Вуз: РАНХиГС
Просмотры: 8043
Тема: КН3 вариант 4 Подробнее
Тип: Контрольная
Вуз: Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ)
Просмотры: 11394
Тема: Вариант 4 Подробнее
Тип: Контрольная
Вуз: ТУСУР
Просмотры: 4489
Тема: Вариант 4 Участие ЦБ РФ в международных соглашениях по банковской сфере Подробнее
Тип: Контрольная
Вуз: Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ)
Просмотры: 9766
Тема: Виды пенсионного обеспечения граждан. Социальная пенсия. Вариант 45 Подробнее
Тип: Контрольная
Вуз: СПбУТУ
Просмотры: 5316

Поиск других готовых работ, выполненных в «ИнПро»


Не нашли готовую работу? Отправьте заявку - закажите работу по нужной теме нашим авторам!
 
Вы также можете: Вернуться к рубрикатору дисциплин »