ISO 31-11 - Mathematical Logic

Mathematical Logic

Sign Example Name Meaning and verbal equivalent Remarks
∧ p ∧ q conjunction sign p and q
∨ p ∨ q disjunction sign p or q (or both)
¬ ¬ p negation sign negation of p; not p; non p
⇒ p ⇒ q implication sign if p then q; p implies q Can also be written as q ⇐ p. Sometimes → is used.
∀ ∀x∈A p(x)
(∀x∈A) p(x)		 universal quantifier for every x belonging to A, the proposition p(x) is true The "∈A" can be dropped where A is clear from context.
∃ ∃x∈A p(x)
(∃x∈A) p(x)		 existential quantifier there exists an x belonging to A for which the proposition p(x) is true The "∈A" can be dropped where A is clear from context.
∃! is used where exactly one x exists for which p(x) is true.

Read more about this topic:  ISO 31-11

Famous quotes containing the words mathematical and/or logic:

    “The most distinct and beautiful statement of any truth must take at last the mathematical form.”
    —Henry David Thoreau (1817–1862)

    “What avail all your scholarly accomplishments and learning, compared with wisdom and manhood? To omit his other behavior, see what a work this comparatively unread and unlettered man wrote within six weeks. Where is our professor of belles-lettres, or of logic and rhetoric, who can write so well?”
    —Henry David Thoreau (1817–1862)