Спасибо, преподавателю понравилось
Информация о работе
Подробнее о работе
Построить множество дизъюнктов для рассуждения Для этого привести посылки и отрицание заключения к П
- 1 страниц
- 2018 год
- 25 просмотров
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
Формализация рассуждения приведена ниже:
(Посылка 1) P(v) & A(v)
(Посылка 2) x (P(x)& L(m, x) → A(x))
_______________________
(Заключение) L(m, v)
Докажем рассуждение «от противного», построив логическое произведение посылок и отрицания заключения.
Посылка 1: P(v) & A(v) формула находится в ПНФ
Данная формула при отсутствии кванторов существования совпадает со Сколемовской стандартной формой. Получаем дизъюнкты: P(v), A(v)
Посылка 2: x (P(x) & L(m, x) → A(x)) = x ((P(x) &
Отсутствует
Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав тем самым справедливость рассуждения.
3. Ваня - мальчик, у которого нет автомобиля. Марго любит только мальчиков, имеющих автомобили. Следовательно, Марго не любит Ваню.
Отсутствует
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
