2.

Cuantificatorul universal ( )

( )x N p(x) - „oricare ar fi x din N are loc p(x)”. Acest enunţ este o propoziţie, care
este adevărata daca pentru orice element n din N, p(n) este adevărata si este falsa in cazul
când exista cel puţin un n din N pentru care p(n) este falsă.

Exemple:
( )x N astfel încât p(x)={ x-3 >0 } (F)

este falsa deoarece exista 2 din N pentru care p(2)={2-3>0} este falsă.
( )x N* astfel încât p(x)={ x >0 } (A)

4. Demonstraţia matematica

Demonstraţia matematica apare ca o forma a demonstraţiei logice si consta intr-un

sir de raţionamente prin care se verifica un anumit adevăr, exprimat prin propoziţii.
Unele propoziţii matematice poarta denumirea de axiome si adevărurile exprimate de
aceste se accepta fără demonstraţie. Alte adevăruri matematice sunt introduse prin
definiţii, care si ele sunt propoziţii ce nu se demonstrează.
Propoziţiile deductibile din axiome si definiţii se numesc teoreme.
Fiecare teorema conţine ipoteza, care poate începe prin „fie” sau „daca” si o concluzie,
exprimata mai des cu „atunci” sau „ sa se demonstreze că”.

Teorema 1 : Daca p atunci q.

Demonstraţie. Daca p atunci (cu ajutorul regulilor precedente, axiome, teoreme
demonstrate înainte) ….. raţionament ….. q. Deci p q .

p q se citeşte „dacă p, atunci q” sau „p implica q”.

Teorema 2 : p daca si numai daca q.
Demonstraţie. I. Daca p atunci ….. raţionament ….. q. Deci p q .
II. Daca q atunci ….. raţionament ….. p. Deci q p .
Din etapele I. si II. Avem teorema demonstrata. Deci p q.

p q se citeşte „p daca si numai daca q”.

Demonstraţia teoremei 2. consta in arata atât teorema directă( necesitatea) cât şi reciproca
(suficienta).

2
Metode de demonstraţie

a) Demonstrarea prin implicare

Demonstraţia consta in a arata ca daca ceea ce se afirma in ipoteza are loc, atunci concluzia
rezulta din ea in mod logic. In demonstraţie ne putem baza numai pe axiome sau pe
teoreme demonstrate înainte. Nu avem voie sa utilizam teorema care încă nu au fost
demonstrate, deoarece acestea din urma se pot baza la radul lor pe teorema de demonstrat,
obţinându-se un cerc viciu. In acelaşi timp nu ne bazam nici pe „evidente”.

Teorema Fie a,b,m astfel încât m/a si m/b atunci m/(a+b).

Vom demonstra folosind metoda demonstraţiei prin implicaţie.
Ipoteza: a si b si m si m/a si m/b
Concluzie: m/(a+b)

Demonstraţie