rule of deduction
Смотреть что такое "rule of deduction" в других словарях:
rule of deduction — transformation rule … Useful english dictionary
rule — Synonyms and related words: Aristotelian sorites, Goclenian sorites, Procrustean law, SOP, T square, a priori truth, acme, act, act on, administration, antetype, antitype, apothegm, appointment, apriorism, archetype, as a rule, ascendancy, assize … Moby Thesaurus
deduction — 1 Deduction, abatement, rebate, discount are comparable when they mean an amount subtracted from a gross sum. Deduction is interchangeable with any of the others but not without some loss in precision. An abatement is a deduction from a levied… … New Dictionary of Synonyms
deduction — deduction, induction Deduction is the inferring of particular instances from known or observed evidence; induction is the inferring of a general rule from particular instances … Modern English usage
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
deduction — I (New American Roget s College Thesaurus) Subtraction Nouns 1. deduction, removal, excision; subtraction; minus, minus sign, subtrahend, minuend; remainder, difference; abstraction, abbreviation, curtailment (see shortness); reduction (see… … English dictionary for students
deduction — de duc·tion || kʃn n. subtraction, reduction, discount; conclusion; method of logical reasoning in which one uses a general rule to determine individual elements … English contemporary dictionary
deduction method — philosophical method of determining a general rule from an individual detail … English contemporary dictionary
transformation rule — noun : a principle in logic establishing the conditions under which one statement can be derived or validly deduced from one or more other statements especially in a formalized language called also rule of deduction; compare modus ponens, modus… … Useful english dictionary
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
