INTRODUCERE

Studierea logicii matematice de viitorii profesori de matematic este orientat la o nelegere mai
bun a teoriilor matematice, structurii demonstraiilor matematice, la educarea culturii matematice.
n aceast lucrare metodic se cerceteaz procesul axiomatic de construcie a algebrei
propoziiilor, adic un proces asemntor, care se utilizeaza la construcia geometriei, pe baza creiva
sisteme de axiome, de exemlu, Hilbert, Veil.
Aproximativ construcia axiomatic n calculul propoziional const n urmtoarele, din toate
formulele algebrei propoziiilor se evedeniaz o parte. Aceste formule se declar a fi axiome. Se
definesc careva reguli, dup care din unele formule poi obine altele. Axiomele i regulile se definesc
n aa fel, nct cu ajutorul lor putem obine toate tautologiile algebrei propoziiilor i numai ele. n
aa mod, tautologiile algebrei propoziiilor sunt teoreme ale teoriei axiomatice, i-n rezultat primim
construcia axiomatic a calcului propoziional.
n calitate de sisteme de axiome pot fi luate diferite mulimi de formule ale algebrei propoziiilor.
La fel i n calitate de reguli de obinere a noilor formule. n dependena de aceasta obinem diferite
axiomatizri ale calcului propoziional. Comun pentru ele toate este faptul, c ele pased unele i
aceleai teoreme i anume mulimea tautologiilor algebrei propoziiilor. Noi vom studia doar una din
aceste posibile axiomatizri.
ALGEBRA PROPOZIIILOR

1.1. Noiune de propoziie logic, enun, predicat logic. Operaii logice cu propoziii
Prin enun nelegem un asamblaj de cuvinte, simboluri, crora li se asociaz un
anumit sens.
Exemple de enunuri:
1) Toi oamenii sunt muritori.
2) 2 3.
3) 2 22 8 .
4) Suma unghiurilor ntr-un triunghi este egal cu 180 o .
5) x este mai mare dect 3 ( x R ) .
6) Mediatoarele ntr-un triunghi se intersect ntr-un singur punct.
7) 42 0 .
8) Prnzul este gustos.
9) a 2 b 2 0 (a, b R ) .
10) cos 2 30 0 sin 2 30 0 1 .
11) x se divide la y ( x, y N ) .
12) Oricrui patrulater convex i se poate circumscrie un cerc.
13) x 2 3x 2 0 ( x R) .
14) Astzi este timp frumos.
S observm c unele enunuri exprim un adevr: 1), 2), 4), 6). Alte enunuri exprim
un neadevr: 3), 7), 10), 12). Alte enunuri nu exprim nici un adevr, nici un neadevr: 5), 8),
9), 11), 13), 14).
Noiunea de propoziie logic nu se definete, ns prin propoziie logic se nelege enunul,
despre care cu certitudine se poate de afirmat dac este adevrat sau fals, ns nu i una i alta
simultan.
Dintre enunurile 1) 14) sunt propoziii logice (n continuare propoziii) numai: 1), 2),
3), 4), 6), 7) , 9), 10), 12). Enunurile 8),14) despre care nu putem spune cu certitudine c sunt
adevrate sau false se numesc pur enunuri.
Enunurile 5), 11), 13) nu sunt propoziii, deoarece nu putem afirma c aceste enunuri
exprim adevr sau fals. n acelai timp, observm c pentru valori concrete a variabilelor
componente din mulimile date, vom obine n baza lor propoziii ce exprim fals sau adevr.
 Un enun, care conine variabile i care devine propoziie logic n cazul nlocuirii
acestor variabile cu valori concrete luate dintr-o anumit mulime, se numete predicat.
Predicatele sunt: unare, binare, ternare etc., n dependen de numrul variabilelor: 1, 2, 3, ....
Convenim ca propoziiilor adevrate s le punem n coresponden simbolul 1, iar celor false
-0. Cu alte cuvinte vom introduce o funcie , definit pe mulimea propoziiilor i a crui domeniu
de valori este mulimea 0,1 dup urmtoarea regul:
( p ) 0 , dac propoziia p este fals i ( p ) 1 , n cazul cnd propoziia p este adevrat.

este funcia de adevr, ( p ) - valoarea de adevr.

n continuare vom nota propoziiile ce au valoarea de adevr adevrul prin 1, iar cele ce
au valoarea de adevr falsul prin 0, ce sunt nite semne fr neles numeric.
Vom nota propoziiile logice prin minusculele alfabetului latin (cu sau fr indici).
n vorbirea curent propoziiile se compun cu ajutorul conectorilor non, i, sau
dac atunci, atunci i numai atunci etc. Pe aceast cale se obin propoziii din ce n ce
mai complexe.
Vom numi conectorii logici, operaii logice booleene sau functori logici.
Negaia propoziiilor.
Definiia 1. Negaia propoziiei p este propoziia care este adevrat cnd p este fals
i este fals cnd p este adevrat.

Negaia propoziiei p se citete non p i se noteaz p sau p . P p

0 1
Valoarea de adevr a propoziiei p este dat n tabela urmtoare: 1 0
Aici poate aprea ntrebarea, de ce anume aceast tabel? Desigur rspunsul ar putea fi simplu,
despre definiii nu se discut, dar noi totui dorim s construim o teorie matematic (algebra
propoziiilor), care n careva msur va reprezenta procesul de gndire logic. Dup aceasta va trebui
s dezvoltm aceast teorie, iar rezultatele obinute s le aplicm n practic i nu cumva s obinem
contradicii. Aceast tabel se adeverete n practic. De exemplu, considerm propoziia p: Rul
Nistru se vars n marea Neagr. Negaia p este propoziia nu este adevrat c rul Nistru se
vars n marea Neagr ( sau rul Nistru nu se vars n marea Neagr). Atunci primim
( p ) ( p ) 1 0 , adic p este o propoziie fals. Din ultima formul scris observm c falsul

propoziiei p , nu a rezultat din coninutul ei, ci doar din faptul c p este just. n aa mod definiia 1
real red faptele cunoscute din via.
Conjuncia propoziiilor.
Definiia 2. Conjuncia propoziiilor p, q este propoziie adevrat atunci i numai
atunci, cnd fiecare din propoziiile p, q este adevrat.
 Conjuncia propoziiilor p, q se citete p q pq
0 0 0
p i q. Ea se noteaz p q, p q, p & q, pq .
0 1 0
De exemplu, s considerm propoziiile p: 2+3=6 i q: 1 0 0
1 1 1
3+6=9. n acest exemplu p q este o propoziie fals,
deoarece prima parte este fals.
Disjuncia propoziiilor.
Definiia 3. Disjuncia propoziiilor p, q este propoziia care este adevrat atunci i numai
atunci, cnd este adevrat cel puin una din propoziiile p, q.
Disjuncia propoziiilor p, q se citete p sau q i se noteaz p q, p q .
De exemplu, s considerm propoziiile
p q pq
1 1
p: i q: 5 este numr prim. n acest exemplu 0 0 0
8 5 0 1 1
1 0 1
p q : 1 1 sau 5 este numr prim este o propoziie 1 1 1
8 5
adevrat, deoarece ambele propoziii sunt adevrate.
Implicaia propoziiilor.
Definiia 4. Implicaia propoziiilor p, q este propoziia care este fals atunci i numai atunci,
cnd p este adevrat, iar q este fals.
Implicaia propoziiilor p, q se citete dac p, atunci q sau p implic q i se
noteaz p q .
n implicaia p q , p se numete ipoteza sau p q pq
antecedentul implicaiei, iar q se numete concluzia sau 0 0 1
0 1 1
consecventul implicaiei. 1 0 0
Definiia dat cu ajutorul tabelei, induce o critic n comparaie 1 1 1

cu celelalte. Ea ne conduce n limba zerourilor i unitilor la fraza: dac... atunci. Aceasta nc o

dat confirm faptul c raiunea omeneasc nu se d uor cercetrii tiinifice, iar algebra propoziiilor
este o apropiere pas cu pas de adevr.
De exemplu, s considerm propoziiile p: Chiinu este capitala Moldovei i q: Paris
este capitala Franei. Propoziia p q este dac Chiinu este capitala Moldovei atunci Paris
este capitala Franeii este o propoziie adevrat, deoarece p este adevrat i q este adevrat.
Observaie. Propoziiile compuse ce se obin cu ajutorul conectorilor logici par n multe
cazuri bizare din punctul de vedere al experienei noastre obinuite. Din punctul de vedere al
logicii matematicii ns, n studiul propoziiilor compuse ne intereseaz numai valoarea de
adevr. Dac ntre propoziiile p i q exist o oarecare legtur de context, atunci implicaia p q
poate fi citit dac p, atunci q i se va numi implicaie condiionat.
De exemplu:Dac triunghiul este isoscel, atunci unghiurile de la baz sunt congruente.
Echivalena propoziiilor.
Definiia 5. Echivalena propoziiilor p, q este propoziia care este adevrat atunci i numai
atunci, cnd p i q au aceeai valoare logic (valoare de adevr).
Echivalena propoziiilor p, q se noteaz p q . Se citete p dac i numai dac q
p q pq
sau p echivalent q.
0 0 1
De exemplu, s considerm propoziiile p: 2 3 5 i q: 0 1 0
2+3=5. Propoziia p q 2 3 5 dac i numai dac 2+3=5 1 0 1
1 1 0
este o propoziie fals.
Observaie. Conjuncia propoziiilor se mai numete produs logic, iar disjuncia lor se numete sum
logic.
Exerciii.
1. Care din urmtoarele enunuri sunt propoziii logice i ce valoare de adevr au:
a) Bucureti este capitala Bulgariei;
b) Student al facultii de fizic, matematic i tehnologii informaionale;
c) Triunghiul ABC este asemenea cu triunghiul PQM;
d) Luna este satelitul planetei Marte;
e) x 4, ( x R ) ;
f) Astzi este timp frumos;
g) 2+7+8;
h) Dac ntr-un triunghi toate unghiurile sunt congruente, atunci triunghiul este echilateral;
i) Tablourile lui Picaso sunt prea abstracte;
j) Toate numerele prime sunt impare;
k) (7 2 ) 5 (7 5 ) 2 ;
l) 0 0 1 ;
m) 8 este numr natural sau numr ntreg;
n) 0 este numr ntreg sau este numr raional.
2. Formulai negaiile propoziiilor, stabilii valoarea de adevr a propoziiilor i a negaiei
acestora:
a) Nistru este afluent al Dunrii;
b) Numrul 28 nu se divide cu 7;
c) 6>3;
d) 4 5 ;
e) Toate numerele compuse sunt pare;
f) 5+3=8;
g) Unele ciuperci sunt necomestibile.
3. Determinai care din urmtoarele perechi de propoziii sunt negaia unei alteia:
a) 4<5 i 5<4;
b) 6<9 i 6 9 ;
c) 7<8 i 8 7 ;
d) Triunghiul ABC este dreptunghic i triunghiul ABC este obtuzunghic;
e) Numrul natural n este par i numrul natural n este impar;
f) Funcia f este par i funcia f este impar;
g) Toate numerele prime sunt impare i toate numerele prime sunt pare;
h) Toate numerele prime sunt impare i exist numere prime pare;
i) Exist numere iraionale i toate numerele sunt raionale;
j) Dac numrul n se mparte la 3, atunci el se mparte i la 9 i dac numrul n nu se mparte la
3, atunci el nu se mparte nici la 9.
4. Determinai valoarea de adevr a propoziiilor p, q dac:
a) p (7 5) este adevrat;
b) q (5 7) este fals;
c) Dac 2 este numr prim, atunci p este fals;
d) Dac q, atunci 3817 este adevrat;
f) Dac p , atunci 19 Q este fals;
g) p (6 7) este adevrat;
h) Dac 4 este numr par, atunci p este adevrat.
5. Scriei cu ajutorul disjunciei sau conjunciei urmtoarele afirmaii (a, b R ) :
a
a b 0 ; a b 0 ; a b 0 ; a2 b2 0 ; a2 b2 0 ; a 5; a 6; b 5; a 4 ; 0;
b

a a a
0 ; 0; 0 .
b b b
6. Determinai valoarea de adevr a urmtoarelor propoziii:
a) Dac 9 se divide cu 3, atunci 4 se divide cu 2;
b) Dac 11 se divide cu 6, atunci 11 se divide cu 3;
c) Dac 15 se divide cu 6, atuci 15 se divide cu 3;
d) Dac 15 se divide cu 3, atunci 15 se divide cu 6;
 e) 12 se mparte fr rest la 6 dac i numai dac 12 se mparte fr rest la 3;
f) 4>5 atunci i numai atunci cnd -4>-5;
g) 15 se divide cu 6 atunci i numai atunci cnd 15 se divide cu 3;
h) 11 se divide cu 6, atunci i numai atunci cnd 11 se divide cu 3;
i) 5<1 i 4<2;
j) 5<1 i 3+2=5.
7. Scriei fiecare pereche de propoziii printr-o propoziie complex care exprim
adevr prin intermediul unuia din conectorii logici i, sau:
a) ca rezultat al schimbrii semnului numrtorului unei fracii, semnul fraciei se
schimb n opus;
ca rezultat al schimbrii semnului numitorului unei fracii, semnul fraciei se schimb
n opus;
b) zero este mai mic dect orice numr pozitiv;
zero este mai mare dect orice numr negativ;
c) pentru a 0, ab 0 ; pentru b 0, ab 0 ;
d) 2 2, 2 1;

e) n 4, n 5 ;
f) tg x este funcie par, tg x este funcie periodic.
8. Aflai propoziiile elementare ce intr n compoziia propoziiei complexe, conectorii
logici i scriei sub form simbolic propoziiile:
a) 18 se divide cu 3 i 16 se divide cu 8;
b) Numrul 5 este diferit de numrul 10 i cosinusul este funcie par;
c) Unghiurile opuse ale paralelogramului sunt congruente i diagonalele rombului sunt
reciproc perpendiculare;
d) Dac 5=-5, atunci 5 2 (5) 2 ;
e) 15<11 sau 11<15.

1.2. Formul n algebra propoziiilor

Pentru a introduce noiunea de formul este necesar de avut un alfabet constituit din
urmtoarele simboluri:
1. Minusculele alfabetului latin x, y , z ,... cu sau fr indici, numite variabile
propoziionale sau variabile prime;
 2. 1 sau 0 numite constante logice;
3. ,,, , - operaii logice sau conectori logici;
4. (, ) paranteze (de stnga i de dreapta).
La notarea formulelor vom folosi litarele de tipar ale alfabetului latin, numite metasimboluri,
simboluri auxiliare, ce nu aparin alfabetului enunat mai sus.
Vom introduce noiunea de formul n mod inductiv prin definiia urmtoare:
Definiie. Vom numi formul n algebra propoziiilor:
1. Orice variabil propoziional sau constant logic ncadrat n paranteze, numit formul
elementar sau atomar;
2. Dac: A i B sunt formule, atunci formule vor fi ( A B ) , ( A B ) , ( A B) ,
( A B ) , ( A) ;
3. Alte formule dect cele indicate n punctele 1 i 2 nu exist.

Exemple: ((( x ) ( y )) (( x) ( z ))), (( x ) (( y ) ( z ))).

Exemple ce nu-s formule: ( x ( y )), ((( x) y )), x y, ( xy).

Convenie. Convenim, pentru simplificarea nscrierii formulelor, de omis parantezele ce ncodeaz
formulele elementare, parantezele exterioare i n loc de (( x )) de scris , restabilindu-le n cazul
necesitii.
Exemplu: - formul conform conveniei.
Definiie.Vom numi rang al formulei A (notm ( A) ) numrul de operaii logice din ea.

Exemplu ( x y z ) 2 .
Se numete subformul a formulei, orice parte a ei care de asemenea este formul.
Exemplu 1. Scriei toate subformulele posibile ale formulei (( x ( y z )) ( x y )) ( x ( y z )) .
Rezolvare: Subformulele este comod de a fi enumerate consecutiv, dup numrul legturilor logice
prezente n formul. n primul rnd, subformule vor fi toate variabilele propoziionale ce se conin n
aceast formul (aceastea sunt subformule care au zero conectori logici): x,y,z. Mai apoi, subformulele
cu un singur conector: z, x y, y . Subformulele cu doi conectori logici: y z, y z . Subformulele
cu trei conectori logici: x ( y z ), x ( y z ) . Cu patru conectori logici n cazul dat nu avem. O
singur subformul cu cinci conectori ( x ( y z )) ( x y ) . i ultima sub formul coincide cu
nsi formula iniial (( x ( y z )) ( x y )) ( x ( y z )) . n aa mod, am obinut n total 12
subformule.

Considerm A( x1 , x2 , x3 ,..., xn ) o formul ce conine n variabilele propoziionale

x1 , x2 , x3 ,..., xn . Deoarece variabilele propoziionale xi , i 1.n primesc ca valoare unul din

simbolurile 1 sau 0 , atunci, corespunztor operaiilor logice din formul, i formula va primi
pentru fiecare sistem de valori ale variabilelor componente, ca valoare unul din simbolurile 1 sau
0. Deci noi putem vorbi despre valorile de adevr ale formulei pentru fiecare sistem de valori ale
variabilelor componente. Numrul acestor sisteme este 2n, care reprezint numrul de numere de n-
cifre scrise n sistemul binar de numeraie.
Se scriu aceste sisteme, ncepnd cu numrul 0000 (n-cifre de 0) prin adunare treptat la cifra
unitilor a lui 1(1+1=102, 0+1=1) pn ce se va obine numrul 1111 (n-cifre de 1) .
Convenie. Convenim de a efectua operaiile logice n urmtoarea cansecutivitate:

1. n parantez;
2. ;
3. ;
4. ;
5. ;
6. .
Exemplul 1. Vom calcula valoarea formulei x y ( x z) pentru diversele valori
posibile {0, 1} ale propoziiilor x, y, z sau altfel spus vom alctui tabelul de adevr al formulei
date.
Rezolvare: Restabilim parantezele ( x y) ( x z)

x y z z x y x z ( x y) ( x z)

0 0 0 1 0 0 1
0 0 1 0 0 1 1
0 1 0 1 0 0 1
0 1 1 0 0 1 1
1 0 0 1 0 1 1
1 0 1 0 0 0 1
1 1 0 1 1 1 1
1 1 1 0 1 0 0

Exerciii:
1. n urmtoarea consecutivitate de simboluri, plasai parantezele n aa mod nct s obinei
formule:
a) x y zt;

b) x yz x z;

c) x y zt x;

d) x y z x;

e) x yzx ;
f) x y z x z.

2. Scriei toate subformulele posibile ale fiecreia din urmtoarele formule:

a) (( p q ) r ) ( p ( q r )) ;
b) ( p q) ( p q) ( p q) ;
c) ( p ( q p )) ((q p ) q ) ;

d) p r ( p q) ;

e) (( p q ) ( r p )) ( r q ) ;

f) ( p ( q r )) (( p r ) ( p q ) .

1.3. Clasificarea formulelor

Formulele algebrei propoziiilor se clasific n modul urmtor: tautologii(identic adevrate, legi
logice), contradicii(antilogii), realizabile.
Definiie.Formula algebrei propoziiilor se numete tautologie (identic adevr, lege logic),
dac ea primete valoarea logic adevrul pentru orice sistem de valori ale variabilelor componente.
Exemplu. Stabilii tipul formulei A( x, y, z ) x y ( z x z y )

x y z z x z y z xz y x y x y ( z x z y)
0 0 0 0 0 1 1 1
0 0 1 1 1 1 1 1
0 1 0 0 1 1 1 1
0 1 1 1 1 1 1 1
1 0 0 1 0 0 0 1
1 0 1 1 1 1 0 1
1 1 0 1 1 1 1 1
1 1 1 1 1 1 1 1
Formula examinat este identic adevrat.
Definiie. Formula algebri propoziiilor care are valoarea logic falsul pentru orice valori
logice ale variabilelor componente se numete contradicie (formul identic fals).
Evident o formul este contradicie, dac i numai dac negaia sa este o tautologie.

Exemplu. Stabilii tipul formulei A( x, y , z ) ( x y ) ( y z ) x z . Vom construi tabela

de adevr a acestei formulei.
X y z ( x y) ( y z) xz xz ( x y) ( y z) x z
0 0 0 1 1 1 0 0
0 0 1 1 1 1 0 0
0 1 0 1 0 1 0 0
0 1 1 1 1 1 0 0
1 0 0 0 1 0 1 0
1 0 1 0 1 1 0 0
1 1 0 1 0 0 1 0
1 1 1 1 1 1 0 0
Definiie. Formula care are valoarea logic att adevrul, ct i falsul (neadevrul) pentru
orice valori logice ale variabilelor componente se numete formul realizabil.
Exemplu. Stabilii dac urmtoarele ormmule sunt realizabile: a)
A( x, y, z ) x ( y z ) ( x z )

