Symbol Table Cheatsheet - Set Theory and Logic | MATH 340, Study notes of Mathematics

Download Symbol Table Cheatsheet - Set Theory and Logic | MATH 340 and more Study notes Mathematics in PDF only on Docsity! Math 340, Set Theory and Logic, with Professor jason howald, Spring 2008. 1 Symbol table cheat sheet Suggestion: Fold this page along the vertical lines, so that you can view only one column. Rehearse the hidden columns. When you can look at each column individually and successfully reproduce the other two, you’re done. On friday, you’ll complete this task for a quiz, with only one column shown. I will choose which column to show by flipping a three-sided coin. Symbol Meaning Title ∀x for all x . . . “Universal quantifier” ∃x there is some x . . . “Existential quantifier” ¬ It is not true that... “Logical negation” ∧ . . . and . . . (Asserting both) “Logical and” ∨ . . . or . . . (including the possibility of both) “Logical or (inclusive)” =⇒ or → If . . . then . . . “Logical implication” ⇐⇒ or ↔ . . . if and only if . . . “Logical equivalence”