deduction rule
Смотреть что такое "deduction rule" в других словарях:
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 — 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
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
rule of deduction — transformation rule … Useful english dictionary
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
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
Hilbert-style deduction system — In logic, especially mathematical logic, a Hilbert style deduction system is a type of system of formal deduction attributed to Gottlob FregeMáté Ruzsa 1997:129] and David Hilbert. These deductive systems are most often studied for first order… … Wikipedia
