Modus tollens
In propositional logic, modus tollens (/ˈmoʊdəs ˈtɒlɛnz/) (MT), also known as modus tollendo tollens (Latin for "mode that by denying denies") and denying the consequent, is a deductive argument form and a rule of inference. Modus tollens takes the form of "If P, then Q. Not Q. Therefore, not P." It is an application of the general truth that if a statement is true, then so is its contrapositive. The form shows that inference from P implies Q to the negation of Q implies the negation of P is a valid argument.
notableIdea
Wikipage disambiguates
Affirming the consequentAppeal to consequencesArgument from poor designArgumentum ad baculumAsteroidal waterBackward chainingCatch-22 (logic)ChrysippusConstructive dilemmaContrapositionCounterfactual conditionalCycDenying the antecedentDenying the consequentDestructive dilemmaEpistemic closureExperience machineFalsifiabilityFoundations of statisticsFuzzy ruleGlossary of artificial intelligenceGödel machineHere is one handHypothetical syllogismIndex of logic articlesIndex of philosophy articles (D–H)Index of philosophy articles (I–Q)Indicative conditionalInductivismList of Latin phrases (M)List of rules of inferenceList of valid argument formsLogical formLogical positivismMTMTTMasked-man fallacyMaterial conditionalModus TollensModus ponens
Link from a Wikipage to another Wikipage
primaryTopic
Modus tollens
In propositional logic, modus tollens (/ˈmoʊdəs ˈtɒlɛnz/) (MT), also known as modus tollendo tollens (Latin for "mode that by denying denies") and denying the consequent, is a deductive argument form and a rule of inference. Modus tollens takes the form of "If P, then Q. Not Q. Therefore, not P." It is an application of the general truth that if a statement is true, then so is its contrapositive. The form shows that inference from P implies Q to the negation of Q implies the negation of P is a valid argument.
has abstract
Dalam kalkulus proposisional, ...... s tollens adalah Theophrastus.
@in
El modus tollendo tollens (lat ...... te y negación del antecedente.
@es
En logique propositionnelle, l ...... t la négation de l'antécédent.
@fr
En lògica, el modus tollendo t ...... otació del càlcul de seqüents:
@ca
Il modus tollens (MT), abbrevi ...... potetiche e delle disgiuntive.
@it
In propositional logic, modus ...... n and proof by contrapositive.
@en
Modus tollendo tollens (latine ...... ena eta aurrekariaren ukapena.
@eu
Modus tollens (Latim: modo que ...... bém chamado de modo apagógico.
@pt
Modus tollens (latin: metod fö ...... tså är x inte ett element i P.
@sv
Modus tollens (łac. modus toll ...... formalnej i metodologii nauk.
@pl
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,014,085,891
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
Dalam kalkulus proposisional, ...... nyatakan secara resmi sebagai:
@in
El modus tollendo tollens (lat ...... to, no está hirviendo el agua.
@es
En logique propositionnelle, l ...... la négation de l'antécédent P.
@fr
En lògica, el modus tollendo t ...... otació del càlcul de seqüents:
@ca
Il modus tollens (MT), abbrevi ......
* è condizione necessaria per
@it
In propositional logic, modus ...... tion of P is a valid argument.
@en
Modus tollendo tollens (latine ...... llendo tollens-en adibide bat:
@eu
Modus tollens (Latim: modo que ...... bém chamado de modo apagógico.
@pt
Modus tollens (latin: metod fö ...... mellt kan regeln även skrivas:
@sv
Modus tollens (łac. modus toll ...... my zaakceptować też fałszywość
@pl
label
Modus tollendo tollens
@ca
Modus tollendo tollens
@es
Modus tollendo tollens
@eu
Modus tollens
@cs
Modus tollens
@de
Modus tollens
@en
Modus tollens
@fr
Modus tollens
@in
Modus tollens
@it
Modus tollens
@nl