- law of excluded middle
-
An axiom of classical logic which states that, given a proposition P, either P is true or P is false, i.e. in symbols: . This law is rejected by intuitionistic logic.
Wikipedia foundation.
law of excluded middle
Look at other dictionaries:
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 of excluded middle — Logic. the principle that any proposition must be either true or false. * * * … Universalium
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
principle of excluded middle — law of excluded middle … Useful english dictionary
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
excluded middle, principle of — (or law of ) The logical law asserting that either p or not p . It excludes middle cases such as propositions being half correct or more or less right. The principle directly asserting that each proposition is either true or false is properly… … Philosophy dictionary
excluded middle — /əkskludəd ˈmɪdl/ (say uhkskloohduhd midl) noun law of the, Logic the law which states that a proposition is either true or false, or that a thing either has or does not have a given property …
EXCLUDED MIDDLE — the LOGICAL law which states that A is either B or not B … Concise dictionary of Religion
