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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.
Zur bewiesenen Aussage