Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion/Axiomatik/Weitere Schlussregeln/Fakt/Beweis

Beweis
  1. Sei

    und

    Nach Bemerkung gilt auch

    und daraus ergibt sich mit Axiom  (3), der Konjunktionsregel und dem Modus ponens

    Mittels des Kettenschlusses ergibt sich daraus und aus Axiom  (2) die Behauptung.

  2. Siehe Aufgabe.