Passen Sie die gelösten Übungen an Ihr Fach an. Kostenlos registrieren
Gültigkeit und logische Folgerung
Gültigkeit von Argumenten
Ein Argument ist gültig, wenn es unmöglich ist, dass die Prämissen wahr und die Konklusion falsch sind. Gültigkeit ist eine formale Eigenschaft, die von der Struktur des Arguments abhängt, nicht vom Inhalt der Aussagen.
Merkmale der Gültigkeit:
- Gültigkeit ist eine syntaktische Eigenschaft
- Ein gültiges Argument bewahrt die Wahrheit
- Gültigkeit garantiert nicht die Wahrheit der Prämissen
- Ein Argument kann mit falschen Prämissen gültig sein
Logische Folgerung
Eine Aussage φ ist logische Folgerung einer Menge von Prämissen Γ genau dann, wenn in jeder Interpretation, in der alle Formeln von Γ wahr sind, auch φ wahr ist.
Notation: Γ ⊨ φ
Beweismethoden
Es gibt verschiedene Methoden, um die Gültigkeit eines Arguments zu beweisen:
1. Wahrheitstafeln
Es wird eine Tafel mit allen möglichen Kombinationen von Wahrheitswerten erstellt. Das Argument ist gültig, wenn es keine Zeile gibt, in der die Prämissen wahr und die Konklusion falsch sind.
2. Natürliche Deduktion
Es werden Inferenzregeln angewendet, um die Konklusion aus den Prämissen durch eine Reihe von logisch gültigen Schritten abzuleiten.
3. Venn-Diagramme
Für Argumente mit kategorialer Struktur werden die Beziehungen zwischen Mengen durch Venn-Diagramme dargestellt, um die Gültigkeit zu überprüfen.
Ungültige Argumente
Ein Argument ist ungültig, wenn es mindestens eine Interpretation (oder Zeile in der Wahrheitstafel) gibt, in der alle Prämissen wahr, aber die Konklusion falsch ist. Diese Interpretation nennt man Gegenbeispiel.
Beziehung zu anderen Konzepten
- Stichhaltiges Argument: gültig und mit wahren Prämissen
- Korrektes Argument: gültig mit wahrer Konklusion
- Tautologie: gültige Formel ohne Prämissen (immer wahr)