Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:propositional_logic_syntax [2009/04/08 18:34] philippe.suter |
sav08:propositional_logic_syntax [2009/04/08 18:34] philippe.suter |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| * $\land$, $\lor$ associative | * $\land$, $\lor$ associative | ||
| * priorities, from strongest-binding: $(\lnot)\ ;\ (\land, \lor)\ ;\ (\rightarrow, \leftrightarrow)$ | * priorities, from strongest-binding: $(\lnot)\ ;\ (\land, \lor)\ ;\ (\rightarrow, \leftrightarrow)$ | ||
| - | When in doubt, use parenthesis. | + | When in doubt, use parentheses. |
| 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$. | ||