«Modus tollendo tollens»: berrikuspenen arteko aldeak

t
Replacing deprecated latex syntax mw:Extension:Math/Roadmap
t (Robota: Aldaketa kosmetikoak)
t (Replacing deprecated latex syntax mw:Extension:Math/Roadmap)
Notazio honi logika proposizionalaren teorema ere deitzen zaio eta honela idazten da:
 
:<math>((P \to Q) \andland \neg Q) \to \neg P</math>
 
non <math>P</math> eta <math>Q</math> sistema formalen batean adierazitako proposamenak diren.
| 2 || <math>\neg Q</math> || Premisa
|-
| 3 || <math>\neg P\orlor Q</math> || [[Inplikazio material]]a (1)
|-
| 4 || <math>\neg P</math> || [[Silogismo disjuntibo]]a (2,3)
| 4 || <math>Q</math> || [[Modus ponendo ponens|Modus ponens]] (1,3)
|-
| 5 || <math>Q \andland \neg Q</math> || [[Konbinazio konjuntibo]]a (2,4)
|-
| 6 || <math>\neg P</math> || ''[[Reductio ad absurdum]]'' (3,5)