Версия для печати темы

Автор: julia_lisha 7.12.2010, 16:52

Всем привет!
Задали задание:
"доказать секвенцию исчисление высказываний методом резолюций"
А۷(¬В۷¬С)├ А۷¬(В&С)

Решение:
А۷(¬В۷¬С)├ А۷¬(В&С)
А=А۷(¬В۷¬С)=>А۷¬(В&С)
А=¬[А۷(¬В۷¬С)&¬А۷¬(В&С)]
Следовательно
¬А=(А۷(¬В۷¬С)&¬(А۷¬(В&С)))
Ищем дизъюнкты:

я на верном пути???
и вот на счет дизъюнктов у меня возникли проблемы....

Автор: Harch 8.12.2010, 11:50

какие проблемы?

Автор: julia_lisha 8.12.2010, 12:02

проблемы с дизъюнктами
¬А=(А۷(¬В۷¬С)&¬(А۷¬(В&С)))

не знаю как дальше быть....

Автор: Harch 8.12.2010, 12:08

Какие вы знаете свойства?

Автор: julia_lisha 8.12.2010, 12:19

ой в алгоритме решений ниче про свойства нет.....
знаю что щас находим контрарную пару и вычеркиваем ее
¬А=(А۷(¬В۷¬С)&¬(А۷¬(В&С)))

как правильно вычеркнуть?

Автор: julia_lisha 8.12.2010, 13:05

нашла кое-что:
¬(В&С)≡¬В۷¬С

выходит:
¬А=(А۷(¬В۷¬С)&¬(А۷(¬В۷¬С)))

теперь контрарная пара это:
(¬В۷¬С)
или
(А۷(¬В۷¬С)
?

Автор: julia_lisha 9.12.2010, 17:14

ау...математические гении вы куда все пропали????(

Автор: Harch 9.12.2010, 17:20

Правильно нашли. Так. А что такое контрарная пара??

Автор: julia_lisha 13.12.2010, 15:37

в двух предложениях, одно из которых состоит из одной литеры, а второе содержит произвольное число литер, находится контрарная пара литер (например В и ¬В), которая вычеркивается, а из оставшихся частей формируется новое предложение (например В из ¬В۷С и выводится С).

Автор: Harch 14.12.2010, 10:10

Тогда ничего из тех двух возможностей не является контрарной парой

Автор: julia_lisha 14.12.2010, 11:29

тут же знак отрицания перед второй скобкой:
¬(А۷(¬В۷¬С))
все равно нет контрарной пары?

Автор: Harch 14.12.2010, 14:16

нет )

Автор: julia_lisha 14.12.2010, 14:27

Вывод: формула А не является общезначимой.
Правильно?

Автор: Harch 16.12.2010, 12:01

Дайте определение общезначимой формулы

Автор: julia_lisha 16.12.2010, 17:21

ОБЩЕЗНАЧИМОСТЬ — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогич. символов, т. е. предикатных и пропозициональных переменных. Логич. формулы, обладающие этим свойством, наз. общезначимыми.

Такой вывод сделала т.к. не получилось пустых резольвент.

Автор: Harch 17.12.2010, 11:11

Ладно, тогда вроде верно.