Vom demonstra c formula numit este realizabil, construind tabela

de adevr a acestei formule.
x y z x y yz xz x ( y z) x ( y z) ( x z)
0 0 0 1 1 1 1 1
0 0 1 1 1 1 1 1
0 1 0 1 0 1 1 1
0 1 1 1 1 1 1 1
1 0 0 0 1 0 1 0
1 0 1 0 1 1 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1

b) A( x, y , z , t ) x y ( x z u )

x y z u x y z u z u ( x z u) y ( x z u) x y ( x z u)

0 0 0 0 1 1 0 1 1 1 1
0 0 0 1 1 1 1 0 0 0 1
0 0 1 0 1 1 1 0 0 0 1
0 0 1 1 1 1 1 0 0 0 1
0 1 0 0 1 0 0 1 1 0 1
0 1 0 1 1 0 1 0 0 0 1
0 1 1 0 1 0 1 0 0 0 1
0 1 1 1 1 0 1 0 0 0 1
1 0 0 0 0 1 0 1 0 0 0
1 0 0 1 0 1 1 0 1 1 1
1 0 1 0 0 1 1 0 1 1 1
1 0 1 1 0 1 1 0 1 1 1
1 1 0 0 0 0 0 1 0 0 0
1 1 0 1 0 0 1 0 1 0 0
1 1 1 0 0 0 1 0 1 0 0
1 1 1 1 0 0 1 0 1 0 0
Not. Evident c orice tautologie este formul realizabil.
Exerciii:
1. Construind tabela de adevr stabilii, este formula dat identic adevrat, contradicie sau
realizabil:
a) ( x y ) (( x y ) x) ;
b) (( x y ) x) y ;
c) ( x ( y z )) (( y x ) y ) ;

d) x ( y ( x y )) ;

e) ((( x y ) y ) y ) y ;
f) ((( x y ) ( x y )) z ) y ;

g) ( x ( y z )) ( z ( x y )) ( y ( z x)) ;
h) ((( x y ) ( x z )) ( y z )) x ;
i) z x y z x y;

j) (( x y ) y ) ( x y ) .

2. Demonstrai c urmtoarele formule sunt realizabile, fr tabelul de adevr, dar indicnd

careva valori ale variabilelor propoziionale, pentru care aceste formule se transform n
propoziii logice adevrate:
a) x x;

b) ( x y ) ( y x) ;
c) y ( x z ) ( x z ) y ;

d) ( x y ) z y ;
e) ((( x y) ( z y)) ( z x)) ( x y ) ;
f) (( y x) x) ( x ( x y )) ;

g) x (( y z ) z )) (( x ( y z )) ( x z ) ;
h) ( x y ) ( y z ) ( z x) ;

i) (( x y ) ( y z )) ( x z ) :
j) ( x y ) (( z y ) ( y y )) .

1.4. Tautologiile algebrei propoziiilor

Tautologiile reprezint schemele de construcie a propoziiilor ce primesc valoarea de adevr
adevrul independent de coninutul sau valorile de adevr ale propoziiilor componente.
O valoare important a tautologiilor este faptul c unele din ele reprezint metodele de raionament
logic care de la premise adevrate ne conduc la concluzii juste.
Unele tautologii ce stau la baza unor raionamente matematice sunt artate n teoremele
urmtoare:
Teorema 1. Urmtoarele formule sunt tautologii:
1. x x - legea terului exclus:
2. x x - legea noncontradiciei;
3. x x - legea negaiei duble;
 4. x x - legea identitii;
5. ( x y ) ( y x) - legea contrapoziiei;
6. ( x y) ( x y)
7. (( x y ) ( y z )) ( x z ) - regula silogismului;
8. x ( y x ) - regula adugrii antecedentului;
9. x ( x y) - regula din fals rezult orice
10. (( x ( x y )) y - legea modus ponens;
11. (( x y ) y ) x - regula modus tollens;
12. ( x ( y z )) ( y ( x z )) - regula permutrii premiselor;
13. ( x ( y z )) (( x y ) z ) - regula unirii (i detarii) premiselor;
14. (( x y ) ( z y )) (( x z ) y )
15. (( x y ) ( x y )) x
( x ( y y )) x -legile reducerii la absurd.

Demonstraie. Teorema se demonstrez alctuind tabelele de adevr ale formulelor.

De exemplu 12. ( x ( y z )) ( y ( x z ))
x y z yz x ( y z) x z y ( x z) ( x ( y z )) ( y ( x z ))
0 0 0 1 1 1 1 1
0 0 1 1 1 1 1 1
0 1 0 0 1 1 1 1
0 1 1 1 1 1 1 1
1 0 0 1 1 0 1 1
1 0 1 1 1 1 1 1
1 1 0 0 0 0 0 1
1 1 1 1 1 1 1 1
Vom indica unele tautologii ce arat proprietile operaiilor logice i exprimarea unor operaii
prin altele.
Teorema 2. (Proprietile conjunciei i a disjunciei) Urmtoarele formule sunt tautologii:
1. x x x
2. x x x - legile idempotenei;
3. ( x y ) x
4. x ( x y ) - legile simplificrii;
5. ( x y ) ( y x)
6. ( x y ) ( y x ) -legile comutativitii;
7. (( x y ) z ) ( x ( y z ))
8. (( x y ) z ) ( x ( y z )) -legile asociativitii;
9. ( x ( y z )) (( x y ) ( x z ))
10. ( x ( y z )) (( x y ) ( x z )) - legile distributivitii;
11. ( x ( x y )) x
12. ( x ( x y )) x - legile absorbiei;
 13. x y ( x y)

14. x y ( x y) -legile lui de Morgan

Teorema 3. (proprietile implicaiei i ale echivalenei) Urmtoarele formule sunt tautologii:
1. ( x ( y z )) (( x y ) ( x z ))
2. x ( y ( x y ))
3. ( x y) (( z y ) (( x z ) y ))
4. ( x y ) (( x y ) z )

5. ( y ( x y )) y

6. ( x ( x y )) y

7. ( x y ) (( x z ) ( y z ))
8. ( x y ) (( x z ) ( y z ))
9. ( x y ) (( y z ) ( x z ))
10. ( x y ) ( y x)
11. ( x y ) (( y x ) y )

12. (( x y ) ( z y )) (( x z ) y )
13. (( x y ) ( x z )) ( x ( y z ))
14. ( x y ) ( y x )
15. (( x y ) ( y x)) ( x z )
16. ( x y) ( x y)

17. ( x y ) (( x y ) ( x y ))

18. ( x y ) (( x y ) ( x y ))

Exerciii:
1. Demonstrai c formulele din teoremele 1,2,3 sunt tautologii.
2. Demonstrai c urmtoarele formule sunt tautologii:
a) ( x y ) (( x ( y z )) ( y z )) ;
b) x ( y ( x y )) ;
c) (( x y ) ( x y )) x

d) x ( y (( x y ) ( x y ))) ;
e) (( x y ) z ) ( x ( y z )) ;
f) (( x y ) ( z t )) (( x z ) ( y t )) .

1.6. Echivalena formulelor

 Dou formule A i B n a cror scriere intr literele x, y, z ,... se numesc echivalente
dac i numai dac pentru orice nlocuire a variabilelor x, y , z ,... cu diferite valori logice,
propoziiile ce se obin au aceeai valoare de adevr.
Echivalena a dou formule se noteaz A B .
Pentru a demonstra c dou formule ale calculului propoziional sunt echivalente, se
folosesc tabelele de adevr.
Exemplu. Fie A x ( y z ) i B ( x y ) ( x z ) . Din tabela de mai jos rezult c
A B
x y z ( y z) A ( x y) ( x z) B
0 0 0 0 0 0 0 0
0 0 1 0 0 0 1 0
0 1 0 0 0 1 0 0
0 1 1 1 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 0 1 1 1 1
1 1 1 1 1 1 1 1

Observaie. Definiia enunat nu exclude faptul c formulele A i B pot conine diferite variabile.
Unele din variabile practic pot lipsi n una din aceste formule. S verificm de exemplu echivalena
formulelor: A x i B y ( y x) . Pentru aceasta, alctuim tabelul de adevr al ambelor formule
i ne convingem c valoarea de adevr a formulelor coincide pentru orice sistem de valori a
variabilelor componente x, y.
x y A x x y y x B y ( y x)

0 0 1 1 1 1 1
0 1 1 1 0 1 0
1 0 0 0 1 0 0
1 1 0 0 0 1 0

La fel sunt echivalente i formulele A( x, y , z ) ( x y ) ( z z ) i B ( x, y , t ) ( x y ) (t t ) .

Noiunea de echivalen a formulelor posed urmtoarele proprieti;

1. A A - reflexiv;
2.Dac A B atunci B A - simetric;
3. Dac A B i B C , atunci A C - tranzitiv.
Putem formula urmtoarea teorem:
Teorema 1. Noiunea de echivalen a formulelor n mulimea formulelor algebrei propoziiilor
este relaie de echivalen.
 Mulimea tuturor formulelor poate fi divizat n clase de echivalen, disjuncte dou cte dou,
reuniunea crora este mulimea tuturor formulelor algebrei propoziiilor.
Fie A este o formul, vom nota toate formulele echivalente cu A prin A , i vom spune c
A este reprezentant a clasei de formule echivalente A . Evident c clasa tautologiilor este [1], iar
clasa contradiciilor este [0].
Fie A i B dou clase de echivalen.
Definiie Vom numi:
1. Conjuncia claselor A i B clasa A B ;
2. Disjuncia claselor A i B clasa A B ;
3. Implicaia claselor A i B clasa A B ;
4. Negaia claselor A clasa [ A] .
Evident c [ A] [1] [ A 1] [ A] ; [ A] [0] [ A 0] [ A] ;
[ A] [0] [ A 0] [0] ; [ A] [1] [ A 1] [1]

Deci clasele [1] i [0] joac corespunztor rolurile de unitate fa de conjucia claselor i de zero
(element neutru) fa de disjuncia claselor. Deci, putem afirma c mulimea claselor de echivalen
formeaz a algebr, numit algebra claselor sau algebra lui Lyndenbaum-Tarski.
Definiie Vom numi formula B subformul a formulei A (notat A(B ) ), dac ea este parte
component a formulei A .

Exemplu: n formula A ( x y ) ( y z ) formulele x y i y z sunt subformule n formula A .

Teorema 2. Dac avem A(B ) i B C , atunci A( B ) A(C ) .
Teorema 3. A B atunci i numai atunci, cnd A B .
Demonstraie. Dac A B , atunci rezult c formulele A i B au aceleai valori de adevr pentru
orice sistem de valori ale variabilelor componente, deci din definiie operaiei logice echivalena
rezult c A B 1 . n mod analog se demonstreaz c dac A B , atunci A B .
Vom indica o totalitate de echivalene numite fundamentale, majoritatea crora exprim
proprietile operaiilor logice, care evident pe baza teoremei anterioare se transform n tautologii:

1. x x 9. x 1 x
2. x x x 10. ( x y ) ( y x )
3. 3. x x 1 11. ( x y ) ( y x)
4. x 0 x 12. ( x y) ( x y)

5. x 1 1 13. x 1 1
6. xx x 14. x0 x

7. xx0 15. 1 x x
8. x 0 0
16. x y yx 19. x y ( x y)

17. ( x ( y z )) (( x y ) ( x z )) 20. x y ( x y)

18. ( x ( y z )) (( x y ) ( x z )) 21. ( x y ) (( x y ) ( x y ))
22. ( x y ) (( x y ) ( x y ))
 Se demonstreaz aceste echivalene alctuind tabelele de adevr pentru ambele formule.
Exemplu: Demonstrm x y x y (f.20)

x Y x y x y
0 0 1 1
0 1 1 1
1 0 1 1
1 1 0 0

Remarc. Pe baza teoremei 3 i echivalenelor fundamentale, orice formul poate fi supus

transformrilor de echivalen, n rezultatul crora obinem o formul din aceeai clas de echivalen.
Exemplul1. De eliminat din formul operaia logic echivalena.
f .21
Rezolvare: ( x y ) ( y z ) ( x y ) ( x y ) ( y z ) .

Exemplul2. De artat c formulele ( x y ) ( z y ) i ( x y ) ( z y ) sunt echivalente.

f .12
Rezolvare: ( x y ) ( z y ) ( x y ) ( z y ) .

Exerciii:
1. Aplicnd transformrile de echivalen, aducei urmtoarele formule la o form mai simpl:
a) x y (( x y ) x) ;

b) x y (( x y ) x ) ;

c) ( x y ) ( y x) ( x y ) ;
d) ( x y ) ( y x) ( z x) ;

e) ( x z) ( x z) ( y z) ( x y z) :

f) ( x y z) y .

2. Cu ajutorul transformrilor de echivalen demonstrai c urmtoarele ormule sunt identic

false:
a) (( x y ) x ) x ;

b) (( x y ) x y z y ) ( z z ) z ;

c) (( x y ) ( y z )) ( x z ) ;
d) (( x y ) x z ) z y ;

e) ( z x z) ( x z x y) ;

f) (( x y ) ( x z )) (( x y ) ( x z )) ;
3. Cu ajutorul transformrilor de echivalen verificai care din urmtoerele echivalene se
realizeaz:
a) x ( y z ) ( x y ) ( x z ) ;
b) x ( y z ) ( x y ) ( x z ) ;
c) x ( y z ) ( x y ) ( x z ) ;
d) x ( y z ) ( x y ) ( x z ) ;
e) x ( y z ) ( x y ) ( x z ) ;
f) x ( y z ) ( x y ) ( x z ) ;
g) x ( x y ) x y .

1.7.Sistem deplin de operaii logice. Forma redus a formulei

Considerm un sistem de operaii logice .
Definiie. Sistemul de operaii logice se numete deplin, dac orice formul este echivalent unei
formule ce conine numai operaii logice din .

Teorema 1. Sistemele de operaii logice

,,{ }, ,{ }, },{ sunt depline.

Demonstraie. Considerm formula A din algebra propoziiilor ce nu satisface condiiile

teoremei. Prin urmare aceast formul conine una din operaiile logice " " sau "" care
conorm primei teoreme din paragraful precedent, cu ajutorul echivalenelor fundamentale 2.,3.,4.,

poate fi substituit prin formul ce conine {,,} . Deci sistemul {,,} este deplin i se numete

logica boolean. Aplicnd echivalenele x y x y i x y x y , putem reduce formula la o

formul echivalent ce conine numai operaii din sistemele {,} (Brentano), {,} (Russell).

Teorema 2. Sistemul de operaii logice {, } (Frege) este deplin.

Definiie. Formula ce conine n calitate de operaii logice , i negaia variabilelor se numete

formul sub form redus.

Exemplul1. ( x y) ( z y) este sub form redus.
Exemplul2. ( x y) ( z y) ) nu este sub form redus.
Teorema 3. Pentru orice formul exist forme reduse echivalente ntre ele.
Demonstraie. Considerm A o formul n algebra propoziiilor. Conform teoremei 1, ea poate fi
scris n logica boolean. Dac negaia se afl asupra unei subformule sau a formulei ntregi, atunci
aplicnd echivalenele x y ( x y) i x y ( x y) ea poate fi deplasat asura variabilelor.
Exemplu. 1. De adus la forma redus formula (vom nota f.r.) : a) ( x y ) ( z y ) ; b) x y z ;
Rezolvare:

b) x y z x ( y z ) x ( y z ) x ( y z ) x y z

2) y z x y ( z x) y ( z x) y ( z x)
y ( z x) y ( z x) y z x y z y x.

Exerciii:
1. De adus urmtoarele formule la forma redus:
a) ( x y ) ( z x) ; b) ( x y ) ( y z ) ; c) ( x y ) z ; d) ( x y ) ( z x) ;
e) ( x y) z x ; f) ( x y ) ( z x) ; g) ( x y ) ( y z ) ; h) ( x y) x z .

2. Transformai urmtoarele formule n aa mod, nct ele s conin doar operaiile logice

, :
a) ( x y) ( x z) ; b) ( x y) x y ; c) (( x y z ) x) z ; d) (( x y ) z ) x ; e)
( x ( y z )) x ; f) ( x y ) ( z y ) ; g) (( x y ) z ) ( z y ) ; h)
(( x ( y z )) ( x y )) y ; i) (( x y ) z ) ( z y ) ; j) (( x ( y z )) ( y x)) y ;
3. Fiecare din formulele din exemplul 2, transformai-le n aa mod, nct ele s conin doar

operaiile logice , .

1.8. Legea dualitii

Echivalenele x y y x i x y y x ; ( x y ) z x ( y z ) i
( x y ) z x ( y z ) ; ( x ( y z )) (( x y ) ( x z )) i ( x ( y z )) (( x y ) ( x z )) ;

x y ( x y) i x y ( x y) pot fi obinute una din cealalt n rezultatul nlocuirii

simbolului operaiei conjuncia prin simbolul operaiei disjuncia, simbolului operaiei disjuncia
prin simbolul operaiei conjuncia. Cele observate aici au un caracter general: din orice dou
formule echivalente ntre ele i care conin numai operaiile , , obinem alte dou
formule echivalente ntre ele. Din aceste considerente operaiile logice disjuncia i conjuncia
au primit numirea de operaii duale.
Vom presupune c formula A conine numai simbolurile operaiilor logice: , ,

