BabelNet

bn:01151793n

Noun Concept

Categories: Articles with short description, Classical logic, Theorems in propositional logic, Rules of inference, Latin logical phrases

modus tollens denying the consequent Modus tolens modus tollendo tollens MT

In propositional logic, modus tollens, also known as modus tollendo tollens and denying the consequent, is a deductive argument form and a rule of inference. Wikipedia

Definitions

Examples

Relations

Sources

In propositional logic, modus tollens, also known as modus tollendo tollens and denying the consequent, is a deductive argument form and a rule of inference. Wikipedia

If X implies Y, and Y isn''t true, then neither is X Wikidata

A valid form of argument in which the consequent of a conditional proposition is denied, thus implying the denial of the antecedent. Modus tollens has this form. Wiktionary

A valid form of argument in which the consequent of a condition proposition is denied. Wiktionary (translation)

1. If P, then Q. Wiktionary

2. Not Q. Wiktionary

3. Therefore, not P. Wiktionary

IS A

theorem

rule of inference

Wikipedia

modus tollens

Wikidata

modus tollens

Wiktionary

modus tollens

Wikipedia Redirections

denying the consequent, Modus tolens, Modus tollendo tollens, Modus Tollens, Universal modus tollens

Wikidata Alias

modus tollendo tollens, MT