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:proof_theory_for_propositional_logic [2008/03/06 19:44] vkuncak |
sav08:proof_theory_for_propositional_logic [2008/03/09 19:43] vkuncak |
||
---|---|---|---|
Line 48: | Line 48: | ||
===== Resolution ===== | ===== Resolution ===== | ||
- | Definition and soundness. | + | Definition and soundness. Completeness in next lecture. |
+ |