Download to read offline
Uploaded byTyler Murphy
Logic Notation
Discrete Math Notation defines symbols used in logic and numbers. For logic, symbols such as ⇒, ⇔, ≡, ¬, ∀, ∃, ∧, ∨ represent implications, equivalences, negations, universal and existential quantifiers, and conjunctions and disjunctions. For numbers, Z, N, Q, R, C represent the sets of integers, natural numbers, rational numbers, real numbers, and complex numbers respectively and how elements are contained in each set.
More Related Content
Logic Notation
- 1. Discrete Math Notation TylerMurphy Math 189 Spring 2014 Symbol ⇒ ⇔ ≡ ¬ ∀ ∃ ∧ ∨ Logic Notation Meaning Implies (if, then) If and Only if (double implication) equivalent not (negation of the following statement) For all There exists And Or There does not exist Proof Complete The Symbol Z N Q R C Numbers and Notation Meaning Usage Integers x∈Z Natural Numbers x ∈ N Rational Numbers x ∈ Q Real Numbers x∈R Complex Numbers x ∈ C 1 Usage p⇒q p⇔q p≡q ¬p ∀x ∃x p∧q p∨q x 1=1