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:

    “What is history? Its beginning is that of the centuries of systematic work devoted to the solution of the enigma of death, so that death itself may eventually be overcome. That is why people write symphonies, and why they discover mathematical infinity and electromagnetic waves.”
    —Boris Pasternak (1890–1960)

    “We want in every man a long logic; we cannot pardon the absence of it, but it must not be spoken. Logic is the procession or proportionate unfolding of the intuition; but its virtue is as silent method; the moment it would appear as propositions and have a separate value, it is worthless.”
    —Ralph Waldo Emerson (1803–1882)