ЛОГИКА. Метод резолюций

[Di081]

Tlalok Огромное вам спасибо) чтоб я делала без этого форума..

-- Пт янв 28, 2011 09:31:18 --

У меня опять вопрос) Я писала этот пример уже.. Можно ли считать,что этими преобразованиями я доказала клаузу аксиоматическим методом???
$ \overline{\overline{A} \vee C} \vee \overline{A} \& B \Rightarrow A \vee B$
$ A \& \overline{C} \vee \overline{A} \& B \Rightarrow A \vee B$
$ A \vee B, \overline{A} \vee \overline{C},B \vee \overline{C} \Rightarrow A \vee B$

[Di081]

или это метод натурального исчисления... скорее он.. или я вообще ничего не доказала