Aussagenlogik/Implikationen/Schlussregel/1/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige die folgende Ableitungsregel für die Aussagenlogik.

Aus und folgt .
Eine Lösung erstellen