dowód

dowód,

log. skończony ciąg zdań, z których każde jest bądź jakimś zdaniem już uznanym, bądź też wynika, zgodnie z przyjętymi regułami, ze zdań w tym ciągu wcześniejszych, ostatnie ze zdań tego ciągu jest twierdzeniem dowodzonym;

wśród dowodów rozróżnia się dowód wprost i dowód nie wprost (tzw. apagogiczny).