(spre deosebire de forma redus a formulei, n cazul dat nu este absolut necesar ca negaia s fie doar

pe variabil. Orice formul, dup cum s-a observat anterior poate fi transformat n formul
echivalent cu ea i care conine doar operaiile logice indicate.
Definiie. Formula A* obinut din formula A prin substituirea disjunciei prin conjuncie, i
conjunciei prin disjuncie, conservnd negaia, se numete dual formulei A .

Exemple:
a. A= ( x y ) z i A*= x y z ;

b. A= x y ( x y z ) i A*= x y x y z ;

c. A= x y z v i A*= ( x y ) ( z v) ;

d. A= y ( x z (v u )) i A*= y x ( z v u ) .
Evident c ( A* )* A . Formulele A i A* se numesc reciproc duale.
Exemplu: De arrat c formulele A( x, y ) ( x y ) x i A* ( x, y ) ( x y ) x sunt echivalente.
Rezolvare: Conform formulelor lui de Morgan obinem A( x, y ) ( x y ) x ( x y ) x A* ( x, y )

Lema 1. Dac A( x1 , x2 ,..., xn ) i A* ( x1 , x2 ,..., xn ) sunt formule reciproc duale, atunci

A( x1 , x2 ,..., xn ) A* ( x1 , x 2 ,..., x n ).

Demonstraie. Demonstrm lema, utiliznd principiul induciei matematice dup rangul ( A)

al formulei.
ntr-adevr, dac ( A) 0 , atunci formula A xi i deci A( xi ) xi , iar A* ( xi ) xi . Astfel,

avem A( xi ) xi A* ( xi ) , lema este just.

Presupunerea c lema este just pentru orice formul sub form redus ce are rangul ( A) n ,
deci A( x1 , x2 ,..., xn ) A* ( x1 , x 2 , x 3 ,..., x n ).
Presupunem c A( x1 , x2 ,..., xn ) are rangul ( A) n atunci reieind din definiia noiunii de rang,
formula A poate fi una din formulele urmtoare:
1. A ; 2. A B C ; 3. A B C , unde ( B ) n , i (C ) n .
Din presupunere avem B ( x1 , x2 ,..., xn ) B * ( x1 , x 2 ,..., x n ) (1) i
C ( x1 , x2 ,..., xn ) C * ( x1 , x 2 ,..., x n ) (2).

Dac, A( x1 , x2 ,..., xn ) B( x1 , x2 ,..., xn ) , atunci avem

A( x1 , x2 ,..., xn ) B ( x1 , x2 ,..., xn ) A* ( x1 , x 2 ,..., x n ).
 Dac A B C , atunci A* B * C * i A BC BC , i deci
A( x1 , x2 ,..., xn ) A* ( x1 , x 2 ,..., x n ). Conform principiului induciei matematice, lema este just
pentru formula A de orice rang.

Exemplu: x y x z i x ( y x z ) sunt formule duale, prin urmare,

x ( y x z ) x y x z . Vom verifica rezultatul obinut prin construcia tabelelor de

adevr:
x y z x y z x z x z y x z x ( y x z)
0 0 0 1 1 1 0 1 1 0
0 0 1 1 1 0 1 0 1 0
0 1 0 1 0 1 0 1 1 0
0 1 1 1 0 0 1 0 0 0
1 0 0 0 1 1 1 0 1 1
1 0 1 0 1 0 1 0 1 1
1 1 0 0 0 1 1 0 0 0
1 1 1 0 0 0 1 0 0 0

x y z x z xz xz yxz x yxz x yxz

0 0 0 1 1 1 0 0 1 0
0 0 1 1 0 0 1 0 1 0
0 1 0 1 1 1 0 0 1 0
0 1 1 1 0 0 1 1 1 0
1 0 0 0 1 0 1 0 0 1
1 0 1 0 0 0 1 0 0 1
1 1 0 0 1 0 1 1 1 0
1 1 1 0 0 0 1 1 1 0

Teorem ( legea dualitii): Dac formulele A i B sunt echivalente, atunci i

formulele lor duale A* i B * sunt echivalente.
Demonstraie: Dac formulele A i B sunt echivalente, atunci formulele A i B sunt
de asemenea echivalente. n baza celor expuse anterior n acest compartiment mai avem:
A( x1 , x2 ,..., xn ) A* ( x1 , x 2 ,..., x n ) i B ( x1 , x2 ,..., xn ) B * ( x1 , x 2 ,..., x n ). (1). Din echivalena

formulelor A( x1 , x2 ,..., xn ) i B ( x1 , x2 ,..., xn ) rezult echivalena formulelor

A( x1 , x 2 ,..., x n ) i B ( x1 , x 2 ,..., x n ) , aa cum din echivalena a dou formule rezult

echivalena lor pentru orice valori ale propoziiilor x1 , x2 , .., xn , prin urmare i pentru valorile

x1 , x2 , .., xn . Deci: A( x1 , x 2 ,..., x n ) B ( x1 , x 2 ,..., x n ) (2).

Din (1) i (2) rezult: A* ( x1 , x2 ,..., xn ) B * ( x1 , x2 ,..., xn ) .

 Corolar. Dac A 1 , atunci A* 0 i invers.
Exemplu: S se aplice legea dualitii la formulele x ( y z ) i x ( z y ) .
Rezolvare: Vom verifica iniial prin intermediul construciei tabelelor de adevr dac

formulele x ( y z ) i x ( z y ) sunt formule echivalente.

x y z y z yz x ( y z) z y x ( z y)
0 0 0 1 1 1 0 1 0
0 0 1 1 0 0 0 0 0
0 1 0 0 1 0 0 0 0
0 1 1 0 0 1 0 1 0
1 0 0 1 1 1 1 1 1
1 0 1 1 0 0 0 0 0
1 1 0 0 1 0 0 0 0
1 1 1 0 0 1 1 1 1

Formulele x ( y z ) i x ( z y ) sunt echivalente.

Vom scrie formulele duale pentru formulele x ( y z ) i x ( z y ) . Folosind

tautologiile cunoscute, obinem: x ( y z ) x ( y z y z ) x ( y z y z ) ;

x ( z y ) x ( z y z y ) . Deci formula dual pentru formula x ( y z ) este

formula x (( y z ) ( y z )) , iar pentru formula x ( z y ) este formula

x (( y z ) ( y z )) . Prin urmare: x (( y z ) ( y z )) x (( z y ) ( z y )) .

Exerciii:
1. Verificai, care din urmtoarele perechi de formule sunt echivalente i, dac formulele
din pereche sunt echivalente, aplicai la aceasta legea dualitii.

a) x y i y x ; b) x y i y x ; c) x ( x y ) i x y ;

d) x ( y x) i x y y ; e) x ( y z ) i x ( z y ) ;

1.9. Formele normale ale formulelor algebrei propoziiilor

1.9.1. Conjuncie elementar.

Teorema despre valoarea unei conjuncii elementare
 Considerm un sistem de variabile prime x1 , x2 ,..., xn .
Definiie: Conjuncia de variabile prime sau negaii ale variabilelor se numete conjuncie
elementar (produs elementar, conjuncie prim).
Exemple: xi x j x t , x j x j , xi , x i .
Remarc: Orice variabil sau negaie a ei este considerat conjuncie prim.
Teorem: Conjuncia elementar este contradicie atunci i numai atunci, cnd conine cel
puin o variabil prim mpreun cu negaia sa.
Demonstraie: Condiia suficient: Dac este o conjuncie prim ce conine variabila xi
i x i atunci avem xi x i 0 i x j 0 0 , deci 0 .
Condiia necesar: Fie 0 , artm c conine o oarecare variabil xi mpreun cu negaia sa x i .
Presupunem contrariu, adic c o astfel de variabil nu exist, atunci atribuind variabilelor prime ce se
afl sub simbolul negaiei valoarea de adevr 0, iar celorlalte valoarea de adevr 1, vom obine o
conjuncie de 1 i deci am aflat un sistem de valori al variabilelor prime pentru care 1 , ceea ce
contrazice faptului c 0 . Deci presupunerea c nu conine variabila xi mpreun cu negaia ei
nu este just.
1.9.2. Disjuncie elementar.
Teorema despre valoarea unei disjuncii elementare
Considerm un sistem de variabile prime x1 , x2 ,..., xn .
Definiie: Disjuncia de variabile prime sau negaii ale variabilelor se numete disjuncie elementar
(sum elementar, disjuncie prim).
Exemple: xi x j x t , x j x j , xi , x i .
Remarc: 1.Orice variabil sau negaie a ei este considerat disjuncie prim.
2. Avnd n vedere noiunea de formul dual, putem defini disjunciile (conjunciile) prime n modul
urmtor:
Definiie. Duala unei conjuncii (disjuncii) prime este disjuncie (conjuncie) prim.
Teorem: Disjuncia prim este tautologie atunci i numai atunci, cnd conine cel puin o
variabil prim mpreun cu negaia sa.
Demonstraie: Condiia suficient: Considerm ( x1 , x2 ,..., xn ) o disjuncie prim. Dac ea

conine xi i x i , atunci avem xi x i 1 i x j 1 1 , deci 1 .

Condiia necesar: Dac ( x1 , x2 ,..., xn ) 1 , atunci * ( x1 , x2 ,..., xn ) 0 i conform teoremei

despre valoarea unei conjuncii prime rezult c * ( x1 , x2 ,..., xn ) conine o oarecare variabil xi
mpreun cu negaia sa x i . Prin urmare i conine o oarecare variabil xi mpreun cu negaia sa

xi .

1.9.3. Forma normal disjunctiv

Definiie: Vom numi form normal disjunctiv (FND) disjuncia oricrei mulimi de conjuncii
prime.
Exemple: ( x y) ( x y) ; ( x y z) x ; x y z.
Remarc: Orice conjuncie prim se consider FND.
Teorem. Pentru orice formul exist forme normale disjunctive echivalente ntre ele.
Demonstraie: Demonstrm teorema, utiliznd principiul induciei matematice dup rangul ( A) al
formulei sub form redus.
ntr-adevr, dac ( A) 0 , atunci formula A este o variabil prim xi , care este considerat
o conjuncie prim, deci este o form normal disjunctiv.
Presupunem c teorema este just pentru orice formul ce are rangul ( A) n . Dac A este o
formul pentru care rangul ( A) n atunci conform definiiei noiunii de rang formula A poate fi una
din urmtoare:
1. A B ; 2. A B C ; 3. A B C , unde ( B ) n , i (C ) n .
Din presupunere pentru formulele B, C exist forme normale disjunctive. Le aflm.
Considerm A B , unde B este sub FND. Aplicnd legile lui de Morgan i echivalena
x ( y z ) ( x y ) ( x z ) reducem formula B la forma normal disjunctiv.

Presupunem c A B C , dac formulele B, C sunt sub FND, atunci i A B C este sub

FND.
Dac A B C aplicnd echivalena x ( y z ) ( x y ) ( x z ) , reducem formula B C
la forma normal disjunctiv.
n baza principiului induciei matematice, afirmaia teoremei este just pentru formule de orice
rang.
Algoritmul aducerii formulei la FND este urmtorul:
1. aducem formula la forma redus;
2. aplicnd x ( y z ) ( x y ) ( x z ) , aducem forma redus la FND.

Exemplu: S se afle forma disjunctiv normal a formulei x y z x y .

Rezolvare:

x y z x y x ( y z) x y x ( y z) x y x y z x y
 Corolar: Pentru orice formul exist o infinitate de FND echivalente ei.

1.9.4.Forma normal conjunctiv

Definiie: Vom numi form normal conjunctiv (FNC) conjuncia oricrei mulimi de disjuncii
prime.
Exemple: ( x y) ( x y) ; ( x y z) x ; x y z.
Remarc: Orice disjuncie prim se consider FNC.
Teorem. Pentru orice formul exist forme normale conjunctive echivalente ntre ele.
Demonstraie: Dac A este o formul n form redus, atunci aflm pentru duala ei A* forma
normal disjunctiv, prin urmare din ( A* )* A obinem FNC pentru formula A .
Algoritmul aducerii formulei la FNC este urmtorul:
1. aducem formula la forma redus;
2. aplicnd x ( y z ) ( x y ) ( x z ) , aducem forma redus la FNC.
Exemplu: S se afle forma disjunctiv normal a formulei A( x, y, z ) ( x y ) x ( y z ) .
Rezolvare:

( x y ) x ( y z ) (( x y ) ( x y )) x ( y z ) (( x y ) ( x y )) ( x ( y z ))
(( x y ) ( x y ) x) (( x y ) ( x y ) ( y z )) ( x y x) ( x y x) ( x y y z )

(x y y z) - FNC
O alt metod de rezolvare:
( x y ) x ( y z ) (( x y ) ( x y )) x ( y z ) (( x y ) ( x y )) ( x ( y z ))
(( x x) ( x y ) ( x y ) ( y y )) ( x ( y z )) (( x y ) ( x y )) ( x ( y z )) ( x y x )
( x y y z ) ( x y x) ( x y y z ) ( x y ) ( x y z )

Corolar: Pentru orice formul exist o infinitate de FNC echivalente ei.

1.9.5. Conjuncie prim perfect. Form normal disjunctiv perfect

Considerm un sistem de variabile prime x1 , x2 ,..., xn .
Definiie: Conjuncia a n variabile prime diferite ori negaii ale lor se numete conjuncie prim
perfect.
Exemple. Fie {x, y, z} - un sistem de variabile,
x y z, x y z , x y z - conjuncii prime perfecte,
x y - nu este conjuncie perfect, deoarece lipsete z;
x y y z - neperfect, deoarece conine dou variabile identice y .
Definiie. Vom numi form normal disjunctiv perfect (FNDP) disjuncia oricrei mulimi de
conjuncii prime diferite.
Exemple: ( x y z) ( x y z) ; x y z .

Remarc. Orice conjuncie prim perfect este FNDP.

Teorem. Dac conjuncia elementar nu este contradicie, atunci ea este echivalent unei FNDP.
Demonstraie. Dac 0 o conjuncie prim, atunci conform teoremei despre valoarea conjunciei
elementare ea nu conine variabile mpreun cu negaiile lor. Dac este perfect, atunci ea este i
FNDP. Dac nu este conjuncie perfect, atunci avem dou posibilti: sau ea conine variabile
identice care se pot elimina pn la una, utiliznd echivalena xi xi ...xi xi , sau nu conine o
oarecare variabil xi care se poate ataa folosind echivalena
1 ( xi x i ) ( xi ) ( x i ) subtituind astfel pe prin disjuncii a dou conjuncii

prime ce conin xi . Dac conjunciile obinute sunt perfecte, atunci avem o FNDP, iar dac nu.
prelungim procesul de completare cu variabilele ce lipsesc pn ce obinem o disjuncie de conjuncii
prime perfecte.
Exemplu. Fie {x, y, z} i x ,
x ( x y) ( x y) ( x y z) ( x y z) ( x y z) ( x y z) .

Algoritmul aducerii formulei la FNDP este urmtorul:

1. Aducem formula la o FND;
2. Eliminm conjunciile prime ce conin variabila mpreun cu negaia ei pe baza echivalenelor
xx0 i 0 ;
3. Eliminm din conjunciile prime variabilele identice pn la una, utiliznd xi xi ...xi xi ;
4. Completm conjunciile prime cu variabilele xi utiliznd ( xi ) ( x i ) ;
5. Eliminm conjunciile prime perfecte identice pn la una pe baza echivalenei
Formula obinut este FNDP.
Exemplu. S se aduc la FNDP formula A( x, y, z ) ( x y ) ( x ( y z )) ;
A( x, y , z ) ( x y ) ( x ( y z )) ( x y ) ( x y ) ( x ( y z )) ( x y ) ( x y )
( x ( y z )) ( x y ) ( x y ) ( x y ) ( x z ) ( x y z ) ( x y z ) ( x y z )
Rezolvare.
( x y z) ( x y z) ( x y z) ( x y z) ( x y z) ( x y z) ( x y z)
( x y z ) ( x y z ) ( x y z ) ( x y z ) FNDP

Corolar. Pentru o formul, dac exist FNDP, ea este unic.

Exemplu. A( x, y ) x y y 0 ;

A( x, y ) x y y 1 ( x y ) ( x y ) ( y x) ( y x) ( y x ) ( y x ) ( x y )
( x y ) ( y x ) ( y x) FNDP.

Corolar. Contradicia nu posed FNDP.

Corolar. Tautologia are n FNDP 2 n conjuncii prime perfecte.

1.9.6.Disjuncie prim perfect. Form normal conjunctiv perfect

Considerm un sistem de variabile prime x1 , x2 ,..., xn .
Definiie: Disjuncia a n variabile prime diferite ori negaii ale lor se numete disjuncie prim
perfect.
Exemple. Fie {x, y, z} - un sistem de variabile,
x y z, x y z, x y z - disjuncii prime perfecte,
x y - nu este disjuncie perfect, deoarece lipsete z;
x y y z - neperfect, deoarece conine dou variabile identice y .
Definiie. Vom numi form normal conjunctiv perfect (FNCP) conjuncia oricrei mulimi de
disjuncii prime diferite.
Exemple: ( x y z) ( x y z) ; x y z .

Remarc. Orice disjuncie prim perfect este FNCP.

Remarc. Duala unei conjuncii (disjuncii) prime perfecte este disjuncia (conjuncia) prim perfect.
Teorem. Dac disjuncia elementar nu este tautologie, atunci ea este echivalent unei forme
normale conjunctive perfecte (FNCP).
Demonstraie. Dac 1 este disjuncie prim, atunci * 0 este o conjuncie prim. Conform
teoremei din paragraful precedent, pentru conjuncia prim * 0 , exist o form normal disjunctiv
perfect echivalent ei, dar deoarece ( * )* , atunci pentru exist o form normal conjunctiv
perfect echivalent ei.
Exemplu. Fie {x, y} i x , x ( x y) ( x y) - FNCP.
Algoritmul aducerii formulei la FNCP este urmtorul:
1. Aducem formula la o FNC;
2. Eliminm disjunciile prime ce conin variabila mpreun cu negaia ei pe baza echivalenelor
x x 1 i 1 ;
3. Eliminm din disjunciile prime variabilele identice pn la una, utiliznd xi xi ...xi xi ;
4. Completm disjunciile prime cu variabilele xi utiliznd ( xi ) ( x i ) ;
5. Eliminm disjunciile prime perfecte identice pn la una pe baza echivalenei
Formula obinut este FNCP.
Exemplu. S se aduc la FNCP formula A( x, y, z ) ( x y ) ( x ( y z )) ;
Rezolvare.

A( x, y , z ) ( x y ) ( x ( y z )) (( x y ) ( x y )) ( x ( y z )) (( x y ) ( x y ))
( x ( y z )) ( x y x ) ( x y y z ) ( x y x ) ( x y y z ) ( x y ) ( x y z )
( x y z ) ( x y z ) ( x y z ) ( x y z ) ( x y z ) FNCP

Corolar. Pentru o formul, dac exist FNCP, atunci ea este unic.

Exemplu:
A( x, y ) x y y ( x y ) ( x y ) ( y x ) ( y x ) ( y x ) ( y x ) ( x y )
;
( x y ) ( y x ) ( y x ) 0 FNCP

A( x, y ) x y y 1

Corolar. Tautologia nu posed FNCP,iar contradicia conine n FNCP 2 n disjuncii prime perfecte.
Exerciii:
1. Aducei urmtoarele formule la forma normal conjunctiv i forma normal disjunctiv:
a) ( x y) z t ; b) (( x y ) ( z x)) ( y z ) ; c) ( x ( y z )) (( x z ) ( x y )) ;
d) (( x y ) z ) ( x ( x z )) ; e) ( x y ) z ; f) x ( y z ) ; g) ( x y) ( x z) ; h)
( x y ) ( x z ) ; i) ( x y ) (( x z ) y ) ; j) ( x y z ) ( x z ) ; k) x z x y.

2. Aducei formulele din exemplul 1 la forma normal conjunctiv perfect i la forma normal
disjunctiv perfect.
3. Scriei urmtoarele formule n FNCP i FNDP:
a) x y ; b) ( x y ) z ; c) ( x z ) ( x y ) ; d) x ( y ( z ( x y ))) ; e) (( x y) z) t

f) (( x y) z) x ; g) ( z y ) (( x z ) y ) ; h) (( x z ) y ) (( y x ) z ) ; i) x y x z .

1.10. Problema deciziei n algebra propoziional

Este uor de observat c mulimea formulelor n logica matematic se divizeaz n trei
submulimi: formule, ce primesc numai valoarea adevr pentru orice combinaie de valori ale
propoziiilor componente le vom numi formule identic adevrate (tautologii); formule, ce
primesc numai valoarea neadevr pentru orice combinaie de valori ale propoziiilor
componente le vom numi formule identic neadevrate (contradicii); formule, ce primesc cel
puin o valoare adevr i o valoare neadevr le vom numi formule pur realizabile.
Observaie: n logica matematic adesea se utilizeaz noiunea formul realizabil. Prin
formul realizabil nelegem formula, ce primete cel puin o valoare adevr.
Din cele expuse rezult c mulimea formulelor pur realizabile i mulimea formulelor identic
adevrate formeaz mpreun mulimea formulelor realizabile.
 Problema deciziei n algebra propoziiilor const n determinarea unui algoritm ce ar da
posibilitatea de a stabili dac formula este tautologie, contradicie sau realizabil. n algebra
propoziiilor problema deciziei este rezolvabil. Exist mai muli algoritmi de determinare a tipului
formulei.
Algoritmul A: const n alctuirea tabelului de adevr a formulei.
Exemplu: Care din urmtoarele formule sunt formule identic adevrate, identic
neadevrate, realizabile ?

