++ Mathe Formeln ++ Mathematik Lexikon ++ Lösungen ++ Hausaufgaben ++ Algebra ++ Lernen ++ Übungen ++ Schule ++ Geometrie ++

Navigation

Mathematik Begriffe
A B C D E
F G H I J
K L M N O
P Q R S T
U V W X Y
Z 123      
Goldkurs

Mathematik Begriff Erklärung Deduktionstheorem Formel Hilfe Hausaufgabeb
Deduktionstheorem

In der mathematischen Logik sagt das Deduktionstheorem aus, dass, wenn aus einer Prämisse durch Anwendung einer Inferenzregel eine Schlussfolgerung hergeleitet werden kann, dann behauptet werden kann, dass die Prämisse die Schlussfolgerung impliziert.

Formal ausgedrückt:

Wenn

p \vdash q,

dann

\vdash p \rightarrow q.

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

 

Siehe auch

  • Negation, Polarität (Philosophie), Neutrosofie
  • These, Deduktion, Induktion (Logik), Abduktion, Fehlschluss, Statistik, Nullhypothese, Rhetorik, Dialektik, Fehler 1. und 2. Art
  • Falsch positiv, Metawissenschaft
Dieser Artikel ( Deduktionstheorem ) stammt aus Wikipedia, der freien Enzyklopädie
und steht unter der GNU Free Documentation Licence. 
+++ Mathe Formeln ++ Mathematik Lexikon ++ Lösungen ++ IMPRESSUM ++ Algebra ++ Lernen ++ Übungen ++ Schule ++ Geometrie +++