Inferenz allgemeingültige Formeln

Grundbereich: aussagenlogische Formeln (mit Variablen und Implikation)

Axiom-Schemata: $\displaystyle {\frac{{}}{{X \to(Y \to X)}}}$,$\displaystyle {\frac{{}}{{(X\to(Y\to Z)) \to ((X \to Y)\to(X\to Z))}}}$ Regel-Schema (modus ponens): $\displaystyle {\frac{{X\to Y, X}}{{Y}}}$

Beobachtungen/Fragen:



Johannes Waldmann 2012-01-30