Formalitäten für Profis: Für die Nutzung in Ableitungen mit Abhängigkeitsspalte und formaler Ordnung: 1 (1) P -> Q Annahmen Einführung (AE) 2 (2) ~Q Annahmen Einführung (AE) 1,2 (3) ~P 2,1 modus tollendo tollens (2,1 MTT) Die Reihenfolge der Referenzen bei der Anwendung des Modus Tollens ist eine formale Festlegung. Die Schreibweise: 1,2 MTT ist auch korrekt, kann aber abhängig vom Kalkül ein Formfehler sein. Die Schreibweise 1,2 MTT kommt seltener vor , ist aber andererseits konsistent mit der Schreibweise beim Modus Ponens. Willst du Ableitungen machen entscheide dich für eine Variante und behalte sie bei.
Formalitäten für Profis:
Für die Nutzung in Ableitungen mit Abhängigkeitsspalte und formaler Ordnung:
1 (1) P -> Q Annahmen Einführung (AE)
2 (2) ~Q Annahmen Einführung (AE)
1,2 (3) ~P 2,1 modus tollendo tollens (2,1 MTT)
Die Reihenfolge der Referenzen bei der Anwendung des Modus Tollens ist eine formale Festlegung.
Die Schreibweise: 1,2 MTT ist auch korrekt, kann aber abhängig vom Kalkül ein Formfehler sein.
Die Schreibweise 1,2 MTT kommt seltener vor , ist aber andererseits konsistent mit der Schreibweise beim Modus Ponens.
Willst du Ableitungen machen entscheide dich für eine Variante und behalte sie bei.