O dovadă este derivarea corectă din punct de vedere logic a unei afirmaţii din alte afirmaţii sau argumente (adevărate).