1. F1 x ( y ( x ( z y))) ; 2. F2 (( x z) x) y z ;
3. F3 ( x y) ( x y x y)
Rezolvare: Vom construi tabelele de adevr ale formulelor date.
X y z x y zy x ( z y) y ( x ( z y )) F
1
0 0 0 1 1 1 1 1 1
0 0 1 1 1 0 1 1 1
0 1 0 1 0 1 1 1 1
0 1 1 1 0 1 1 1 1
1 0 0 0 1 1 1 1 1
1 0 1 0 1 0 0 1 1
1 1 0 0 0 1 1 1 1
1 1 1 0 0 1 1 1 1

x y z xz ( x z) x F x y x y x y x yx y F
2 3
0 0 0 1 0 0 1 0 0 0 0
0 0 1 1 0 0 1 0 0 0 0
0 1 0 1 0 0 0 0 1 1 0
0 1 1 1 0 0 0 0 1 1 0
1 0 0 0 1 0 0 1 0 1 0
1 0 1 1 1 0 0 1 0 1 0
1 1 0 0 1 0 1 0 0 0 0
1 1 1 1 1 1 1 0 0 0 0

n baza tabelului de adevr a formulelor 1), 2), 3) spunem: formula

x ( y ( x ( z y ))) este formul identic adevrat (ea este i formul realizabil);
formula (( x z ) x) y z este formul pur realizabil (ea este i formul realizabil); formula
( x y ) ( x y x y ) este formul identic neadevrat.
n principiu prin aceast metod se poate determina caracterul oricrei formule, dar

pentru aceasta n caz general vom fi nevoii s examinm 2 n combinaii de valori ale
propoziiilor simple ce intr n componena formulei, unde n-numrul de variabile (propoziii

simple) din componena ei. Dar cu creterea lui n, 2 n crete i mai rapid i, prin urmare,
numrul combinaiilor de valori ale propoziiilor simple componente crete i mai mult: pentru
n 3 avem 8 combinaii, pentru n 4 avem 16 combinaii, pentru n 5 avem 32
combinaii, pentru n 6 avem 64 combinaii etc.
Exist i alte procedee de a determina caracterul unei formule, care se bazeaz pe
forma normal - disjunctiv i conjunctiv a formulei date.
Algoritmul B se bazeaz pe formele normale ale formulei date.
1. Dac n forma normal conjunctiv fiecare disjuncie prim conine cel puin o variabil
mpreun cu negaia sa, atunci formula este tautologie.
2. Dac n forma normal disjunctiv fiecare disjuncie prim conine cel puin o variabil
mpreun cu negaia sa, atunci formula este contradicie.
Not. Este suficient de aplicat una din aceste reguli.
Presupunem c cunoatem prima regul. Aducem formula A la FNC. Dac formula obinut
satisface prima regul, atunci este o tautologie, adic A 1 , iar dac nu, considerm formula A pe
care o aducem la FNC. Dac formula obinut corespunde cerinelor regulii 1, atunci A 1 i deci
A 0 , iar n caz contrar avem A 1 i A 0 , n acest caz formula A este realizabil.
Exemplul. De aflat tipul formulei A( x, y, z ) ( x y ) ( y z ) .
Rezolvare: A( x, y , z ) ( x y ) ( y z ) ( x y ) ( x y ) ( y z ) . n conformitate cu prima
regul, observm c n FNC conjunciile prime nu conin cel puin o variabil mpreun cu negaia ei,
prin urmare formula A nu este tautologie. Verificm

A( x, y, z ) ( x y ) ( y z ) (( x y ) ( x y )) ( y z ) ( x y ) ( x y ) ( y z )
( x y y ) ( x y z ) ( x y y ) ( x y z ).

Din nou nu se respect condiiile din regula 1, astfel am obinut A 1 i A 0, n acest caz formula
A este realizabil.
Algoritmul B se bazeaz pe formele normale perfecte ale formulei date.
1. Dac formula posed i form normal conjunctiv perfect i form normal disjunctiv
perfect, atunci ea este realizabil.
2. Dac formula posed doar form normal conjunctiv perfect atunci ea este contradicie.
(contradicia nu posed form normal disjunctiv perfect, n schimb n FNCP are 2 n
disjuncii prime perfecte, n numrul de variabile).
3. Dac formula posed doar form normal disjunctiv perfect atunci ea este tautologie.
 (contradicia nu posed form normal conjunctiv perfect, n schimb n FNDP are 2 n
conjuncii prime perfecte, n numrul de variabile).
Exemplul. De aflat tipul formulei A( x, y, z ) ( x y ) ( y z ) .
Rezolvare. Aducem formula la una din formele perfecte (cea care se obine mai uor).
A( x, y , z ) ( x y ) ( y z ) ( x y ) ( x y ) ( y z ) ( x y z ) ( x y z ) ( x y z )
( x y z) ( x y z) ( x y z) ( x y z) ( x y z) ( x y z) ( x y z)
( x y z) FNCP

Deoarece FNCP conine cinci disjuncii prime perfecte, dar atunci FNDP va avea trei cojuncii prime
perfecte, prin urmare formula posed ambele forme, deci este realizabil.

Exemplu: S se determine caracterul formulei x y z y folosind una din FNP

i s se verifice rezultatul obinut aplicnd cealalt FNP i metoda tabelar.

1. Determinm o form normal a formulei x y z y :

x y z y x yz yz y x ( yz yz ) y x ( y z )( y z ) y
x ( y z )( y z ) y ;
2. Transformm forma normal x ( y z )( y z ) y a formulei x y z y n

FDN.
x ( y z )( y z ) y x yy y z zy zz y x y z yz y .

3. Transformm FDN obinut n FDNP : x xy xy xyz xyz xyz xyz ;

y z xy z x y z ; yz xyz x yz ; y xy x y xyz xyz x yz x yz ;
x y z yz y xyz xyz xyz xy z x y z xyz x yz xyz xyz x yz x yz
xyz xyz xyz xy z x y z x yz x yz ;
4. 4.

FDNP a formulei x y z y conine 7 termeni (0 7 8) , prin urmare, formula

examinat este pur realizabil.

5. Verificm rezultatul obinut folosind FCNP a formulei x y z y :

x ( y z )( y z ) y ( x y z )( x y z ) y ( x y z y )( x y y z )
(x y z );
Forma obinut ( x y z ) este FCNP a formulei x y z y , ea conine un

singur factor (sum elementar), prin urmare, formula examinat este pur realizabil.

Verificm rezultatul obinut i tabelar:

x y z x y z yz yz yz y x yz y xyz xy z
0 0 0 1 1 1 0 1 1 1 0 0
0 0 1 1 1 0 1 0 0 0 0 0
0 1 0 1 0 1 1 0 1 1 0 0
0 1 1 1 0 0 0 1 1 1 0 0
1 0 0 0 1 1 0 1 1 1 0 0
1 0 1 0 1 0 1 0 0 1 0 0
1 1 0 0 0 1 1 0 1 1 0 1
1 1 1 0 0 0 0 1 1 1 1 0

x y z x yz xyz xyz x yz xy z FDNP x y z FCNP

0 0 0 0 0 1 0 0 1 1 1
0 0 1 0 0 0 0 0 0 0 0
0 1 0 0 0 0 0 1 1 1 1
0 1 1 0 0 0 1 0 1 1 1
1 0 0 0 1 0 0 0 1 1 1
1 0 1 1 0 0 0 0 1 1 1
1 1 0 0 0 0 0 0 1 1 1
1 1 1 0 0 0 0 0 1 1 1
Prin urmare, toate cele trei procedee aplicate la determinarea caracterului formulei

x y z y au dat aceeai soluie: formula examinat este pur realizabil.

Exerciii.
1.S se determine tipul formulei utiliznd algoritmul A.
a) ( x y ) ( y z ) ; b) ( x y ) ( y z ) ; c) ( x y) y z ; d) x y ( y z) ;

e) ( x x) ( y z ) ; f) ( x x) ( y z ) ; ) (( x y ) ( y z )) x z; f) ( x y ) ( y z ) .
2. Stabilii tipul formulei, utiliznd algoritmul B (ambele reguli):
a) ( x y ) (( z t ) ( p s )) ; b) ( z z ) (( x t ) ( y p s )) c) x y x y;

d) (( x y ) ( x y )) ( z z t p) ; e) x y ( p s) ; f) ( x y ) ( y z p) .
3. Stabilii tipul formulei, utiliznd algoritmul C:
a) ( x y ) ( z x) ; b) zzx y; c) ( x y ) ( z x) ; d) ( x y ) (( x y ) ( x y )) ;

e) ( x y ) (( x y ) ( x y )) ; f) ( x y) ( z z) ; g) ( x y ) z ; h) ( x y ) ( z x) .
4. Care din urmtoarele formule sunt formule identic adevrate, identic neadevrate, pur
realizabile, realizabile (prin cel mai raional algoritm)?

a) ( x y ) x y ; b) ( x y ) y x ; c) x y ( x y ) ( x y ) ;

d) x y ( x y ) ; e) ( x z ) ( y z ) ( x y ) .
5. Determinai caracterul formulei folosind una din FNP i verificai rezultatul obinut
aplicnd cealalt FNP i metoda tabelar:
a) x y z ; b) ( x z ) ( y z ) ( x y ) ; c) ( x ( y z )) x y ( x z ) ; d)

x y ( y z x z)

II. CALCULUL PROPOZIIONAL

2.1. Noiune de teorie axiomatic

Procesul deductiv sau axiomatic de construcie a teoriilor matematice a nceput activ s se

dezvolte la finele secolului IXX. Graie lucrrilor lui Hilbert au fost formulate definitiv principiile
acestei metode i a fost artat nsemntatea ei pentru dezvoltarea matematicii. Primul pas n aceast
direcie a fost fcut de Euclid.
La baza teoriei axiomatice se afl aa numitele noiuni prime, care nu se definesc. Pe baza
noiunilor prime se definesc alte noiuni. Afirmaiile ce determin din noiunile prime sau din alte
noiuni deja determinate, noiuni noi, se numesc definiii. .Noiunile noi obinute se numesc noiuni
definite.
 Evident c este imposibil de demonstrat justeea oricrei afirmaii despre noiunile prime sau
cele definite, far a folosi oarecare afirmaii deja considerate juste.
De aceea unele afirmaii se consider juste n teoria axiomatic, ele poart denumirea de
axiomele teoriei. Axiomele teoriei se aleg, de obicei, ca cele mai evidente afirmaii despre noiunile
prime.
Dup ce au fost alese noiunile prime, axiomele, se ncepe dezvoltarea teoriei axiomatice.
Utiliznd noiunile prim, cele definite, axiomee i regulile raionamentelor logice,se deduc afirmaii
noi, care poart denumirea de teoremele teoriei axiomatice.
Definiie. Deducie a afirmaiei A, formulat n teoria axiomatic, se numete o consecutivitate finit
B1, B2 , ... , Bn de afirmaii ale teoriei, n care fiecare afirmaie este axiom, sau obinut din una sau
mai multe afirmaii precedente pe baza regulilor de deducie, iar Bn coincide cu A.
Afirmaia A se numete teorem, se noteaz A. Evident, c orice axiom este teorem, deducia
creea const dintr-o singur afirmaie. Teria axiomatic contruit mai sus se numete teoria axiomatic
intuitiv. Exist dou direcii de dezvoltare a teoriilor axiomatice.
Prima direcie: const n faptul c teoria matematic ajunge la un aa nivel de dezvoltare, nct ea
capt un caracter de teorie axiomatic. Astfel au fost axiomatizate: aritmetica (axiomele lui Peano),
geometria, teoria probabilitilor, mecanica i altele.
Direcia a doua: const n faptul c se evideniaz multe particulariti comune ale diferitor teorii
matematice. Aceasta d posibilitatea de evideniat tot ce-i comun i de dezvoltat teoria axiomatic. Pe
aceast direcie au fost dezvoltate teoriile axiomatice algebrice (teoria grupurilor, inelelor,cmpurilor).
Pentru demonstrarea unor proprieti ale teoriei axiomatice se folosete aa numit noiunea de
model al teoriei.
Definiie. Atribuirea anumitor valori noiunilor prime sau definite ale teotiei axiomatice se numete
interpretarea teoriei axiomatice.
Putem formula noiunea de interpretare n modul urmtor. Prin interpretare vom nelege o funcie
f, domeniul de definiie al creia este mulimea tuturor noiunilor prime i definite al teoriei
axiomatice. Dac imaginea acestei funcii f satisface toate axiomele teoriei axiomatice, atunci ea se
numete model al teoriei axiomatice.

2.2. Proprietile teoriei axiomatice

Un sitem axiomatic, pentru a fi admis, trebuie s satisfac urmtoarele proprieti:

noncontradiciei, independenei, completitudinei.
Noncontradicia este una din cele mai importante proprieti, fiindc dac teoria n caz contrar n ea
orice afirmaie este teorem i deci aa teorie nu prezint nici un interes.
Definiie. Teoria axiomatic este noncontradictorie, dac nici pentru o afirmaie A n aceast teorie,
afirmaiile A i nu pot fi simultan teoreme n teorie.
Problema noncontradiciei este de o importan major n teoria axiomatic. n majoritatea
cazurilor aceast problem este rezolvat cu ajutorul noiunii de model al teoriei axiomatice. ntr-
adevar, dac teoria este contradictorie, atunci orice model al ei conine contradicie i deci teoremele A
i A trec n dou contradicii despre elementele modelului. nseamn c teoria este noncontradictorie,
dac se poate de ales un model noncontradictoriu.
Definiie. Teoria axiomatic se numete deplin n sens ngust (ori n sensul lui Post), dac ataarea la
axiomele ei a oricrei afirmaii nedeductibile n teorie, duce la o teorie contradictorie.
Remarc: Orice teorie absolut complet este complet i n sens ngust.
Independena.
Definiie. Axioma A a unei teorii axiomatice se numete independent de celelalte axiome, dac ea nu
poate fi demonstrat din ele.
Definiie. Teoria axiomatic este independent, dac orice axiom a ei este independent.
Definiie. O axiom este semantie independent, dac exist o interpretare care satisface toate
axiomele, dar nu o satisface pe aceea, independena creia se verific.
Remarc: Cerina independenei axiomatice i a regulilor de deducie nu trebuie considerat
obligatorie.
Categoricitatea. Aceast proprietate depinde foarte mult de modul de provenire a teoriei axiomatice.
n majorotatea lor, teoriile categorice provin prin prima direcie de dezvoltare. Dup cum tim, o
oarecare teorie matematic a ajuns la un aa nivel de dezvoltare, nct se cere axiomatizarea ei. Aceast
teorie matematic i servete ca model pentru teoria axiomatic formulat. Alte modele ale acestei
teorii pot exista, ns ele trebuie s fie izomorfe ntre ele cu modelul deja considerat.
Definiie. Teoria axiomatic se consider categoric, dac orice dou modele sunt izomorfe ntre ele.
Ca exemplu de teorii axiomatice categorice pot servi geometria lui Euclid,teoria probabilitii,
diferite sisteme numerice.
Teoriile necategorice au diferite modele neizomorfe, apar ele mai mult pe direcia a doua de
dezvoltare a teoriei axiometice.
Ca exemplu de teorii necategorice sunt teoria grupurilor, inelelor, cmpurilor.

2.3 . Noiune de teorie axiomatic formalizat

n paregrafele precedente am vorbit de aa numitele sisteme axiomatice intuitive, n care
afirmaiile au sens i se operaz cu ele n virtutea sensului. n aceste teorii noiunile de deducie, reguli
de deducie se folosesc n mod natural, fr a fi definite.
 Mai jos vom introduce noiunea de teorie axiomatic formalizat, teorie care opereaz cu anumite
formule, definindu-se n ea i regulile de deducie folosite la dezvoltarea ei.
Definiie. O teorie axiomatic formalizat L se consider definit, dac sunt satisfcute urmtoarele
condiii:
1. Este dat o mulime numerabil de simboluri, ce constituie alfabetul teoriei, din care se pot
alctui diferite consecutiviti numite expresii sau cuvinte a teoriei L;
2. Este indicat o submulime de cuvinte a teoriei L ( ori se formuleaz o regul ce d
posibilitatea n mod efectiv, de evideniat aceast submulime) numite formule;
3. Este evideniat o submulime de formule numite axiomele teoriei ( sau se arat un
precedeu efectiv de determinare a axiomelor din mulimea de formule);
4. Exist o mulime finit R1, R2, ... ,Rn de relaii ntre formule, numite reguli de deducie.
Pentru fiecare regul de deducie Ri ( i 1, n ) exist j N , astfel nct pentru fiecare
mulime de j formule i pentru oarecare formul arbitrar n mod efectiv se rezolv
problema, se afl formula considerat n relaia Ri cu mulimea de j formule sau nu i dac
da, atunci formula considerat se numete urmare nemijlocit din aceste j formule.

Definiie. Deducia n teoria formalizat L se numete o consecutivitate de formule A1, A2, ... , An n
care fiecare formul Ai, 1 i n este sau axiom, sau urmare nemijlocit din formulele precedente cu
ajutorul unei reguli de deducie.
Definiie. Formula A se numete teorem n teoria L (notm A), dac exist o deducie A1, A2, ... ,
An, astfel nct An este A. Aa deducie se numete deducia formulei A.
Definiie. Formula A se numete urmare a grupului de formule (A) atunci i numai atunci, cnd
exist o consecutivitate de formule A1, A2, ... , An, astfel nct An este A, iar fiecare din Ai este sau
axiom, sau formula din , sau urmare nemijlocit din precedentele sale cu ajutorul unei reguli de
deducie. Formulele din se numesc premizele deduciei.
Dac mulimea ={ B1, B2 ,..., Bn }, atunci vom scrie B1, B2 ,..., Bn A. Dac avem A, atunci
A este teorem.
Noiunea de A are proprietile:
1. Dac i A, atunci A;
2. Dac A i B, pentru B , atunci A.

Remarc. Teoria axiomatic formalizat se deosebete de cea intuitiv prin faptul:

1. Ea opereaz cu anumite formule ce sunt cuvintele unui oarecare alfabet, lipsite de oarecare
coninut.
2. Raionamentele logice se efectuiaz pe baza anumitor reguli de deducie formulate n teorie.
Deci, dezvoltarea unei teorii axiomatice formalizate este un proces de operare cu formule pe baza
unor reguli formulate n aceast teorie.
 Limba romn n care se efectueaz dezvoltarea i expunerea teoriei axiomatice formalizate se
numete metalimbaj, o limb auxiliar. Limbajul teoriei axiomatice, deci simbolurile alfabetului, se
numete limbajul obiectului de studiu.
Definiie. Teorema despre teoria axiomatic ce arat unele sau alte proprieti ale ei formulate n
metalimbaj se numete metateorem.

De exemplu, afirmaia Teoria grupurilor este necategoric este o metateorem n teoria grupurilor, iar
afirmaia (x, y G )( x y y x) este o teorem n teoria grupurilor.

2.4. Sistemul de axiome al calculului propoziional.

n aceast seciune se vor expune bazele teoriei axiomatice, definite noiunele de teoreme,
precutate exemple de demonstraie a lor i dezvoltat teoria calculului propoziional. n acest paragraf
ne vom gasi nauntru teoriei axiomatice i vom dezvolta aceast teorie.
nceputul teoriei axiomatice a calculului propoziional: noiuni prime, sisteme de axiome, reguli
de deducie. La noiunele prime sau cele ce nu se definesc se refer urmtoarele:
A, B, C, D... , variabile propoziionale;
, conectori logici;
( , ) simboluri tehnicie.

Noiune prim este i formula care se definete astfel:

1) Fiecare variabil propoziional este formul;
2) Daca F1 i F2 sunt formule, atunci expresiile F1 , ( F1 F2 ) F1 deasemenea sunt formule;
3) nafar de formulele menionate n punctele1 i 2 altele nu sunt.

