BabelNet

bn:01151793n

Noun Concept

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

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