Dovadă (logică)

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search

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