Schlussregel

Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
Schlussregel bezeichnet in der formalen Logik eine verwendete Regel des korrekten Schließens um die Wahrheitsbedingung oder den Gehalt Aussage zu untersuchen.

Die fünf „klassischen“ Schlussregeln:

Modus_ponens (lat. bejahender Modus ): der direkte Beweis

p → q

p

q
Modus_tollens (lat. verneinender Modus ): der indirekte Beweis

p → q

¬ q

¬ p
Modus Barbara (Kettenschluss)

p → q

q → r

p → r
Disjunktiver Syllogismus
Resolution

Siehe auch: Aussagenlogik

Bücher zum Thema Schlussregel

Dieser Artikel von Wikipedia unterliegt der GNU FDL.

Impressum • Lesezeichen setzen • Seite versenden • Seite drucken

HTML-Code zum Verweis auf diese Seite:
<a href="http://www.uni-protokolle.de/Lexikon/Schlussregel.html">Schlussregel </a>