Teorema: diferèntzias tra is versiones

Content deleted Content added
No edit summary
Lìnia 4:
==In matemàtica==
In [[matemàtica]] po teorema, in sensu strintu, si narat una propositzioi chi benit dimostrada aintru a una [[teoria formali]] (cumenti a onni atra propositzioi chi benit de is [[assioma|assiomasa]] de sa teoria atressu unu manixu de dimostratzioi) e chi in d-una espositzioi sistemàtica de sa teoria benit presentau cumenti arrisurtau d'importantzia meda. Su rolu importanti diferentziat is teoremas de [[lemma]]s, de is [[corollariu]]s e de is fàcilis propositziois de sa teoria. Unu teorema est insarasa una [[implicatzioi logica]] intra dus predicaus.
 
Sa distintzioi intra teoremas e facilis propositziois de sa teoria esti una materia pagu precisa e poidi dipendi in patti de sa traditzioi, in patti de sa semplicidadi de sa propositzioi e duncas a sa facilidadi de n-di cumprendi su sensu e de d-d'arragodai, in patti de valutatzioisi asuba su numeru e su pesu de is cusseguéntziasa chi si pointi ricavai de una propositzioi.
 
Onnia tanti si usada su fueddu "teorema" puru po una propositzioi po chi no si pottada una dimostratzioi chi donada soddisfatzioi in totu e po totu, ma si pottada scetti una prova chi ballidi po unu numeru mannu de situatzioisi ma no po totusu o de una prova cun callincunu passàda pagu definida (su fueddu justu, in sas teoriasa formalisi, esti una [[congettura]]).