Teoremă
From Wikipedia, the free encyclopedia
O teoremă este o propoziție al cărei adevăr se stabilește prin utilizarea raționamentului logic, incorporat în demonstrație.
Fiecare ramură a matematicii este constituită dintr-un șir de teoreme, demonstrația fiecăreia dintre ele sprijinindu-se pe teorema care o precedă.
Orice teoremă se poate exprima sub forma:
- (p implică q), sau: (dacă p , atunci q),
unde propoziția p se numește premisă sau ipoteză sau antecedent, iar propoziția q se va numi concluzie sau consecvent.
Noțiunea se definește riguros în cadrul unui sistem axiomatic. Denumirea a fost folosită inițial de Aristotel.