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:propositional_logic_syntax [2008/03/18 11:10] vkuncak |
sav08:propositional_logic_syntax [2008/03/18 11:16] vkuncak fixed accidental edit |
||
|---|---|---|---|
| Line 15: | Line 15: | ||
| Notation: when we write $F_1 \equiv F_2$ this means that $F_1$ and $F_2$ are identical formulas (with identical syntax trees). For example, $p \land q \equiv p \land q$, but it is not the case that $p \land q \equiv q \land p$. | Notation: when we write $F_1 \equiv F_2$ this means that $F_1$ and $F_2$ are identical formulas (with identical syntax trees). For example, $p \land q \equiv p \land q$, but it is not the case that $p \land q \equiv q \land p$. | ||
| - | In [[Isabelle theorem prover]] we use this ++++ASCII notation for First-Order Logic| | + | In [[Isabelle theorem prover]] we use this ++++ASCII notation for Propositional Logic| |
| \[ | \[ | ||
| \begin{array}{c|c} | \begin{array}{c|c} | ||