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