Modus Tollendo Ponens

Modus tollendo ponens (literally: mode which, by denying, affirms) is a valid, simple argument form:
P or Q
Not P
Therefore, Q
An English language example:
Either Jim's in the library, or he's in the pub.
But he's not in the library.
So he must be in the pub.
Unlike modus ponendo ponens and modus tollendo tollens, with which it should not be confused, MTP is often not made an explicit rule or axiom of logical systems, as the above arguments can be proven with a (slightly devious) combination of reductio ad absurdum and disjunction elimination. MTP should also not be confused with modus ponendo tollens.

External link

* Proof of MTP

 

<< PreviousWord BrowserNext >>
can opener
muriel rukeyser
fitionesti
whitefish lake 6, ontario
t 84
t (band)
passion (musical)
ncaa women's lacrosse championship
bolivian haemorrhagic fever
prince edward county
utena county
prairie county
powell county
storm prediction center
countermeasure
jammer
devic
dean drayton
potter county
pottawatomie county
chasseurs d'afrique
portage county
first war in heaven
pope county
list of pokmon by stage
pontotoc county
polk county
ren
walter h. pehle
julia cameron (disambiguation)
polycarbonate
cinnamaldehyde
modus ponendo tollens
pocahontas county
plymouth county
william newcomb
picture frame seduction
chonburi
metal gear 2: solid snake
chonburi (city)
william gascoigne
jean leloup
platte county
ford trimotor