Создан заказ №11178425
4 ноября 2024
Логика предикатов. Логические следствия. (ИИС)
Как заказчик описал требования к работе:
Предмет: Иис. Задание № 6
1.Пусть M(x,y) означает «река х впадает в реку y»
Что означают утверждения:
M(Ока, Волга)
M(Днепр, Нева)
x M(x, Волга)
Какие из них истинны, какие нет?
2.Введен предикат Б(x,y) «х брат y -ка»
Как записать утверждения:
«Петр брат Ольги»
«У некоторых людей есть бра
тья»
«Если Петр брат Ольги, то Ольга – не брат Петра»
Задание № 7.
Формализовать рассуждение на языке ИП: ввести необходимые
предикаты, переменные, константы. С их помощью записать в виде формул
посылки и заключение.
Все дельфины относятся к китообразным. Ни одна рыба не является
китообразной. Следовательно, ни одна рыба не является дельфином.
Задание № 8
Построить множество дизъюнктов для заданного рассуждения. Для этого
привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной
форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из
исходного множества дизъюнктов, доказав тем самым справедливость рассуждения.
(Рассуждение берётся из задания 7)
подробнее
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
5 ноября 2024
Заказ завершен, заказчик получил финальный файл с работой
5
Логика предикатов. Логические следствия. (ИИС).docx
2024-11-08 15:16
Последний отзыв студента о бирже Автор24
Общая оценка
4.3
Положительно
Прекрасный автор, работа выполнена раньше срока, жду результата проверки. Спасибо.
Хочешь такую же работу?
300 ₽
