Inferenz allgemeingültige Formeln

Grundbereich: aussagenlogische Formeln (mit Variablen und Implikation)

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

Beobachtungen/Fragen:

• Übung (autotool): Leite p→p ab.
• (Korrektheit): jede ableitbare Formel ist allgemeingültig

• (Vollständigkeit): sind alle allgemeingültigen Formeln (in dieser Signatur) ableitbar?