«Modus tollendo tollens»: berrikuspenen arteko aldeak

Notazio honi logika proposizionalaren teorema ere deitzen zaio eta honela idazten da:

 

 

non <math>P</math> eta <math>Q</math> sistema formalen batean adierazitako proposamenak diren.

| 2 || <math>\neg Q</math> || Premisa

|-

|-

| 4 || <math>\neg P</math> || [[Silogismo disjuntibo]]a (2,3)

| 4 || <math>Q</math> || [[Modus ponendo ponens|Modus ponens]] (1,3)

|-

|-

| 6 || <math>\neg P</math> || ''[[Reductio ad absurdum]]'' (3,5)