Консультация № 184891
21.12.2011, 02:09
58.00 руб.
0 1 1
Здравствуйте! Прошу помощи в следующем вопросе:
Проверить правильность логического вывода, используя метод прямого преобразования, метод семантических таблиц, метод резолюций и метод лок-резолюций

Обсуждение

давно
Профессор
230118
3054
25.12.2011, 02:14
общий
это ответ
Здравствуйте, lexmod!

Метод резолюций.
Он основан на добавлении к утверждениям отрицания целевого утверждения и выводе нулевого дизъюнкта
Импликации A[$8594$]B заменяем на -A[$8744$]B
W[$8594$]P[$8594$]J= (-(W [$8744$]P))[$8744$]J=-W[$8743$]-P[$8744$]J=-W[$8744$]J [$8743$]-P[$8744$]J
Имеем дизъюнкты:
1.-W[$8744$]J
2. -P[$8744$]J
3. -J[$8744$]C[$8744$]S
4. -S[$8744$]U
5. -C
6. -U
6.W

Из -J[$8744$]C[$8744$]S и -C выводится -J[$8744$]S
Из -J[$8744$]S и -S[$8744$]U выводится -J[$8744$]U
Из -J[$8744$]U и -U выводится -J
Из -W[$8744$]J и -J выводится -W
Из -W и W выводится [$9744$]





Форма ответа