Urmtorul pas n construcia teoriei axiomatice este n alegerea sistemului de axiome.Vom lua n
calitate de axiome urmatoarele formule:
Ax1: A ( B A)
Ax2: ( A ( B C )) (( A B) ( A C ))
Ax3: ( B A) (( B A) B )

unde A,B,C formule arbitrare.

n aa mod oricare din Ax1 , Ax2 , Ax3 ne dau doar forma axiomei, ele se transform n axiome dac
n loc de A, B si C plasm formule concrete (n particular variabile propoziionale). Prin urmare fiecere
din aceste expresii ne d o mulime infinit de formule. Toate ele se numesc axiome. De aceea fiecare
din Ax1 , Ax2 , Ax3 se numete axiom schem.
n sfrit, pasul final, ce pune fundamentul teoriei axiomatice, const n alegerea regulilor de
deducie.
 O singur regul de deducie va fi regula detarii (sau modes ponens) din formulele A i A B
nemijlocit urmeaz formula B.
Formulele obinute n urma regulilor de deducie se numesc derivate din axiom.
Ca i n algebra propoziiilor, ne vom nelege ca parantezele interioare s le omitem. ntruct n
axiome nu sunt prezeni conectorii ,, , atunci va trebui s-i definim:
A B nseamn
A B nseamn A B
A B nseamn ( A B) ( B A) ( A B) B A

Mulimea de axiome, regulele de deducie i toate teoremele deduse din axiome, reprezint teoria
axiomatic a calculului propoziional. Scopul nostru const n faptul de a reui s demonstrm teoreme
n aceast teorie, adic s construim deducia formulelor din axiome.
S deducem demonstrarea unor formule:
METATEOREMA (MT1) De demonstrat c formula AA este teorem n teoria L.
T1: AA este teorem n limbajul lui L.
Demonstraie. Conform noiunii de teorem, trebuie s construim o consecutivitate de formule
A1,A2,...,At, astfel nct At= AA, iar fiecare din formulele Li, i 1, t , este sau axiom, sau derivat din
axiome, sau obinut din precedentele sale cu ajutorul detarii.
Evident c formula AA nu poate fi axiom, cea mai scurt axioma (Ax1) conine dou implicaii,
deci rezult c ea este rezultatul detarii Mp (X;X( AA))= AA, prin urmare n deducia ei
trebuie s avem formulele X i X (AA).
Considerm A1=Ax2( A( BC))(( AB) (AC)).
Aplicnd la ea substituia obinem:
A2= S B ,C (Ax2;BA,A)=(A((BA)A))((A(BA))( AA)),
A3=Ax1= A(B A), aplicnd substituia obinem
A4=SB(Ax1; BA)= A(( BA) A).
Aplicnd la formulele A4 i A2 detaarea obinem
A5 Mp(A4 ;A2)=(A(BA))(AA)=A5. Aplicnd la formulele A 3 i A 5 detaarea avem

A 6=Mp (A 3 ; A 5) =AA.
Noi am construit o consecutivitate de formule A 1, A 2, A 3, A 4, A 5, A 6=AA n care A 1 , A 3 sunt
axiome, A 2 , A 4 sunt derivate din axiome, A 5 , A 6 sunt obinute din precedentele lor cu ajutorul
detarii, astfel avem definiia teoremei. Metateorema este demonstrat.
METATEOREMA (MT2) De demonstrat c formula ( A A) A este teorem n teoria L.
T 2 : ( A A) A .

Demonstraie. Considerm A1 Ax3 ( B A) (( B A) B) ,

 A2 S B ( Ax 3 ; A) ( A A) (( A A) A) ;

A3 MT1 A A (cu toat deducia ei);

A4 S A ( MT1 , A) A A ;

A5 M p ( A4 , A2 ) ( A A) A ; Rezult c ( A A) A este teorem n teoria L.

METATEOREMA (MT3) De artat c formula AC este urmare a formulelor AB,BC.
T3: AB, BC AC .
Demonstraie. Conform noiunii de urmare trebuie s construim o consecutivitate de formule A 1,
A2,..., A t , astfel nct A t = AC i fiecare din A i , i 1, t este axiom, derivat din axiom ori
formulele AB, BC sau obinit din din precedentele sale cu ajutorul regulii detarii Mp.
Considerm A 1 = AB; A 2 = BC;
A 3 =Ax2 =(A(BC))(( AB)( AC));
A 4 =Ax1 =A(BA);
A 5 =SA,B(Ax1 ; BC,A)= (BC)( A( BC));
A 6 = Mp(A 2, A 5)=A( BC);
A 7 = Mp(A 6 , A 3)= ( AB)( AC);
A 8 = Mp(A 1 , A 7)=( AC).
Am construit o consecutivitate de formule A 1, A 2, A 3, A 4, A 5, A 6 , A 7 , A 8 = (AC) n care A 1, A 2
sunt premizele teoremei, A 3, A 4 este derivat din axiom, A 6 , A 7 , A 8 sunt obinute din precedentele
por cu ajutorul detarii, avem definiia urmrii, deci metateorema este demonstrat.
A B, B C
regula silogizmului.
AC
METATEOREMA (MT4) De demonstrat c formula B ( A C ) este urmare a formulei
A (B C ) .

T4 : A ( B C ) B ( A C ) .
Demonstraie. A1 A ( B C ) A 1 = A(BC);
A2 Ax 2 ( A ( B C )) (( A B) ( A C )) ;

A3 M p ( A4 , A2 ) ( A B ) ( A C ) ;

A4 Ax1 A ( B A) ;

A5 S A,B ( Ax1 ; B, A) B ( A B ) ; aplicnd regula silogismului la formulele A5 i A3 , avem

A B, B C
( A5 , A3 ) B ( A C ) A6 .
AC
A (B C)
-regula permutrii premizelor.
B ( A C)
 METATEOREMA (MT5) De demonstrat c formula A C este urmare a formulelor
A (B C ) , B .

T5: A ( B C ) , B A C .
Demonstraie. A1 A ( B C ) , A2 B ;
A3 Ax 2 ( A ( B C )) (( A B) ( A C )) ;

A4 M p ( A1 , A3 ) ( A B ) ( A C ) ;

A5 Ax1 A ( B A) ;

A6 S A,B ( Ax1 ; B, A) B ( A B ) ;

A7 M p ( A2 , A6 ) A B ;

A8 M p ( A7 , A4 ) A C .

A ( B C ), B
-regula eliminrii premizelor.
AC
METATEOREMA (MT6) De demonstrat c formula A A este teorem n teoria L.
T6 : A A .
Demonstraie.Considerm A1 Ax3 ( B A) (( B A) B)
A2 S A, B ( Ax 3 ; A, A) ( A A) (( A A) A) ;

A3 MT1 A A ;

A4 S A ( MT1 ; A) A A ;

Aplicm la formula A2 regula permutrii premiselor :

A (B C)
( A2 ) = ( A A) (( A A) A) A5
B ( A C)
A6 Ax1 A ( B A)

A7 S A, B ( Ax1 ; A, A) A ( A A) ;

A8 M p ( A4 , A5 ) ( A A) A ;

Aplicm regula silogizmului la A7 i A8

A B, B C
( A7 , A8 ) A A A9 .
AC

A
- regula eliminrii negaiei duble.
A

METATEOREMA (MT7) De demonstrat c formula A A este teorem n teoria L.

T7 : A A . .
Demonstraie. Considerm A1 Ax3 ( B A) (( B A) B) ;
A2 S B ( Ax 3 ; A) ( A A) (( A A) A) ;

A3 MT6 A A ;

A4 S A ( MT6 ; A) A A ;

A5 M p ( A4 , A2 ) ( A A) A ;

A6 Ax1 A ( B A) ;

A7 S B ( Ax1 ; A) A ( A A) , aplicnd la formulele A7 i A5 regula silogizmului, avem:

A B, B C
( A7 , A5 ) A A A8 .
AC
A
-regula introducerii negaiei duble.
A

2.5. Teorema deduciei i consecinele din ea

Procesul de demonstrare a unora sau altora formule poate s fie destul de complicat att n plan
de idei, ct i n plan tehnic.
Teorema deduciei despre care va fi vorba, exprim careva lege general pentru aa construcii i-n
acelai timp uureaz procesul de construcie a demonstraiei, ceea ce va fi vizibil n exemplele de mai
departe.
Metateorem. Dac este un grup de formule n L i A i B -formule, i dac , A B, atunci
A B . n particular, dac avem AB, atunci A B .
Teorema deduciei: Dac , A B atunci AB, dac AB, atunci AB.
Demonstraie. Vom demonstra teorema, utiliznd principiul induciei matematice pe lungimea
deduciei formulei B, adic pe numrul de formule n consecutivitatea B1, B2, B2,..., Bn-1, Bn= B.
Presupunem c deducia formulei B const dintr-o singur formul Bi= B, 1 i n , deci avem ,
A Bi= B. Conform definiiei urmrii pentru formula Bi= B, avem urmatoarele posibilitai:
1) B ; 2) A B ; 3) B { Ax1 , Ax 2 , Ax 3 } .
Dac B , atunci, evident c este just afirmaia B (1).
Aplicnd la Ax1 A ( B A) regula substituiei, avem formula
S A,B ( Ax1 ; B, A) B ( A B ) pentru care, ca derivat din axiom este just afirmaia

B ( A B) (2). Aplicnd la afirmaiile juste (1) i (2) regula detarii, obinem afirmaia A B .

Dac A B , atunci aplicnd la teorema A A substituia, obinem S A ( A A, A) A pentru

care, ca teorem, este just afirmaia A A A B .
Considerm Bi B { Ax1 , Ax 2 , Ax 3 } i anume B Axi , i 1,3 . Aplicnd la axioma Ax1

regula substituiei, obinem S B , A ( Ax1 ; A, Ax1 ) Ax1 ( A Ax1 ) pentru care, ca axiom este just
 afirmaia Ax1 ( A Ax1 ) (3). Pentru Axi este just afirmaia Axi (4). Aplicnd la

afirmaiiile juste (3) i (4) regula detarii, avem A Axi A B . Deci pentru cazul cnd
deducia formulei B const dintr-o singur formul, afirmaia teoremei este just.
Presupunem c afirmaia teoremei este just pentru orice formul, lungimea deduciei creia
const dintr-un numr nu mai mare de k formule.
Presupunem c B o formul, deducia creia const din k+1 formule. Prin urmare , AB are
deducia B1, B2, B2,..., Bk, Bk+1= B, din care, reieind din noiunea de urmare, pentru formula B avem
urmtoarele posibiliti:
1) B ; 2) A B ; 3) B { Ax1 , Ax 2 , Ax 3 } ; 4) B ( Bi ; Bi Bk 1 ) , unde lungimea deduciilor

formulelor Bi i Bi Bk 1 nu este mai mare dect k.

Deci conform presupunerii, avem afirmaiile juste A Bi (a) i A ( Bi Bk 1 ) (b).
Punctele 1), 2), 3) se demonstreaz ca i pentru formula ce are o deducie din o singur
formul. Aplicnd la axioma Ax 2 ( A ( B C )) (( A B) ( A C )) regula substituiei, avem
S A, B ,C ( Ax 2 ; A, Bi , Bk 1 ) ( A ( Bi Bk 1 )) (( A Bi ) ( A Bk 1 )) pentru care, ca derivat

din axiom, este just afirmaia : ( A ( Bi Bk 1 )) (( A Bi ) ( A Bk 1 )) (c). Aplicnd la

afirmaiile (b) i (c) regula detarii, obinam afirmaia just
( A Bi ) ( A Bk 1 ) (d).
Aplicnd la afirmaiile (a) i (d) regula detarii, obinem afirmaia A Bk 1 A B , deci
am demonstrat cazul 4).
Conform principiului induciei matematice, teorema este just pentru orice formul B, ce
satisface ipoteza teoremei deduciei , AB.
Unele teoreme demonstrate pe baza teoremei deduciei
METATEOREMA (MT8). De demonstrat c formula A ( A B ) este teorem n teoria L.
T8 A ( A B ) .
Demonstraie. Pentru a demonstra A ( A B) , trebuie s dezmembrm formula n
subformule astfel, nct s avem ipoteza teoremei deduciei, demonstrm justea ei, pe urm, aplicnd de
un anumit numr de ori concluzia, obinem formula ce se demonstreaz. n cazul nostru trebuie s
demonstrm A A B sau A, A B.
Demonstrm
A1 A ; A2 A ; A3 Ax1 A ( B A)

A4 S B ( Ax1 ; B ) A ( B A) ;

A5 S A, B ( Ax1 ; A, B ) A ( B A) ;
 A6 M p ( A1 , A5 ) B A ;

A7 M p A2 , A4 B A ;

A8 Ax 3 ( B A) (( B A) B ) ;

A9 M p ( A6 , A8 ) ( B A) B ; A10 M p ( A7 , A9 ) B .
Am demonstrat justeea afirmaiei A, A B , care este ipoteza teoremai deduciei, aplicnd
concluzia ei, obinem afirmaia just A A B , care tot este ipoteza teoremei deduciei. Aplicnd
nc o dat concluzia ei, avem A ( A B ) falsul implic orice (ceea ce trebuia de demonstrat).
METATEOREMA (MT9) De demonstrat c formula ( B A) ( A B ) este teorem n teoria L.
T9 ( B A) ( A B ) .
Demonstraie. Trebuie s demonstrm justeea afirmaiei B A, A B.
ntradevr A1 B A ; A 2 A ; A3 Ax 3 ( B A) (( B A) B ) ;
A4 M p ( A1 , A3 ) ( B A) B ; A5 Ax1 A ( B A) ;

A6 S B ( Ax1 ; B ) A ( B A) ; A7 M p A2 , A6 B A ;

A8 M p A7 , A4 B .

Deci avem afirmaia just B A, A B , din care avem B AA B , prin urmare avem
demonstrat teorema ( B A) ( A B ) .
METATEOREMA (MT10) De demonstrat c formula ( A B ) ( B A) este teorem n teoria L.
T10 ( A B) ( B A) .
Demonstraie. Trebuie s demonstrm justeea afirmaiei A B, B A . ntr-adevr
A1 A B ; A2 B ; A3 MT7 A A ;

A B, B C
A4 ( A3 , A1 ) A B ; A5 MT8 A A ; A6 S A ( MT8 ; B ) B B ;
AC
A B, B C
A7 ( A4 , A6 ) A B ; A8 MT9 ( B A) ( A B) ;
AC
A9 S A,B ( MT9 ; B, A) ( A B ) ( B A) ; A10 M p A7 , A9 B A ; A11 M p A2 , A3 A .

Am demonstrat afirmaia A B, B A , astfel obinem ( A B ) ( B A) .

METATEOREMA (MT11) De demonstrat c formula ( A B) (( A B) B) este teorem n teoria

L.
T11 ( A B) (( A B) B) .
Demonstraie. Trebuie s demonstrm justeea afirmaiei A B, A B B,
ntradevr A1 A B ; A2 A B ; A3 MT10 ( A B) ( B A) ;
A4 M p A1 , A3 B A ; A5 S A ( MT10 ; A) ( A B ) ( B A) ; A6 M p A2 , A5 B A ;
A7 Ax 3 ( B A) (( B A) B ) ; A8 S A ( Ax 3 ; A) ( B A) (( B A) B ) ;

A9 M p ( A6 , A8 ) ( B A) B ; A10 M p ( A4 , A9 ) B .
Am demonstrat afirmaia A B, A B B , din care rezult afirmaia A B ( A B ) B , de
unde obinem ( A B) (( A B) B) .
2.6 Aplicaii practice
1. De demonstrat c formula C este urmare a formulelor A, B, A ( B C ) .
A1 A ;

A2 B ;
A3 A ( B C ) ;

A4 M p ( A1 , A3 ) B C ;

A5 M p ( A2 , A4 ) C .

2. De demonstrat c formula A B este urmare a formulei B A.

A1 B A ;

A2 MT9 ( B A) ( A B ) ;

A3 M p ( A1 , A2 ) A B .

3. De demonstrat c formula B este urmare a formulelor A, A B .

A1 A ;

A2 A B ;
A3 M p ( A1 , A2 ) B

4. De demonstrat c formula B este urmare a formulei A B .

A1 A B A B A B ;

A2 Ax 3 ( B A) (( B A) B ) ;

A3 S A ( Ax 3 ; A B) ( B A B)) ((( B ( A B)) B) ;

A4 Ax1 A ( B A) ;

A5 S A, B ( A B, B ) A B ( B A B ) ;

A6 M p ( A1 , A5 ) B A B ;

A7 M p ( A6 , A3 ) ( B ( A B)) B ;

A8 S A, B ( Ax1 ; B, A) B ( A B ) ;

A9 M p ( A8 , A7 ) B .

5. De demonstrat c formula A B este urmare a formulei B .

B A B . Din definiie cunoatem A B A B A B .
A1 B ;

A2 Ax1 A ( B A) ;

A3 S A, B ( Ax1 ; B, A) B ( A B ) ;

A4 M p ( A1 , A3 ) A B .

6. De demonstrat c formula A B este urmare a formulei A B .

A B A B
A1 A B ( A B ) ( B A) = ( B A) ( A B ) ;

A2= AB .

2.7. Modelul teoriei axiomatice L

Pentru a studia matematica teoriei L, trebuie s instituim un oarecare model al acestei teorii. Ca
model pentru teoria L poate servi algebra propoziiilor, efectund urmtoarea interpretare a simbolurilor
alfabetului teoriei L n modul urmtor:
1. Considerm fiecare majuscul latina ca o variabil propoziional ce primete una din valorile
mulimii {0,1} ;
2. Simbolurile le atribuim sensul lor obinuit din algebra propoziiilor :
METATEOREMA 1. Orice axiom a teoriei L este tautologie n algebra propozitiilor.

Demonstraie. Alctuim tabela de adevr pentru fiecare axiom.

A B C A ( B A) ( A ( B C )) (( A B) ( A C )) ( B A) (( B A) B )
0 0 0 1 1 1
0 0 1 1 1 1
0 1 0 1 1 1
0 1 1 1 1 1
1 0 0 1 1 1
1 0 1 1 1 1
1 1 0 1 1 1
1 1 1 1 1 1

Deci Ax1 1 , Ax 2 1 , Ax 3 1 .
METATEOREMA 2. Regula detarii aplicat la tautologii ne conduce la tautologii.
Demonstraie. Fie A 1 i A B 1 , trebuie s artm c M p ( A; A B) B . Presupunem c
L 1, deci pentru oarecare sistem de valori ale variabilelor avem B=0, atunci A B 1 0 0 , prin
urmare pentru acest sistem de valori A B 0 , ce contrazice condiiei c A B 1 . Deci B 1 .
METATEOREMA 3. Regula susbstituiei aplicat la tautologii ne conduce la tautologii.
 Demonstraie. Considerm A(A1 , A2 , .. , An) 1 i SA1 , A2 , .. , An(A; B1, B2 ,..., Bn)=
= A (B1, B2 ,..., Bn). Evident c formula A(B1, B2 ,..., Bn ) 1, care n-ar fi sistemul de valori ale
variabilelor.
METATEOREMA 4. Orice teorem a teoriei L este tautologie n algebra propoziiilor.
Demonstraie. Presupunem c A este teorem n teoria L. Avnd n vedere noiunea de teorem n L,
putem afirma c avem contruit o deducie n care fiecare formul este sau axiom, deci tautologie
conform metateoremei 1, derivat din axiom, deci tautologie conform metateoremei 3 sau obinut din
precedentele sale cu ajutorul regulii detarii, care conform metateoremei 2 duce la tautologie.
Deoarece A este ultima formul n deducie, rezult c ea este teorem, astfel A 1 .

2.8. Modelul teoriei axiomatice L

Fie A( A, B, C ) ( A B ) C
A B C ( A B) C
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1

A, B , C ( A B) C ;
A, B, C ( A B) C ;
A, B, C ( A B) C ;
A, B, C ( A B) C ;
A, B, C ( A B) C ;
A, B, C ( A B) C ;
A, B, C ( A B) C ;
A, B, C ( A B) C .
Lem. Considerm A(B1, B2, ... Bn) o formul ce conine majuscule latine B1, B2, ... Bn . Vom

considera B1i , 1 , majuscula Bi dac n interpretare Bi=1, sau majuscula i , dac n interpretare
Bi=0. n mod analog i formula A va fi A sau n dependen de valoarea formulei A. Atunci pentru

orice sistem de valori ale majusculelor Bi, i= , avem B1, B2, ... , Bn A.
Demonstraie. Vom demonstra lema,utiliznd principiul induciei matematice, pe numrul de
operaii logice din formul.

Dac n=0, atunci A=Bi i deci avem afirmaiile juste Bi Bi au i .

i

Presupunem c lema este just pentru formulele A ce conine un numr de operaii logice

. Considerm A o formul ce conine mai mult de n- operaii logice. Evident c formula

A poate avea una din formule:

1. A ; 2. A B , unde comin mai puin de noperatori logice,deci, pentru

lema este just.

Considerm A .

Cazul 1. Presupunem c pentru sistemul considerat de valori a majusculelor Bi, , avem

B=1, deci B1, B2 , ... , Bn B= B (*), atunci =0 i deci avem A= . Considerm formula A

(T7), aplicnd la ea regula substituiei obinem: SA (A ;B)=B , pentru care

este just afirmaia B1, B2 , ... , Bn B (**). Aplicnd regula detarii la afirmaiile (*) i (**),

obinem afirmaia B1, B2 , ... , Bn = A.

Cazul 2. Dac B =0, atunci B = = A i, conform presupunerii, avem B1, B2 , ... , Bn B =

= A.
Considerm A= B . Conform presupunerii, avem afirmaiile juste B1, B2 , ... , Bn B
(1) B1, B2 , ... , Bn (2).

Cazul 1. Dac B =0, atunci B = i A=0 =1 de aceia A= A= B . Aplicnd la

teorema (T8) regula substituiei, obinem formula SA, B ;B )=

