IASE 1/4 Cap. 3.

1 Limbajul de calcul propoziional

3.
Metode de rezolvare a problemelor

3.1. Limbajul de calcul propoziional

3.1.1. Sintaxa i semantica calculului propoziional

Calculul propoziional a fost definit de Whitehead i Rusell (1910) n celebra carte Principia
Mathematica. Importana matematic a calculului propoziional este deosebit, acesta stnd la baza
definirii oricrui sistem logic formal. Calculul propoziional modern se bazeaz pe dezvoltrile i
modernizrile aduse ulterior de Hilbert i Ackermann.

3.1.1.1. Vocabularul limbajului de calcul propoziional

Vocabularul limbajului este format din urmtoarele categorii de simboluri:
- Variabilele propoziionale notate prin simbolurile a, b, c,,a1, b1, c1, . Mulimea
variabilelor propoziionale (propoziiilor) se noteaz n cele ce urmeaz cu V;
- Conectivele logice (conjuncie), (disjuncie) i (negaie);
- Parantezele rotunde ( i );

3.1.1.2. Sintaxa calculului propoziional

Definiia 1.
Mulimea formulelor (enunurilor sintactic corecte) ale calculului propoziional, mulime
notat cu P, se definete recursiv prin urmtoarele reguli:
1) simbolurile propoziionale aparin lui P:
x V x P
2) dac a, bP atunci ab, ab, a, (a)P;
3) o combinaie de simboluri din V aparine lui P dac i numai dac ea se obine prin
aplicarea de un numr finit de ori a regulilor 1) i 2).
Se consider algebra (B2,,,) unde B2={0,1} i, pentru orice x, yB2, operaiile , i sunt
definite de relaiile:
xy=min{x, y}=xy; (1)
xy=max{x, y}=x+y-xy;
x=1-x.
Propoziia 1. Algebra (B2,,,) este o algebr boolean.

3.1.1.3. Semantica limbajului de calcul propoziional

Definirea semanticii calculului propoziional presupune definirea unei funcii I:PB2, care s
atribuie fiecrei formule o valoare de adevr. Dat fiind faptul c funcia I d o semnificaie formulelor
limbajului P, permind interpretarea acestora, aceasta este denumit interpretare.
Definiia 2. Se numete interpretare orice morfism al algebrelor (P,,, ) i (B2,,,).
Din definiia 2 rezult c orice interpretare I, I:PB2, satisface urmtoarele proprieti oricare
ar fi formulele a, bP:
I(ab)=I(a)I(b)=max{I(a),I(b)}; (2)
I(ab)=I(a) I(b)=min{I(a),I(b)};
I( a)=1-I(a).
Remarca 1. Avnd n vedere c n calculul propoziional orice interpretare satisface prin
definiie proprietile (2), rezult c valoarea de adevr a oricrei formule FP este bine determinat
de valorile de adevr atribuite de interpretarea I variabilelor propoziionale. Dac n formula F apar n
variabile propoziionale atunci exist 2n interpretri posibile ale formulei F (funcii I).
O interpretare asociaz fiecrei formule FP o valoare de adevr notat I(F)B2, convenind
c valoarea de fals=0, iar valoarea de adevrat=1.
IASE 2/4 Cap. 2. Limbajul LPA Prolog

Notnd cu x1, x2,,xn variabilele care apar n F, atunci pentru orice interpretare I, valoarea de
adevr a formulei F este dat de o relaie de forma:
I(F)=I(F(x1, x2,,xn))=f(I(x1), I(x2),,I(xn)) (3)
n aceast viziune, fiecare formul F poate fi echivalat cu o funcie logic f.
Pe mulimea P se introduc dou conective (operaii) noi, i , numite implicaie logic,
respectiv echivalen logic, a cror semantic este definit dup cum urmeaz:
0 daca I (a ) = 1 si I (b) = 0;
I ( a b) = (4)
1 in celelalte cazuri;
1 daca I (a b) = I (b a ) = 1;
I ( a b) = (5)
0 in caz contrar.
Oricare ar fi formulele a, bP, se obine urmtoarea semnificaie a conectivelor i :
I(a) I(b) I(ab) I(ba) I(ab)

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

Exerciii: S se arate c:
1. ab ab
2. (ab) ab
3. (ab) a b
4. ab (ab) (ba) (b a) ( a b)
Aplicaie: a dac e soare; b e frumos.

