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_semantics [2008/03/11 14:50] vkuncak |
sav08:propositional_logic_semantics [2008/03/11 14:51] vkuncak |
||
---|---|---|---|
Line 14: | Line 14: | ||
\[\begin{array}{l} | \[\begin{array}{l} | ||
e(p)(I) = I(p), \mbox{ for } p \in V \\ | e(p)(I) = I(p), \mbox{ for } p \in V \\ | ||
- | e({"\lnot"}\> F)(I) = \lnot (e(F)(I)) \\ | + | e({"\lnot "}\> F)(I) = \lnot (e(F)(I)) \\ |
- | e(F_1\> {"\land"}\> F_2)(I) = e(F_1)(I) \land e(F_2)(I) \\ | + | e(F_1\> {"\land "}\> F_2)(I) = e(F_1)(I) \land e(F_2)(I) \\ |
- | e(F_1\> {"\lor"}\> F_2)(I) = e(F_1)(I) \lor e(F_2)(I) \\ | + | e(F_1\> {"\lor "}\> F_2)(I) = e(F_1)(I) \lor e(F_2)(I) \\ |
- | e(F_1\> {"\rightarrow"}\> F_2)(I) = (e(F_1)(I) \rightarrow e(F_2)(I)) \\ | + | e(F_1\> {"\rightarrow "}\> F_2)(I) = (e(F_1)(I) \rightarrow e(F_2)(I)) \\ |
- | e(F_1\> {"\leftrightarrow"}\> F_2)(I) = (e(F_1)(I) \leftrightarrow e(F_2)(I)) | + | e(F_1\> {"\leftrightarrow "}\> F_2)(I) = (e(F_1)(I) \leftrightarrow e(F_2)(I)) |
\end{array} | \end{array} | ||
\] | \] |