Geben Sie einen formalen Beweis für den sogenannten Modus tollendo tollens:¬q, p ⇒ q ` ¬p.
Danke im Voraus
Ein Beweis steht hier.
