Dovadă (logică)

De la Wikipedia, enciclopedia liberă
Sari la navigare Sari la căutare

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