English Wikipedia has an article on: <span class="searchmatch">deduction</span> <span class="searchmatch">theorem</span> Wikipedia <span class="searchmatch">deduction</span> <span class="searchmatch">theorem</span> (plural <span class="searchmatch">deduction</span> <span class="searchmatch">theorems</span>) (logic) A procedure for "discharging" assumptions...
<span class="searchmatch">deduction</span> <span class="searchmatch">theorems</span> plural of <span class="searchmatch">deduction</span> <span class="searchmatch">theorem</span>...
extract, reduction; see also Thesaurus:decrement <span class="searchmatch">deduction</span> <span class="searchmatch">theorem</span> natural <span class="searchmatch">deduction</span> neutral <span class="searchmatch">deduction</span> nondeduction tax-deductible that which is subtracted...
<span class="searchmatch">theorem</span> de Bruijn-Erdős <span class="searchmatch">theorem</span> de Bruijn's <span class="searchmatch">theorem</span> <span class="searchmatch">deduction</span> <span class="searchmatch">theorem</span> de Moivre's <span class="searchmatch">theorem</span> Desargues's <span class="searchmatch">theorem</span> divergence <span class="searchmatch">theorem</span> Earnshaw's <span class="searchmatch">theorem</span> edge-of-the-wedge...
Dongming Wang, GEOTHER: A Geometry <span class="searchmatch">Theorem</span> Prover, M. A. McRobbie, J. K. Slaney (editors), Automated <span class="searchmatch">Deduction</span> - Cade-13: 13th International Conference...
metatheorem Wikipedia From meta- + <span class="searchmatch">theorem</span>. metatheorem (plural metatheorems) (logic) A statement about <span class="searchmatch">theorems</span> proven in a metalanguage. 2007, Nino...
From Ancient Greek πόρισμα (pórisma, “a <span class="searchmatch">deduction</span> from a previous demonstration”). porism (plural porisms) (geometry, number theory) A proposition affirming...
condition c∧a ≤ b ⇒ c ≤ a→b becomes c, a ⊢ b ⇒ c ⊢ a→b, which is the <span class="searchmatch">deduction</span> <span class="searchmatch">theorem</span>. The pseudo-complement of a, denoted ¬a, is defined as a→0, and a→b...
cross-polytope polytopic geometric shape ^ 1910, A. Boole Stott, Geometrical <span class="searchmatch">deduction</span> of semiregular from regular polytopes and space fillings, Verhandelingen...
called the powerful. Leading to many or important <span class="searchmatch">deductions</span>. a powerful set of postulates a powerful <span class="searchmatch">theorem</span> (mining) Large; capacious; said of veins of ore...