Definiia 3. Se spune c formula FP este consistent dac exist o interpretare I pentru care
I(F)=1 (pentru care formula este adevrate). O formul care nu este consistent se numete
inconsistent. O mulime de formule {F1,F2,,Fn} este consistent dac exist o interpretare I pentru
care I(F1)= I(F2)= =I(Fn)=1 (pentru care toate formulele sunt adevrate).
Remarca 2. Mulimea {F1,F2,,Fn} este consistent dac i numai dac formula F1F2
Fn este consistent.
Definiia 4. O formul FP se numete valid sau irefutabil dac este adevrat n orice
interpretare, adic I, I(F)=1. O formul valid se mai numete i tautologie. O formul care nu este
valid este denumit invalid.
Ex.: a a.
Remarca 3. O formul invalid poate fi adevrat ntr-o interpretare particular, n timp ce o
formul inconsistent este ntotdeauna fals.
Relaiile dintre conceptele de validitate, consisten, invaliditate, inconsisten i valorile de
adevr luate de expresii pentru combinaiile de valori de adevr ale formulelor atomice componente
sunt ilustrate n tabelul de mai jos.

Valid Invalid
ntotdeauna Nu ntotdeauna adevrat ntotdeauna fals
adevrat i nu ntotdeauna fals
Consistent Inconsistent
Contingent
Se observ existena unei categorii de expresii, care nu sunt nici ntotdeauna valide, nici
ntotdeauna inconsistente. Astfel de expresii, care pentru unele combinaii ale valorilor de adevr ale
formulelor atomice componente iau valoarea "adevrat", iar pentru alte combinaii ale valorilor de
adevr ale formulelor atomice componente iau valoarea "fals", sunt denumite expresii contingente.
IASE 3/4 Cap. 3.1 Limbajul de calcul propoziional

Definiia 5. Fie S={F1,F2,,Fn}P o mulime de formule i CP o formul. Se spune c C

este deductibil semantic din S sau C este o consecin logic a lui S, dac pentru orice interpretare I
pentru care I(F1)=I(F2)==I(Fn)=1 avem I(C)=1. Se noteaz acest fapt prin
{F1,F2,,Fn} C (6)
Remarca 4. Se spune c expresia {F1,F2,,Fn} C este o teorem, {F1,F2,,Fn} constituind
ipoteza, iar C concluzia teoremei respective. Semnul este denumit simbol de asertare a validitii.
Remarca 5. Dac mulimea premizelor este vid, teorema se rescrie sub forma C, ceea ce
semnific faptul c C este o tautologie (adevrat n orice ipotez). Avnd n vedere acest aspect, orice
tautologie a calculului propoziional poate fi considerat o teorem. De asemenea, a demonstra
teorema {F1,F2,,Fn} C revine n a demonstra c formula
F1F2 Fn C
este o tautologie, adic F1F2 Fn C.
Exist anumite tautologii ale calculului propoziional denumite axiome, prin asertarea crora
se pot deduce toate celelalte tautologii ale limbajului. Sistemul axiomatic al calculului propoziional,
definit de Hilbert i Ackermann are la baz urmtoarele axiome:
i) AAA principiul tautologiei;
ii) AAB principiul adiiunii;
iii) ABBA principiul comutativitii;
iv) (AB)((CA)(CB)) principiul nsumrii.

3.1.2. Principiul deduciei

Propoziia 2. (Principiul deduciei)
Se spune c {F1,F2,,Fn}C dac i numai dac {F1,F2,,Fn, C} este inconsistent.
Demonstraie:
Direct ): Pentru orice interpretare I pentru care I(F1)=I(F2)=I(Fn)=1 avem conform ipotezei
I(C)=1, deci I(C)=1-I(C)=1-1=0.
Invers ): Dac I este o interpretare pentru care I(F1)=I(F2)=I(Fn)=1, atunci n mod obligatoriu
I(C)=0 ({F1,F2,,Fn, C} fiind inconsistent), deci I(C)=1- I(C)=1-0=1.

3.1.3. Echivalen logic

