MULTIMI SI ELEMENTE DE LOGICA MATEMATICA

Notiuni introductive de logica matematica

Propoziția (matematica) este un enunt care poate fi adevarat sau fals.
Valoarea de adevar a unei propozitii p se noteaza v(p):

Predicatul este un enunt care contine una sau mai multe variabile si care, pentru
anumite valori atribuite variabilelor, corespunde unei propozitii adevarate sau
false.
Notatii:
p(x) - predicat unar
p(x,y) - predicat binar
p(x,y,z) - predicat ternar.
Multimea D in care variabilele iau valori se numeste domeniu de definitie al
predicatului.
Multimea de adevar a unui predicat este:

Prin utilizarea cuantificatorilor, transformam predicatele in propozitii.

Cuantificatorul existential:
Propozitia existentiala:

Cuantificatorul universal:
Propoziția universală:

Negația
Negația propoziției p este propoziția "non p" care este adevărată dacă p este
falsă și falsă dacă p este adevărată.
Notații:

Negația predicatului p(x) este un predicat adevărat pentru acele valori ale lui x
pentru care p(x) este fals și fals pentru acele valori ale lui x pentru care p(x) este
adevărat.
Notații:

Complementara multimii A în raport cu mulțimea D este:

Conjunctia
Conjuncția propozițiilor p, q este propoziția "p și q" care este adevărată dacă și
numai dacă p și q sunt adevărate și falsă în celelalte cazuri.
Notație:

Conjuncția predicatelor p(x), q(x) devine o propoziție adevărată pentru acele

valori ale lui x pentru care atât p(x) cât și q(x) sunt adevărate și falsă în celelalte
cazuri.
Notație:

Intersecția a două mulțimi A și B se exprimă printr-o conjuncție:

Disjuncția
Disjuncția propozițiilor p, q este propoziția "p sau q" care este adevărată dacă și
numai dacă cel puțin una din propozițiile p, q este adevărată și falsă în celelalte
cazuri.
Notație:

Disjuncția predicatelor p(x), q(x) devine o propoziție adevărată pentru acele

valori ale lui x pentru care cel puțin una din propozițiile p(x), q(x) este adevărată și
falsă în caz contrar.
Notație:
Reuniunea a două mulțimi A și B se exprimă printr-o disjuncție:

Implicatia
Implicația propozițiilor p, q este propoziția "p implică q" care este falsă dacă și
numai dacă p este adevărată și q este falsă și adevărată în celelalte cazuri.
Notație:

Implicația predicatelor p(x), q(x):

Predicatul q(x) este consecința logică a predicatului p(x) dacă este adevărată
propoziția:

Notație:

Incluziunea a două mulțimi A și B se exprimă printr-o implicație

Echivalenta
Echivalența propozițiilor p, q este propoziția "p echivalent cu q" care este
adevărată dacă și numai dacă ambele propoziții au aceeași valoare de adevăr.
Notație:
Echivalența predicatelor:
Predicatele p(x) și q(x) se numesc echivalente dacă este adevărată propoziția:

Notație:

Egalitatea mulțimilor A și B se exprimă printr-o relație de echivalență:

Legile lui De Morgan

Legile lui De Morgan:
1. Negația disjuncției este conjuncția negațiilor.

2. Negația conjuncției este disjuncția negațiilor.

Legile lui De Morgan pentru mulțimi:

Metoda inducției matematice

 Fie P(n) o propoziție matematică ce depinde de numărul natural n.

Pentru a demonstra prin metoda inducției matematice propoziția:

parcurgem două etape:

1. Etapa de verificare: se verifică dacă propoziția P(m) este adevărată.
2. Etapa de demonstație: demonstrăm implicația

Pentru aceasta, presupunem că propoziția P(k) este adevărată și se

demonstrează că P(k+1) este adevărată.
Concluzie: dacă ambele etape sunt verificate, atunci propoziția P(n) este
adevărată,

Simbolul Sigma și calculul unor sume

Pentru a scrie restrâns anumite sume, folosim simbolul SIGMA.
Exemplu:
Proprietăți: