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


Die Voraussetzung bedeutet, dass es Ausdrücke mit

und mit

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

Dies bedeutet .