Aussagenlogik/Implikationen/Schlussregel/1/Aufgabe

Aus Wikiversity

Zeige die folgende Ableitungsregel für die Aussagenlogik.

Aus und folgt .