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

Вариант 4

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

Задание 1 3
Задание 2 3
Задание 3 4
Список используемой литературы 6

   
Отрывок: Задание 1

Установить правильность рассуждения, построив вывод исчисления высказываний.
Если это преступление совершил Смит, то он знает, где находятся похищенные деньги. Смит не знает, где находятся похищенные деньги. Следовательно, он не совершал преступления.
Решение
Пусть
А = «Смит совершил это преступление»
В = «Преступник знает, где находятся похищенные деньги»
Следовательно, нужно исследовать следующее высказывание:

1. допущение
2. допущение
3. А – допущение
4. В – 1, 3, УИ
5. - 2, 4, правило сведения к абсурду
Следовательно, данное рассуждение правильное.

Задание 2

Проверить вывод методом резолюций:
Всякий, кто не может решить эту задачу – не математик. Иван не может решить эту задачу. Значит, Иван не математик.
Решение
Пусть
А(х) = «х решает задачу»
В(х) = «х – математик»
i – «Иван»
Требуется построить следующий вывод:

Последовательно получаем ССФ для посылок и заключения:
1 посылка:
2 посылка:
Заключение:
К полученному набору дизъюнктов применим метод резолюции:
1.
2.
3. - R 1, 2

Задание 3


Доказательство [...]

Купить эту работу
Гарантия возврата денег

 
Не подходит готовая работа? Вы можете заказать курсовую, контрольную, дипломную или другую студенческую работу профессиональным авторам!
 
Вернуться к рубрикатору дисциплин »
 

Другие готовые работы для скачивания, которые могут Вам подойти

Тема: вариант 4 Подробнее
Тип: Контрольная
Вуз: иной
Просмотры: 6603
Тема: Вариант 4 Подробнее
Тип: Контрольная
Вуз: СпбУУЭ
Просмотры: 7385
Тема: Вариант 4 Подробнее
Тип: Контрольная
Вуз: Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ)
Просмотры: 4458
Тема: Вариант 4 Подробнее
Тип: Контрольная
Вуз: Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ)
Просмотры: 5305
Тема: Вариант 4 Подробнее
Тип: Контрольная
Вуз: КемГУ
Просмотры: 4726
Тема: вариант 4 Подробнее
Тип: Контрольная
Вуз: Финансовый университет при Правительстве Российской Федерации (ВЗФЭИ)
Просмотры: 10198

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


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