Modus Tollens
Natural & Formal Sciences Dictionary
Definition
Eine Schlussregel: aus 'Wenn P dann Q' (P → Q) und 'nicht Q' (¬Q) folgt 'nicht P' (¬P). Sie ist die Standardmethode, Antezedens durch Scheitern des Konsequens abzulehnen.
Modus Tollens
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Eine gültige Schlussregel, die aus den Prämissen A → B und ¬B das ¬A zulässt; oft formuliert als ‚wenn A dann B; nicht B; also nicht A.‘