Uniqueness Quantification - Reduction To Ordinary Existential and Universal Quantification

Reduction To Ordinary Existential and Universal Quantification

Uniqueness quantification can be expressed in terms of the existential and universal quantifiers of predicate logic by defining the formula ∃!x P(x) to mean

where an equivalence is:

An equivalent definition that has the virtue of separating the notions of existence and uniqueness into two clauses, at the expense of brevity, is

Another equivalent definition with the advantage of brevity is

Read more about this topic:  Uniqueness Quantification

Famous quotes containing the words reduction, ordinary, existential and/or universal:

    The reduction of nuclear arsenals and the removal of the threat of worldwide nuclear destruction is a measure, in my judgment, of the power and strength of a great nation.
    Jimmy Carter (James Earl Carter, Jr.)

    The ordinary man is an anarchist. He wants to do as he likes. He may want his neighbour to be governed, but he himself doesn’t want to be governed. He is mortally afraid of government officials and policemen.
    George Bernard Shaw (1856–1950)

    No phallic hero, no matter what he does to himself or to another to prove his courage, ever matches the solitary, existential courage of the woman who gives birth.
    Andrea Dworkin (b. 1946)

    The freedom to share one’s insights and judgments verbally or in writing is, just like the freedom to think, a holy and inalienable right of humanity that, as a universal human right, is above all the rights of princes.
    Carl Friedrich Bahrdt (1740–1792)