**principle of the excluded middle** — noun (logic) The principle that a thing must be either one thing or its contradictory • • • Main Entry: ↑principle … Useful english dictionary

**Excluded middle** — Exclude Ex*clude , v. t. [imp. & p. p. {Excluded}; p. pr. & vb. n. {Excluding}.] [L. excludere, exclusum; ex out + claudere to shut. See {Close}.] 1. To shut out; to hinder from entrance or admission; to debar from participation or enjoyment; to… … The Collaborative International Dictionary of English

**principle of excluded middle** — law of excluded middle … Useful english dictionary

**Law of excluded middle** — This article uses forms of logical notation. For a concise description of the symbols used in this notation, see Table of logic symbols. In logic, the law of the excluded middle states that the propositional calculus formula P ∨ ¬ P ( P or not P… … Wikipedia

**law (or principle) of the excluded middle Logic** — the principle that one (and one only) of two contradictory propositions must be true. → exclude … English new terms dictionary

**law of the excluded middle** — law (or principle) of the excluded middle Logic the principle that one (and one only) of two contradictory propositions must be true … Useful english dictionary

**law of the excluded middle** — Contradiction Con tra*dic tion, n. [L. contradictio answer, objection: cf. F. contradiction.] 1. An assertion of the contrary to what has been said or affirmed; denial of the truth of a statement or assertion; contrary declaration; gainsaying.… … The Collaborative International Dictionary of English

**of excluded middle** — (logic) The principle that everything is either true or false ● exclude … Useful english dictionary

**law of excluded middle** — a principle in logic: if one of two contradictory statements is denied the other must be affirmed * * * Logic. the principle that any proposition must be either true or false … Useful english dictionary

**law of excluded middle** — Logic. the principle that any proposition must be either true or false. * * * … Universalium