How to pronounce “proof by exhaustion”

Meaning

• [Noun]
• (logic) The indirect verification or falsification of a statement by the verification or falsification of each of the finite number of cases which arise therefrom.

Practice Nearby Words

proof by example, proof, proof by contradiction, analysis, verification, prover, proof system, induction, exhaustion, demonstration, probabilistically checkable proof, forcing, principle of explosion, specialization, infinite descent, generalization, semidecision, constructive logic, diagonalisation, position, tactical, logic, quantification, subproof, lemma, nonexplosion, probabilification, reductio ad absurdum, double counting, entscheidungsproblem, truth function, reduction to the absurd, rosser's trick, infinite regress, simplification, theorem, prime formula, natural deduction, porism, special case, valuation, folklore, mathematical induction, vacuous truth, löb's theorem, diallelus, law of excluded middle, persistence, argument form, trivialism, falsum, exponentiation, proposition, deduction, formal logic, finitism, well-formed formula, postulate, rewriting, forward reasoning, closed formula, weakening, argument, unverity, destructive sorites, zero-knowledge proof, inference rule, positive logic, inference to the best explanation, law of nontriviality, explicandum, gödel's incompleteness theorem, many-valued logic, elimination, law of the excluded middle, recursive function, intuitionism, truth table, theory, conservative extension, diagonal argument, exportation, formula, factorialization, squeeze theorem, predicate logic, mathematical logic, constant problem, abscissio infiniti, model, thesis, abductive reasoning, tautology, richardson's theorem, infinitism, metatheorem, extension, heptalemma, barcan formula, truth tree

Similar Sounds

heat exhaustion, preexisting, pre existing, pop the question, paralysation, brutalisation, bryozoan, brobdingnagian, baptization, beyond question