Aussagenlogik/Ableitungsbeziehung/Konjunktionsregel/1/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Die Voraussetzung bedeutet, dass es Ausdrücke mit

und mit

gibt. Daraus ergibt sich mit Hilfe (der Regelversion) von Fakt  (2)

Dies bedeutet .
Zur gelösten Aufgabe