Страница 1 из 1
Мат логика
Добавлено: 13 апр 2010, 14:21
k1ng1232
нужно выяснить выводиться ли формула
из формул
все привожу к ЭД получаю
из формул
![$$ ] (A \Longrightarrow B & C \vee \bar {D} )\Longrightarrow A & B=A&(B\vee D)$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%20%5D%20%28A%20%5CLongrightarrow%20%20%20B%20%26%20C%20%5Cvee%20%5Cbar%20%7BD%7D%20%29%5CLongrightarrow%20%20A%20%26%20B%3DA%26%28B%5Cvee%20D%29%24%24 "$$ ] (A \Longrightarrow B & C \vee \bar {D} )\Longrightarrow A & B=A&(B\vee D)$$")
т.к. B и D входит не контрарно то можно удалить
далее
можно ли отсюда сделать вывод что формула не выводиться из системы гипотез ,и правильно ли я сделал?
Мат логика
Добавлено: 13 апр 2010, 14:56
Ian
Формула не должна выводиться,тк если формула выводима,то импликация общезначима. Однако при A=1,B=1,C=0,D=0 предположение =1, a вывод A&C=0. A по решению -не все понял
Мат логика
Добавлено: 13 апр 2010, 15:05
k1ng1232
дословно задание :C помощью стратегии очищения уменьшить заданную систему гипотез и доказать выводимость данного утверждения методом резолюций ну для начала я выразил первую формулу через элементарные дизъюнкции
Мат логика
Добавлено: 13 апр 2010, 16:46
Ian
A ,так у Bac система 4х условий
A я думал дано одно первое. Тогда конечно легко выводится.
Мат логика
Добавлено: 13 апр 2010, 16:53
k1ng1232
но тем не менее я правильно решил,т.e. то что формула невыводима из систем гипотез?