Aussagenlogik/Ableitungsbeziehung/Widerspruchsregel/Aufgabe/Lösung


Es gilt

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

ergibt sich daraus .
Zur gelösten Aufgabe


Dieser Artikel wurde von Wikiversity herausgegeben. Der Text ist unter Creative Commons Attribution-Share Alike 4.0 verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.