Prednášky62 s. / 1. roč. / pdf
Význam dôkazu v matematike V matematike, podobne ako aj v informatike, vystupujú do popredia dve otázky: (1) Za akých podmienok je matematický argument korektný a (2) aké metódy môžu byť použité pri konštrukcii matematických argumentov. Veta (teorém, výrok, skutočnosť, fakt, alebo výsledok) je výrok o ktorom môže byť ukázané, že je pravdivý. Dôkaz vety - je postupnosť argumentov, ktoré sú odvodené buď z množiny jednoduchých argumentov - postulátov, nazývaných axiómy, alebo z predchádzajúcich arg...