Quantum redactiones paginae "Demonstratio mathematica" differant
Content deleted Content added
No edit summary |
|||
Linea 30:
=== Per transpositionem ===
===Per contradictionem===
Per contradictionem demonstrationis fundamentum est reductionis ad absurdum principium,quod statuit ,si propositio,una cum aliis certissime veris propositionibus,contradictionem implicet,illam propositionem falsam esse.
Quod saepe sic exercitur, ut,si quamlibet propositionem demonstrare velimus,eam negemus et e negatione eius contradictionem implicare conemur;contradictione inventa,negationem demonstrandis propositionis falsam esse scire licet.Ergo,propositio ipsa vera est.
=== Per exhaustionem ===
===Non constructiva===
|