Deduktion

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Der Prozess oder die Operation, Schlussfolgerungen zu ziehen, die notwendigerweise aus gegebenen Prämissen durch Anwendung von Inferenzregeln innerhalb eines logischen Systems folgen; Deduktion liefert Schlussfolgerungen, deren Wahrheit durch Prämissen und Regeln impliziert wird.