Übersetzung für 'deduction theorem' von Englisch nach Deutsch

deduction theorem

Deduktionstheorem {n}math.

---

Whittaker-Kotelnikow-Shannon sampling theorem <WKS sampling theorem>

WKS-Abtasttheorem {n}electr.

Werbung

Kolmogorov-Arnold-Moser theorem <KAM theorem> [also: theorem of Kolmogorov-Arnold-Moser]

Kolmogorow-Arnold-Moser-Theorem {n} <KAM-Theorem>math.

Poincaré-Birkhoff-Witt theorem <PBW theorem>

Satz {m} von Poincaré-Birkhoff-Wittmath.

Cantor-Bernstein-Schroeder theorem <CBS theorem>

Cantor-Bernstein-Schröder'scher Satz / Äquivalenzsatz {m}math.

deduction

Abschlag {m} [Abzug, Reduktion]

Kürzung {f}

Anrechnung {f} [als Abzug]

Erlass {m} [Rabatt]

Nachlass {m} [im Preis]comm.

Herleitung {f}math.

Abrechnung {f} [Abzug]

Rabatt {m}comm.

Abzug {m} [v. Lohn etc.]fin.

Abstrich {m}

Absetzung {f}

deduction [inference]

Deduktion {f}philos.

allowable deduction

zulässiger Abzug {m}fin.

standard deduction

Pauschalabzug {m}acc.

deduction item

abzuziehender Posten {m}

itemized deduction

Einzelabzug {m}acc.

• Especially, the deduction theorem specific to Hilbert-style logic matches the process of abstraction elimination of combinatory logic.
• The classical deduction theorem does not hold for this logic, however a modified form does hold, namely "A" ⊢ "B" if and only if ⊢ "A" → ("A" → "B").
• ... g. deduction theorem) must be proven as a metatheorem in Hilbert-style deduction system, while it can be declared explicitly as a rule of inference in natural deduction.
• Given these axioms, it is possible to form conservative extensions of the deduction theorem that permit the use of additional connectives.
• As explained in the deduction theorem article, this holds for any axiomatic extension of the system containing axiom schemas 1 and 2 above and modus ponens.

• (3) owes much to the joint work of Blok and Pigozzi exploring the different forms that the well-known deduction theorem of classical propositional calculus and first-order logic takes on in a wide variety of logical systems.
• In this proof, universal generalization was used in step 8. The deduction theorem was applicable in steps 10 and 11 because the formulas being moved have no free variables.
• Peirce's law does not hold in intuitionistic logic or intermediate logics and cannot be deduced from the deduction theorem alone.
• The deduction theorem holds for all first-order theories with the usual deductive systems for first-order logic.
• For a valuation, the set of true formulas is closed under modus ponens and the deduction theorem.

• This deduction theorem (DT) is not itself formulated with propositional calculus: it is not a theorem of propositional calculus, but a theorem about propositional calculus.