, pentru care este just afirmaia B1, B2 , ... , Bn (3). Conform

 afirmaiei (1) afirmaia B1, B2 , ... , Bn este just , din ea i din (3) pe baza

detarii avem B1, B2 , ... , Bn .

Cazul 2. Dac =1, atunci = i A= B 1=1, deci A= A = B .

Aplicnd la Ax1= ) substituia obinem

SA, B(Ax1 ; ) ( ), pentru care, este just afirmaia B1, B2 , ... , B

n ( ) (4). Conform afirmaiei (2), avem afirmaia just B1, B2 , ... , Bn = , din

care i (4) obinem pe baza detarii afirmaia B1, B2 , ... , Bn = A.

Cazul 3. Dac B =1 i =0, atunci avem afirmaiile

B1, B2 , ... , Bn (1) i B1, B2 , ... , Bn = (2), i A=1 0=0, deci A= = .

Aplicnd substituia la teorema A , obinem SA, B ); , )

= ) pentru care este just afirmaia B1, B2 , ... , Bn ( ) (5).

Aplicnd la (1) i (5) regula detarii, obinem B1, B2 , ... , Bn (6). Aplicnd la (2) i (6),

detaarea obinem B1, B2 , ... , Bn = A. Conform principiului induciei matematice, lema

este just pentru orice formul a teoriei L.

2.9. Completitudinea teoriei L

Definiie. Un sistem logic este semantic complet, dac toate formulele adevrate prin
interpretare sunt axiome sau teoreme n el.

Dup cum tim, fiecare axiom, teorem a teoriei L prin interpretare este tautologie n algebra
propoziiilor.
Definiie. Calculul propoziiilor se numete deplin fa de noiunea tautologie dac sunt
deductibile toate tautologiile algebrei propoziiilor .

METATEOREM (teorema despre completitudine). Dac formula este tautologie, atunci ea este
teotem n teoria L.
TEOREMA. Dac = A, atunci A.
Demonstraie. Considerm A(B1, B2, ... ,Bn) 1. Pentru orice sistem de valori a majusculelor Bi, (

), conform lemei din 2.8., avem afirmaia just B1, B2 , ... , Bn A= A (*), deoarece A)
1. n cazul cnd BA=1 sau Bn=0 conform aceleiai leme, afirmaiilejuste B1, B2 , ... ,Bn-1, Bn A i
B1, B2 , ... ,Bn-1, A. Aplicnd teorema deduciei, obinem urmtoarele afirmaii juste B1, B2

, ... ,Bn-1 Bn A (1), B1, B2 , ... ,Bn-1 A (2).

Aplicnd la formula (A B) (( ) ) (T11) regula substituiei avem formula SA, B((A

B) (( ) ); Bn, A)= (Bn A) (( A) A), pentru care este just afirmaia

B1, B2 , ... ,Bn-1 (Bn A) (( A) A) (3). Aplicnd la afirmaiile (1) i (3) regula

detarii, obinem B1, B2 , ... ,Bn-1 ( A) A) (4). Aplicnd regula detarii la afirmaiile (2) i
(4), avem B1, B2 , ... ,Bn-1 A (**) ce se deosebete de afirmaia (*) prin faptul c ipoteza conine cu o
premiz mai puin. Aplicnd la afirmaiile (*) acelai raionament, peste n-pai vom obine afirmaia
A, care arat, conform noiunii de teorem c tautologia A este teorem n teoria formalizat L, deci
A.
Definiie. Un sistem logic este sintactic compet dac prin ataare la teoremele ei a unei
formule nedeductibile, cptm un sistem axiomatic contradictoriu.

METATEOREM . Teorie L este sintactic complet.

Demonstraie. Considerm formula A B 1. Presupunem c A B este teorem . Considerm

teorema (A B) ( ) (T10). Aplicnd detaarea la formulele A B i (A B) ( )

obinem formula 1, noi am artat c formula este deductibil, nefiind tautologie, ceea
ce este imposibil.

2.10. Noncontradicia teoriei L

Definiie. Un sistem este relativ necontradictoriu dac n el nu se poate deduce o formul A
mpreun cu negaia sa A .
Definiie. Un sistem este absolut necontradictoriu dac nu toate formulele construibile n
acest sistem sunt teoreme n ele.
Definiie. Un sistem axiomatic este necontradictoriu n sistemul lui Post dac nici o variabil
propoziional nu este teorem n el.
Definiie. Un sistem este necontradictoriu dac exist o formul care nu se deduce n sistem.

METATEOREM. Sistemul axiomatic L este relativ necontradictoriu.

Demonstraie. Dac A o teorem a teoriei L, atunci ea este i tautologie n algebra propoziiilor,

dac ar fi dedus formula A , atunci am avea A= A i A= , ceea ce este imposibil. Deci L este
relativ necontradictorie.
METATEOREM. Sistemul axiomatic L este absolut necontradictoriu.
 Demonstraie. Presupunem c sistemul L nu este absolut necontradictoriu, deci simultan formulele

A i sunt teoreme, dar atunci sistemul L nu este relativ necontradictoriu, ceea ce contrazice faptului
c sistemul axiomatic L este relativ necontradictoriu. nseamn c presupunerea c sistemul L nu este
absolut necontradictoriu nu este just.

METATEOREM. Sistemul L este necontradictoriu n sensul lui Post.

Demonstraie. Presupunem c variabila A este teorem n L. Avnd n vedere Ax1=A , pe

baza regulii detarii avem

Mp(A;)=B tot teorem a teoriei L, ceea ce nu este adevrat, fiindc . Presupunerea

c A este teorem nu este just.
METATEOREM. Sistemul L este necontradictoriu.

Demonstraie. Fie (A o formul n teoria L. Presupunem c ea este

deductibil. Atunci aplicnd la formulele Ax1=A i (A

regula detarii, obinem formula ce nu este teorem, deoarece nu

este tautologie. Deci formula (A nu este teorem.

2.11. Independena teoriei L

n general, cercetarea sistemului axiomatic la independen este o cerin mai mult obinuit, dect
obligatorie. Ea se obinuete mai mult pentru minimizarea numrului de axiome, pentru a construi o
teorie axiomatic riguroas.
Definiie. Un sistem de axiome i de reguli de deducie este independent dac nici una dintre
aceste axiome i reguli de deducie nu este deductibil din restul axiomelor.
Definiie. O axiom este semantic independent, dac exist o interpretare care satisface toate
axiomele, n afar de aceia independena cpreia se precaut.

Pentru a demonstra independena axiomelor teoriei L, alegem o mulime de semnificaii {0, 1,

2}. Se definesc n aa mod operaiile i , nct axioma, independena creia se demonstraz, s
primeasc diferite valori din {0, 1, 2}, iar celelalte axiome, ct i teoremele demonstrate pe baza lor s
primeasc o anumit valoare evideniat din mulimea {0, 1, 2}, de exemplu, valoarea 0. Faptul c o
axiom primete diferite valori din {0, 1, 2} arat independena ei de celelalte axiome.
 METATEOREM. Fiecare din Ax1, Ax2, Ax3 este independent.
Ax1:
A A A B A B
0 1 0 0 0
1 1 1 0 2
2 0 2 0 0
0 1 2
1 1 2
2 1 0
0 2 2
1 2 0
2 2 0

Verificm c formula A ( B A) 2 pentru A=1, B=2, iar axiomele Ax2, i Ax3 numai valoarea 0.
A B C A (B C) A B AC ( A B) ( A C ) Ax2
0 0 0 0 0 0 0 0
0 0 1 2 0 2 2 0
A B BA BA ( ( B A) (( B A) B )
0 0 2 2 0 2 2 0
0 0 2 2 0 0
0 1 0 2 2 0 0 0
0 1 2 2 2 0
0 1 1 2 2 2 0 0
0 2 2 0 2 0
0 1 2 0 2 0 0 0
1 0 2 2 0 0
0 2 0 0 2 0 0 0
1 1 2 2 0 0
0 2 1 0 2 0 0 0
1 2 2 2 0 0
0 2 2 0 2 0 0 0
2 0 2 2 0 0
1 0 0 2 2 2 0 0
2 1 2 0 2 0
1 0 1 0 2 2 0 0
2 2 0 2 0 0
1 0 2 0 2 0 0 0 Mp (A; A
1 1 0 0 2 2 0 0 )= B Mp (0; 0
1 1 1 0 2 0 0 0
)=0.
1 1 2 2 2 2 0 0
Deci axioma
1 2 0 2 0 2 2 0
Ax1 este
1 2 1 2 0 2 2 0
independent,
1 2 2 2 0 2 2 0
deoarece ea
2 0 0 0 0 0 0 0
primete
2 0 1 0 0 0 0 0
diferite valori
2 0 2 0 0 0 0 0
din {0, 1, 2},
2 1 0 0 0 0 0 0
iar toate
2 1 1 0 0 0 0 0
celelalte
2 1 2 0 0 0 0 0
axiome,
2 2 0 0 0 0 0 0
derivatele
2 2 1 0 0 0 0 0
deductibile
2 2 2 0 0 0 0 0
din ele
primesc voloarea 0.
Ax2:
A
0 1
1 0
2 1
 A B
0 0 0
0 1 2
0 2 1
1 0 0
1 1 2
1 2 0
2 0 0
2 1 0
2 2 0

A B
)
0 0 0 0
0 1 0 0
0 2 0 0
1 0 0 0
1 1 0 0
1 2 0 0
2 0 0 0
2 1 0 0
2 2 0 0

Mp (A; A )= B Mp (0; 0 )=0. Valoarea

) (A ) pentru A=B=0, C=1. Deci Ax1, Ax3 i

formulele din ele primesc valoarea 0, iar Ax2 primete i valori diferite din {0, 1, 2}. Ax2 este
independent.
Ax3. Pentru a demonstra independena axiomei Ax3, ntroducem urmtoarea noiune. Vom nsemna
prin h(A) formula obinut din A prin suprimarea negaiei. Evident c h(Ax1)= Ax1, h(Ax2)= Ax2,
h(Ax3)= h(( ) ) = Ax3.
Mp (h(A) ; h(A ))= Mp (h(A) ;

h(A ))= Mp (A; A )= h( )= . Deci deoarece h(Ax3) Ax3, atunci ea nu depinde de

axiomele Ax1, Ax2.

2.12. Rezolvabilitatea teoriei L

Rezolvabilitatea unei teorii axiomatice const n aflarea unui algoritm,care ar da posibilitatea de a

determina, dac afirmaia considerat este teorem n ea sau nu.
METATEOREM. Teoria axiomatic formalizat L este rezolvabil.
Demonstraie. Fie A o formul n teoria L. Se cunoate c dac A 1 este tautologie, atunci este
teorem in L.
n rezultatul interpretrii formulei A, noi obinem o formul n algebra propoziiilor, n care, dup
cum tim, exist algoritmi de determinare dac este tautologie sau nu.

III. PREDICATE
3.1. Noiune de predicat
Definiie. Un enun, care conine variabile i care devine propoziie logic n cazul nlocuirii
acestor variabile cu valori concrete luate dintr-o anumit mulime, se numete predicat.
innd cont de importana deosebit a noiunii de predicat logic pentru matematica
preuniversitar, vom cerceta anumite reguli, definiii, proprieti legate de noiunea predicat.
Logica propoziiilor nu ptrunde n structura propoziiilor elementare. Propoziiile
elementare, elemente ale judecii logice, dispun de structur intern important n procesul
deduciei.
 Spre exemplu: Orice romb este un paralelogram, figura ABCD este romb, prin urmare, figura
ABCD este paralelogram.
n limbajul logicii propoziiilor nu putem explica justeea concluziei obinute, care fiind
formulat nseamn ,,din A i B rezult C.
n logica tradiional, propoziia elementar const din subiect (despre ce se vorbete n
propoziie) i predicat (ce se afirm despre subiect). Spre exemplu, n propoziia ,,rombul este
paralelogram, ,,rombul subiect, ,,paralelogram predicat, este cuvnt de legtur.
Fie P proprietatea numrului natural a (a aparine mulimii N * ): a este numr prim.

Propoziia ,,numrul a este numr prim se va scrie P (a ) . n aceast scriere simbolul a

nseamn subiectul, iar simbolul P nseamn predicatul propoziiei. n dependen de a aceast

propoziie va fi adevrat sau neadevrat: P (2) P (3) P (5) 1 , P (1) P (4) P (6) 0 .

Predicatul P reprezint o aplicaie a mulimii N * asupra mulimii {0,1}.

Fie M o mulime arbitrar de obiecte. Literele a, b, c, ... nseamn elemente

obiectuale iar literele x, y, z , ... vor nsemna variabile obiectuale (elemente arbitrare ale

mulimii M ). Dac F ( ), G (, ) snt proprieti ale elementelor mulimii M , atunci

F ( x), G ( x, y ) snt predicate. Generaliznd cele observate aici, vom spune c exist predicat

n - ar, care poate fi simbolic prezentat R ( x1 , x2 , ..., xn ) (ceea ca nseamn c x1 , x2 , ..., xn

aparin mulimii M i se afl n relaia R ).
Definiie: Predicatul P x1 , x 2 , ..., x n dat pe mulimile M 1 , M 2 , ..., M n se numete:
a) identic adevrat, dac la orice nlocuire a variabilelor x1 , x 2 , ..., x n cu valori concrete
a1 , a 2 , ..., a n din mulimile respective M 1 , M 2 , ..., M n se transform ntr-o propoziie logic

adevrat.
b) identic fals, dac la orice nlocuire a variabilelor x1 , x 2 , ..., x n cu valori concrete a1 , a 2 , ..., a n
din mulimile respective M 1 , M 2 , ..., M n se transform ntr-o propoziie logic fals.
c) realizabil, irealizabil dac exist mcar un set de valori a1 , a 2 , ..., a n din mulimile

M 1 , M 2 , ..., M n corespunztor, la nlocuirea crora P x1 , x 2 , ..., x n se transform n propoziie

adevrat P a1 , a 2 , ..., a n .
Exemplu: Predicatul ,,x este un numr par ( x N ) este un predicat realizabil, deoarece pentru unele
valori x 2, 4, 6, 8, 10, ... el se transform n propoziie logic adevrat, iar pentru altele
x 3, 31, 17, ... n propoziie logic fals.
 Un alt exemplu, predicatul ,, sin 2 x cos 2 x 1 definit pe mulimea numerelor reale este identic
adevrat.
i urmtorul exemplu de predicat binar ,, x 2 y 2 <0, definit pe mulimea numerelor reale, este identic
fals, deoarece orice pereche de numere reale transform acest predicat ntr-o propoziie logic fals.
S subliniem cteva reguli simple ntre predicatele de diferit tip:
1. Orice predicat identic adevrat este realizabil, nu i invers.
2. Orice predicat care nu este identic adevrat va fi realizabil, dar la general vorbind, nu va fi
identic fals.
3. Orice predicat care nu este identic fals va fi realizabil, dar n general vorbind nu va fi identic
adevrat.
Mulimea de adevr a predicatului P x1 , x 2 , ..., x n , definit pe mulimea M 1 , M 2 , ..., M n

se numete reuniunea tuturor cortegiilor ordonate ( a1 , a 2 , ..., a n ) n care

a1 M 1 , a 2 M 2 , ..., a n M n , aa, nct predicatul dat se transform n propoziie logic adevrat

P a1 , a 2 , ..., a n la nlocuirea x1 a1 , x 2 a 2 , ..., x n a n . Aceast mulime o vom nota-o cu P .

n aa mod: P a1 , a 2 , ..., a n : P a1 , a2 , ..., an 1 .

Mulimea P de adevr a predicatului n-ar reprezin o relaie n-ar ntre elementele mulimilor
M 1 , M 2 , ..., M n .

Dac predicatul P x este de o singur variabil definit pe mulimea M , atunci mulimea lui de
adevr este submulimea mulimii M : P M .
De exemplu, mulimea de adevr a predicatului binar ,, Punctul x aparine dreptei y dat pe
mulimea E a tuturor punctelor planului i pe mulimea F a tuturor dreptelor acestui plan este o
relaie binar de apartenen ntre puncte i dreptele planului.

Alt exemplu: mulimea de adevr a predicatului binar S x, y : , , x 2 y 2 9 " definit pe

mulimea R 2 , este mulimea tuturor perechilor de numere reale care sunt coordonatele punctelor
planului, ce formeaz cercul cu centrul n originea de coordonatelor i raza 3.

i n cazul n care A x : , , a >2 " este un predicat de o singur variabil pe R , atunci

A ; 2 2; .

n aa mod, cu ajutorul mulimii de adevr putem defini clasificarea predicatelor astfel.

Predicatul n-ar P x1 , x 2 , ..., x n definit pe mulimile M 1 , M 2 , ..., M n va fi:

a) identic adevrat atunci i numai atunci cnd P M 1 M 2 ... M n ;

b) identic fals atunci i numai atunci cnd P ;
 c) realizabil atunci i numai atunci cnd P ;

d) irealizabil atunci i numai atunci cnd P M 1 M 2 ... M n .

Exemple:
1. Predicat binar: G ( x, y ) , unde predicatul G nseamn ,, x y i este definit pe

mulimea M {5,7,9,10} .

Vom calcula valorile predicatului G ( x, y ) pentru diverse valori ale subiectului

(argumentului):
x 5 7 9 10
y
5 0 1 1 1 2 x1 5 x2 7 x3 8 x4 3x5 0
2. Predicat 5 ar: ecuaia
7 0 0 1 1
9 0 0 0 1
, unde x1 , x2 , x3 , x4 , x5 - numere reale. Acest predicat 5 ar
10 0 0 0 0
obine valoarea adevr asupra mulimii R .Vom indica trei din aceste valori:

x1 x2 x3 x4 x5 0 ; x1 1 , x2 0 , x3 1 , x4 2 , x5 7 ;

