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

Usunięty 1 bajt ,  5 lat temu
m
jęz.
(drobne merytoryczne)
m (jęz.)
'''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ąceniespeł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 ==
14 338

edycji