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/10 19:33] 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. | ||
Line 38: | Line 38: | ||
\[\begin{array}{l} | \[\begin{array}{l} | ||
FV(p) = \{ p \}, \mbox{ for } p \in V \\ | FV(p) = \{ p \}, \mbox{ for } p \in V \\ | ||
+ | FV(\lnot F) = FV(F) \\ | ||
FV(F_1 \land F_2) = FV(F_1) \cup FV(F_2) \\ | FV(F_1 \land F_2) = FV(F_1) \cup FV(F_2) \\ | ||
FV(F_1 \lor F_2) = FV(F_1) \cup FV(F_2) \\ | FV(F_1 \lor F_2) = FV(F_1) \cup FV(F_2) \\ | ||
- | FV(\lnot F) = FV(F) \\ | ||
FV(F_1 \rightarrow F_2) = FV(F_1) \cup FV(F_2) \\ | FV(F_1 \rightarrow F_2) = FV(F_1) \cup FV(F_2) \\ | ||
FV(F_1 \leftrightarrow F_2) = FV(F_1) \cup FV(F_2) \\ | FV(F_1 \leftrightarrow F_2) = FV(F_1) \cup FV(F_2) \\ |