Aussagenlogik/Ableitungsbeziehung/Widerspruchsregel/Aufgabe/Lösung


Es gilt

nach Axiom  (5). Nach der Voraussetzung und Fakt  (5)

ergibt sich daraus .