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 12:29] vkuncak |
sav08:proof_theory_for_propositional_logic [2008/03/06 16:04] vkuncak |
||
|---|---|---|---|
| Line 38: | Line 38: | ||
| \] | \] | ||
| - | Evaluation rule: derive $P$ if $P$ has no variables and it evaluates to {\it true}. | + | Evaluation rule: derive $P$ if $P$ has no variables and it evaluates to //true//. |
| Adding simplification rules. Adding sound rules preserves soundness and completeness. | Adding simplification rules. Adding sound rules preserves soundness and completeness. | ||
| Line 49: | Line 49: | ||
| Definition and soundness. | Definition and soundness. | ||
| - | |||