Windows Live® Suchergebnisse
Windows Live® Suchergebnisse DeduktionEnzyklopädieartikel
Deduktion (lateinisch deducere: ableiten, herleiten), in der Logik jene Art der Beweisführung, bei welcher eine bestimmte Aussage aus einer oder mehreren anderen Aussagen abgeleitet werden. In gültigen deduktiven Beweisführungen muss ein Schluss wahr sein, wenn alle Prämissen wahr sind. Geht man von der Voraussetzung aus, dass alle Menschen fehlbar sind, und Philosophen Menschen sind, dann kann man logisch folgern, dass Philosophen fehlbar sind. Dieses ist ein Beispiel für einen Syllogismus, ein Beweis bei dem zwei Prämissen gegeben sind und ein logischer Schluss gezogen wird. Deduktion ist immer korrekt, wenn alle Ableitungsschritte durch logische Deduktionsregeln gerechtfertigt sind. Die formale Logik bestimmt dabei, welche Schlüsse zulässig sind. Siehe auch Induktion.
© 1993-2008 Microsoft Corporation. Alle Rechte vorbehalten. |
© 2008 Microsoft
![]() ![]() |