Studium, Ausbildung und Beruf

web uni-protokolle.de
 powered by
NachrichtenLexikonProtokolleBücherForenFreitag, 18. April 2014 

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.

ImpressumLesezeichen setzenSeite versendenSeite drucken

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