Definiia 6. Dou formule F1, F2P se numesc echivalente dac, pentru orice interpretare I,
exist egalitatea I(F1)=I(F2): F1 F2 I, I(F1)=I(F2).
Ex.:
C(ab) CaCb
C(ab) CaCb
a(ab) a
aa a
Propoziia 3. Relaia este o relaie de echivalen.
Demonstraie: F1 F2 (F1 F2), adic (F1 F2) este o tautologie
i) reflexiv: F, F F, adic (F F), I(F) = I(F).
ii) simetric: F1 F2 atunci (F1 F2), deci (F2 F1) => F2 F1 sau I(F1) = I(F2),
I(F2) = I(F1) => F2 F1.
iii) tranzitiv: F1 F2 i F2 F3, atunci (F1 F2) i (F2 F3), deci (F1 F3) => F1
F3 sau I(F1) = I(F2) i I(F2) = I(F3), deci I(F1) = I(F3) => F1 F3.
Se definete prin P/ mulimea claselor de echivalen, o clas de echivalen a formulei aP
fiind definit [a] = {xP | x a}.
Ex.: F1 = a(bc) (ab) (ac), (ab) (ac) [F1]
Se consider toate formulele care au un singur simbol propoziional, pe care l vom nota cu p.
p p [fals]
p p [adevrat]
ppp [p]
p( (pp) [ p]

Definiia 7. Introducndu-se relaia pe mulimea P/, [a] [b] este adevrat dac i numai
dac (a b) este o tautologie (sau dac a b).
IASE 4/4 Cap. 2. Limbajul LPA Prolog

Remarc: Fie a i b dou formule astfel nct (a b). Dac c [a] i d [b], atunci se
poate verifica c (c d); prin urmare, definiia anterioar este corect formulat i nu depinde de
alegerea reprezentanilor.
Propoziia 4. Relaia este o relaie de ordine pe P/.
i) reflexiv: a, (a a), adic [a] [a].
ii) antisimetric: adic [a] [b] i [b] [a], atunci (a b) i (b a), atunci (a b),
deci a b, adic [a] = [b].
iii) tranzitiv: [a] [b] i [b] [c], atunci (a b) i (b c), rezult (a c), adic
[a] [c].
Propoziia 5. Mulimea parial ordonat (P, ) este o latice n care:
sup([a], [b]) = [a b]
inf([a], [b]) = [a b]
Demonstraie: [a b] = sup([a], [b]) (cel mai mic majorant)
a (ab) i b (ab) dar conf def => [a] [a b] i [b] [a b]. Ca urmare, [a b]
este un majorant al mulimii {[a], [b]}.
Fie t un alt majorant
[a] [t] i rezult (a t)
(ab) t
[b] [t] i rezult (b t)
i conform def. rezult [a b] [t] => [a b] este cel mai mic majorant deci
sup([a], [b]) = [a b].

[a b] = inf([a], [b]) cel mai mare minorant

a (ab) i b (ab) conf def , [a] [a b] i [b] [a b]. Ca urmare,
[a b] este un minorant al mulimii {[a], [b]}.
Fie f un alt minorant
[a] [f] i rezult (a f)
(ab) f => [a b] [f]
deci, inf([a], [b]) = [a b]
[b] [f] i rezult (b f)
Propoziia 6. Laticea (P/, ) este o algebr boolean (distributiv i complementat),
cunoscut sub numele de laticea Linderbaum.
I
Remarc: (P/, , , , f, t)
(B2, , , , 0, 1)
Orice interpretare este un morfism al celor dou algebre booleene.
A interpreta o formul F n care apar variabilele propoziionale x1, x2, ..., xn revine n a calcula
n
valoarea unei funcii logice f = fF, f : B2 B2 , valoarea de adevr a formulei F fiind dat de
relaia:
I (F ) = I (F ( x1 , x 2 , K , x n )) = f (I ( x1 ), I ( x 2 ), K I ( x n )) .

2n n
Propoziia 7. Exist 2 funcii definite pe B2 cu valori n B2
Propoziia 8. Relaia de echivalen logic are urmtoarele proprieti:
i) FG GF; FG GF (comutativitate)
ii) F(GH) (FG)H; F(GH) (FG)H (asociativitate)
iii) F(GH) (FG) (FH); F (GH) (FG) (FH)
iv) FF F, FF F idempoten
v) F(FG) F, F (FG) F absorbie
vi) FF t; FF f
vii) (F) F principiul dublei negaii
viii) (FG) FG
(FG) FG (De Morgan)
oricare ar fi formulele F, G, H P, t=true, f=false.