2
x1 x2 x3 0 , x4 1, x5 2 .
3
Exerciii:
1. Care din urmtoarele enunuri sunt predicate:
a) ,, 5 este divizor al numrului x ( x N ) ;
b) rul x se vars n marea Neagr (x parcurge mulimea tuturor denumirilor de ruri);
c) x 2 2 x 4 ( x R ) ;
d) ( x y ) 2 x 2 2 xy y 2 ( x, y R ) ;
e) ,, x este fratele lui y (x,y iau valori din mulimea numelor oamenilor);
f) ,, x i y sunt situate de pri diferite ale lui z (x, y parcurg mulimea tuturor punctelor planului, iar
z- mulimea tuturor dreptelor acestui plan);
g) ,, ctg 450 1
h) ,, x 2 x 6 0 ( x R ) ;
g) ,, Pentru orice numr real x are loc identitatea x 2 x 6 0
2. Pentru fiecare din urmtoarele propoziii logice construii predicatul (unar sau n-ar), care la
nlocurea variabilelor cu valori concrete din mulimile corespunztoare s-ar transforma n
propoziiile logice date:
a) ,,3+4=7;
b) ,,Ana i Maria sunt surori;
c) ,,Astzi este luni;
d) ,, sin 300 0,5
e) ,,Grigore Vieru a fost un mare poet romn;
f) ,, 32 4 2 52 ;
g) ,,Dac numrul natural n se mparte la 3, atunci el se mparte i la 9;

h) ,, tg 1 .
4
3. Reprezentai pe dreapta numeric mulimea de adevr a urmtoarelor predicate:
a) x 3 ; b) x 4 ; c) x 2 ; d) x 2 0 ; e) x 2; f) x 1 2x 4 ; g) x 4 1; h)
3x 1 2 x 4 3 ; i) 3x 1 2 x 4 3 ; j) x3 2.

4. Reprezentai pe planul de coordonate mulimea de adevr a urmtoarelor predicate, definite

pe mulimea numerelor reale:
a) x y ; b) x y ; c) x 2 y 2 9 ; d) x 2 y 2 4 x 6 y 14 0 ; e) x 2 y ; f) y 1 / x ; g) x 3 y 6 ;
h) ( x 2 y 2 ) /( x y ) x y ; h) xy 0 ; i) y lg( x 1) ; j) x 2 y 2 .
5. Reprezentai pe planul de coordonate sau pe axa numeric mulimea de adevr a
urmtoarelor predicate:
a) ( x 2) ( x 2) ; b) ( x 2) ( x 2) ; c) ( x 2) ( x 2) ; d) ( x 0) ( y 0) ; e) ( x 0) ( y 0) ;
f) ( x 0) ( y 0) ; g) ( x 3) ( x 2) ; h) (sin x 0) ( x 2 5) (lg x 1) ; i)
( x 2 y 2 1) ( xy 0) ; h) ( x 2) ( x 2) ; i) ( x 0) ( y 0) .

3. Predicatul D ( x, y ) - ,,x este divizor a lui y este definit pe mulimea A 2 , unde

A {1,2,3,4,5,6} . Construii tabela de adevr a acestui predicat. ( A 2 mulimea perechilor

posibile ale mulimii A).

4. Pe mulimea {0,1}3 este definit predicatul K ( x, y, z ) - x y z . Construii tabela de

adevr a acestui predicat.

3.2 Cuantificatorul existenial i cuantificatorul universal

 Pentru a transforma n propoziie logic predicatul P ( x) , x M , ( M este domeniul de

definiie a predicatului P (x) ), este suficient s nlocuim x prin a M .

Exist i alt cale de a obine o propoziie din predicatul dat. Aceasta const n plasarea
naintea predicatului a uneia din condiiile: exist ... sau oricare ....
Cuantorul universal. Este cunoscut, c pentru transformarea predicatului unar n propoziie
logic trebuie s nlocuim n locul variabilei careva valoare concret din domeniu de definiie a
predicatului. Mai exist o careva metod de a transforma i anume de a aplica la predicat operaia de
cuantificare cu cuantorul universal sau existenial. Fiecare din aceste operaii i pune n coresponden
predicatului unar careva propoziie adevrat sau fals n dependen de predicatul iniial.
Definiie: Operaia de legtur a cuantorului universal se numete regula, dup care fiecrui
predicat unar P x , definit pe mulimea M , i se pune n coresponden propoziia logic, notat
x P x , (se citete ,, pentru orice valoare a lui x are loc P x ), care este adevrat atunci i
numai atunci cnd predicatul P x este identic adevrat, i fals n caz contar.
Propoziia x P x se numete propoziie universal pentru predicatul P x . Simbolul
se numete cuantorul universal.

S cercetm, de exemplu, dou predicate unare pe mulimea N , ,1 x" i , , 30 x" .

Primul predicat este identic adevrat, de aceea aplicarea operaiei de cuantificare ne d o propoziie
logic adevrat: x 1 x . Al doilea predicat este irealizabil, deoarece operaia legat de cuantorul
universal, aplicat la el, ne d o propoziie logic fals: x 30x .
n expresia x P x variabila x nceteaz s mai fie variabil n sens obinuit, deoarece
n locul ei pot fi plasate valori concrete.
Dac predicatul unar P x este dat pe o mulime finit M a1 , a 2 , ..., a m , atunci nu e greu

de neles c propoziia logic x P x este echivalent cu conjuncia

P A1 P A2 ... P a n .

Prin urmare, pentru predicatele date pe o mulime finit, operaia de legtur cu cuantorul
universal poate fi exprimat prin conjuncie. Pentru predicatele date pe o mulime infinit, nu se poate
de fcut aceasta, i n acest caz operaia de legtur cu cuantorul universal este nou.
Poate fi subliniat nc o particularitate a cuantorului universal n raport cu celelalte operaii
asupra predicatelor. Acele operaii i pun n coresponden unui sau mai multe predicate, un nou
predicat, iar operaia de legtur cu cuantorul universal i pune n coresponden o propoziie logic. n
primul rnd, fiecare propoziie logic pentru o generalizare poate fi considerat un predicat, ce nu
conine variabila, adic predicat nular. n al doilea rnd, noi am aplicat cuantorul universal doar la
predicate unare. Trecem la cercetarea ntrebrii despre aplicarea operaiei cuantorului universal la
predicate cu orice numr de variabile; aa operaie nceteaz s fie operaie n sensul plin al cuvntului:
predicatelor le va pune n coresponden predicate.
Definiie. Operaia de legtur cu cuantorul universal dup variabila x1 se numete regula,

dup care fiecrui predicat n-ar n 2 predicatul P x1 , x 2 , ..., x n definit pe mulimea

M 1 , M 2 , ..., M n i pune n coresponden un nou n 1 - predicat, notat x1 P x1 , x 2 , ..., x n ,

care pentru orice valori a variabilelor a 2 M 2 , ..., a n M n se transform n propoziie logic

x1 P x1 , a2 , ..., a n , adevrat atunci i numai atunci cnd predicatul unar P x1 , a1 , ..., a n

definit pe mulimea M 1 , este identic adevrat i fals n caz contrar.

De exemplu, cercetm predicatul binar , , y x" definit pe mulimea N 2 . Aplicm la el

cuantorul universal dup variabila x . Vom primi predicatul unar x y x ce depinde de variabila
y . Acest predicat poate fi transformat n propoziie logic adevrat ( pentru y 1 ), i n propoziie
logic fals ( la plasarea n locul lui y a oricrui numr natural, n afar de 1).
S observm, c la (n-1) predicat x1 P x1 , x 2 , ..., x n ce depinde de variabilele

x 2 , ..., x n poate fi aplicat cuantorul universal pentru una din variabilele libere. n rezultat vom obine

un predicat de (n- 2) variabile .a .m.d.

Cuantorul existenei
Definiie. Operaia de legtur cu cuantorul existenial se numete regula, dup care fiecrui
predicat unar P x , definit pe mulimea M , i se pune n coresponden propoziia logic, notat
x P x ( se citete exist x nct P x ), care este fals atunci i numai atunci cnd P x este
identic fals, i adevrat n caz contrar.

De exemplu, studiem dou predicate unare, definite pe mulimea N :, , x x 1" i ,, 30 x .

Primul este identic fals, de aceea aplicarea cuantorului existenial ne d o propoziie logic fals
x x x 1 . Cel de-al doilea predicat este realizabil, de aceea operaia de legtur a cuantorului
existenial, ne d o propoziie logic adevrat: x x 30 .
Dac predicatul unar P x este dat pe mulimea finit M a1 , a 2 , ..., a m , atunci propoziia

x P x este echivalent cu disjuncia P a1 P a 2 ... P a n . ntr-adevr, dup definiie

faptul c propoziia logic x P x nseamn c predicatul P x este identic fals, adic fiecare
din propoziiile a1 , P a 2 , ..., P a n n care predicatul dat se poate transforma, este fals. Ultima

afirmaie este echivalent cu disjuncia P a1 P a 2 ... P a n .

Prin urmare, pentru predicatele, date pe o mulime finit, operaia de legtur cu cuantorul
existenial poate fi exprimat prin disjuncie. Pentru predicatele, date pe o mulime infinit, aa ceva nu
poate fi fcut i n acest caz operaia de legtur cu cuantorul universal este relativ nou.
Definiie. Operaia de legtur cu cuantorul exist dup variabila x1 se numete regula, dup care

fiecrui predicat n-ar n 2 P x1 , x 2 , ..., x n definit pe mulimile M 1 , M 2 , ..., M n i pune n

coresponden un nou n 1 - predicat, notat x1 P x1 , x 2 , ..., x n , care pentru orice valori a

variabilelor a1 M 1 , a 2 M 2 , .., a n M n se transform n propoziia logic

x1 P a1 , a 2 , ..., a n , adevrat atunci i numai atunci cnd predicatul unar P a1 , a 2 , ..., a n

definit pe mulimea M 1 , este identic adevrat i fals n caz contrar.
De exemplu, s cercetm predicatul binar ,, y x definit pe R 2 . S aplicm la el cuantorul
existenial dup variabila x . Primim predicatul unar x y x , ce depinde de variabila y . Acest
predicat tot timpul se transform n propoziie logic adevrat, dac n loc de y plasm numere
concrete, adic el este un predicat identic adevrat.
n alt exemplu predicatul binar ,, x 2 y 2 < 0 definit pe R 2 este identic fals. De aceea,
aplicarea cuantorului existenial dup orice variabil, de exemplu dup x , ne d un predicat care va fi
identic fals: x x 2 y 2 0 .

Se observ c dac la predicatul ce depinde de n 1 - variabile x1 P x1 , x2 , ..., xn ,

poate fi din nou aplicat una din operaiile de cuantificare, cuantorul universal sau existenial dup una
din variabilele libere. n rezultat vom obine un predicat ce depinde de n 2 - variabile, de exemplu

x2 x1 P x1 , ..., xn i x 2 x1 P x1 , x 2 , ..., x n .
Aplicnd la predicatul identic adevrat x y x , definit pe mulimea N , cuantorul
universal, vom primi propoziie logic adevrat: y x y x , adic, exist dou numere
naturale, dintre care unul este mai mare dect cellalt.
n sfrit, aplicnd cuantorul existenial la predicatul unar identic fals x x 2 y 2 0 , vom

obine propoziia fals x y x 2

y2 0 .
Cuantorii numerici. n matematic des se ntlnesc expresiile de forma ,,cea mai mic msur n (mcar
n), ,,nu mai mult dect n, ,, n i numai n, (egal cu n, exact n), unde n- este un numr natural. Aceste
expresii se numesc cuantori numerici. Ei au un sens logic, deoarece ei pot fi exprimai n limbajul
cuantorilor, fr operaii logice asupra predicatelor i semnul =. S cercetm cazurile:
1. n=1. Propoziia ,,Cel puin unul din obiecte posed proprietatea P, are acelai sens, ca i
propoziia ,,exist un obiect, ce posed proprietatea P, adic x P x (1)
n continuare ,,Nu mai mult dect un obiect posed proprietatea P , este egal dup sens cu
propoziia ,, Dac exist obiecte ce posed proprietatea P , atunci ele coincid,
x y P x P y x y (2)
n sfrit, propoziia ,,Unul i numai un obiect posed proprietatea P poate fi exprimat astfel

x P x x y P x P y x y (3) (aceast propoziie uneori este notat astfel

! x P x (4)
Simbolul ! x se numete cuantorul de existen i unicitate a necunoscutei x.
2. n 2 . Propoziia ,, Cel puin dou obiecte posed proprietatea P , nseamn acelai lucru, ca i
propoziia ,,Exist dou obiecte diferite, ce posed proprietatea P , adic
x y P x P y x y .
n continuare, propoziia ,,Nu mai mult dect dou obiecte posed proprietatea P , coincide
dup sens cu propoziia ,,Oricare n-ar fi obiectele x, y , z , dac ele toate posed proprietatea P ,
atunci cel puin dou din ele coincid, care simbolic se scrie astfel:

x y z P x P y P z x y x z y z .
Ptratul logic
Operaiile de cuantificare asupra predicatelor sunt un pas important, ce difereniaz teoria
predicatelor de algebra propoziiilor. Sistemul relaiilor ntre propoziiile universale i existeniale, ce
apar la definirea operaiilor de ataare a cuantorului existenial i universal, schematic poate fi
reprezentat n form de aa numitul ,,ptrat logic.
x P x
x P x

x P x
x P x
 Propoziiile universale x P x i x P x , ce sunt amplasate n dou vrfuri ale
ptratului, nu pot fi n acelai timp adevrate (dar pot fi n acelai timp false). Se spune c aceste
propoziii sunt contrare. Propoziiile existeniale x P x i x P x , ce stau n cele dou
vrfuri de jos a patratului, din contra nu pot fi n acelai timp false (dei pot fi adevrate simultan).
Se spune c aceste propoziii sunt subcontrare. Propoziiile ce stau n extremitile
diagonalelor ptratului, se contrazic una pe cealalt i una este negaia celeilalte. n sfrit, sub fiecare
propoziie universar, care este situat la vrfurile de sus, st propoziia de la vrful de jos, care rezult
din ea, adic, astfel nct implicaia acestora este o propoziie adevrat.
n continuare, s menionm, c cuantorii au fost introdui pentru prima dat de
matematicianul german G. Frege n lucrarea ,,Begriffsschrift. n 1885 logicul englez Pirs a introdus
termenul de ,,cuantor, ,,cuantificare care provin de la latinul quantum- ct i quantun+ facio a face.
Aceasta nseamn c cuantorul arat despre cte obiecte se vorbete ntr-o propoziie.
Exerciii:
1.Stabilii care din urmtoarele propoziii logice sunt adevrate i care sunt false, considernd c
toate variabilele iau valori din mulimea numerelor reale:
a) (x)(y )( x y 7) ;
b) (x)(y )( x y 7) ;
c) (x )(y )( x y 7) ;
d) (x )(y )( x y 7) ;
e) [(x )(y )( x y 7)] (3 4) ;
f) (x)[( x 2 x) (( x 1) ( x 0))] ;
g) (a ){[(x)(ax 6)] (a 0)} ;
h) (b)(a)(x)( x 2 ax b 0) ;
i) (x){[( x 1) ( x 2)] ( x x)} ;
j) (b)(a )(x)( x 2 ax b 0) ;
k) (a )(b)(x)( x 2 ax b 0) .
2. Din predicatele ce urmeaz cu ajutorul cuantorilor construii toate propoziiile logice posibile
i determinai valoarea lor de adevr ( x R ) :
a) x 2 2 x 1 ( x 1) 2 ;
b) ( x 3)( x 3) x 2 ;
c) e
x
ln x ( x 0) ;

d) ( x 2 1 0) (( x 1) ( x 2)) ;
e) ( x 0) ( x 0) ( x 0) ;
f) x y x y ;
g) sin x sin y ;
h) x 2 y 2 x y ;
i) ( x y ) 2 x 2 2 xy y 2 ;
j) x y 3;

k) x 2 25 ;
l) x 2 y 2 16 .

3.3. Formul n logica predicatelor. Echivalena formulelor

n primul capitol s-a definit noiunea de formul n algebra proporional. Acum, lund n
consideraie noiunea de predicat, cuantificator i alte noiuni ale logicii predicatelor, vom lrgi
noiunea de formul dup cum urmeaz:
a) simbolurile A, B, C , ..., x, y, z , ... ale propoziiilor variabile sunt formule elementare;

b) orice predicat F ( x1 , x2 , x3 , ..., xn ) ce depinde de variabilele obiectuale

x1 , x2 , x3 , ..., xn este formul elementar;

c) orice valoare concret a predicatului F (a1 , a 2 , ..., a n ) , unde a1 , a2 , ..., a n elemente
obiectuale, este formul elementar;
d) orice expresie compus din formule ale logicii predicatelor prin intermediul operaiilor
logice , , , , care i pstreaz definiiile date n logica propoziional, este formul;
e) dac P ( x1 , x2 , ..., xn ) este formul, atunci (xi ) P ( x1 , x2 , ..., xn ) i

(xi ) P( x1 , x2 , ..., xn ) , (i 1,2,..., n) sunt formule;

f) alte formule n logica predicatelor nu exist.
Not. n legtur cu aplicarea cuantificatorilor se va ine n atenie: 1) formula logicii
predicatelor nu va conine una i aceeai variabil obiectual sub aciunea cuantificatorului i
liber; 2) una i aceeai variabil obiectual nu se va afla n acelai timp sub aciunea
cuantificatorului universal i cuantificatorului existenial.
Nerespectarea acestor condiii poart numirea de colizie a variabilei. Spre exemplu: 1)
(x) P ( x) Q( x) ; 2) (x)( P ( x) (x)Q( x)) .
Exemple.
a) Expresia (x)(y ) P ( x, y ) (z ) S ( z ) A este formul. n adevr, A formul
(punctul a) al definiiei); P ( x, y ) i S (z ) snt formule (punctul b) al definiiei);
(y ) P( x, y ) i (z ) S ( z ) snt formule (punctul e) al definiiei); (x)(y ) P( x, y ) este

formul (punctul e) al definiiei); (x)(y ) P ( x, y ) (z ) S ( z ) A este formul (punctul d) al

definiiei).
b) (x )(y )( F1 ( x )) F2 ( y ) (z ) F3 ( z )) este formul. n adevr, F1 ( x) i F2 ( y )

sunt formule, deci F1 ( x ) F2 ( y ) este formul; F3 ( z ) formul, deci (z ) F3 ( z )

formul; ( F1 ( x )) F2 ( y ) (z ) F3 ( z )) formul;

(y )( F1 ( x)) F2 ( y ) (z ) F3 ( z )) formul;

(x)(y )( F1 ( x)) F2 ( y ) (z ) F3 ( z )) formul.

Formulele F1 i F2 ale logicii predicatelor sunt echivalente, dac ele primesc aceleai valori
de adevr 1 sau 0 ca rezultat al oricrei nlocuiri a predicatelor, propoziiilor, variabilelor
obiectuale corespunztor prin valori de adevr ale predicatelor, ale propoziiilor, ale variabilelor
obiectuale prin constante obiectuale.
n continuare vom sublinia: toate relaiile de echivalen, care au loc n algebra
propoziional, au loc i n logica predicatelor.
Spre exemplu:
1) F1 ( x ) F2 ( x) F1 ( x) F2 ( x ) ;

2) F1 ( x) F2 ( x) F1 ( x) F2 ( x) ;

3) F1 ( x) F2 ( x) F1 ( x) F2 ( x) ;

4) F1 ( x ) F2 ( x) F1 ( x) F2 ( x ) F1 ( x ) F2 ( x) .

Exerciii:
1. Care din expresiile ce urmeaz sunt formule ale logicii predicatelor?
a) (x) F ( x, y ) (z )Q( y, z ) R (t , y ) ; b) (x ) P ( x, y ) (y ) D ( x, y ) ;

c) (x)(y ) S ( x, y, z ) (x)(y ) P ( x, y ) ; c) (x)( B ( x)) (x)( B ( X )) ; d)

(x)( P ( x )) P ( y )

