Matematické Fórum

mb305 · 02. 12. 2011 10:22

Zdravím,

mám nalézt množinu všech rezolvent. Pro ukázkový příklad:
$(A \vee nonB) \wedge (C \vee B \vee nonD) \wedge (A \vee D)$

má vyjít:
$R(A \vee nonB, C \vee B \vee nonD, A \vee D) =$
$= (A \vee nonB) \wedge (C \vee B \vee nonD) \wedge (A \vee D) \wedge (A \vee C \vee nonD) \wedge (A \vee B \vee C) \wedge (A \vee C)$

Co tam dělá to $A \vee C$ na konci - kde se vzalo?

radekm · 02. 12. 2011 10:40

K odvození $A\vee C$ lze použít rezoluci dvakrát:

1. $\frac{C\vee B\vee\neg D\qquad A\vee D}{C\vee B\vee A}$

2. $\frac{C\vee B\vee A\qquad A\vee\neg B}{C \vee A}$ - zde jsem použil i faktorizaci

mb305 · 02. 12. 2011 11:01

Díky :)

Ještě jsem na to koukal a nešlo by použít z poslední disjunkce a první rezoluce?

$(A \vee D) \wedge (A \vee C\vee nonD) = (A \vee A \vee C) = (A \vee C)$

radekm · 02. 12. 2011 11:07

mb305 napsal(a):
Díky :)

Ještě jsem na to koukal a nešlo by použít z poslední disjunkce a první rezoluce?

$(A \vee D) \wedge (A \vee C\vee nonD) = (A \vee A \vee C) = (A \vee C)$

To by taky šlo.

Matematické Fórum

#1 02. 12. 2011 10:22

Rezoluční metoda - ve výrokové logice

#2 02. 12. 2011 10:40

Re: Rezoluční metoda - ve výrokové logice

#3 02. 12. 2011 11:01

Re: Rezoluční metoda - ve výrokové logice

#4 02. 12. 2011 11:07

Re: Rezoluční metoda - ve výrokové logice

mb305 napsal(a):

Zápatí