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:49] vkuncak |
sav08:propositional_logic_semantics [2008/03/11 14:50] vkuncak |
||
---|---|---|---|
Line 19: | Line 19: | ||
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} |
- | We wrote symbols like $"\land"$ on left in quotes to emphasize that those are syntactic entities, in contrast to symbols like $\land$ on right-hand side that denote propositional operations given by truth tables (stated in [[Propositional Logic Informally]]). | + | \] |
+ | |||
+ | We wrote symbols like $" \land "$ on left in quotes to emphasize that those are syntactic entities, in contrast to symbols like $\land$ on right-hand side that denote propositional operations given by truth tables (stated in [[Propositional Logic Informally]]). | ||
++++ | ++++ | ||
+ | |||
This definition follows one in the formula evaluator in [[homework01]]. | This definition follows one in the formula evaluator in [[homework01]]. | ||