How to pronounce “law of excluded middle”

Meaning

• [Noun]
• (logic) A logical principle which states all statements must be either true or false, i.e. in symbols:
• P
• ∨
• ¬
• P
• {\displaystyle P\vee \neg P}
• .

Practice Nearby Words

law of the excluded middle, peirce's law, intuitionistic logic, principle of explosion, law of nontriviality, de morgan's law, classical logic, exclusive disjunction, exportation, strict implication, linear logic, positive logic, inclusive disjunction, lemma, postulate, logicism, monadic predicate logic, ternary logic, vacuous truth, abstract universal, figure, predicate logic, boolean atom, mathematical logic, löb's theorem, elementary equivalence, zero-order logic, maximal, literal, disjunction, trivialism, many-valued logic, exclusive or, boolean logic, prime formula, quantum logic, sublogic, explicandum, existential instantiation, major premise, pons asinorum, gödel's incompleteness theorem, abduction, subalternate, formal logic, simplification, propositional logic, completeness, falsum, propositional variable, zero-one law, extensionality, simple, truth function, forward reasoning, if-thenism, sentential logic, logic, minor, disjunctive normal form, subsumption, pigeonhole principle, formula, quantification, cromwell's rule, model, theorem, existential quantifier, atomic formula, boolean variable, intensional logic, fuzzy logic, logic diagram, inference rule, propositional constant, axiom, prenex normal form, universal quantifier, leibniz's law, horn clause, all-operator, herbrand's theorem, proof by contradiction, conjunctive normal form, many-sorted logic, boolean, categorical, maxterm, proof by example, heyting algebra, closed formula, weakening, well-formed formula, boolean algebra, proof system, eliminand, not operator, formation rule, euclid's lemma, monadic second-order logic

Similar Sounds

level-headed, level headed, liquidated, living legend, consolidated, living dead, ethics committee, secludedness, secluded, so excited