Dowód (matematyka): Różnice pomiędzy wersjami

drobne merytoryczne
(drobne merytoryczne)
'''Dowód''' – wykazanie, że pewne zdanie jest prawdziwe. Dowód należy odróżnić od empirycznego lub [[heurystyka (informatyka)|heurystycznego]] rozumowania. Każdy krok dowodu musi jasno wynikać z poprzednich lub być przyjętym [[aksjomat]]em; rozumowanie nie spełniające tego warunku nie jest dowodem. Ostatni krok dowodu to udowodnione zdanie, które w ten sposób staje się '''twierdzeniem''' danej [[teoria (logika)|teorii]]. Zwyczajowo koniec dowodu oznacza się skrótem [[q.e.d.]] (quod erat demonstrandum), c.n.d. (co należało dowieść), c.b.d.o. (co było do okazania) lub podobnym.
 
== Metody dowodu ==