Boolean Symbols.xlsx - Name Symbol Read as Category Explanation Examples \u21d2 A \u21d2 B is true only in the case that either A is false or B is true \u2192

# Boolean Symbols.xlsx - Name Symbol Read as Category...

• 5

This preview shows page 1 - 3 out of 5 pages.

Symbol Name Explanation Examples Read as Category implies; if .. then ¬ material implication A B is true only in the case that either A is false or B is true. x = 2 x 2 = 4 is true, but x 2 = 4 x = 2 is in general false (since x could be −2). → may mean the same as (the symbol may also indicate the domain and codomain of a function ; see table of mathematical symbols ). may mean the same as (the symbol may also mean propositional logic , Heyting algebra material equivalence A B is true only if both A and B are false, or both A and B are true. x + 5 = y + 2 x + 3 = y if and only if; iff; means the same as propositional logic The statement ¬ A is true if and only if A is false. ¬(¬ A ) A
˜ not ! · and & + or xor negation x y ¬( x = y ) A slash placed through another operator is the same as "¬" placed in front. propositional logic logical conjunction The statement A B is true if A and B are both true; else it is false.