Documente Academic
Documente Profesional
Documente Cultură
II Demonstraţia matematica
Propoziţii
In logică, prin propoziţie înţelegem un enunţ despre care ştim ca este sau adevărat sau fals,
însă nu si una si alta simultan.
Valoarea de adevăr
Daca o propoziţie este adevărata, spunem ca ea are valoarea de adevăr „adevărul” si vom
nota valoarea, in acest caz, prin semnul „ (A)”; când propoziţia este falsă spunem ca ea are
valoarea de adevăr „falsul” si vom nota valoarea de adevăr prin semnul „(F)”.
Observaţie. O clasa foarte larga de propoziţii adevărate o constituie teoremele din
matematică.
Vom nota cu p,q, r ,…. propoziţiile.
Exemple:
Axiomele sunt propoziţii adevărate care se accept fără demonstraţie.
p(x): {x N , x<0 } (F). „ 5 este număr prim” (A) „2+3=6”
(F)
2. Cuantificatorul existenţial ( )
( )x N p(x) - „exista ce puţin un x din N astfel încât p(x)”. Acest enunţ este o
propoziţie, care este adevărata când exista cel puţin un element n din N, astfel încât
propoziţia p(n) sa fie adevărata.
(! )x N p(x) - „exista un unic x din N astfel încât p(x)”. Acest enunţ este o
propoziţie, care este adevărata când exista un singur element n din N, astfel încât
propoziţia p(n) sa fie adevărata.
Exemple: (! )x N astfel încât p(x)={ x-3 >0 } (F)
este o propoziţie adevărata deoarece exista un singur element 5 din N, astfel încât
propoziţia p(5) ={ 5+2=7 } este adevărată.
x+2=7 => x=7-2 => x=5