Мат логика

k1ng1232 · Сообщение **k1ng1232** » 13 апр 2010, 14:21

нужно выяснить выводиться ли формула $$ C & A$$

из формул $(A \Longrightarrow B & C \vee \bar {D} )\Longrightarrow A & B \\ B\\ C \vee D \\ A\vee D$ все привожу к ЭД получаю $\bar{A}\vee \bar {C}$ из формул $] (A \Longrightarrow B & C \vee \bar {D} )\Longrightarrow A & B=A&(B\vee D)$ т.к. B и D входит не контрарно то можно удалить $B\\C \vee D\\B\vee D\\A\vee D$ далее $res(A,\bar{A}\vee \bar {C})=\bar{C}$ можно ли отсюда сделать вывод что формула не выводиться из системы гипотез ,и правильно ли я сделал?

Ian · Сообщение **Ian** » 13 апр 2010, 14:56

Формула не должна выводиться,тк если формула выводима,то импликация общезначима. Однако при A=1,B=1,C=0,D=0 предположение =1, a вывод A&C=0. A по решению -не все понял

k1ng1232 · Сообщение **k1ng1232** » 13 апр 2010, 15:05

дословно задание :C помощью стратегии очищения уменьшить заданную систему гипотез и доказать выводимость данного утверждения методом резолюций ну для начала я выразил первую формулу через элементарные дизъюнкции

Ian · Сообщение **Ian** » 13 апр 2010, 16:46

A ,так у Bac система 4х условий

k1ng1232 писал(а):Source of the post $(A \Longrightarrow B & C \vee \bar {D} )\Longrightarrow A & B \\ B\\ C \vee D \\ A\vee D$

A я думал дано одно первое. Тогда конечно легко выводится.

k1ng1232 · Сообщение **k1ng1232** » 13 апр 2010, 16:53

но тем не менее я правильно решил,т.e. то что формула невыводима из систем гипотез?

yourdomain.com