Quantum redactiones paginae "Demonstratio mathematica" differant

Content deleted Content added
de argumento
de negatione et formula bene formata
Linea 26:
===Per contradictionem===
Per contradictionem demonstrationis fundamentum est [[reductio ad absurdum|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 eius negatione[[negatio]]ne contradictionem implicare conemur; contradictione inventa, negationem demonstrandis propositionis falsam esse scire licet.Ergo,propositio ipsa vera est.
 
{{NexInt}}
*[[Argumentum]]
*[[Corollarium]]
*[[Formula bene formata]]
*''[[QED|Quod erat demonstrandum]]'' sive Q.E.D.
== Nexus externi ==