e) (x)((Q ( x ) R ( X )) ; f) (x )( P( x ) Q ( x ) R( X )) ; g)
(y )[ P ( y ) (x)(Q( x, y ) R ( x))] .
2. Care din urmtoarele enunuri sunt propoziii logice, care sunt predicate? S se scrie
aceste enunuri printr-o formul, utiliznd cuantificatori i predicatele; indicai variabilele
libere:
a) exist numrul x , care se divide cu y ;
b) dac x y , atunci exist z , astfel nct x z y ;

c) pentru orice x i y , dac x 0 i y 0 , atunci x 2 y 2 0 ;

d) pentru orice numr x , exist numrul y , nct x 1 y ;

e) exist dreapta x , care este perpendicular ctre dreapta y ;
f) pentru orice dreapt a , dac punctul A aparine dreptei a i punctul B aparine dreptei a
, atunci punctul C aparine dreptei a .

3.4. Echivalena predicatelor

Dac sunt date predicatele P ( x, y , z , ... ) i Q ( x, y, z , ... ) care conin aceleai variabile, cu
ajutorul conectorilor logici putem forma noi predicate:
P ( x, y, z , ...) , P ( x, y, z , ...) Q( x, y, z , ...) , P ( x, y, z , ...) Q( x, y, z , ...) ,
P ( x, y, z ,...) Q( x, y , z ,...) , P ( x, y , z ,...) Q ( x, y , z ,...) , . a.

Observaie. Ecuaiile inecuaiile snt predicate. Sistemele, totalitile de ecuaii sau

inecuaii reprezint sisteme, totaliti de predicate, sau conjuncii, disjuncii de predicate. Procesul
de rezolvare a unei ecuaii, a unei inecuaii, a unui sistem, a unei totaliti de ecuaii, de
inecuaii nseamn un lan de transformri logice asupra predicatelor respective.
Dou predicate P ( x, y , z , ... ) , Q ( x, y, z , ... ) se numesc echivalente i se scrie

P ( x, y, z ,...) Q ( x, y , z ,...) dac pentru orice valori xo , yo , z o , ... ale variabilelor

propoziiile P ( x0 , y 0 , z 0 , ...) , Q ( x0 , y0 , z 0 , ... ) au aceeai valoare de adevr. Dac oricum am

alege valorile variabilelor xo , y o , z o , ... pentru care propoziia P ( x0 , y 0 , z 0 , ...) este adevrat

rezult c i propoziia Q ( x0 , y0 , z 0 , ... ) este adevrat , vom scrie

P ( x, y, z , ...) Q( x, y, z , ...) . n acest caz vom spune c predicatul Q( x, y, z , ... ) este o

consecin logic a predicatului P ( x, y , z , ... ) .

Exemplu. a) Fie P (x) : x 6 i Q (x ) : x 5 , unde x desemneaz un numr real.

Se observ c P ( x) Q( x ) .
b) Fie P ( x, y ) : x y i Q( x, y ) : x y , unde x, y desemneaz numere reale. Se
observ c P ( x, y ) Q ( x, y )
c) Fie P (x) un predicat unar unde x desemneaz un element al mulimii M . Atunci:

1) ((x) P ( x )) (x )P( x ) ;
2) ((x ) P ( x )) (x)P ( x ) (aici semnul desemneaz faptul c cele dou
propoziii au aceeai valoare de adevr).
Vom demonstra, de exemplu, adevrul relaiei a doua: ((x ) P ( x )) se citete: nu orice
x are proprietatea P . Aceasta nseamn c exist x cu proprietatea P .
Ultima afirmaie se scrie: (x )P( x ) .
Fie A(x ) i B (x ) dou predicate unare, iar C o variabil propoziional (sau o formul ce
nu conine variabila x). Atunci au loc echivalenele:
1. xA( x ) x A( x ).

2. xA( x ) x A( x ).

3. xA( x) x A( x).

4. xA( x ) x A( x).
5. xA( x) xB( x) x[ A( x ) B ( x)] .
6. C xB( x) x[C B ( x )] .
7. C xB( x) x[C B ( x)]
8. C xB( x ) x[C B ( x )]
9. x[ B( x ) C ] xB( x) C.
10. x[ A( x ) B ( x)] xA( x) xB ( x).
11. x[C B ( x)] C xB( x ).
12. x[C B ( x )] C xB ( x ).
13. xA( x ) yB ( y ) xy[ A( x ) B ( y )].
14. x[C B ( x)] C xB( x).
15. x[ B ( x) C ] xB( x) C.

Prima echivalen arat simplu fapt, c dac predicatul A(x) nu este adevrat pentru toate valorile
lui x, atunci exist aa valori ale lui x pentru care va fi adevrat A( x ) .

A doua echivalen ne confirm, c dac nu exist valori ale lui x pentru care este adevrat
predicatul A( x ) , atunci pentru toate valorile lui x, va fi adevrat A( x ) .

Echivalenele 3 i 4 uor pot i obinute din primele dou, dac negm ambele pri ale lor i
folosim legea dublei negaii.
Exemplu. S demonstrm echivalena 5, adic xA( x) xB ( x) x[ A( x ) B ( x)] . Dac
predicatele A(x ) i B ( x ) sunt ambele identic adevrate, atunci va fi adevrat i predicatul
A( x) B ( x) ,dar n acest caz vor fi identic adevrate i propoziiile logice:

xA( x ), xB( x ), x[ A( x ) B ( x )] . n acest caz ambele pri ale identitii primesc valoarea de

adevr adevrul.
Fie acum cazul cnd mcar unul din predicatele A(x ) i B (x ) nu este identic adevrat,
atunci nici predicatul A( x) B ( x) nu va fi identic adevrat, prin urmare false vor fi i propoziiile:
xA( x ), xA( x ) xB ( x ), x[ A( x ) B ( x )] . n acest caz ambele pri ale echivalenei 5

primesc aceeai valoare de adevr (falsul).

Cele mai utizate transformri de echivalen ale logicii predicatelor sunt date n urmtoarea
tabel:
Legile operaiilor logice
(formule universale ale logicii predicatelor)

1. xP ( x ) x P ( x ) . 15. P ( y ) xP( x) x[ P ( y ) P( x)] .

2. xP ( x ) x P ( x ) . C xP( x) x[C P ( x)] .
3. xP ( x ) x P ( x ) .
C xP( x) x[C P ( x )] .
16.
4. xP ( x ) x P ( x) .
C xP( x ) x[C P ( x)] .
17.
5. C xP( x) x[C P ( x)] .
x[ P ( x ) Q( x )] xP( x ) xQ ( x) .
18.
19. x[C P ( x)] C xP( x) .
6. x[ P( x) Q ( x)] xP ( x) xQ ( x) . x[C P ( x )] C xP ( x ) .
20.
7. xyP( x, y ) yxP( x, y ) .
21.
8. xyP( x, y ) yxP ( x, y ) . xP ( x) yQ( y ) xy[ P ( x) Q( y )]
9. xyP( x, y ) yxP( x, y ) .
.
10.
22. x[ P( x) C ] xP ( x) C .
xP( x) xQ( x) x[ P ( x) Q( x)] .
23.
11. x[ P ( x) Q( x )] xP ( x ) xQ ( x ) xP ( x) xQ( x ) xP ( x) yQ( y )
. x[ P ( x ) yQ ( y )] xy[ P ( x) Q( y )].
12.
x[ P( x) Q( x)] [xP( x) xQ( x) 24.
xP ( x ) xQ( x ) xP ( x ) yQ( y )
13. xP ( x ) xP ( x ) .
x[ P ( x ) yQ ( y )] xy[ P ( x ) Q ( y )].
14. x[ P ( x) P ( y )] xP ( x ) P ( y ) .
x[ P ( x) C ] xP ( x ) C .

Sunt importante urmtoarele echivalene ale formulelor n logica predicatelor, care

reprezint generalizare a unor echivalene ale logicii propoziionale: dac mulimea de definiie

a predicatului P ( x ) este o mulime finit A a1 , a2 ,..., an , atunci din definiia cuantificatorului

 in
universal urmeaz (x ) P ( x) p (ai ) , iar din definiia cuantificatorului existenial urmeaz
i 1

i n
(x) P ( x) p (ai ) .
i 1

Asemntor cu algebra propoziional, orice formul a logicii predicatelor poate

transformat n formul echivalent cu ea.
Pentru orice formul a logicii predicatelor exist o formul echivalent, care conine cel
mult operaiile logice ,, , iar operaia se refer doar la propoziii elementare sau
predicate. Astfel de formul a logicii predicatelor se numete form redus a formulei date.
Exemple. S se determine o form redus a formulei date:
a) (x )[ S ( x ) (y ) D ( y )] .

Rezolvare: (x)[ S ( x) (y ) D( y ) (x)[ S ( x) (y ) D( y )]

(x) S ( x) (y ) D ( y ) (x )[S ( x ) (y ) D ( y )]

b) (x)(y )[ A( x, y ) B ( x, y )] .

Rezolvare: (x)(y )[ A( x, y ) B ( x, y )]

(x)(y )[ A ( x, y ) B ( x, y ) A( x, y ) B ( x, y )]
(x)(y )[ A ( x, y ) B ( x, y ) A( x, y ) B ( x, y )]
(x)(y )[( A( x, y ) B ( x, y )) ( A( x, y ) B ( x, y ))]
(x)(y )[ A( x, y ) A( x, y ) A( x, y ) B ( x, y ) B ( x, y ) A( x, y ) B( x, y ) B( x, y )]
(x)(y )[ A( x, y ) B ( x, y ) B( x, y ) A( x, y )] (x)(y )[ B ( x, y ) ( A( x, y ) A( x, y ))]
(x)(y ) B( x, y ).

Exerciii. Determinai o form redus a formulei date.

a)
(x)(y){A x,( y) (z)[B x z),( C y,( z)]} ;

b) (x ) A( x ) (x )[ B ( x ) P ( x )] ;
c) (x)(y )[ A( x) B ( y ) (z ) B( z )] .

1.14. Echivalen logic. Implicaie logic

n subpunctul precedent s-a examinat noiunea echivalena a dou formule. Noiunea

echivalena formulelor se refer nemijlocit i la predicate: Dac P ( x, y, z ,...) i Q ( x, y, z ,...)

sunt predicate, atunci ele sunt echivalente i scriem P ( x, y , z ,...) Q( x, y , z ,...) dac i
numai dac este adevrat propoziia: (x)(y )(z )...(( P ( x, y, z ,...) Q( x, y, z ,...)) .
Este evident c dou predicate echivalente exprim ambele simultan adevr sau fals. n acest

caz vom spune, c predicatele P ( x, y , z ,...) i Q ( x, y, z ,...) reprezint echivalen logic.

Exemple:
2
a) x 5 x 25 0 ;

b) x 0 cos x 3 ;

c) x y x y .

Exerciii: Care din urmtoarele predicate reprezint echivalen logic?

x2 xy 0, x 0 sau y 0 ;
31) x x, x; 32)
x
33) x 2, x 2 ; 34) x 0, x 2 y 2 0 ;

x2 2
x y, lg x lg y x 2 , sin x 1
35) ; 36) x 2 ;

37) x 0, cos x 2 .
Dac i numai dac este adevrat propoziia

(
x
)
(
y
)
(
z)
.
.
.
(P
(
x,
y
,z
,
.
.
.
)Q(
x
,
y,
z
,
..
.
)
), atunci Q ( x, y, z ,...) este consecin logic a

predicatului P ( x, y , z ,...) . n acest caz vom scrie: P ( x, y, z ,...) Q( x, y, z ,...) . S nu

cufundm implicaia cu consecina logic: implicaia permite n baza a dou propoziii A i B
s construim o a treia propoziie A B , iar consecina logic este relaie dintre dou
predicate.
Exemple:

a) ( x 2 3x 2 0) x 5 ; b) (( x 2)( x 5) 0) ( x 1 0) ;
c) ( x 2 5 x 0) ( x 8 8 x) ; d) ( x 5 32) ( x 4 16) .
Exerciii: Care din perechea indicat de predicate este consecin logic din cealalt?

38) x 3, ( x 1)( x 2)( x 3) 0 ; 39) x 5, x 2 2 ;

40) x y, lg x lg y ; 41) x 6, x 2 2 x 15 0 .
Dac P ( x, y, z ,...) Q( x, y, z ,...) , atunci Q ( x, y, z ,...) este o condiie necesar pentru

P ( x, y, z ,...) , iar P ( x, y, z ,...) este o condiie suficient pentru Q( x, y, z ,...) .

Dac P ( x, y, z ,...) i Q ( x, y, z ,...) sunt echivalente, atunci P ( x, y, z ,...) este condiie

necesar i suficient pentru Q ( x, y, z ,...) i reciproc.

7. .

, , ,
.. .
, ,
.
: .
.
, ,
, ,
.
1.
18 17 1, 31
(xP( x ) yQ( y )) R ( z ) xP( x) yQ ( y ) R ( z ) xP ( x) yQ( y ) R ( z )
1, 31 .
xP ( x) y Q( y ) R ( z )

.

(, ) ().
, , ..

( x1 )( x 2 )...( xn ) A( x1 , x 2 ,..., x m ), n m ,
 xi x i x i ,
.

() . :
1. 18, 19 ( ), ~
, .
2. 31, 32,
1, 16, 17, ,
(, ,
).
3. , xP( x) xQ( x ), xP( x ) xQ( x ) ,
, 46, 47, 49, 50
53, 54.
4. 35 38, 46, 47, 49, 50, 53, 54 .
2.

36
xyP ( x, y ) xyQ ( x, y ) xyP ( x, y ) xy Q ( x, y ) x[yP ( x, y ) y Q ( x, y )]

Q y z
53
x[yP( x, y ) z Q ( x, z )] xyz ( P ( x, y ) Q ( x, z ))

3.
16 31, 32
(xyP( x, y ) xyQ( x, y )) xyP( x, y ) xy Q ( x, y ) xy P ( x, y ) xy Q ( x, y )

Q x z
53 36
xy P ( x, y ) zy Q ( z , y )] xz (y P ( x, y ) yQ ( z , y )) xzy ( P ( x, y ) Q ( z , y ))

.
4.
18 32
xy (z ( P ( x, z ) Q ( y , z )) uR ( x, y , u )) xy (z ( P ( x, z ) Q( y , z )) uR ( x, y, u )
16
xy (z ( P ( x, z ) Q( y , z ) uR ( x, y, u ) xy (z ( P ( x, z ) Q( y, z )) uR ( x, y , u )

z
47
xyz ( P ( x, z ) Q( y , z ) uR( x, y , u ))
49
u xyzu ( P ( x, z ) Q ( y , z ) R ( x, y , u )) - .

5.
 18 1
(uP (u ) yu Q( y , u )) xR( x) (uP(u ) yuQ( y , u )) xR( x)
1 18 16
uP(u ) yuQ( y , u ) xR( x) uP(u ) yuQ( y , u ) xR( x)
16 1 32
uP(u ) yuQ( y , u ) xR( x ) uP(u ) yuQ( y, u ) xR( x)
32 35 46
u P (u ) yuQ( y , u ) xR( x) u ( P (u ) yQ( y , u )) xR( x )
46 47 37
uy ( P (u ) Q( y , u )) xR( x) uyx ( P(u ) Q( y , u ) R ( x ))
37
xyu ( P(u ) Q( y , u ) R ( x )) .

8. . .

1.
,
( ),
.
2.
, ,
.
3.
- (),
,
.
4.
,
( ).
,

, .. .

. , (1
-30) ,
, .
, ,
(31 -54).
, , F F.
. , (14)
 x x (1,,n),
(1,,n) P (1,,n). n=1 P ( x) P ( x) , ,
, x[ P ( x) P ( x )] - .
(2) x y y x
(, y), y- Q(x,y)
P ( x, y ) Q( x, y ) Q( x, y ) P ( x, y ) . .

5.
,
,
( , ).
6.
(),
( ).
, x[ P ( x ) P ( x )] ()
.
:
1. , ().
2. ,
.
3. ,
.
4. , (
).
5. , ,
, .
6. , ,
, A .
. ,
, ,
(, , ).

1.
( ):
(xy P ( x, y ) uvP (v, u )) (vuP (v, u ) yxP ( x, y )) xyP ( y , x ) uvP (u , v )

, ,
, , :
= xyP ( x, y ) vuP(v, u ) uvP(u , v ) ,
= uvP (v, u ) yxP ( x, y ) xyP ( y , x ),
n1 n2, :
= n1 n 2 P (n1 , n 2 ), = n 2 n1 P ( n 2 , n1 ).
:
( A B ) ( A B) B A .

, :
6 15, 9 10
( A B ) AB AAB BAB B BA BA

, ,
.
2.
xyP ( x, y ) F .
(,y): x<y , M=NN=N2. , ,
F , , .
() M N 2 , F , .
. .
, F ( ).
3.
xy[ P ( x ) P ( y )] F . .

() : - , =N2.
,
: , . ,
, , F
.
, M=NN, N ,
F .
, , F (
).
4.
P ( x, y , z ) P ( x, y, u ) Q( z , u ).
(x,y,z): xy=z, P(x,y,u): xy=u, Q(z,u): z=u , ,
, .
,
, , , .
, (. ., M=N
) , .
5.
yP ( x, y , z ) ,
(, , ).
(x, x, y): xx=y, x2=y ,
, .. =N.
, , , , ..
, .
6.
xP ( x, x, y ) .
5, ,
: ,
: y . ,
y 0, 1, 4, 9, 16, 2, 3, 5, 6, 7, 8,
10, .., , , : xP ( x, x,4)
, xP ( x, x,5) . , (
).
7.
xP( x, y, x ) . . , (, y, x):
x+y=x , M=N y
, . , y=0,
=.
P(x, y, x): xy=x , y y=1,
x( x 1 x) .
, ,
( ).
8.
: xP( x, y ) xP ( x, y ) ?
P(x, y) ( ) x y ,
M1.
y y a max M 1 ,
1 . ,
.
 9.
xP ( x) x P ( x) ?
:
x M () , , () , .. P ( x ) .

, .
10.
: x(( P ( x) Q( x)) P ( x)) . ( :
?).
.
, .. ( P ( x) Q( x)) P ( x) .
x 0 M ,
, .. P( x 0 ) Q( x 0 ) P( x 0 ) 0 . ,
(. ) , .. P ( x 0 ) Q( x 0 ) 1 ,
, .. P ( x 0 ) 0 . (.
), P ( x 0 ) 1 Q( x 0 ) 1 .
, , x 0 M , P ( x 0 ) 0
P ( x 0 ) 1 , . :

, , ,
.
11.
A( y ) zA( z ) . , .
, .. . ,
A 0 , y, z M ,
B ( y ) A 0 ( y ) zA 0 ( z ) , , ,
y .
y 0 M . B( y 0 ) A 0 ( y 0 ) zA 0 ( z ) ,

. , A0 ( y 0 ) zA 0 ( z ) .
, A 0 ( y 0 )
( , ).
A0 ( y 0 ) .

, .

.
.
, :
, ,
() , .. ,
(). , ,
,
. , , ,
, ,
.
1936 . ,
, ..
, ,
.

BIBLIOGRAFIA
1. .. :
. .: , 2004.
448 .
2. .. - . .:1986.
3. .., .. ,
. ., 1975.
4. . : . . .,1976.
5. .. . , 1973.
 6. Bieltz, P. - Logica, Manual pentru clasa a X-a licee i clasa a XI-a, coli normale. Editura
Didactic i Pedagogic, Bucureti, 1991.
7. Hariton, A. -Elemente de logic matemetic. Chiinu, 1994.
8. Hariton, A. - Teorem. Conditie necesar si suficient, Editura UST, Chiinu 2007.
9. Hariton, A.- Matematic, clasa a V-a, manual experimental, Chiinu, 1997.
10. Novicov, P .- Elemente de logic matemetic, Editura tiinific, Bucureti 1966.

Surse din internet

11. . . : . -- 86 . --
http://lpcs.math.msu.su/~plisko/matlog.pdf,
http://lpcs.math.msu.su/~plisko/matlog.ps

12. www.padabum.com