Modus tollendo tollens: berrikuspenen arteko aldeak
Ezabatutako edukia Gehitutako edukia
t Robota: Aldaketa kosmetikoak |
t Replacing deprecated latex syntax mw:Extension:Math/Roadmap |
||
30. lerroa:
Notazio honi logika proposizionalaren teorema ere deitzen zaio eta honela idazten da:
:<math>((P \to Q) \
non <math>P</math> eta <math>Q</math> sistema formalen batean adierazitako proposamenak diren.
119. lerroa:
| 2 || <math>\neg Q</math> || Premisa
|-
| 3 || <math>\neg P\
|-
| 4 || <math>\neg P</math> || [[Silogismo disjuntibo]]a (2,3)
140. lerroa:
| 4 || <math>Q</math> || [[Modus ponendo ponens|Modus ponens]] (1,3)
|-
| 5 || <math>Q \
|-
| 6 || <math>\neg P</math> || ''[[Reductio ad absurdum]]'' (3,5)
| |||