Создан заказ №3757295
20 марта 2019
Построить множество дизъюнктов для рассуждения Для этого привести посылки и отрицание заключения к ПНФ
Как заказчик описал требования к работе:
11 небольших заданий по логике, нужно решение в ворде
P.S Есть пример решения каждого, скину по запросу
Фрагмент выполненной работы:
Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав тем самым справедливость рассуждения.
«Все дельфины относятся к китообразным. Ни одна рыба не является китообразной. Следовательно, ни одна рыба не является дельфином.»
Решение:
Рассмотрим высказывания:
F1=∀xP1x⊃P2xF2=∀xP3x⊃¬P2xG=∀xP3x⊃¬P1x
Приведение к ПНФ:
F1=∀x(¬P1x∨P2(x))
F2=∀x(¬P3x∨¬P2(x))
G=∀x¬P3x∨¬P1x
Кванторов существования нет. (работа была выполнена специалистами author24.ru) Ни одной сколемовской функции не появляется.
Выпишем множество дизъюнктов F1&F2&¬G из полученных выражений:
K=¬P1x∨P2x;¬P3x∨¬P2x;¬(¬P3x∨¬P1x)
По правилу де Моргана ¬¬P3x∨¬P1x=¬¬P3x&¬¬P1x=P3x&P1x...Посмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
21 марта 2019
Заказ завершен, заказчик получил финальный файл с работой
5
Построить множество дизъюнктов для рассуждения Для этого привести посылки и отрицание заключения к ПНФ.jpg
2019-03-24 10:44
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Замечательный автор) Грамотна и всегда на связи. Много работ у нее заказывала и все сделано качественно и в срок)Спасибо большое
Хочешь такую же работу?
300 ₽
