Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
sav08:propositional_logic_syntax [2008/03/11 14:36] vkuncak |
sav08:propositional_logic_syntax [2008/03/18 11:16] vkuncak fixed accidental edit |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| Omitting parantheses: | Omitting parantheses: | ||
| - | * $\land$, $\lor$ commutative | + | * $\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 parenthesis. | ||