Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:definition_of_propositional_resolution [2008/03/12 17:08] vkuncak |
sav08:definition_of_propositional_resolution [2008/03/12 17:09] vkuncak |
||
---|---|---|---|
Line 24: | Line 24: | ||
Here $C,D$ are clauses and $p \in V$ is a propositional variable. | Here $C,D$ are clauses and $p \in V$ is a propositional variable. | ||
- | Intuition: consider the form | + | Intuition: consider equivalent formulas |
\[ | \[ | ||
- | \frac{\lnot C \rightarrow \{\lnot p\}\ \ \ (\lnot p \rightarrow D)} | + | \frac{((\lnot C) \rightarrow (\lnot p))\ \ \ ((\lnot p) \rightarrow D)} |
- | {\lnot C \rightarrow D} | + | {(\lnot C) \rightarrow D} |
\] | \] | ||