Dovadă (logică)

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare

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