Создан заказ №2815019
25 марта 2018
Построить множество дизъюнктов для рассуждения Для этого привести посылки и отрицание заключения к ПНФ
Как заказчик описал требования к работе:
Необходимо написать решение задач по информационным технологиям. Обращаюсь к авторам, у которых много работ по этой дисциплина. Прикрепляю пример и оформление доклада. Срок - 3 дня. 12 страниц печатного текста шрифт 14
Фрагмент выполненной работы:
Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав тем самым справедливость рассуждения.
2. Все дельфины относятся к китообразным. Ни одна рыба не является китообразной. Следовательно, ни одна рыба не является дельфином.
Решение:
Формализация рассуждения приведена ниже:
x (D(x) → K(x)), x (R(x) → ¬K(x))├ x (R(x) → ¬D(x))
Докажем рассуждение «от противного», построив логическое произведение посылок и отрицания заключения.
Посылка 1: x (D(x) → K(x)) = x (¬D(x) ∨ K(x)) формула преобразована к ПНФ.
Посылка 2: x (R(x) → ¬K(x)) = = x (¬R(x) ∨ ¬K(x)) формула преобразована к ПНФ.
Отрицание заключения: ¬(x (R(x) → ¬D(x))) = ¬(x (¬R(x) ∨ ¬D(x))) = x ¬(¬R(x) ∨ ¬D(x)) = x (R(x) & D(x)) формула преобразована к ПНФ.
Преобразование Сколема и получение множества дизъюнктов.
Посылка 1: ПНФ x (¬D(x) ∨ K(x)) при отсутствии кванторов существования совпадает со Сколемовской стандартной формой. (работа была выполнена специалистами author24.ru) Получаем дизъюнкт: ¬D(x) ∨ K(x)
Посылка 2: ПНФ x (¬R(x) ∨ ¬K(x)) при отсутствии кванторов существования совпадает со Сколемовской стандартной формой...Посмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
26 марта 2018
Заказ завершен, заказчик получил финальный файл с работой
5
Построить множество дизъюнктов для рассуждения Для этого привести посылки и отрицание заключения к ПНФ.jpg
2018-03-29 22:10
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Работа была выполнена ИДЕАЛЬНО!!! Все задания расписаны чётко. Всем гарантирую данного автора и буду советовать знакомым.
Хочешь такую же работу?
300 ₽
