Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:definition_of_propositional_resolution [2009/05/14 10:38] vkuncak |
sav08:definition_of_propositional_resolution [2009/05/14 10:39] vkuncak |
||
---|---|---|---|
Line 43: | Line 43: | ||
- application of the resolution rule produces no new clauses | - application of the resolution rule produces no new clauses | ||
- | [[Example of Using Propositional Resolution]] | + | [[sav09:Example of Using Propositional Resolution]] |
===== Soundness of Resolution Rule ===== | ===== Soundness of Resolution Rule ===== |