Schlussregel
Schlussregel bezeichnet in der formalen Logik eine verwendete Regel des korrekten Schließens, um die Wahrheitsbedingung oder den Gehalt einer Aussage zu untersuchen.Die fünf „klassischen“ Schlussregeln:
- 1. Modus ponens (lat. bejahender Modus): der direkte Beweis
-
- 2. Modus tollens (lat. verneinender Modus): der indirekte Beweis
-
- 3. Modus Barbara (Kettenschluss)
-
- 4. Disjunktiver Syllogismus
-
- 5. Widerspruch
-
Siehe auch: Aussagenlogik, Inferenzrelation, Schlussfolgerung, Wahrheitserhaltung