De·duk·ti·on <-, -en> [dedʊkˈtsi̯o:n] 名词 f
- Deduktion
-
无例句可用
请尝试其他条目。
单语范例（未经PONS编辑处理）
Die Deduktion wird deshalb auch als logisches Schließen bezeichnet, weil es möglich ist, aus mindestens zwei Aussagen eine neue Aussage abzuleiten.
de.wikipedia.org Das typisch Scholastische war ein nahezu grenzenloses Vertrauen in die Macht und Zuverlässigkeit der Deduktion, des Schließens vom Allgemeinen auf das Besondere.
de.wikipedia.org Deduktionen und Induktionen spielen in den verschiedenen Bereichen der aristotelischen Argumentationstheorie und Logik zentrale Rollen.
de.wikipedia.org Der fragmentarische Beweisteil seiner Rhythmik mit Deduktionen der in der Rhythmusbildung möglichen Füße ist ohne Hypothesen nicht mehr rekonstruierbar, weil hier gewisse Axiome verschollen sind.
de.wikipedia.org Durch Deduktion gelangt man allerdings zu nichts Neuem, das nicht schon in den Prämissen des Schlusses vorgegeben wäre.
de.wikipedia.org 互联网提供的例句（未经PONS编辑处理）
[...]
www.mpi-inf.mpg.de Es ist ein familiäres Treffen, auf dem alle, die an der Deduktion interessiert sind, über ihre Arbeit in einem informellem Rahmen berichten können.
[...][...]
It is an informal, friendly meeting at which all interested in deduction can report on their work.
[...][...]
www.uni-oldenburg.de Dabei liegen ihre Stärken in struktureller und begrifflicher Klarheit und der durch Abstraktion und Deduktion gewonnenen Übersichtlichkeit sowie ihrer breiten Anwendbarkeit.
[...][...]
Its strengths lie therefore in structural and conceptual clarity, broad applicability, and a lucidity that is achieved through abstraction and deduction.
[...][...]
www.dfki.de VSE unterstützt in umfassender Weise die formale Entwicklung durch eine nahtlose Integration von Spezifikation, Deduktion und Verwaltung von formalen Artefakten.
[...][...]
VSE supports formal development in a comprehensive way by closely integrating specification, deduction, and management of developments.
[...][...]
domino.mpi-inf.mpg.de Sein wissenschaftlicher Schwerpunkt ist die automatische Deduktion: die Entwicklung von Systemen, mit denen logische Aussagen auf Knopfdruck bewiesen werden können, und die als automatische Werkzeuge bei der Verifikation großer Hard- und Softwareprojekte einsetzbar sind.
[...][...]
His main field of research is automated deduction -- the development of push-button methods for proving and disproving logical statements that can be used as automatic tools within the verification of large hardware and software systems.
[...][...]
www.informatik.uni-freiburg.de Psychologische Untersuchungen der menschlichen Deduktion haben sich bisher auf positive Ausdrücke konzentriert.
[...][...]
In the past, psychological research on human deduction has mostly focused on positive expressions.
[...]