Documente Academic
Documente Profesional
Documente Cultură
predicatului p(x). Notatie folosita: Simbolul se citeste "exista (cel putin)" si se numeste
cuantificator existential.
Cuantificatorul universal:
Propozitia "oricare ar fi x din X, are loc p(x)" (X fiind o multime nevida, careia ii apartine variabila x)
OPERATII LOGICE ELEMENTARE
2) Disjunctia propozitiilor:
Fiind date propozitiile p si q, numim disjunctia acestora acea propozitie, notata cu (a se citi
"p sau q") si a carei valoare de adevar rezulta din tabla de adevar:
1 1 1
1 0 1
0 1 1
0 0 0
Observatii:
a) Disjunctia este falsa daca ambele propozitii sunt false si adevarata in celelalte cazuri.
b) Disjunctia a n propozitii este falsa daca toate propozitiile sunt false si adevarata in rest.
3) Conjunctia propozitiilor:
Fiind date 2 propozitii p si q, numim conjunctia lor, notata cu ( a se citi "p si q") acea
propozitie definita prin urmatoarea tabla de adevar:
1 1 1
1 0 0
0 1 0
0 0 0
Observatii:
a) Conjunctia este adevarata cand ambele propozitii sunt adevarate si falsa in rest.
b) Conjunctia a n propozitii este adevarata cand toate propozitiile sunt adevarate si falsa in celelalte
cazuri.
4) Implicatia propozitiilor:
Propozitia
(a se citi "p implica q") se numeste implicatie ;
p se numeste ipoteza, iar q se numeste concluzie. Rezulta urmatoarea tabla de adevar:
pq
1 1 0 1 1
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1
Observatii:
a) Implicatia "p implica q", foarte des utilizata in demonstratii matematice, mai are si urmatoarele
interpretari:
Daca p, atunci q;
p este conditie suficienta pentru q;
q este conditie necesara pentru p.
b) Implicatia "p implica q" este structura logica a tuturor teoremelor directe (ipoteza p are drept
consecinta concluzia q).
c) Din tabla de adevar se constata ca:
O implicatie, cu ipoteza adevarata, este adevarata numai daca si concluzia este adevarata;
O implicatie este falsa intr-un singur caz: ipoteza adevarata si concluzie falsa!
Falsul implica orice! (foarte important de stiut acest lucru: a nu se construi rationamente pornind de
la premize false!).
5) Echivalenta propozitiilor:
Propozitia p <= > q (a se citi "p este echivalent cu q") reprezinta conjunctia a doua implicatii,
anume: (p = > q) si (q = > p), avand tabla de adevar:
1 1 1 1 1
1 0 0 1 0
0 1 1 0 0
0 0 1 1 1
Observatii:
a) Doua propozitii sunt echivalente daca si numai daca ambele au aceeasi valoare de adevar (ambele
adevarate sau ambele false).
b) Se spune ca propozitiile "p si q sunt echivalente", sau "propozitia p este conditie necesara si
suficienta pentru propozitia q", sau "p daca si numai daca q".
c) Daca o teorema directa are structura logica "p implica q", atunci reciproca sa (adevarata sau
falsa!) are structura "q implica p".
Deci o teorema care admite reciproca reprezinta, din punct de vedere logic, o echivalenta intre ipoteza
si concluzie.
Teorema directa este echivalenta cu contrara reciprocei (teorema directa este adevarata daca si numai