Deduktionstheorem

Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
In der mathematischen Logik sagt das Deduktionstheorem aus dass wenn einer Prämisse durch Anwendung einer Inferenzregel eine hergeleitet werden kann dann kann behauptet werden die Prämisse die Schlussfolgerung impliziert.

Formal ausgedrückt:

Wenn

<math> p \vdash q </math>

dann

<math> \vdash p \rightarrow q.

</math>

p und q sind dabei jeweils der Aussagenlogik bzw. Prädikatenlogik erster Stufe.

Bücher zum Thema Deduktionstheorem

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/Deduktionstheorem.html">Deduktionstheorem </a>