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 [2009/05/14 09:59] vkuncak |
sav08:definition_of_propositional_resolution [2009/05/14 10:00] vkuncak |
||
|---|---|---|---|
| Line 30: | Line 30: | ||
| {(\lnot C) \rightarrow D} | {(\lnot C) \rightarrow D} | ||
| \] | \] | ||
| + | |||
| Line 45: | Line 46: | ||
| ((p \rightarrow q) \land\ ((\lnot p) \rightarrow r)) \leftrightarrow ((p \land q)\ \lor\ ((\lnot p) \land r)) | ((p \rightarrow q) \land\ ((\lnot p) \rightarrow r)) \leftrightarrow ((p \land q)\ \lor\ ((\lnot p) \land r)) | ||
| \] | \] | ||
| - | |||
| ===== Soundness of Resolution Rule ===== | ===== Soundness of Resolution Rule ===== | ||