Demostraci??
De Viquip??dia
Una demostraci?? ??s un argument rigor??s que parteix d'unes premisses que es consideren proposicions acceptades, i tot usant regles correctes d'infer??ncia, arriba a una conclusi??. La demostraci?? ??s, per tant, un justificaci?? acceptable de la conclusi??, car mostra de quina manera se segueix de les premisses. Tradicionalment la disciplina que s'ha encarregat de l'estudi de les demostracions ha estat la L??gica amb diversos nivells d'abstracci?? formal.
Les demostracions es troben en tots els ??mbits del raonament hum??, tant en les converses quotidianes com en totes les disciplines del saber. Tanmateix, hi ha un ci??ncia en qu?? la demostraci?? n'??s una part absolutament central: la Matem??tica. No ??s estrany, doncs, que una branca de la L??gica s'hagi especialitzat a estudiar el tipus de raonament que ??s espec??fic de les demostracions matem??tiques: la L??gica matem??tica, que ??s una evoluci?? de la L??gica simb??lica. Aquesta subdisciplina de la L??gica no nom??s rep l'adjectiu "matem??tica" pel fet de dedicar-se al raonament propi d'aquesta ci??ncia, sin?? perqu?? ??s al seu torn una disciplina purament matem??tica per la metodologia i els objectes que usa. Per aquest motiu, tamb?? se l'ha anomenat "metamatem??tica", puix que ??s una matem??tica que estudia la matem??tica. Actualment, despr??s de gaireb?? un segle i mig de desenvolupament la L??gica matem??tica s'ha especialitzat en una s??rie de subcamps, dels quals la Teoria de la prova ??s aquell que m??s espec??ficament es dedica a l'estudi de les demostracions.
