Definition, Bedeutung & Synonyme | Englisch Wort DEDUCTION

---

Definitionen von DEDUCTION

1. (Finanz) der Abschlag, Abzug, Abschreibung
2. Nachlass, Preisnachlass, Rabatt
3. Schlussfolgerung, Folgerung

---

---

---

---

---

---

---

---

---

Beispiele für die Verwendung von DEDUCTION in einem Satz

• Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.
• Natural deduction, a class of proof systems based on simple and self-evident rules of inference that aim to closely mirror how reasoning actually occurs.
• Disjunction introduction or addition (also called or introduction) is a rule of inference of propositional logic and almost every other deduction system.
• Referring to himself as a "consulting detective" in his stories, Holmes is known for his proficiency with observation, deduction, forensic science and logical reasoning that borders on the fantastic, which he employs when investigating cases for a wide variety of clients, including Scotland Yard.
• Spurred on by a series of seminars in Poland in 1926 by Łukasiewicz that advocated a more natural treatment of logic, Jaśkowski made the earliest attempts at defining a more natural deduction, first in 1929 using a diagrammatic notation, and later updating his proposal in a sequence of papers in 1934 and 1935.
• One approach defines deduction in terms of the intentions of the author: they have to intend for the premises to offer deductive support to the conclusion.
• This new area of mathematics involved new methods of reasoning and new basic concepts (continuous functions, derivatives, limits) that were not well founded, but had astonishing consequences, such as the deduction from Newton's law of gravitation that the orbits of the planets are ellipses.
• The central character is often a detective (such as Sherlock Holmes), who eventually solves the mystery by logical deduction from facts presented to the reader.
• Players keep track on paper of each guess and result, crossing out letters of the alphabet that (by deduction) cannot appear in the opponent's secret word.
• Mafia, also known as Werewolf, is a Russian social deduction game created by Dimitry Davidoff in 1986.
• Each conditional tautology is inferred from other conditional tautologies on earlier lines in a formal argument according to rules and procedures of inference, giving a better approximation to the natural style of deduction used by mathematicians than David Hilbert's earlier style of formal logic, in which every line was an unconditional tautology.
• A tax deduction or benefit is an amount deducted from taxable income, usually based on expenses such as those incurred to produce additional income.
• Under United States tax law, itemized deductions are eligible expenses that individual taxpayers can claim on federal income tax returns and which decrease their taxable income, and are claimable in place of a standard deduction, if available.
• Under United States tax law, the standard deduction is a dollar amount that non-itemizers may subtract from their income before income tax (but not other kinds of tax, such as payroll tax) is applied.
• Mycroft is described as having abilities of deduction and knowledge exceeding even those of his brother, though their practical use is limited by his dislike of fieldwork.
• Under United States tax law, a personal exemption is an amount that a resident taxpayer is entitled to claim as a tax deduction against personal income in calculating taxable income and consequently federal income tax.
• National Insurance contributions are paid into the various National Insurance Funds after deduction of monies specifically allocated to the National Health Services (NHS).
• Sequent calculi and systems of natural deduction have been developed for several modal logics, but it has proven hard to combine generality with other features expected of good structural proof theories, such as purity (the proof theory does not introduce extra-logical notions such as labels) and analyticity (the logical rules support a clean notion of analytic proof).
• OHIP is funded by a payroll deduction tax by residents who are gainfully employed, by businesses in the province of Ontario, and by transfer payments from the Government of Canada.
• To understand the early history of model theory one must distinguish between syntactical consistency (no contradiction can be derived using the deduction rules for first-order logic) and satisfiability (there is a model).

Die Seitenvorbereitung dauerte: 215,40 ms.