Bei der Bearbeitung des Übungsblatts sind folgende Fragen bei uns aufgekommen: Wozu kann die Einführung einer Negation nützlich sein? Wie geht man mit negierten Formeln um? Kann man sie immer mit der Elimination der Negation (negierte Formel (Hyp) und nicht-negierte Formel (Hyp)) auf einen Widerspruch zurückführen? Oder darf diese Regel nur angewendet werden, wenn eine
Read on »