Aussagenlogik/Ableitungskalkül/Variante für Modus Ponens/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Wir betrachten eine Variante des Ableitungskalkül (geschrieben ) der Aussagenlogik, bei dem die Grundtautologien aus Axiom unverändert übernommen werden, bei der aber der Modus Ponens durch die Schlussregel

Wenn , dann ist

ersetzt wird. Stimmen ,

überein?
Eine Lösung erstellen