Documente Academic
Documente Profesional
Documente Cultură
Prefata
Logica se ocupa de legile gandirii (ratiunii) si anume de acele proprietati structurale
formale ale gandirii care apar in reflectarea proprietatilor lumii reale. Deci avem
gandirea, realitatea si legatura dintre ele. In logica exista substituienti abstracti
pentru gandire, pentru realitate si pentru legatura dintre ele si anume, limbajul L
substituie gandirea, structura S substituie realitatea (unde S este mai mult decat
o colectie de lucruri susceptibile de a fi corelate, ca inteles, diferitelor expresii din
limbaj), iar interpretarea I substituie legatura (I este o functie).
Limbajul L este fixat, dar se considera mai multe interpretari ale lui L in diferite
structuri; aceasta pentru ca, pe de-o parte, nu stim in care realitate (lume) partic-
ulara ne regasim cu adevarat, pe de alta parte pentru ca logicienii sunt interesati
de principiile universale, care sunt adevarate in orice lume posibila.
O teorie (in sens tehnic) este un limbaj L impreuna cu o multime T de propozitii
sau formule din L. In practica, o teorie este definita fie sintactic, fie semantic, adica:
- T poate fi formata din toate formulele care rezulta printr-o relatie de implicare
sintactica dintr-o multime de axiome sau
- T poate fi formata din toate formulele care sunt adevarate in orice interpretare
considerata.
Scopul principal al logicii este studiul in paralel al relatiei de implicare sintactica
(formala):
p`q (q se deduce din p conform unor reguli prestabilite)
si al relatiei de implicare semantica (reala):
p |= q (daca p este adevarata, atunci q este adevarata).
Logica clasica este bivalenta, in sensul ca multimea valorilor de adevar are doua
elemente: adevarul si falsul. Logica propozitiilor este teoria T a tuturor formulelor
valide (i.e. care sunt adevarate in orice interpretare) intr-un limbaj L al propoziti-
ilor. Aceasta teorie este decidabila (exista un algoritm care, aplicat oricarei formule,
ne spune daca ea este din T ). Logica predicatelor este teoria T a tuturor formulelor
valide intr-un limbaj L al predicatelor. Presupunand ca L are cel putin un simbol
de functie de rang cel putin 1 sau un simbol de relatie de rang cel putin 2, atunci
T nu este decidabila, dar este axiomatizabila (i.e. exista o axiomatizare a lui T (cu
axiome si reguli de inferenta) sub care formulele lui T sunt demonstrabile).
In secolul al 19-lea apar primele sisteme de logica polivalenta.
In evolutia unei teorii stiintifice se disting patru etape succesive: etapa descrip-
tiva, etapa inductiva, etapa deductiva si etapa axiomatica. Organizarea stiintei in
teorii deductive este legata de evolutia matematicii si de expansiunea metodelor
sale in celelalte stiinte.
”Eu afirm ca in orice disciplina a naturii se gaseste de fapt numai atata adevarata
stiinta cata matematica se cuprinde in ea” (Immanuel Kant).
Logica matematica este stiinta care are ca obiect studiul formelor propozitionale
si al legilor de rationare cu expresii propozitionale, precum si metodele care permit
realizarea acestui studiu.
6
1 Algebre Boole 9
1.1 Multimi (pre)ordonate . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.1 Principiul dualitatii. Diagrama Hasse . . . . . . . . . . . . . 10
1.1.2 Reprezentarea unei relatii binare pe o multime finita prin
matrice booleana . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1.3 Prim (ultim) element, minorant (majorant), infimum (supre-
mum). Axioma lui Zorn . . . . . . . . . . . . . . . . . . . . . 12
1.2 Latici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2.1 Latici Ore si latici Dedekind. Echivalenta lor . . . . . . . . . 15
1.2.2 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.3 Latici distributive. Latici marginite complementate . . . . . . 21
1.3 Algebre Boole: definitie, exemple, proprietati . . . . . . . . . . . . . 25
1.3.1 Definitia algebrei Boole . . . . . . . . . . . . . . . . . . . . . 25
1.3.2 Exemple de algebre Boole . . . . . . . . . . . . . . . . . . . . 26
1.3.3 Proprietati ale algebrelor Boole . . . . . . . . . . . . . . . . . 28
1.3.4 Implicatia si echivalenta booleana . . . . . . . . . . . . . . . 29
1.4 Inel Boole. Echivalenta cu algebra Boole . . . . . . . . . . . . . . . . 30
1.5 Subalgebre, homomorfisme . . . . . . . . . . . . . . . . . . . . . . . . 32
1.6 Filtre (ideale) si congruente. Algebre Boole cat . . . . . . . . . . . . 35
1.7 Teorema de reprezentare a lui Stone . . . . . . . . . . . . . . . . . . 40
1.8 Algebre Boole atomice . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.9 Dualitatea algebrelor Boole . . . . . . . . . . . . . . . . . . . . . . . 45
1.10 Algebre Boole injective . . . . . . . . . . . . . . . . . . . . . . . . . . 49
7
8 CONTENTS
Algebre Boole
9
10 CHAPTER 1. ALGEBRE BOOLE
Exemple 1.1.2
(1) Multimile (R, ≤), (Q, ≤), (Z, ≤), (N, ≤) sunt lanturi.
(2) Daca X este o multime nevida, atunci (P(X), ⊆) este o multime ordonata;
ea este total ordonata daca si numai daca X este formata dintr-un singur element.
(3) Daca X este o multime nevida, atunci (X, =) este o multime ordonata (in
acest caz R este ∆ = {(x, x) | x ∈ X}).
(4) Daca pe multimea N∗ = N\{0} definim, pentru orice x, y, x ¹ y ⇔ x | y (x
este divizibil cu y), atunci (N∗ , ¹) este o multime ordonata, dar nu total ordonata.
(5) Daca pe multimea C definim relatia binara ¹ astfel: pentru orice z1 =
a1 + ib1 , z2 = a2 + ib2 ∈ C,
z1 ¹ z2 ⇔ (a1 ≤ a2 , b1 ≤ b2 ),
atunci (C,
preced) este o multime ordonata, dar nu total ordonata.
(6) Relatia x ¹ y ⇔ x | y, definita pe Z, este o relatie de preordine, care nu
este relatie de ordine.
(7) Fie A multimea ofiterilor dintr-o unitate militara. Pentru x, y ∈ A, spunem
ca x ≤ y daca gradul lui x este mai mic sau egal cu gradul lui y. Atunci, (A, ≤)
este o multime preordonata, care nu este ordonata.
Diagrama Hasse
O relatie binara ≤ pe o multime finita A se va reprezenta grafic prin diagrama
Hasse astfel: elementele multimii sunt reprezentate prin puncte, iar faptul ca x < y
(adica x ≤ y si x 6= y) si nu exista z cu x < z < y se reprezinta printr-o linie care
leaga cele doua puncte, y fiind situat mai sus ca x:
1.1. MULTIMI (PRE)ORDONATE 11
y
•
•
x
c• •d
S ¶
S•¶b
•
a
½
1, daca (xi , xj ) ∈ R ((i, j) ∈ R)
mij ==
0, daca (xi , xj ) 6∈ R ((i, j) 6∈ R).
Se observa ca multimea relatiilor binare pe o multime finita cu n elemente este
in corespondenta biunivoca cu multimea matricilor booleene de ordinul n. Deci, o
relatie binara pe o multime finita cu n elemente poate fi data, alternativ, printr-o
matrice booleana de ordin n.
12 CHAPTER 1. ALGEBRE BOOLE
De exemplu, relatia R, definita mai sus pe multimea A = {a, b, c, d}, are urma-
toarea matrice booleana asociata:
1 1 1 1
0 1 1 1
MR = 0 0 1 0
0 0 0 1
Exercitiu 1.1.3
1. Sa se scrie un program pentru determinarea tuturor relatiilor de ordine pe o
multime finita.
2. Se da o relatie binara pe o multime finita prin matricea booleana asociata. Sa se
scrie un program pentru a verifica daca relatia este de ordine, partiala sau totala,
sau este o relatie de preordine.
Exemple 1.1.4 Consideram multimile ordonate din Figura 1.2. In cazul a) exista
prim si ultim element (este multime ordonata marginita), in cazul b) exista numai
ultim element, iar in cazul c) exista numai prim element.
1 1
• •
• z • z
¶S ¶S
x •¶ S• y x •¶ S• y x• •y
S ¶ S ¶
S•¶ S•¶z
0
•
0
a) b) c)
Figure 1.2: Exemple de multimi ordonate cu prim si/sau ultim element
Sau, echivalent, fie (xi )i∈I o familie oarecare de elemente din A indexata de I,
I o multime oarecare, eventual infinita (adica un element al lui AI (adica o functie
f : I → A)). Se stie ca familiei (xi )i∈I ii corespunde submultimea {xi ∈ A | i ∈ I}
a lui A, iar submultimii X a lui A ii corespunde familia particulara (x = xx )x∈X de
elemente din A. Un element a ∈ A este un minorant (majorant) al familiei (xi )i∈I ,
daca a ≤ xi (respectiv xi ≤ a), pentru orice i ∈ I.
e• • f
S ¶
S•¶d
• c
¶S
a •¶ S• b
(i) a este un minorant al familiei (xi )i∈I (adica a ≤ xi , pentru orice i ∈ I);
(ii) a este cel mai mare minorant al familiei (xi )i∈I , adica daca b este un minorant
al familiei (xi )i∈I (daca b ≤ xi pentru orice i ∈ I), atunci b ≤ a.
(i) a este un majorant al familiei (xi )i∈I (adica xi ≤ a, pentru orice i ∈ I);
(ii) a este cel mai mic majorant al familiei (xi )i∈I , adica daca b este un majorant
al familiei (xi )i∈I (daca xi ≤ b pentru orice i ∈ I), atunci a ≤ b.
Observatii 1.1.9
1) Deci, elementul inf i∈I xi al lui A este caracterizat de:
(i) inf i∈I xi ≤ xi , pentru orice i ∈ I si
(ii) pentru orice b ∈ A care verifica b ≤ xi pentru orice i ∈ I, avem b ≤ inf i∈I xi ,
iar elementul dual, supi∈I xi , al lui A este caracterizat de:
(i) xi ≤ supi∈I xi , pentru orice i ∈ I si
(ii) pentru orice b ∈ A care verifica xi ≤ b pentru orice i ∈ I, avem supi∈I xi ≤ b.
2) Infimumul multimii finite (familiei finite) {x1 , x2 , . . . , xn } = (xi )i∈{1,2,...,n} va fi
notat inf(x1 , x2 , . . . , xn ) sau inf i=1,n xi , iar supremumul ei va fi notat sup(x1 , x2 , . . . , xn )
sau supi=1,n xi . Daca n = 2, infimumul familiei (multimii) {x, y} va fi notat
inf(x, y), iar supremumul ei va fi notat sup(x, y).
Exemple 1.1.10
1) (R, ≤) nu are niciun element maximal si niciun element minimal.
2) In (P(X), ⊆) elementele minimale sunt de forma {x}, x ∈ X, iar X este
element maximal.
3) Ultimul element al unei multimi ordonale este si element maximal, iar primul
element este si element minimal. Reciproca nu este adevarata.
O multime ordonata (A, ≤) se numeste inductiva daca orice parte total ordonata
a sa admite un majorant.
Axioma lui Zorn: Orice multime ordonata inductiva admite un element max-
imal.
1.2 Latici
1.2.1 Latici Ore si latici Dedekind. Echivalenta lor
Definitie 1.2.1
O multime ordonata L = (L, ≤) se numeste latice Ore daca pentru orice doua
elemente x, y din L exista inf(x, y) si sup(x, y).
Propozitia 1.2.2 Intr-o latice Ore L, urmatoarele afirmatii sunt echivalente: pen-
tru orice x, y ∈ L,
(i) x ≤ y,
(ii) sup(x, y) = y,
(iii) inf(x, y) = x.
Dem.
(i) ⇒ (ii): Intr-adevar, presupunand ca x ≤ y, atunci, deoarece avem si y ≤ y,
conform reflexivitatii lui ≤, rezulta ca y este majorant al {x, y}. Fie z un majorant
oarecare al {x, y}, deci x ≤ z si y ≤ z. Deci y ≤ z, adica y este cel mai mic
majorant al {x, y}, deci sup(x, y) = y.
(ii) ⇒ (i): Intr-adevar, sup(x, y) = y inseamna printre altele ca x ≤ y si y ≤ y;
deci x ≤ y.
Similar se demonstreaza ca (i) ⇔ (iii). 2
Propozitia 1.2.3 Fie L o latice Ore. Urmatoarele proprietati sunt verificate: pen-
tru orice x, y, z ∈ L,
(O1) inf(x, x) = x, sup(x, x) = x (idempotenta lui inf, sup)
(O2) inf(x, y) = inf(y, x), sup(x, y) = sup(y, x) (comutativitatea lui inf, sup)
(O3) inf(x, y, z) = inf(x, inf(y, z)) = inf(inf(x, y), z),
sup(x, y, z) = sup(x, sup(y, z)) = sup(sup(x, y), z) (asociativitatea lui inf,
sup)
(O4) inf(x, sup(x, y)) = x, sup(x, inf(x, y)) = x (cele doua proprietati de ab-
sorbtie).
16 CHAPTER 1. ALGEBRE BOOLE
Dem.
(O1): Sa demonstram ca sup(x, x) = x. Fie a = sup(x, x); deci x ≤ y si pentru
orice b ∈ L care verifica x ≤ b avem a ≤ b. Dar, x ∈ L verifica x ≤ x, conform
reflexivitatii; luam b = x; rezulta a ≤ x. Deci, a = x, adica sup(x, x) = x. La fel
se demonstreaza ca inf(x, x) = x.
(O2): Sa demonstram ca sup(x, y) = sup(y, x). Fie u = sup(x, y) si v =
sup(y, x); deci avem: x ≤ u, y ≤ u si y ≤ v, x ≤ v si, pentru orice z care verifica
x, y ≤ z, avem u ≤ z si v ≤ z. Se observa ca u, v sunt un astfel de z, deci u ≤ v si
v ≤ u, de unde obtinem u = v. La fel se demonstreaza ca inf(x, y) = inf(y, x).
(O3) Sa demonstram ca sup(x, y, z) = sup(x, sup(y, z)). Sa notam t = sup(y, z),
u = sup(x, y, z), v = sup(x, t); atunci avem:
(i) y, z ≤ t si pentru orice Z ∈ L cu y, z ≤ Z, avem t ≤ Z,
(ii) x, y, z ≤ u si pentru orice Z 0 ∈ L cu x, y, z ≤ Z 0 , avem u ≤ Z 0 ,
(iii) x, t ≤ v si pentru orice Z 00 ∈ L cu x, t ≤ Z 00 , avem v ≤ Z 00 .
Sa aratam ca u = v:
Din y, z ≤ t si t ≤ v obtinem ca y, z ≤ v; dar avem si x ≤ v. Rezulta ca x, y, z ≤ v;
luam Z 0 = v in (ii) si obtinem ca u ≤ v.
Din y, z ≤ u, luand Z = u in (i), obtinem ca t ≤ u. Dar avem si ca x ≤ u;
deci, x, t ≤ u; luand Z 00 = u in (iii), obtinem ca v ≤ u. Astfel, u = v. Restul se
demonstreaza similar. 2
Definitie 1.2.4 Fie L = (L, ∧, ∨) structura formata din multimea L si doua oper-
atii binare definite pe L. L se numeste latice Dedekind daca urmatoarele proprietati
(axiome) sunt verificate: pentru orice x, y, z ∈ L,
(L1) x ∧ x = x, x ∨ x = x (idempotenta lui ∧, ∨)
(L2) x ∧ y = y ∧ x, x ∨ y = y ∨ x (comutativitatea lui ∧, ∨)
(L3) x ∧ (y ∧ z) = (x ∧ y) ∧ z, x ∨ (y ∨ z) = (x ∨ y) ∨ z) (asociativitatea lui ∧, ∨)
(L4) x ∧ (x ∨ y) = x, x ∨ (x ∧ y) = x (cele doua proprietati de absorbtie).
(L2) (L4)
Dem. Daca x ∧ y = x, atunci x ∨ y = (x ∧ y) ∨ y = y ∨ (y ∧ x) = y. Daca
(L4)
x ∨ y = y, atunci x ∧ y = x ∧ (x ∨ y) = x. 2
(1.1) x ≤ y ⇔ x ∧ y = x ⇔ x ∨ y = y.
Vom arata acum ca cele doua definitii, Ore si Dedekind, ale laticilor sunt echiva-
lente.
1.2. LATICI 17
Teorema 1.2.6
(1) Fie (L, ≤) o latice Ore. Sa definim
def
Φ(L) = (L, ∧, ∨),
Atunci relatia ≤ este o relatie de ordine, iar structura Ψ(L) este o latice Ore, unde
pentru orice x, y ∈ L,
Dem.
(1): Cele doua operatii sunt bine definite (adica exista x ∧ y si x ∨ y pentru
orice x, y ∈ L, conform definitiei laticii Ore). Trebuie sa demonstram ca cele
doua operatii verifica axiomele (L1)-(L4). Intr-adevar, x ∧ x = inf(x, x) = x si
x ∨ x = sup(x, x) = x, conform (O1) din Propozitia 1.2.3, deci (L1) este verificata.
Similar, (L2)-(L4) rezulta respectiv din (O2)-(O4).
(1’):
• Trebuie sa aratam ca relatia ≤ este reflexiva, antisimetrica si tranzitiva.
≤ este reflexiva, adica pentru orice x ∈ L, x ≤ x: fie x ∈ L fixat, altfel arbitrar;
def
x ≤ x ⇔ x ∨ x = x, ceea ce este adevarat, conform (L1). Rezulta, conform
(Generalizarii), ca pentru orice x ∈ L, x ≤ x. Restul se demonstreaza similar.
Deci, (L, ≤) este o multime partial ordonata.
• Trebuie sa demonstram acum ca pentru orice x, y ∈ L, sup(x, y) = x ∨ y.
Fie x, y ∈ L, obiecte (elemente) fixate, altfel arbitrare; pentru a demonstra ca
sup(x, y) = x ∨ y, trebuie sa aratam doua lucruri:
(L3)
(i) x ∨ y este majorant al {x, y}, adica x, y ≤ x ∨ y; intr-adevar, x ∨ (x ∨ y) =
(L1) (L2) (L3)
(x ∨ x) ∨ y = x ∨ y, deci x ≤ x ∨ y, conform (1.3), si y ∨ (x ∨ y) = (x ∨ y) ∨ y =
(L1)
x ∨ (y ∨ y) = x ∨ y, deci y ≤ x ∨ y.
18 CHAPTER 1. ALGEBRE BOOLE
(2): Rutina. 2
Observatie 1.2.7 Relatia de ordine din Teorema 1.2.6 poate fi definita, echivalent,
prin
Teorema precedenta arata ca cele doua definitii ale laticilor sunt echivalente. In
continuare, vom lucra in general cu definitia Dedekind a laticii, pe care o vom
numi pe scurt latice.
O latice (Ore) L se numeste completa daca orice familie de elemente din L (sub-
multime a lui L, echivalent) admite infimum si supremum. Intr-o latice completa
L, daca (xi )i∈I este o familie de elemente din L, vom nota
^ _
xi = inf xi , xi = sup xi .
i∈I i∈I
i∈I i∈I
1.2.2 Exemple
Exemple 1.2.8 (Exemple de latici marginite (cu 0 si 1))
1) Multimea cu 2 elemente L2 = {0, 1} si multimea cu 3 elemente L3 = {0, a, 1}
genereaza laticile liniare (adica total ordonate) L2 (vom vedea ca ea este algebra
Booleana) si respectiv L3 din Figura 1.4.
1.2. LATICI 19
1
•
1
• •a
• •
0 0
L2 L3
• laticea liniar ordonala (total ordonata) L4 , a carei diagrama Hasse este prezen-
tata in Figura 1.5;
• laticea L2×2 , ordonata neliniar ca in diagrama Hasse din Figura 1.5 (vom
vedea ca ea este o algebra Booleana):
1
•
1
•b •
¶S
•a a •¶ S• b
S ¶
• S•¶
0 0
L4 L2×2
∧ 0 a b 1 ∨ 0 a b 1
0 0 0 0 0 0 0 a b 1
L2×2 a 0 a 0 a a a a 1 1
b 0 0 b b b b 1 b 1
1 0 a b 1 1 1 1 1 1
2) Daca notam cu Z − multimea numerelor intregi care sunt mai mici sau egale
cu 0, atunci multimea ordonata (Z − , ≤) este o latice numai cu ultim element,
numarul 0.
3) Multimea ordonata (Z, ≤) este o latice fara prim si ultim element.
Exista multimi ordonate finite care sunt marginite, dar nu sunt latici. De ex-
emplu, multimea ordonata L60,1 din Figura 1.7.
1.2. LATICI 21
Dem. Intr-adevar, (1) si (2) sunt echivalente cu 0 ≤ x, iar (1’) si (2’) sunt
echivalente cu x ≤ 1, pentru orice x ∈ L. 2
n
_
xi = x1 ∨ x2 . . . ∨ xn = x1 ∨ (x2 ∨ . . . ∨ (xn−1 ∨ xn ) . . .) = sup(x1 , . . . , xn ).
i=1
Dem.
(i) =⇒ (ii):
(i) (L2) (L4)
(a ∨ b) ∧ (a ∨ c) = [(a ∨ b) ∧ a] ∨ [(a ∨ b) ∧ c] = [a ∧ (a ∨ b)] ∨ [(a ∨ b) ∧ c] =
(L2) (i) (L3) (L2)
a ∨ [(a ∨ b) ∧ c] = a ∨ [c ∧ (a ∨ b)] = a ∨ [(c ∧ a) ∨ (c ∧ b)] = [a ∨ (c ∧ a)] ∨ (c ∧ b) =
(L4) (L2)
[a ∨ (a ∧ c)] ∨ (c ∧ b) = a ∨ (c ∧ b) = a ∨ (b ∧ c).
(ii) =⇒ (iii):
(ii)
Deoarece z ≤ x ∨ z, rezulta (x ∨ y) ∧ z ≤ (x ∨ y) ∧ (x ∨ z) = x ∨ (y ∧ z).
(iii) =⇒ (i):
• Sa demonstram mai intai ca:
(1.6) a ∧ (b ∨ c) ≤ (a ∧ b) ∨ (a ∧ c).
22 CHAPTER 1. ALGEBRE BOOLE
(L2) (iii)
(1.7) (a ∧ b) ∨ (a ∧ c) = (a ∧ b) ∨ (c ∧ a) ≥ [(a ∧ b) ∨ c] ∧ a.
(L2) (iii)
Pe de alta parte, din (a ∧ b) ∨ c = c ∨ (b ∧ a) ≥ (c ∨ b) ∧ a rezulta ca:
(L3) (L1) (L2)
[(a ∧ b) ∨ c] ∧ a ≥ [(c ∨ b) ∧ a] ∧ a = (c ∨ b) ∧ (a ∧ a) = (c ∨ b) ∧ a = a ∧ (b ∨ c),
adica avem:
(1.9) a ∧ (b ∨ c) ≥ (a ∧ b) ∨ (a ∧ c).
Definitie 1.2.15 O latice L este distributiva daca una din conditiile echivalente
(i) - (iii) din Propozitia 1.2.14 are loc.
• c ½•Z
¶S ½ ¶S Z
a •¶ S• b ½ ¶
½
•Z Z•
S• ½
S ¶ Z •S ¶
Z ½
S•¶ ZS•½
¶
d
• •
0
L2,2×2,2 L8
Definitie 1.2.17
(i) Fie L o latice marginita. Un element a ∈ L se numeste complementat daca
exista cel putin un element b ∈ L, numit complementul lui a, astfel incat a ∧ b = 0
si a ∨ b = 1.
(ii) O latice marginita este complementata daca orice element al sau este com-
plementat (admite un complement).
Lema 1.2.18 Intr-o latice marginita, distributiva, orice element poate avea cel
mult un complement (altfel spus, complementul unui element, daca exista, este
unic).
Propozitia 1.2.20 Orice latice care contine laticile pentagon si diamant ca sub-
latici nu este distributiva.
24 CHAPTER 1. ALGEBRE BOOLE
(a ∧ b)− = a− ∨ b− , (a ∨ b)− = a− ∧ b− .
(a ∧ b) ∧ (a− ∨ b− ) = 0, (a ∧ b) ∨ (a− ∨ b− ) = 1.
Observatie 1.2.23 Orice morfism din Ld(0,1) este o functie izotona: pentru orice
x, y ∈ L,
x ≤ y ⇒ x ∧ y = x ⇒ f (x) ∧ f (y) = f (x) ⇒ f (x) ≤ f (y).
Definitie 1.3.1 O algebra Boole este o latice distributiva, cu prim si ultim element,
complementata, adica este o structura
B = (B, ∧, ∨, − , 0, 1)
B = (B, →, − , 1)
def def
unde x → y = (x ∧ y − )− = x− ∨ y si invers, x ∧ y = (x → y − )− ,
def def
x ∨ y = (x− ∧ y − )− , 0 = 1− .
26 CHAPTER 1. ALGEBRE BOOLE
B = (B, →R , − , 0)
Exemplul 1.
Daca X este o multime, atunci (P(X), ∩, ∪, C, ∅, X) este o algebra Boole.
Exemplul 2. (Algebra Boole standard)
Algebra L2 = (L2 = {0, 1} ⊂ R, ∧ = min, ∨ = max, − , 0, 1), cu x− = 1 − x, pentru
x ∈ L2 , este o algebra Boole, numita algebra Boole standard.
Examplul 3. (Rombul)
Multimea
L2×2 = {0, a, b, 1} ∼
= L2 × L2 = L22 = {0, 1} × {0, 1} = {(0, 0), (0, 1), (1, 0), (1, 1)},
organizata ca latice ca in diagrama Hasse din Figura 1.9 si cu negatia − definita
pe prima coloana a tabelei implicatiei (x− = x → 0, pentru orice x), este o algebra
Boole, notata L2×2 , numita si romb.
1
•
¶S
a •¶ S• b
S ¶
S•¶
0
Figure 1.9: Algebra Boole L2×2 (rombul)
→ 0 a b 1
0 1 1 1 1
L2×2 a b 1 b 1
b a a 1 1
1 0 a b 1
Exemplul 4. (Cubul)
Multimea
1.3. ALGEBRE BOOLE: DEFINITIE, EXEMPLE, PROPRIETATI 27
1
◦
¡ ¡£c c
£ c
¡ £ c
c ◦¡ c
£cc £ c◦ f
£ £
£
c
£ c ¡¡ £
£
£ ◦£ c ¡ £
c
£ ¡¡ ec c•¡ £
b
£¡ c £ £
c£
a •¡
£ £c £
cc •£ d
£ c ¡
c £ ¡
c
c £¡
c•£¡
0
Figure 1.10: Algebra Boole L2×2×2 (cubul)
∨ 0 a b c d e f 1 ∧ 0 a b c d e f 1
0 0 a b c d e f 1 0 0 0 0 0 0 0 0 0
a a a c c e e 1 1 a 0 a 0 a 0 a 0 a
b b c b c f 1 f 1 b 0 0 b b 0 0 b b
L2×2×2 c c c c c 1 1 1 1 c 0 a b c 0 a b c
d d e f 1 d e f 1 d 0 0 0 0 d d d d
e e e 1 1 e e 1 1 e 0 a 0 a d e d e
f f 1 f 1 f 1 f 1 f 0 0 b b d d f f
1 1 1 1 1 1 1 1 1 1 0 a b c d e f 1
→ 0 a b c d e f 1
0 1 1 1 1 1 1 1 1
a f 1 f 1 f 1 f 1
b e e 1 1 e e 1 1
L2×2×2 c d e f 1 d e f 1
d c c c c 1 1 1 1
e b c b c f 1 f 1
f a a c c e e 1 1
1 0 a b c d e f 1
28 CHAPTER 1. ALGEBRE BOOLE
Exemplul 5.
Alte exemple de algebre Boole sunt L2×2×2×2 etc.
Exemplul 6.
Multimea evenimentelor asociate unei experiente aleatoare este o algebra Boole.
Exemplul 7.
Daca X este un spatiu topologic, atunci familia B(X) a partilor simultan inchise
si deschise ale lui X formeaza o algebra Boole.
Exemplul 8.
Daca (L, ∧, ∨, 0, 1) este o latice distributiva cu prim si ultim element, atunci mul-
timea C(L) a elementelor complementate ale lui L este o algebra Boole.
Exemplul 9.
Orice produs direct de algebre Boole are o structura canonica de algebra Boole
(operatiile se definesc pe componente). In particular, daca X este o multime nevida,
atunci LX2 este o algebra Boole.
Dem.
(B8): Pentru a demonstra prima lege De Morgan, trebuie sa demonstram ca:
(x ∨ y) ∨ (x− ∧ y − ) = 1 si (x ∨ y) ∧ (x− ∧ y − ) = 0.
Intr-adevar,
(x ∨ y) ∨ (x− ∧ y − ) = (x ∨ y ∨ x− ) ∧ (x ∨ y ∨ y − ) = 1 ∧ 1 = 1 si
(x∨y)∧(x− ∧y − ) = (x∧x− ∧y − )∨(y ∧x− ∧y − ) = 0∨0 = 0. La fel se demonstreaza
partea a doua a lui (B8).
(B9) este o alta interpretare a lui (B7).
(B10): x ≤ y ⇔ x ∨ y = y ⇔ (x ∨ y)− = y − ⇔ x− ∧ y − = y − ⇔ y − ≤ x− ,
conform (B9), (B8).
(B11) ” ⇒”: x ≤ y ⇔ x ∨ y = y ⇔ (x ∨ y)− = y − ⇔ x− ∧ y − = y − ; rezulta ca
x ∧ y − = x ∧ (x− ∧ y − ) = 0; deci x ≤ y ⇒ x ∧ y − = 0.
”⇐”: daca x ∧ y − = 0, atunci x = x ∧ 1 = x ∧ (y ∨ y − ) = (x ∧ y) ∨ (x ∧ y − ) =
(x ∧ y) ∨ 0 = x ∧ y, deci x ≤ y.
1.3. ALGEBRE BOOLE: DEFINITIE, EXEMPLE, PROPRIETATI 29
(B12): (x ≤ y si x0 ≤ y 0 ) ⇔ (x ∨ y = y si x0 ∨ y 0 = y 0 ) ⇒ (x ∨ x0 ) ∨ (y ∨ y 0 ) =
(x ∨ y) ∨ (x0 ∨ y 0 ) = y ∨ y 0 , adica x ∨ x0 ≤ y ∨ y 0 . La fel se demonstreaza partea a
doua a lui (B12).
(B13): x ≤ y ⇒ x ∧ y − ≤ y ∧ y − = 0 ⇒ x ∧ y − = 0.
x∧y − = 0 ⇒ y = y∨0 = y∨(x∧y − ) = (x∨y)∧(y∨y − ) = (x∨y)∧1 = x∨y ⇒ x ≤ y.
A doua parte se demonstreaza similar. 2
x ∧ y = 1 ⇔ (x = 1 si y = 1).
Exercitii 1.3.10
(1) Sa se transcrie toate tautologiile din sistemele A2 - A5 de tautologii in
proprietati ale algebrei boleene B si sa se demonstreze; de exemplu, (G1) devine:
x → (y → x) = 1, pentru orice x, y ∈ B.
(2) De asemenea, sa se demonstreze urmatoarele proprietati: pentru orice x, y, z,
(x → (x → y)) → (x → y) = 1,
(x → y) → ((y → z) → (x → z) = 1,
30 CHAPTER 1. ALGEBRE BOOLE
(x ↔ y) → (x → y) = 1,
(x → y) → ((y → x) → (x ↔ y)) = 1,
x− ↔ y − = x ↔ y,
(x ↔ y) ↔ z = x ↔ (y ↔ z).
x · (y + z) = x · y + x · z, (y + z) · x = y · x + z · x.
Definitie 1.4.2 Se numeste inel boolean sau inel Boole orice inel unitar A =
notation
(A, +, ·, −, 0, 1) cu proprietatea ca x2 = x pentru orice x ∈ A, unde x2 = x · x.
Lema 1.4.3 Fie A un inel Boole. Atunci, pentru orice doua elemente x, y ∈ A,
avem x + x = 0 si x · y = y · x.
Teorema 1.4.4
1) Fie A = (A, +, ·, −, 0, 1) un inel Boole. Sa definim
unde:
def def def
x ∨ y = x + y + x · y, x ∧ y = x · y, x− = x + 1.
Atunci, β(A) este o algebra Boole.
1’) Invers, fie A = (A, ∧, ∨, − , 0, 1) o algebra Boole. Sa definim:
unde:
def def def
x + y = (x ∧ y − ) ∨ (x− ∧ y), x · y = x ∧ y, −x = x.
Atunci, ρ(A) este un inel Boole.
2) Aplicatiile β si ρ sunt mutual inverse.
notation
unde 2x = x + x, si
x ∧ (x + 1) = x · (x + 1) = x2 + x = x + x = 0.
(1’): Sa verificam asociativitatea operatiei +:
(a + b) + c = [((a ∧ b− ) ∨ (a− ∧ b)) ∧ c− ] ∨ [((a ∧ b− ) ∨ (a− ∧ b))− ∧ c];
calculam separat:
((a ∧ b− ) ∨ (a− ∧ b)) ∧ c− = (a ∧ b− ∧ c− ) ∨ (a− ∧ b ∧ c− ) si
((a ∧ b− ) ∨ (a− ∧ b))− ∧ c = ((a− ∨ b) ∧ (a ∨ b− )) ∧ c =
[(a ∧ a− ) ∨ (a− ∧ b− ) ∨ (a ∧ b) ∨ (b ∧ b− )] ∧ c =
((a ∧ b) ∨ (a− ∧ b− )) ∧ c = (a ∧ b ∧ c) ∨ (a− ∧ b− ∧ c).
Inlocuind mai sus, se obtine:
(a + b) + c = (a− ∧ b− ∧ c) ∨ (a− ∧ b ∧ c− ) ∨ (a ∧ b− ∧ c− ) ∨ (a ∧ b ∧ c).
Expresia obtinuta este simetrica in a, b, c, deci (a + b) + c = a + (b + c).
Verificarea celorlalte axiome ale inelului Boole se face similar.
(2): Prin calcule. 2
Observatii 1.5.2
(1) Fiecare din axiomele (a), (b), (d) rezulta din celelalte trei. Axioma (c) nu
rezulta din celelalte. Intr-adevar, consideram algebra Boole L22 si S = {(0, 0), (1, 0), (1, 1)}.
S verifica axiomele (a), (b), (d), dar nu este inchisa la negatie.
(2) Daca S este subalgebra Boole a lui (B, ∧, ∨, − , 0, 1), atunci (S, ∧, ∨, − , 0, 1)
este algebra Boole, unde am notat tot cu ∧, ∨, − restrictiile operatiilor din B la S.
Exemple 1.5.3
(1) Daca B = (B, ∧, ∨, − , 0, 1) este o algebra Boole, atunci L2 = {0, 1} ⊂ B este
subalgebra a lui B.
(2) Daca B este o algebra Boole, atunci LN 2 este subalgebra a lui B .
N
(3) Daca X este un spatiu topologic, atunci algebra Boole B(X) a partilor lui
X care sunt simultan inchise si deschise este subalgebra a lui P(X).
(4) L32 = L2 × L2 × L2 = {0, a, b, c, d, e, f, 1} are urmatoarele subalgebre:
S1 = {0, 1}, S2 = {0, c, d, 1}, S3 = {0, b, e, 1}, S4 = {0, a, f, 1}, S5 = L32 .
Observatii 1.5.6
(i) Fiecare din cele patru axiome (H1) - (H4) este implicata de celelalte trei.
De exemplu, (H4) este implicata de (H1) - (H3): intr-adevar, S 6= ∅ inseamna ca
exista x ∈ S, deci x− ∈ S si deci x ∧ x− = 0 ∈ S si x ∨ x− = 1 ∈ S.
(ii) Un morfism boolean f : A −→ B verifica urmatoarele proprietati legate de
implicatia si echivalenta booleana: pentru orice x, y ∈ A,
f (x →A y) = f (x) →B f (y), f (x ↔A y) = f (x) ↔B f (y).
(iii) Orice morfism de algebre Boole este o aplicatie izotona (pastreaza ordinea),
adica,
x ≤A y ⇒ f (x) ≤B f (y).
Intr-adevar, x ≤A y ⇔ x ∨A y = y implica f (x ∨A y) = f (y) = f (x) ∨B f (y), adica
f (x) ≤B f (y).
34 CHAPTER 1. ALGEBRE BOOLE
Dem. Imediat. 2
Exercitii 1.5.9
(1) Sa se determine (eventual printr-un program) toate automorfismele lui Ln2 ,
n ≥ 2.
(2) Sa se determine toate morfismele booleene de tipul: (a) f : L32 −→ L2 , (b)
f : L32 −→ L22 , (c) f : L22 −→ L32 , (d) f : L32 −→ L32 .
Dem.
(1) ⇒ (2): Daca f (x) ≤ f (y), atunci f (x ∧ y) = f (x) ∧ f (y) = f (x), deci x ∧ y = x,
de unde x ≤ y. Este evident ca x ≤ y ⇒ f (x) ≤ f (y).
(2) ⇒ (1): Daca F (x) = f (y), atunci f (x) ≤ f (y) si f (y) ≤ f (x), de unde x ≤ y si
y ≤ x; rezulta x = y. 2
Lema 1.5.12 Fie f : A −→ B un morfism boolean. Sunt echivalente afirmatiile:
(1) f este injectiv,
(2) f −1 (0) = {0},
(3) f −1 (1) = {1}.
Dem.
(1) ⇒ (3): f (x) = 1 = f (1) implica x = 1.
(3) ⇒ (1): f (x) ≤ f (y) implica f (x → y) = f (x) → f (y) = 1 implica x → y = 1
implica x ≤ y. Aplicand Lema 1.5.11, rezulta ca f este injectiv.
(1) ⇐⇒ (2) se demonstreaza analog. 2
Observatii 1.5.13
(i) Fie A, B doua inele Boole si β(A), β(B) algebrele Boole asociate. Daca
f : A −→ B este un morfism de inele unitare, atunci
Observatii 1.6.2
(i) Din (F2) rezulta ca 1 ∈ F , deoarece orice x ∈ F verifica x ≤ 1.
(ii) Pentru orice elemente x, y ∈ B, x, y ∈ F daca si numai daca x ∧ y ∈ F .
36 CHAPTER 1. ALGEBRE BOOLE
Observatii 1.6.3
(i’) Din (F2’) rezulta ca 0 ∈ I, deoarece orice x ∈ I verifica x ≥ 0.
(ii’) Pentru orice elemente x, y ∈ B, x, y ∈ I daca si numai daca x ∨ y ∈ I.
Observatii 1.6.5
(i) Conditia (C1) sau (C2) rezulta din celelalte doua.
(ii) Daca ∼ este o congruenta a lui B, atunci:
(C4) x ∼ y, x0 ∼ y 0 implica (x → x0 ) ∼ (y → y 0 ),
(C5) x ∼ y, x0 ∼ y 0 implica (x ↔ x0 ) ∼ (y ↔ y 0 ).
Dem.
• Fiecarui filtru F al lui B = (B, ∨, ∧, − , 0, 1) ii asociem urmatoarea relatie
binara, ∼F , definita astfel: pentru orice x, y ∈ B,
x ∼F y ⇔ x ↔ y ∈ F.
Sa observam ca x ↔ y ∈ F ⇔ (x → y ∈ F si y → x ∈ F ).
- Sa demonstram ca ∼F este o relatie de echivalenta pe B si ca este o congruenta
a lui B.
Aratam intai ca ∼F este o relatie de echivalenta pe B:
Pentru orice x ∈ B, x ∼F x rezulta din x ↔ x = 1 ∈ F .
Pentru orice x, y ∈ B, x ∼F y implica y ∼F x deoarece x ↔ y = y ↔ x.
Pentru orice x, y, z ∈ B care verifica x ∼F y and y ∼F z, deci x → y ∈ F ,
y → x ∈ F , y → z ∈ F , z → y ∈ F , trebuie sa aratam ca x ∼F z.
Sa stabilim inegalitatea
(x → y) ∧ (y → z) ≤ x → z,
1.6. FILTRE (IDEALE) SI CONGRUENTE. ALGEBRE BOOLE CAT 37
Φ : FB −→ CB si Ψ : CB −→ FB ,
Ψ(Φ(F )) = F si Φ(Ψ(∼)) =∼ .
Sa observam ca F 7→ ∼F 7→ F ∼F si ∼ 7→ F ∼ 7→ ∼F ∼ .
Atunci,
F ∼F = {x | x ∼F 1} = {x | x ↔ 1 ∈ F } = {x | x ∈ F } = F.
x/F = {y ∈ B | y ∼F x}.
Fie B/F = B/∼F multimea cat, adica multimea tuturor claselor de echivalenta:
Conform proprietatilor congruentei ∼F , cele trei operatii sunt bine definite (adica
nu depind de reprezentantii claselor).
Sa definim de asemenea elementele 0/F = {x ∈ B | x ∼F 0} ∈ B/F si 1/F =
{x ∈ B | x ∼F 1} ∈ B/F . Atunci avem urmatorul rezultat:
Propozitia 1.6.8 Structura (B/F, ∨, ∧, − , 0/F, 1/F ) este o algebra Boole, numita
algebra Boole cat a lui B prin filtrul F .
Dem.
(1): Usor.
(2): Notam F = f −1 (1) si definim functia g : B/F −→ f (B), pentru orice
x ∈ B, prin:
g(x/F ) = f (x).
Definitia lui g nu depinde de reprezentanti: x/F = y/F implica x ↔ y ∈ F implica
f (x) ↔ f (y) = f (x ↔ y) = 1 implica f (x) = f (y).
O verificare simpla arata ca g este morfism boolean. Conform implicatiilor:
g(x/F ) = 1 implica f (x) = 1 implica x ∈ F implica x/F = 1/F ,
rezulta ca g este injectiva. Surjectivitatea lui g este evidenta. 2
Exercitiu 1.6.12 Fie F, G doua filtre ale lui B astfel incat F ⊆ G. Atunci, G/F =
{x/F | x ∈ G} este un filtru al lui B/F si algebrele Boole (B/F )/(G/F ) si B/G
sunt izomorfe.
Dem. Fie F multimea din dreapta. Aratam ca F este filtru. Daca a, b ∈ F , atunci
exista x1 , . . . , xn , y1 , . . . , ym ∈ X astfel incat x1 ∧ . . . ∧ xn ≤ a, y1 ∧ . . . ∧ ym ≤ b.
Rezulta x1 ∧ . . . xn ∧ y1 ∧ . . . ∧ ym ≤ a ∧ b, deci a ∧ b ∈ F . Axioma (F2) este evident
verificata. Se observa ca X ⊆ F . Presupunem ca G este un filtru ce include pe X.
Daca a ∈ F , atunci exista x1 , . . . , xn ∈ X astfel incat x1 ∧ . . . ∧ xn ≤ a. Atunci
x1 , . . . , xn ∈ G, deci x1 ∧ . . . ∧ xn ∈ G, de unde a ∈ G. A rezultat F ⊆ G. Deci,
[X) = F . 2
Vom nota cu [x) filtrul generat de {x}; [x) se va numi filtrul principal generat
de x.
40 CHAPTER 1. ALGEBRE BOOLE
Lema 1.6.19 Intr-o algebra Boole finita orice filtru este principal.
Scopul acestei sectiuni este de a demonstra ca orice algebra Boole este izomorfa
cu o algebra Boole ale carei elemente sunt parti ale unei multimi. Acest rezul-
tat ocupa un loc central in teoria algebrelor Boole si are numeroase aplicatii in
logica, topologie, calculul probabilitatilor, etc. Instrumentul principal folosit in
demonstratie va fi conceptul de ultrafiltru.
Fie B = (B, ∨, ∧, − , 0, 1) o algebra Boole.
Definitie 1.7.1 Un filtru F al lui B este propriu daca F 6= B.
Exemple 1.7.4
(1) Daca X este o multime nevida si x ∈ X, atunci Ux = {A ⊆ X | x ∈ A} este
un ultrafiltru in P(X).
(2) Daca B = Ln2 si e1 = (1, 0, . . . , 0), e2 = (0, 1, . . . , 0), . . . , en = (0, . . . , 0, 1),
atunci filtrele principale [e1 ), [e2 ), . . . , [en ) sunt ultrafiltrele lui B.
1.7. TEOREMA DE REPREZENTARE A LUI STONE 41
Exercitiu 1.7.9 Un filtru propriu F este ultrafiltru daca si numai daca pentru
orice x, y ∈ B, avem x → y ∈ F sau y → x ∈ F .
d(x) = {U ∈ X | x ∈ U }.
U ∈ d(x ∧ y) ⇐⇒ x ∧ y ∈ U
⇐⇒ x ∈ U si y ∈ U (U este filtru)
⇐⇒ U ∈ d(x) si U ∈ d(y)
⇐⇒ U ∈ d(x) ∩ d(y).
U ∈ d(x− ) ⇐⇒ x− ∈ U
⇐⇒ x 6∈ U (Propozitia 1.7.8 (iii))
⇐⇒ U 6∈ d(x)
⇐⇒ U ∈ Cd(x) .
Am demonstrat ca:
d(x ∨ y) = d(x) ∪ d(y); d(x ∧ y) = d(x) ∩ d(y); d(x− ) = Cd(x) ,
ceea ce arata ca d este un morfism boolean. Daca x 6= 0, atunci exista un ultrafiltru
U astfel incat x ∈ U (Corolarul 1.7.6), deci U ∈ d(x) si d(x) 6= ∅. Am aratat ca
d(x) = ∅ implica x = 0, deci d−1 (∅) = {0}. Aplicand Lema 1.5.12, d este injectiv.
2
Cum P(X) si LX 2 sunt algebre Boole izomorfe, teorema de reprezentare a lui
Stone capata si urmatoarea forma:
Teorema 1.7.11 Pentru orice algebra Boole, exista o multime nevida si un mor-
fism boolean injectiv d : B −→ LX
2 .
Observatii 1.7.13
(1) Teorema 1.7.10 reduce calculul boolean intr-o algebra Boole oarecare la
calculul cu multimi.
(2) Teorema 1.7.11 reduce calculul boolean intr-o algebra Boole oarecare la:
(a) intai, la calculul in LX
2 ,
(b) apoi, calculul in LX2 se reduce la calculul in L2 (operatiile se fac pe componente).
Exemplu 1.8.4 Daca B este atomica, atunci multimea {ai }i∈I a atomilor lui B
formeaza o partitie. Conditia (2) este data de Propozitia 1.8.3, iar (1) rezulta direct
din definitia atomului.
Fie a 6= 0 in B. Notam
B(a) = {x ∈ B | x ≤ a}.
Observam ca B(a) este inchisa la ∨ si ∧. Pentru orice x ∈ B(a), notam x∼ = x− ∧a,
introducand astfel o operatie unara ∼ pe B(a).
44 CHAPTER 1. ALGEBRE BOOLE
f (x) = (x ∧ a1 , . . . , x ∧ an ).
Atunci,
(a) f este injectiva ⇐⇒ ∨ni=1 ai = 1,
(b) f este surjectiva ⇐⇒ ai ∧ aj = 0, pentru orice i 6= j,
(c) f este bijectiva ⇐⇒ {a1 , . . . , an } este o partitie,
(d) f este morfism boolean.
Dem.
(a) =⇒: Din f (∨ni=1 ai ) = (a1 , . . . , an ) = f (1) rezulta ∨ni=1 ai = 1.
⇐=: Presupunem ∨ni=1 ai = 1. Atunci,
f (x) = f (y) implica x ∧ ai = y ∧ ai , i = 1, . . . , n, implica
x = x ∧ (∨ni=1 ai ) = ∨ni=1 (x ∧ ai ) = ∨ni=1 (y ∧ ai ) = y ∧ (∨ni=1 ai ) = y,
deci f este injectiva.
(b) =⇒: Fie i, j ∈ I distincti; notam c = ai ∧ aj si definim
c, daca k = i
xk = c− ∧ aj , daca k = j
0, daca k 6= i, j.
Propozitia 1.8.8 Daca B este o algebra Boole finita, atunci exista un numar nat-
ural n astfel incat B si Ln2 sunt izomorfe.
1.9. DUALITATEA ALGEBRELOR BOOLE 45
Dem. Daca B este finita, atunci B este Q atomica. Fie a1 , . . . , an atomii lui B. Cum
{a1 , . . . , an } este o partitie, avem B ∼
n
= i=1 B(ai ). Daca a este un atom, atunci
B(ai ) = {0, a}, deci B(ai ) = L2 , pentru orice i = 1, . . . , n. Am obtinut B ∼
∼ = Ln2 . 2
Corolar 1.8.9 Doua algebre Boole finite, de acelasi ordinal, sunt izomorfe.
Dem. Daca B1 ∼
= B2 si B1 ∼
= Ln2 , B2 ∼
= Lm ∼
2 , atunci n = m si B1 = B2 . 2
Dem.
(1) =⇒ (2): Analog cu demonstratia Propozitiei 1.8.8, aplicandu-se Propozitia
1.8.10.
(2) =⇒ (1): P(X) este completa si atomica. 2
d(F ) = {P ∈ Spec(B) | F ⊆ P }.
Propozitia 1.9.2 {d(F ) | F ∈ F(B)} este familia multimilor inchise ale unei
topologii pe B.
Daca Boole este categoria algebrelor Boole si SBoole este categoria spatiilor
booleene si a functiilor continue, atunci asocierea B 7→ Spec(B), f 7→ Spec(f )
defineste un functor contravariant Spec : Boole −→ SBoole.
Fie acum X un spatiu boolean si T (X ) algebra Boole a partilor inchise si
deschise ale lui X . Daca g : X −→ Y este un morfism din SBoole (= apli-
catie continua), atunci consideram functia T (g) : T (Y ) −→ T (X), definita de
T (g)(D) = g −1 (D), pentru orice D ∈ T (Y ). Asocierea X 7→ T (X ), g 7→ T (g)
defineste un functor contravariant T : SBoole −→ Boole. 2
Propozitia 1.9.9 Pentru orice B ∈ Boole, algebrele Boole B si T (Spec(B)) sunt
izomorfe.
Dem. Consideram morfismul lui Stone dB : B −→ T (Spec(B)) (x 7→ dB (x)). dB
este un morfism boolean injectiv. A ramas de aratat surjectivitatea lui dB .
Fie D ∈ T (Spec(B)), deci D este o parte a lui Spec(B) inchisa si deschisa. Cum
D este inchisa in spatiul Spec(B) compact si separat, rezulta ca D este compacta.
D fiind deschisa si {dBS
(x) | x ∈ B} fiind baza a lui Spec(B), exista o familie (xi )i∈I
in B astfel incat D = i∈I dA (xi ). Atunci, exista J ⊆ I finita, astfel incat
[ _
D= dA (xi ) = dB ( xi )
i∈J i∈J
si dB este surjectiv. 2
48 CHAPTER 1. ALGEBRE BOOLE
ϕ−1
X (d(D)) = {x | Ux ∈ d(D)} = {x | D ∈ Ux } = {x | x ∈ D} = D.
Daca a ∈ A, atunci
a ∨ x = [a ∧ (b ∧ b− )] ∨ x = (a ∧ b) ∨ (a ∧ b− ) ∨ (a1 ∨ b) ∨ (a2 ∨ b− ) =
x− = (a− − − − − − − −
1 ∨ b ) ∧ (a2 ∨ b) = (a1 ∧ a2 ) ∨ [(a1 ∧ b) ∨ (a2 ∧ b )] ∈ A(b),
deoarece a− − − − −
1 ∧a2 ∈ A si (a1 ∧b)∨(a2 ∧b ) ∈ A(b). Rezulta ca A(b) este subalgebra
si restul demonstratiei este evident. 2
implica
[h(a1 ) ∧ c] ∨ [h(a2 ) ∧ c− ] = [h(a01 ∧ c] ∨ [h(a02 ) ∧ c− ].
Inegalitatea:
implica inegalitatile:
deci
h∼ (x ∨ y) = [h(a1 ∨ a01 ) ∧ c] ∨ [h(a2 ∨ a02 ) ∧ c− ]
= [(h(a1 ) ∨ h(a01 )) ∧ c] ∨ [(h(a2 ) ∨ h(a02 )) ∧ c− ]
= [(h(a1 ) ∧ c) ∨ (h(a2 ) ∧ c− )] ∨ [(h(a01 ) ∧ c) ∨ (h(a2 ) ∧ c− )]
= h∼ (x) ∨ h∼ (y).
Rezulta ca h∼ (x1 ∨ . . . ∨ xn ) = h∼ (x1 ) ∨ . . . ∨ h∼ (xn ) pentru orice x1 , . . . , xn ∈ A(b).
Observand ca
x− = (a− − − −
1 ∧ a2 ) ∨ (a1 ∧ b) ∨ (a2 ∧ b )
−
vom avea
h∼ (x− ) = h∼ (a− − ∼ − ∼ −
1 ∧ a2 ) ∨ h (a1 ∧ b) ∨ h (a2 ∧ b )
−
Definitie 1.10.4 O algebra Boole C se numeste injectiva daca pentru orice algebra
Boole B, pentru orice subalgebra A a lui B si pentru orice morfism boolean f : A −→
C, exista un morfism boolean g : B −→ C care extinde pe f :
52 CHAPTER 1. ALGEBRE BOOLE
A ⊆ B
B £
fB £ g
B £
BBN £
£°
C
Propozitia 1.10.5 (Sikorski)
Orice algebra Boole completa C este injectiva.
A ⊆ B
B
fB
B
B
BN
P C
Fie multimea perechilor (D, h) astfel incat D este subalgebra a lui B care
include pe A si h : D −→ C este un morfism boolean care extinde pe f :
A ⊆ D ⊆ B
Z
Z h
f ZZ
~ ?
C
P
Daca (D, h), (E, u) ∈ , definim (D, h) ¹ (E, u) daca urmatoarea diagrama
este comutativa:
A ⊆ E D ⊆ ⊆ B
Z ½
Z h ½
f Z~
Z ?
½
= u
½
C
P
Se demonstreaza usor ca ( , ¹) este inductiv ordonata, deci, conform axiomei
lui Zorn, admite un element maximal (D, h). Presupunem ca D 6= B, deci exista
a ∈ B \ D. Consideram D(a) si aplicam Propozitia 1.10.3: exista un morfism
boolean h∼ : D(a) −→ C care extinde pe h. Aceasta contrazice maximalitatea lui
(D, h), ceea ce arata ca D = B. 2
f -
C B
Z ½
Z ½
1CZZ
~
½
½ g
=
C
Calculul propozitiilor
(Prezentare neformalizata)
2.1 Propozitiile
Definitie 2.1.1 Un enunt este un text lingvistic care se refera la un anumit dome-
niu U , numit univers al discursului si exprima o proprietate a unui obiect ( sau a
unui grup de opbiecte) din universul respectiv.
Subiectul (subiectele) enuntului exprima obiectul (obiectele).
Partea predicativa a enuntului exprima proprietatea.
Definitie 2.1.2 Propozitia este enuntul cu sens, in care toate subiectele sunt de-
terminate.
Vom nota propozitiile cu p, q, r, s, t, . . ..
Vom nota cu P0 multimea propozitiilor initiale, date, primitive. Din propozitiile
date in P0 se construiesc propozitii noi, compuse, cu ajutorul operatorilor logici,
propozitionali (= conectorilor logici, propozitionali): ¬, ∨, ∧, →, ↔. Astfel,
pentru p, q propozitii, avem urmatoarele definitii.
Definitie 2.1.3 Se numeste negatia propozitiei p, si se noteaza : ¬p (se citeste
”non p”), propozitia care afirma proprietatea contrara celei exprimate de p si care
se construieste lingvistic din p prin intercalarea particulei negative ”nu” in fata
partii predicative a lui p.
55
56 CHAPTER 2. CALCULUL PROPOZITIILOR (PREZ. NEFORMALIZATA)
Observatii 2.1.8
1) Implicatia si echivalenta se definesc cu ajutorul operatorilor propozitionali
¬, ∨, ∧.
2) Operatorii propozitionali afecteaza partea predicativa a enunturilor, nu si
subiectul (subiectele).
3) Obiectul de studiu al calculului propozitiilor este multimea P a tuturor
propozitiilor, care se obtin plecand de la propozitiile din P0 si aplicand repetat,
in toate modurile posibile, conectorii logici ¬, ∨, ∧, →, ↔. Mai exact spus,
multimea P se defineste prin recurenta astfel:
(R1) Daca p ∈ P0 , atunci p ∈ P .
(R2) Daca p, q ∈ P , atunci ¬p, p ∨ q, p ∧ q, p → q, p ↔ q ∈ P .
(R3) Orice propozitie p ∈ P se obtine aplicand regulile (R1) si (R2) de un
numar finit de ori.
Observatii 2.2.1
1) Ipoteza este ca fiecare propozitie are o valoare de adevar. Este clar ca
propozitiile interogative (”Ce mai faci ? etc. ), cele exclamative (”Ce frumos
este afara!” etc.) precum si cele imperative (”Fii atent!” etc.) nu au valoare
2.2. VALOREA DE ADEVAR A UNEI PROPOZITII 57
Definitie 2.2.2 O propozitie este adevarata daca si numai daca starea de fapt
descrisa de propozitie are loc.
Definitie 2.2.4 Propozitia p ∨ q este adevarata daca si numai daca cel putin una
din propozitiile p, q este adevarata. Rezulta ca p ∨ q este falsa daca si numai daca
ambele propozitii p, q sunt false.
Definitie 2.2.5 Propozitia p∧q este adevarata daca si numai daca ambele propoz-
itii p, q sunt adevarate. Rezulta ca p ∧ q este falsa daca si numai daca cel putin
una din propozitiile p, q este falsa.
v0 : P0 −→ {0, 1}
Din tabelele (1), (2) si (3), (4), se vede ca functia v : P −→ L2 este un homo-
morfism (adica pentru orice p, q ∈ P , v(¬p) = ¬L2 v(p), v(p ∨ q) = v(p) ∨L2 v(q),
si v(p ∧ q) = v(p) ∧L2 v(q); it follows that v(p → q) = v(p) →L2 v(q) si v(p ↔ q) =
v(p) ↔L2 v(q)). Se observa ca v este surjectiv, dar nu este injectiv.
Propozitia 2.2.7 Structura L2 = (L2 = {0, 1}, ∨L2 , ∧L2 , ¬L2 , 0, 1) este o algebra
Boole, numita algebra Boole canonica.
Demonstratie. Rutina. 2
Definitie 2.2.8
O propozitie compusa p ∈ P care este adevarata independent de valorile de
adevar ale propozitiilor componente se numeste propozitie universal adevarata sau
tautologie.
O propozitie compusa p ∈ P care este falsa independent de valorile de adevar
ale propozitiilor componente se numeste contradictie sau antilogie.
60 CHAPTER 2. CALCULUL PROPOZITIILOR (PREZ. NEFORMALIZATA)
p ∧ ¬p principiul contradictiei.
Exemple 2.2.10 Exemple de tautologii Vom grupa unele exemple in grupe sau
sisteme de tautologii, notate A1 , A2 , A3 , A4 , A5 , sisteme corespunzatoare celor
mai utilizate sisteme de axiome ale sistemului formal al calculului propozitiilor.
Sa notam cu O propozitia p∧¬p si cu I propozitia p∨¬p, pentru p ∈ P . Atunci,
(R1) (p ∨ p) → p,
(R2) p → (p ∨ q),
(R3) p ∨ q → q ∨ p,
(R4) (p → q) → [(r ∨ p) → (r ∨ q)].
Atunci obtinem:
2.2. VALOREA DE ADEVAR A UNEI PROPOZITII 63
Dem.
def
1) Let p, q ∈ P , fixate, altfel arbitrare; p ∼ q ⇔ v(p ↔ q) = 1; atunci avem:
v(p) v(q) v(¬p) v(¬q) v(p ∨ ¬p) v(q ∨ ¬q) v((p ∨ ¬p) ↔ (q ∨ ¬q))
0 0 1 1 1 1 1
0 1 1 0 1 1 1
1 0 0 1 1 1 1
1 1 0 0 1 1 1
_ ^ _ def _
p q = p ∧ q,
_
def _
N EG p = ¬p .
Aceste trei operatii sunt bine definite (adica nu depind de reprezentantii alesi ai
claselor), cf. Propozitiei 2.2.12(1),(2). Sa consideram, de asemenea, urmatoarele
elemente remarcabile din P/∼ (cf. Propozitiei 2.2.12(3)):
_ def
I = {p ∨ ¬p | p ∈ P }
si
_ def
O = {p ∧ ¬p | p ∈ P }.
Obtinem atunci urmatoarea
W V _ _
Teorema 2.2.14 Structura (P/∼, , , N EG, O , I ) este o algebra Boole.
_ _ _
Proof. Trebuie sa demonstram ca, pentru orice p , q , r ∈ P/∼:
_W_ _ _V_ _
(B1) p p=p, p p=p,
_W _ _W_ _V _ _V_
(B2) p q=q p, p q=q p,
_W _W _ _W _ W _ _V _V _ _V _ V _
(B3) p ( q r )=( p q ) r , p (q r) = (p q) r,
2.2. VALOREA DE ADEVAR A UNEI PROPOZITII 65
_W _V _ _ _V _W _ _
(B4) p ( p q ) =p, p (p q ) =p,
_W _V _ _W _ V _W _ _V _W _ _V _ W _V _
(B5) p ( q r) = (p q ) (p r ), p ( q r) = (p q ) (p r
),
_W _ _ _V _ _
(B6) p O= p , p I =p,
_W _ _ _V _ _
(B7) p N EG p = I , p N EG p =O .
We shall prove the first of (B1):
_ _ _ _def W _ _def. egal. claselor def ∼
p p = p ⇔ p ∨ p= p ⇔ p ∨ p ∼ p ⇔ p ∨ p ↔ p este o tautologie,
ceea ce este adevarat, conform primei tautologii (P1) din sistemul A1 de tautologii.
Restul proprietatilor se demonstreaza folosind, similar, restul tautologiilor din
A1 . 2
_ _
Daca in algebra Boole P/∼ consideram submultimea P2 = {O , I }, atunci struc-
tura _ ^ _ _
(P2 , , , N EG, O , I )
este o subalgebra a algebrei Boole P/∼, deci este la randul ei o algebra Boole, si
anume o algebra Boole cu doua elemente (deci izomorfa cu algebra Boole canonica,
L2 ).
_ _ W V
Daca facem asocierile: O - F ALSE, I - T RU E, - OR, - AN D, N EG -
N OT , atunci obtinem algebra Boole cu doua elemente,
Calculul predicatelor
(Prezentare neformalizata)
3.1 Predicatele
Definitie 3.1.1 Predicatul este enuntul care are printre subiectele sale cel putin
unul care este nedeterminat. Un subiect nedeterminat se numeste variabila libera.
Exemple 3.1.2 1) Enunturile ”Socrate este muritor”, ”Platon este muritor” sunt
propozitii, adevarate, iar enuntul ”x este muritor” este un predicat unar, pe care-l
vom nota cu ”muritor(x)” sau cu P (x).
2) Enunturile ”3 < 5”, ”10 < 5” sunt propozitii, prima adevarata, a doua falsa,
iar enuntul ”n < 5” este un predicat unar, pe care-l vom nota Q(n).
3) Enunturile ”2 ≤ 3”, ”5 ≤ 1” sunt propozitii, prima adevarata, a doua falsa,
iar enuntul ”x ≤ y” este un predicat binar, pe care-l vom nota cu F (x, y).
67
68 CHAPTER 3. CALCULUL PREDICATELOR (PREZ. NEFORMALIZATA)
Observatii 3.1.3 1) Daca P este un predicat care contine, de exemplu, trei vari-
abile libere, atunci, in functie de situatie, putem pune in evidenta una, doua sau
toate trei variabilele, sau chiar niciuna, in care caz se scrie respectiv:
Exemple 3.1.5
(1) Daca P (x) ≡”x este muritor”, atunci propozitia ”Socrate este muritor” are
sens si este adevarata, iar propozitia ”Numarul 5 este muritor” nu are sens. Deci,
D este multimea oamenilor sau multimea animalelor.
(2) Daca Q(x) ≡ ”n < 5”, atunci propozitia ”10 < 5” are sens si este falsa, iar
propozitia ”Socrate < 5” nu are sens. Deci, D este N sau Q sau <.
Qn
(sau, echivalent, cu (x1 , x2 , . . . , xn ) ∈ i=1 Di )
daca pentru orice obiecte ai ∈ Di , i = 1, n Qn
(sau, echivalent, pentru orice tuplu de obiecte (a1 , a2 , . . . , an ) ∈ i=1 Di )
avem ca P (a1 , a2 , . . . , an ) este o propozitie cu sens, adevarata sau falsa. Vom spune
in acest caz ca predicatul P este plurisort (cu mai multe sorturi).
Observatii 3.1.7
(1) Multimea de obiecte D (multimile de obiecte D1 , D2 , . . . , Dn ) depinde
(depind) de P :
D = DP (D1 = D1P , . . . Dn = DnP ).
(2) Semnul ≡ din scrierea: P (x) ≡ ”x este muritor” inseamna ca P (x) este o
notatie pentru ”x este muritor”.
Predicat partial
Definitie 3.1.8 Fie P (x1 , x2 , x3 , . . . , xn ) un predicat n-ar (n > 1). Daca fixam
(precizam) variabilele x2 , x3 , . . . , xn intr-un mod oarecare (de exemplu, prin in-
locuirea lor cu obiectele a2 , a3 , . . . , an din multimea (multimile) de obiecte a (ale)
lui P ), atunci enuntul obtinut, P (x1 , a2 , a3 , . . . , an ), este un predicat unar, conti-
nand doar variabile x1 , care se numeste predicatul partial in raport cu x1 obtinut
din P prin fixarea variabilelor x2 , x3 , . . . , xn .
Observatii 3.1.9
(1) Cuantificatorii lucreaza asupra subiectului (subiectelor) unui enunt.
(2) Prin cuantificare predicatului unar P (x), numarul locurilor libere din
enuntul astfel obtinut s-a redus la 0. Deci, enunturile (∀x)P (x) si (∃x)P (x)
sunt propozitii, in care x se numeste variabila legata. Deci, cuantificarea
este a doua modalitate de trecere de la predicate la propozitii.
(3) Cuantificatorii ∀ si ∃ nu sunt independenti (dupa cum nici ∨ si ∧ nu sunt
independenti).
(2) Fie acum P (x, y) si Q(x, y) doua predicate binare (sau unul unar si celalalt
binar).
Constructiile lingvistice ale enunturilor:
¬P (x, y), P (x, y) ∨ Q(x, y), P (x, y) ∧ Q(x, y), P (x, y) → Q(x, y), P (x, y) ↔
Q(x, y)
sunt evidente. Toate aceste enunturi sunt predicate.
Constructiile lingvistice ale enunturilor:
(a) (∀x)P (x, y), (∀y)P (x, y), (∃x)P (x, y), (∃y)P (x, y),
(b) (∀x)(∀y)P (x, y), (∀x)(∃y)P (x, y), (∃x)(∀y)P (x, y), (∃x)(∃y)P (x, y),
(∀y)(∀x)P (x, y), (∀y)(∃x)P (x, y), (∃y)(∀x)P (x, y), (∃y)(∃x)P (x, y)
sunt evidente, cele grupate in (a) fiind predicate, cele grupate in (b) fiind
propozitii.
Observatii 3.1.10
(1) Fie P (x1 , x2 , . . . , xn ) un predicat n-ar (n > 1). Prin o cuatificare , numarul
locurilor libere din predicat scade cu o unitate. Deci, enunturile:
(∀x1 )P (x1 , x2 , . . . , xn ), (∃x1 )P (x1 , x2 , . . . , xn ), (∀x2 )P (x1 , x2 , . . . , xn ), (∃x2 )P (x1 , x2 , . . . , xn )
s.a.m.d. sunt predicate (n − 1)-are, enunturile:
(∀x1 )(∀x2 )P (x1 , x2 , . . . , xn ),
(∀x1 )(∃x2 )P (x1 , x2 , . . . , xn ),
(∃x1 )(∀x2 )P (x1 , x2 , . . . , xn ),
(∃x1 )(∃x2 )P (x1 , x2 , . . . , xn )
s.a.m.d. sunt predicate (n − 2)-are, s.a.m.d., iar enunturile:
(∀x1 )(∀x2 ) . . . (∀xn )P (x1 , x2 , . . . , xn ),
(∀x1 )(∀x2 ) . . . (∃xn )P (x1 , x2 , . . . , xn ),
..........................................................................
(∃x1 )(∃x2 ) . . . (∃xn )P (x1 , x2 , . . . , xn ),
s.a.m.d. sunt predicate 0-are, adica sunt propozitii.
Variabila care apare langa un cuantificator (= aflata in aria de cuprindere a unui
cuantificator) dispare din predicat, nu mai este libera, ci legata. Evident, aceeasi
variabila nu poate fi legata de mai multe ori intr-un predicat.
3.1. PREDICATELE 71
D = {a1 , a2 , . . . , an },
atunci
(∀x)P (x) ↔ P (a1 ) ∧ P (a2 ) ∧ . . . ∧ P (an ),
Conventii de scriere
(1) Vom scrie: (∀x)P (x) in loc de: ∀xP (x) si vom scrie: (∃x)P (x) in loc de:
∃xP (x). Dar scrierea: (∀)xP (x) este gresita, ca si scrierea: (∃)xP (x).
(2) Pentru a usura scrierea unei propozitii complexe vom presupune urmatoarele:
h este atunci adevarata daca si numai daca h1 este adevarata si h2 este adevarata.
Sa notam p ≡ ”(∀x)P (x)”.
• Sa aratam ca propozitia h1 este adevarata:
- daca propozitia p este adevarata, atunci h1 este adevarata;
- daca propozitia p este falsa, atunci predicatul P (x) este fals sau ambivalent;
rezulta ca predicatul ¬P (x) este adevarat sau ambivalent; deci propozitia (∃x)[¬P (x)]
este adevarata; rezulta ca h1 este adevarata.
• Sa aratam ca propozitia h2 este adevarata:
- daca propozitia p este adevarata, atunci predicatul P (x) este adevarat; atunci
predicatul ¬P (x) este fals; deci propozitia (∃x)[¬P (x)] este falsa; rezulta ca propozi-
tia ¬[(∃x)(¬P (x))] este adevarata si, deci, h2 este adevarata;
- daca propozitia p este falsa, atunci propozitia ¬p este adevarata si deci h2 este
adevarata.
Deci, h este adevarata intotdeauna.
(2) Fie P (x) un predicat unar oarecare. Sa se demonstreze ca predicatul urmator
este adevarat:
H(y) ≡ ”[(∀x)P (x) → P (y)”.
Dem.
Conform definitiei, predicatul H(y) este adevarat daca si numai daca, pentru
orice obiect a ∈ DH (DH este domeniul lui H), H(a) este o propozitie adevarata.
Fie atunci a ∈ DH un obiect oarecare, fixat, altfel arbitrar; sa aratam ca H(a) este
o propozitie adevarata:
Dem.
h ↔ ¬[(∀x)(¬p ∨ Q(x))] ∨ [¬p ∨ (∀x)Q(x)]
(∃x)[¬(¬p ∨ Q(x))] ∨ [¬p ∨ (∀x)Q(x)]
↔ (∃x)[p ∧ ¬Q(x)] ∨ [¬p ∨ (∀x)Q(x)],
conform primului exercitiu, faptului ca ¬¬p ↔ p si conform legilor De Morgan.
74 CHAPTER 3. CALCULUL PREDICATELOR (PREZ. NEFORMALIZATA)
- Daca p este falsa, atunci ¬p este adevarata si deci h este adevarata. - Daca p
este adevarata, atunci sa notam:
- daca predicatul Q(x) este adevarat, atunci propozitia (∀x)Q(x) este adevarata,
deci h2 este adevarata; rezulta h adevarata;
- daca predicatul Q(x) este fals, atunci predicatul ¬Q(x) este adevarat; rezulta ca
p ∧ ¬Q(x) este un predicat adevarat, de unde obtinem ca h1 este adevarata, deci h
este adevarata;
- daca predicatul Q(x) este ambivalent, atunci predicatul ¬Q(x) este ambivalent;
rezulta ca p ∧ ¬Q(x) este un predicat ambivalent, de unde obtinem ca h1 este
adevarata, deci h este adevarata.
Deci, h este intotdeauna o propozitie adevarata.
Definitie 3.2.4
Se numeste lege logica orice enunt complex (adica format cu ajutorul operatorilor
propozitionali (¬, ∨, ∧, →, ↔) si al cuantificatorilor (∀, ∃) din alte enunturi,
numite enunturi componente) care are proprietatea ca este adevarat independent
de valorile de adevar ale enunturilor componente. O lege logica care se construieste
fara cuatificatori se numeste tautologie. O lege logica in constructia careia intervin
si cuantificatorii nu are un nume special in litaratura de specialitate; noi o vom
numi tautologie cuantificata.
Un enunt complex care este fals, oricare ar fi valorile de adevar ale enunturilor
componente, se numeste it antilogie - daca nu contine cuantificatorii, si it antilogie
cuantificata - daca contine cuantificatorii.
(II):
1. (∀x)P (x) ∨ (∃x)[¬P (x)],
2. (∃x)P (x) ∨ (∀x)[¬P (x)].
(III):
3.2. VALOAREA DE ADEVAR A UNUI PREDICAT 75
(IV):
1. (∀x)P (x) → P (y), (vezi exercitiul 2)
2. P (y) → (∃x)P (x).
(VII):
1. (∀x)[P (x) ∧ Q(x)] ↔ [(∀x)P (x) ∧ (∀x)Q(x)],
2. (∃x)[P (x) ∨ Q(x)] ↔ [(∃x)P (x) ∨ (∃x)Q(x)],
3. (∀x)[P (x) → Q(x)] → [(∀x)P (x) → (∀x)Q(x)],
4. (∀x)[P (x) ↔ Q(x)] → [(∀x)P (x) ↔ (∀x)Q(x)].
(VIII):
1. (∀x)(∀y)P (x, y) ↔ (∀y)(∀x)P (x, y),
2. (∃x)(∃y)P (x, y) ↔ (∃y)(∃x)P (x, y),
3. (∃x)(∀y)P (x, y) → (∀y)(∃x)P (x, y).
Observatie 3.2.7 Toate regulile de deductie sunt consecinte a trei reguli funda-
mentale: ”modus ponens”, ”→ ∀”, ”∃ →”. Se poate arata ca pentru nevoile unei
teorii deductive ne putem rezuma doar la doua reguli: ”modus ponens” si una din
celelalte doua.
In acest capitol este studiat calculul propozitional clasic (L) prin trei dintre di-
mensiunile sale: sintaxa, semantica si algebra. Fiecare dintre cele trei componente
este analizata atat in sine cat si in relatie cu celalte doua. La nivelul acestui ma-
terial, cunoasterea logicii propozitionale este realizata prin relatia ternara stabilita
intre sintaxa, semantica si algebra.
Prima sectiune a capitolului contine cateva exemple de descompunere ale unor
texte in propozitii elementare si reprezentarea lor simbolica cu ajutorul conectorilor
propozitionali ”si”, ”sau” , ”non” si ”implica”. Acest exercitiu de reprezentare
simbolica este o prima sugestie asupra trecerii de la limbajul natural la limbajul
formal al logicii propozitionale.
Constructia lui L ca sistem formal este realizata in Sectiunea 2. Se porneste cu
un alfabet in care apar numai doi conectori primari: implicatia (→) si negatia (¬).
Prin inductie, sunt definite enunturile lui L: ele sunt formatiuni de simboluri ce
traduc propozitii din limbajul natural. Conjunctia (∧), disjunctia (∨) si echivalenta
logica (↔) sunt conectori derivati, definiti cu ajutorul implicatiei si negatiei. Pasul
urmator este imbogatirea limbajului L cu o structura logica. Pornind de la trei
axiome si o singura regula de deductie (modus ponens), se definesc demonstratiile
formale si deductia din ipoteze. La capatul demonstratiilor formale stau teoremele
formale. Subsectiunea 1 cuprinde unele proprietati sintactice ale lui L. Teorema
deductiei este folosita ca instrument principal in stabilirea celor mai importante
teoreme formale. In Subsectiunea 2 este descris modul cum se realizeaza trecerea
de sintaxa lui L la algebra Boole. Factorizand multimea enunturilor lui L printr-o
relatie de echivalenta canonica (definita in termenii echivalentei logice), se obtine
o algebra Boole, numita algebra Lindenbaum-Tarski asociata lui L. Prin aceasta
constructie, conectorii sunt convertiti in operatii booleene, iar stabilirea teoremelor
formale se reduce la un calcul algebric. Din acest moment, se poate urmari cum,
77
78CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZITIONAL (L)
4.1 Introducere
Exemplul 1.
De te-ating, sa feri in laturi
De hulesc, sa taci din gura,
Ce mai vrei cu-a tale sfaturi
Daca stii a lor masura ?
(M. Eminescu, Glossa)
Daca notam:
p1 ≡ ”te-ating”
p2 ≡ ”sa feri in laturi”
q1 ≡ ”hulesc”
q2 ≡ ”sa taci din gura”
r1 ≡ ”ca mai vrei cu-a tale sfaturi”
r2 ≡ ”stii a lor masura”
4.1. INTRODUCERE 79
Exemplul 2.
Imbraca-te in doliu, frumoasa Bucovina
Cu cipru verde-ncinge antica fruntea ta
C-acum din pleiada-ti auroasa si senina
Se stinse un luceafar, se stinse o lumina,
Se stinse-o dalba stea !
(M. Eminescu, La mormantul lui Aron Pumnul)
Daca notam:
p1 ≡ ”imbraca-te in doliu, frumoasa Bucovina”
p2 ≡ ”cu cipru verde-ncinge antica fruntea ta”
q1 ≡ ”acum din pleiada-ti auroasa si senina se stinse un luceafar”
q2 ≡ ”(acum din pleiada-ti auroasa si senina) se stinse o lumina”
q3 ≡ ”(acum din pleiada-ti auroasa si senina) se stinse-o dalba stea”
(q1 ∧ q2 ∧ q3 ) → (p1 ∧ p2 )
Exemplul 3.
Nu era azi, nici maine, nici ieri, nici totdeauna
Caci unul erau toate si totul era una.
(M. Eminescu, Rugaciunea unui dac)
Cu notatiile:
p1 ≡ ”era azi”
p2 ≡ ”(era) maine”
p3 ≡ ”(era) ieri”
p4 ≡ ”(era) dintotdeauna”
q1 ≡ ”unul erau toate”
q2 ≡ ”totul era una”
Exemplul 4.
Ca de-i vreme rea sau buna
Vantu-mi bate, frunza-mi suna
Si de-i vreamea buna, rea
Mie-mi curge Dunarea.
80CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZITIONAL (L)
Notam:
p ≡ ”vremea era rea”
q ≡ ”(vremea) era buna”
p1 ≡ ”vantu-mi bate”
q1 ≡ ”frunza-mi suna”
r ≡ ” mie-mi curge Dunarea”
Exemplul 5.
Timpul mort si-ntinde trupul si devine vesnicie
Caci nimic nu se intampla in intinderea pustie
Si in noaptea nefiintei totul cade, totul tace
Caci in sine impacata reincep-eterna pace.
(M. Eminescu, Scrisoarea I)
Exemplele de mai sus ne dau o idee despre modul in care un text scris in limbaj
natural poate capata o infatisare simbolica in calculul propozitional.
Teza fundamentala a calculului propozitional este existenta a doua valori de
adevar: 1 (= adevarul) si 0 (= falsul). Conectorilor ∧, ∨, ¬, →, ↔ le corespund
operatiile algebrice pe multimea L2 = {0, 1}, notate tot ∧, ∨, ¬, →, ↔ si definite
prin tabele.
Definitie 4.2.3 Se numeste enunt orice cuvant ϕ care verifica una din conditiile
urmatoare:
(i) ϕ este o variabila propozitionala,
(ii) exista un enunt ψ astfel incat ϕ = ¬ψ,
(iii) exista enunturile ψ, χ astfel incat ϕ = ψ → χ.
Variabilele propozitionale se vor numi enunturi atomice sau elementare.
Vom nota cu E multimea enunturilor.
Observatie 4.2.4 Definitia conceptului de enunt este data prin inductie. Momen-
tul initial al definitiei prin inductie este dat de conditia (i), iar trecerea ”de la k la
k + 1” este asigurata de (ii) si (iii).
82CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZITIONAL (L)
Observatii 4.2.5
(1) In prezentarea sistemului formal al calculului propozitional am considerat
negatia si implicatia drept conectori primitivi (initiali). Conectorii derivati ∨ (sau),
∧ (si), ↔ (echivalent) au fost introdusi prin prezentarile de mai sus.
(2) Exista prezentari ale sistemului formal al calculului propozitional (echiva-
lente cu cea mai de sus) care folosesc alti conectori primitivi.
Definitie 4.2.7 O teorema formala sau pe scurt teorema este un enunt ϕ care
verifica una din conditiile urmatoare:
(T1) ϕ este o axioma,
(T2) exista un enunt ψ astfel incat ψ si ψ → ϕ sunt teoreme.
Conditia (T2) se scrie prescurtat:
ψ, ψ → ϕ
Definitie 4.2.8 O demonstratie formala a unui enunt ϕ este un sir finit de enunturi
ψ1 , . . . , ψn astfel inact ψn = ϕ si pentru orice 1 ≤ i ≤ n se verifica una din conditiile
urmatoare:
(1) ψi este o axioma,
(2) exista doi indici k, j < i astfel incat ψk = ψj → ψi .
4.2. SINTAXA CALCULULUI PROPOZITIONAL 83
Se observa ca proprietatile (1), (2) nu exprima altceva decat conditiile (T1), (T2),
deci ` ϕ daca si numai daca exista o demonstratie formala ψ1 , . . . , ψn a lui ϕ. n
se numeste lungimea demonstratiei formale. O teorema poate avea demonstratii
formale de lungimi diferite.
• Generalizare
Σ ` ψ, ψ → ϕ
Σ`ϕ
Σ ` ϕ.
Observatii 4.2.11
(i) Daca Σ = ∅, atunci ∅ ` ϕ ⇐⇒ ` ϕ.
(ii) Daca ` ϕ, atunci Σ ` ϕ pentru orice Σ ⊆ E.
In aceasta subsectiune, vom prezenta unele proprietati sintactice ale lui L, cea
mai importanta fiind teorema deductiei. Folosind acest rezultat, vom stabili cele
mai semnificative teoreme formale ale lui L.
Dem.
(i): Demonstratia se face prin inductie asupra conceptului Σ ` ϕ. Daca Σ ` ϕ,
atunci este verificata una din conditiile (D1) - (D3). Le vom lua pe rand:
- daca ϕ este o axioma, atunci ∆ ` ϕ,
- daca ϕ ∈ Σ, atunci ϕ ∈ ∆, deci ∆ ` ϕ,
- daca Σ ` ψ si Σ ` (ψ → ϕ), atunci, conform ipotezei inductiei, ∆ ` ψ si
∆ ` (ψ → ϕ), deci ∆ ` ϕ.
(ii): Demonstratia se face tot prin inductie:
- daca ϕ este axioma, atunci ∅ ` ϕ si ∅ ⊆ Σ este finita,
- daca ϕ ∈ Σ, atunci luam Γ = {ϕ},
- daca Σ ` ψ si Σ ` (ψ → ϕ), atunci, conform ipotezei inductiei, exista Γ1 , Γ2 ⊆ Γ
finite, astfel incat Γ1 ` ψ, Γ2 ` (ψ → ϕ); luam Γ = Γ1 ∪ Γ2 si aplicam (i).
(iii): Exercitiu. 2
Σ ` (ϕ → ψ) ⇐⇒ Σ ∪ {ϕ} ` ψ.
Dem.
(=⇒): Se aplica Propozitia 4.2.12, (i) si modus ponens.
(⇐=): Prin inductie. Daca Σ ∪ {ϕ} ` ψ, atunci avem cazurile:
- (1) ψ este o axioma.
Cum ` ϕ si ψ → (ϕ → ψ), conform (A1), atunci ` (ϕ → ψ) prin m.p., deci
4.2. SINTAXA CALCULULUI PROPOZITIONAL 85
Σ ` (ϕ → ψ).
- (2) ψ ∈ Σ ∪ {ϕ}, cu doua subcazuri:
(a) ψ ∈ Σ: din Σ ` ψ, Σ ` ψ → (ϕ → ψ) se deduce Σ ` ϕ → ψ,
(b) ψ ∈ {ϕ}: se aplica Principiul identitatii: Σ ` ϕ → ϕ.
- (3) Exista α ∈ E astfel incat Σ ∪ {ϕ} ` α si Σ ∪ {ϕ} ` α → ψ. Aplicand ipoteza
inductiei, rezulta Σ ` (ϕ → α) si Σ ` (ϕ → (α → ψ)). De asemenea,
Σ ` (ϕ → (α → ψ)) → ((ϕ → α) → (ϕ → ψ)) (A2)
Aplicand de doua ori m.p., se obtine Σ ` (ϕ → ψ). 2
Propozitia 4.2.16
` (ϕ → ψ) → ((ψ → χ) → (ϕ → χ)).
(R1) ϕ → ψ, ψ → χ
ϕ→χ
Propozitia 4.2.18
` (ϕ → (ψ → χ)) → (ψ → (ϕ → χ)).
{ϕ, ψ, ϕ → (ψ → χ)} ` ϕ
{ϕ, ψ, ϕ → (ψ → χ)} ` ϕ → (ψ → χ)
{ϕ, ψ, ϕ → (ψ → χ)} ` ψ→χ m.p.
{ϕ, ψ, ϕ → (ψ → χ)} ` ψ
{ϕ, ψ, ϕ → (ψ → χ)} ` χ m.p.
{ψ, ϕ → (ψ → χ)} ` ϕ→χ Teorema deductiei
{ϕ → (ψ → χ)} ` ψ → (ϕ → χ) Teorema deductiei
` (ϕ → (ψ → χ)) →
(ψ → (ϕ → χ)) Teorema deductiei.
2
(R2) ϕ → (ψ → χ)
ψ → (ϕ → χ)
Propozitia 4.2.20
` ϕ → (¬ϕ → ψ).
Propozitia 4.2.21
` ¬ϕ → (ϕ → ψ).
Propozitia 4.2.23
` ¬¬ϕ → ϕ.
4.2. SINTAXA CALCULULUI PROPOZITIONAL 87
Propozitia 4.2.24
` (ϕ → ψ) → (¬ψ → ¬ϕ).
Propozitia 4.2.26
` (ϕ → ¬ϕ) → ¬ϕ.
Dem.
{ϕ → ¬ϕ, ¬¬ϕ} ` ¬¬ϕ → ϕ Propozitia 4.2.23
{ϕ → ¬ϕ, ¬¬ϕ} ` ¬¬ϕ
{ϕ → ¬ϕ, ¬¬ϕ} ` ϕ m.p.
{ϕ → ¬ϕ, ¬¬ϕ} ` ϕ → ¬ϕ
{ϕ → ¬ϕ, ¬¬ϕ} ` ¬ϕ m.p.
{ϕ → ¬ϕ, ¬¬ϕ} ` ϕ → (¬ϕ → ¬(ϕ → ϕ)) Propozitia 4.2.20
{ϕ → ¬ϕ, ¬¬ϕ} ` ¬(ϕ → ϕ) m.p. de doua ori
{ϕ → ¬ϕ} ` ¬¬ϕ → ¬(ϕ → ϕ) Teorema deductiei
{ϕ → ¬ϕ} ` (¬¬ϕ → ¬(ϕ → ϕ)) →
((ϕ → ϕ) → ¬ϕ) (A3)
{ϕ → ¬ϕ} ` (ϕ → ϕ) → ¬ϕ m.p.
{ϕ → ¬ϕ} ` ϕ→ϕ Propozitia 4.2.12
{ϕ → ¬ϕ} ` ¬ϕ m.p.
` (ϕ → ¬ϕ) → ¬ϕ Teorema deductiei.
2
Propozitia 4.2.27
` ϕ → (¬ψ → ¬(ϕ → ψ)).
Dem.
{ϕ, ϕ → ψ} ` ψ m.p.
{ϕ} ` (ϕ → ψ) → ψ Teorema deductiei
{ϕ} ` ((ϕ → ψ) → ψ) → (¬ψ → ¬(ϕ → ϕ)) Propozitia 4.2.24
{ϕ} ` ¬ψ → ¬(ϕ → ϕ) m.p.
` ϕ → (¬ψ → ¬(ϕ → ψ)) Teorema deductiei.
2
Propozitia 4.2.28
` ϕ → (ϕ ∨ ψ).
Dem. Este transcrierea Propozitiei 4.2.20. 2
Propozitia 4.2.29
` ψ → (ϕ ∨ ψ).
Dem.
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` ¬ϕ → ψ
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` ϕ→χ
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` ¬ϕ → χ (R1)
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` ¬χ → ¬¬ϕ Prop. 4.2.24
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` ¬¬ϕ → ϕ Prop. 4.2.23
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` ¬χ → ϕ (R1)
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` ϕ→χ
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` ¬χ → χ (R1)
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` (¬χ → χ) → (¬χ → ¬¬χ) Prop. 4.2.24
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` ¬χ → ¬¬χ m.p.
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` (¬χ → ¬¬χ) → ¬¬χ Prop. 4.2.26
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` ¬¬χ m.p.
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` ¬¬χ → χ Prop. 4.2.23
{ϕ → χ, ψ → χ, ¬ϕ → ψ} ` χ m.p.
{ϕ → χ, ψ → χ} ` (¬ϕ → ψ) → χ T. deductiei
{ϕ → χ} ` (ψ → χ) → ((¬ϕ → ψ) → χ) T. deductiei
` (ϕ → χ) →
[(ψ → χ) → ((¬ϕ → ψ) → χ)] T. deductiei.
2
(ϕ ∨ ψ) → χ
Propozitia 4.2.32
` (ϕ ∧ ψ) → ϕ.
Dem.
` ϕ → (¬ϕ → ¬ψ Propozitia 4.2.20
` ¬ϕ → (ϕ → ¬ψ) (R2)
` (¬ϕ → (ϕ → ¬ψ)) → (¬(ϕ → ¬ψ) → ¬¬ϕ) Propozitia 4.2.24
` ¬(ϕ → ¬ψ) → ¬¬ϕ m.p.
` ¬¬ϕ → ϕ Propozitia 4.2.23
` ¬(ϕ → ¬ψ) → ϕ (R1).
Am obtinut exact ` (ϕ ∧ ψ) → ϕ. 2
Propozitia 4.2.33
` (ϕ ∧ ψ) → ψ.
90CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZITIONAL (L)
Dem.
` ¬ψ → (ϕ → ¬ψ) (A1)
` (¬ψ → (ϕ → ¬ψ)) → (¬(ϕ → ¬ψ) → ¬¬ψ) Propozitia 4.2.24
` ¬(ϕ → ¬ψ) → ¬¬ψ) m.p.
` ¬¬ψ → ψ Propozitia 4.2.23
` ¬(ϕ → ¬ψ) → ψ (R1).
Ultima teorema formala este chiar ` (ϕ ∧ ψ) → ψ. 2
Propozitia 4.2.34
` (χ → ϕ) → [(χ → ψ) → (χ → (ϕ ∧ ψ))].
Dem.
{χ → ϕ, χ → ψ, χ} ` χ
{χ → ϕ, χ → ψ, χ} ` χ→ϕ
{χ → ϕ, χ → ψ, χ} ` ϕ m.p.
{χ → ϕ, χ → ψ, χ} ` ψ analog
{χ → ϕ, χ → ψ, χ} ` ψ → ¬¬ψ Prop. 4.2.25
{χ → ϕ, χ → ψ, χ} ` ¬¬ψ m.p.
{χ → ϕ, χ → ψ, χ} ` ϕ → (¬¬ψ → ¬(ϕ → ψ)) Prop. 4.2.21
{χ → ϕ, χ → ψ, χ} ` ¬(ϕ → ψ) m.p. de doua ori
{χ → ϕ, χ → ψ} ` χ → ¬(ϕ → ψ) T. deductiei
{χ → ϕ} ` (χ → ψ) → (χ → ¬(ϕ → ψ)) T. deductiei
` (χ → ϕ) →
[(χ → ψ) → (χ → ¬(ϕ → ψ))] T. deductiei.
2
Observatie 4.2.35 Propozitiei 4.2.34 ii este asociata urmatoarea regula de deduc-
tie derivata:
(R4) χ → ϕ, χ → ψ
χ → (ϕ ∧ ψ)
Propozitia 4.2.36
` (ϕ ∧ ψ) → (ψ ∧ ϕ).
Dem.
` (ϕ ∧ ψ) → χ Propozitia 4.2.33
` (ϕ ∧ ψ) → ϕ Propozitia 4.2.32
` (ϕ ∧ ψ) → (ψ ∧ ϕ) (R4).
2
Propozitia 4.2.37
` ϕ → (ψ → (ϕ ∧ ψ)).
4.2. SINTAXA CALCULULUI PROPOZITIONAL 91
Dem.
{ϕ, ψ} ` ϕ
{ϕ, ψ} ` ψ
{ϕ, ψ} ` ψ → ¬¬ψ Propozitia 4.2.25
{ϕ, ψ} ` ¬¬ψ m.p.
{ϕ, ψ} ` ϕ → (¬¬ψ → ¬(ϕ → ¬ψ)) Propozitia 4.2.27
{ϕ, ψ} ` ¬(ϕ → ¬ψ) m.p. de doua ori
` ϕ → (ψ → (ϕ ∧ ψ)) Teorema deductiei de doua ori.
2
Propozitia 4.2.38
` [(ϕ ∧ χ) ∨ (ψ ∧ χ)] → ((ϕ ∨ ψ) ∧ χ).
Dem.
` (ϕ ∧ χ) → ϕ Propozitia 4.2.32
` ψ → (ϕ ∨ ψ) Propozitia 4.2.29
` (ϕ ∧ χ) → (ϕ ∨ ψ)
` (ϕ ∧ χ) → χ (R1)
` (ϕ ∧ χ) → (ϕ ∨ ψ) ∧ χ (R4)
` (ψ ∧ χ) → (ϕ ∨ ψ) ∧ χ analog
` [(ϕ ∧ χ) ∨ (ψ ∧ χ)] → ((ϕ ∨ ψ) ∧ χ) (R3).
2
Propozitia 4.2.39
` (χ → θ) → [(ϕ → (ψ → χ)) → (ϕ → (ψ → θ))].
Dem.
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` ϕ → (ψ → χ)
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` ϕ
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` ψ→χ m.p.
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` ψ
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` χ m.p.
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` χ→θ
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` θ m.p.
Se aplica apoi Teorema deductiei de patru ori. 2
Propozitia 4.2.40
` (ϕ → (ψ → χ)) → ((ϕ ∧ ψ) → χ).
Dem.
{ϕ → (ψ → χ), ϕ ∧ ψ} ` ϕ∧ψ
{ϕ → (ψ → χ), ϕ ∧ ψ} ` (ϕ ∧ ψ) → ϕ
{ϕ → (ψ → χ), ϕ ∧ ψ} ` ϕ m.p.
{ϕ → (ψ → χ), ϕ ∧ ψ} ` ψ analog
{ϕ → (ψ → χ), ϕ ∧ ψ} ` ϕ → (ψ → χ)
{ϕ → (ψ → χ), ϕ ∧ ψ} ` χ m.p. de doua ori.
92CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZITIONAL (L)
Propozitia 4.2.41
` [(ϕ ∧ ψ) → χ] → [ϕ → (ψ → χ)].
Dem.
{(ϕ ∧ ψ) → χ, ϕ, ψ} ` ϕ
{(ϕ ∧ ψ) → χ, ϕ, ψ} ` ψ
{(ϕ ∧ ψ) → χ, ϕ, ψ} ` ϕ → (ψ → (ϕ ∧ ψ)) Propozitia 4.2.37
{(ϕ ∧ ψ) → χ, ϕ, ψ} ` ϕ∧ψ m.p. de doua ori
{(ϕ ∧ ψ) → χ, ϕ, ψ} ` (ϕ ∧ ψ) → χ
{(ϕ ∧ ψ) → χ, ϕ, ψ} ` χ m.p.
Se aplica apoi Teorema deductiei de trei ori. 2
Propozitia 4.2.42
` (ϕ ∨ ψ) → (χ → [(ϕ ∧ χ) ∨ (ψ ∧ χ)]).
{ϕ ∨ ψ, χ} ` ¬(ϕ ∧ χ) → (ψ ∧ χ),
Dem.
=⇒: Daca Γ ` ϕ, atunci conform Propozitie 4.2.12 (ii), exista γ1 , . . . , γn ∈ Γ,
astfel incat
(4.2) {γ1 , . . . , γn } ` ϕ
Lema 4.2.48 Daca Σ este o multime de enunturi, atunci sunt echivalente urma-
toarele:
(a) Σ este un sistem deductiv,
(b) Σ contine multimea teoremelor formale si α, α → β ∈ Σ implica β ∈ Σ.
Dem.
(a) =⇒ (b): Daca ` ϕ, atunci Σ ` ϕ, deci ϕ ∈ Σ. Presupunem ca α, α → β ∈ Σ,
deci Σ ` α, Σ ` α → β, de unde Σ ` β, conform m.p. Rezulta β ∈ Σ.
94CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZITIONAL (L)
D(Σ) = {ϕ ∈ Σ | Σ ` ϕ}.
Exercitiu 4.2.49
n
^
D(Σ) = {ϕ ∈ E | exista σ1 , . . . , σn ∈ Σ, ` σi → ϕ}.
i=1
Aceasta sectiune contine constructia unei algebre Boole asociate canonic sis-
temului formal L. Proprietatile sintactice ale lui L se vor reflecta in proprietatile
booleene, realizandu-se trecerea de la sintaxa la algebra.
(` ϕ si ` ψ) ⇐⇒ ` (ϕ ∧ ψ)
Dem.
=⇒: Presupunem ` ϕ si ` ψ. Conform Propozitiei 4.2.37, avem ` ϕ → (ψ →
(ϕ ∧ ψ)), de unde rezulta, aplicand m.p. de doua ori, ca ` (ϕ ∧ ψ).
⇐=: Rezulta din Propozitiile 4.2.32 si 4.2.36. 2
(` ϕ → ϕ0 , ` ϕ0 → ϕ, ` ψ → ψ 0 , ` ψ 0 → ψ) =⇒ (` ϕ → ψ ⇐⇒` ϕ0 → ψ 0 ).
=⇒: Presupunem ca ` ϕ → ψ. Din ` ϕ0 → ϕ, ` ϕ → ψ si ` ψ → ψ 0 rezulta,
aplicand (R1), ca ϕ0 → ψ 0 .
⇐=: Similar.
(1) inf(ϕ, b =ϕ
b ψ) \ ∧ ψ, (2) sup(ϕ, b =ϕ
b ψ) \ ∨ ψ.
Dem.
Demonstram intai (1), ceea ce revine la a verifica conditiile urmatoare:
(i) ` (ϕ ∧ ψ) → ϕ, ` (ϕ ∧ ψ) → ψ,
(ii) daca ` χ → ϕ si ` χ → ψ, atunci χ → (ϕ ∧ ψ).
Conditia (i) rezulta din Propozitiile 4.2.32, 4.2.33, iar (ii) din (R4).
Demonstram acum (2), ceea ce revine la a verifica conditiile urmatoare:
(iii) ` ϕ → (ϕ ∨ ψ), ` ψ → (ϕ ∨ ψ),
(iv) daca ` ϕ → χ si ` ψ → χ, atunci ` (ϕ ∨ ψ) → χ.
Se folosesc Propozitiile 4.2.28, 4.2.29 si (R3). Rezulta ca (E/ ∼, ≤) este o latice,
in care
b ∧ ψb = ϕ
ϕ \ ∧ ψ, ϕ b ∨ ψb = ϕ
\ ∨ ψ.
Distributivitatea rezulta din Propozitiile 4.2.38, 4.2.42. 2
Observatii 4.2.55
(1) Sa punem
def.
¬ϕ
b = ¬ϕ.
c
96CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZITIONAL (L)
∧ ¬ϕ ≤ ψb ≤ ϕ\
ϕ\ ∨ ¬ϕ,
0 = ϕ\
∧ ¬ϕ, 1 = ϕ\
∨ ¬ϕ
` ϕ ⇐⇒ ϕ
b = 1.
` ϕ ⇐⇒` ϕ ↔ (ϕ ∨ ¬ϕ).
Observatie 4.2.59 Lema 4.2.58 ofera o metoda algebrica pentru a verifica daca
un enunt este teorema formala.
Exemplu. Sa se arate ca:
Notand a = α b c=γ
b, b = β, b conform Lemei 4.2.58, este suficient sa stabilim
b, d = δ,
identitatea booleana:
a → (b → c) ≤ (a → (c → d)) → (a → (b → d)).
(a ∧ c ∧ d− ) ∨ a− ∨ b− ∨ d = a− ∨ b− ∨ c = a → (b → c),
ceea ce termina verificarea.
• Generalizare.
Fie Σ o multime de enunturi ale lui L (Σ ⊆ E). Sa definim pe E urmatoarea relatie
binara:
def.
ϕ ∼Σ ψ ⇔ Σ ` (ϕ ↔ ψ)
⇔ (Σ ` ϕ → ψ si Σ ` ψ → ϕ).
Procedand analog ca mai sus, se poate arata ca ∼Σ este o relatie de echivalenta
pe E si ca E/ ∼Σ are o structura canonica de algebra Boole (= algebra Lindenbaum-
Tarski a lui Σ). Notam cu ϕ/Σ clasa de echivalenta a lui ϕ ∈ E. Atunci:
def. def.
ϕ/Σ ∨ ψ/Σ = (ϕ ∨ ψ)/Σ, ϕ/Σ ∧ ψ/Σ = ϕ ∧ ψ)/Σ,
def.
¬(ϕ/Σ) = (¬ϕ)/Σ,
def. def.
ϕ/Σ → ψ/Σ = (ϕ → ψ)/Σ, ϕ/Σ ↔ ψ/Σ = (ϕ ↔ ψ)/Σ,
ϕ/Σ ≤ ψ/Σ ⇔ Σ ` ϕ → ψ,
0 = (ϕ ∧ ¬ϕ)/Σ, 1 = (ϕ ∨ ¬ϕ)/Σ,
ϕ/Σ = 1 ⇐⇒ Σ ` ϕ.
Daca Σ = ∅, atunci ∼Σ =∼ si obtinem algebra Lindenbaum-Tarski E/ ∼ a lui
L.
98CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZITIONAL (L)
Dem. Definitia lui h∼ se face prin inductie, urmarind clauzele (a) - (c). Demon-
strarea unicitatii lui h∼ se face tot prin inductie. Fie g : E −→ L2 , astfel incat:
(a’) g(x) = h(x), pentru orice x ∈ V ,
(b’) g(¬ϕ) = ¬g(ϕ), pentru orice ϕ ∈ E,
(c’) g(ϕ → ψ) = g(ϕ) → g(ψ), pentru orice ϕ, ψ ∈ E.
Vom arata ca pentru orice α ∈ E,
h∼ (α) = g(α).
p
V ,→ E −→ E/ ∼
Z ½
Z h∼ ½
Z
h ~ ½
= h
Z ?½
L2
Definitie 4.3.4
Enuntul ϕ este adevarat in interpretarea h : V −→ L2 daca h∼ (ϕ) = 1.
Enuntul ϕ este fals in interpretarea h daca h∼ (ϕ) = 0.
Un enunt ϕ este universal adevarat daca este adevarat in orice interpretare;
acest lucru se noteaza
|= ϕ.
Observatie 4.3.5 Interpretarea unui enunt este valoarea 0 sau 1 obtinuta atunci
cand tuturor variabilelor propozitionale ce intra in componenta sa le atribuim valori
din L2 . Un enunt universal adevarat ϕ va avea valoarea 1 pentru orice valori din
L2 luate de variabilele propozitionale ce apar in ϕ.
• Generalizare
Definitie 4.3.6 O interpretare h : V −→ L2 este un model al lui Σ ⊆ E daca
h∼ (σ) = 1 pentru orice σ ∈ Σ. Notam faptul ca h este un model al lui Σ astfel:
h |= Σ.
Σ |= ϕ.
` ϕ =⇒ |= ϕ.
h∼ (ϕ) = h∼ (α) → (h∼ (β) → h∼ (α)) = ¬h∼ (α) ∨ ¬h∼ (β) ∨ h∼ (α) = 1.
(A2): ϕ este de forma (α → (β → γ)) → ((α → β) → (α → γ)).
Daca notam a = h∼ (α), b = h∼ (β), c = h∼ (γ), atunci
h∼ (ϕ) = (a → (b → c)) → ((a → b) → (a → c)) = 1,
dupa cum arata o simpla verificare in L2 .
(A3): ϕ este de forma (¬α → ¬β) → (β → α).
Este suficient sa probam ca (a− → b− ) → (b → a) = 1 in L2 .
Presupunem acum ca ` ϕ a fost obtinut prin m.p. din ` ψ, ` ψ → ϕ. Ipoteza
inductiei conduce la h∼ (ψ) = 1 si h∼ (ψ → ϕ) = 1. Atunci,
Dem. Daca ar exista un enunt ϕ astfel incat ` ϕ si ` ¬ϕ, atunci pentru orice
interpretare h am avea h∼ (ϕ) = 1 si ¬h∼ (ϕ) = h∼ (¬ϕ) = 1: contradictie. 2
` ϕ ⇐⇒ |= ϕ.
Dem.
=⇒: conform Propozitiei 4.3.8.
⇐=: Presupunem ca 6` ϕ ( ϕ nu este teorema formala). Trecand la algebra
Lindenbaum-Tarski E/ ∼ si aplicand Lemma 4.2.58, rezulta ϕ b 6= 1. Aplicam Teo-
rema de reprezentare a lui Stone pentru algebra Boole E/ ∼. Atunci, exista o
multime nevida X si un morfism boolean injectiv d : E/ ∼−→ LX 2 . Din injectivi-
b 6= 1 in LX
tatea lui d rezulta ca d(ϕ) 2 , deci exista x ∈ X astfel incat d(ϕ)(x)
b 6= 1 in
L2 .
Consideram proiectia πx : LX 2 −→ L2 definita prin πx (f ) = f (x), pentru orice
f ∈ LX 2 . π x este morfism boolean. Sa luam interpretarea h data de compunerea
urmatoarelor morfisme booleene:
p d π
V ⊆ E −→ E/ ∼−→ LX x
2 −→ L2
adica h = πx ◦ d ◦ p.
Vom stabili ca pentru orice α ∈ E:
b
h∼ (α) = ¬h∼ (β) = ¬d(β)(x) b
= (¬d(β))(x) b
= d(¬β)(x) c
= d(¬β)(x) = d(b
α)(x).
- α = β → γ:
b
Ipoteza inductiei functioneaza pentru β si γ, deci h∼ (β) = d(β)(x) si h∼ (γ) =
d(b
γ )(x). Atunci,
b
h∼ (α) = h∼ (β) → h∼ (γ) = d(β)(x) → d(b
γ )(x) =
b → d(b
(d(β) γ ))(x) = d(βb → γ
b)(x) = d(β\
→ γ)(x) = d(b
α)(x).
Proprietatea (4.4) a fost demonstrata.
4.3. SEMANTICA CALCULULUI PROPOZITIONAL L 101
Comentarii
(i) Teorema de completitudine raspunde unei probleme naturale. Relativ la
sistemul logic L, s-au definit doua tipuri de ”adevaruri”: teoremele formale, care
sunt ”adevarurile sintactice” ale lui L si enunturile universal adevarate, care sunt
”adevarurile semantice” ale lui L. In mod natural, s-a pus problema compararii
acestor doua tipuri de ”adevaruri”, iar Teorema de completitudine spune ca ele sunt
echivalente. De asemenea, Teorema de completitudine ne da un procedeu comod
de verificare a faptului ca un enunt este o teorema formala (procedeu ce poate fi
programat).
(ii) Demonstratia prezentata mai sus este de natura algebrica. Ideea fundamen-
tala este trecerea la algebra Lindenbaum-Tarski si invocarea Teoremei lui Stone
pentru gasirea interpretarii necesare in demonstratie. Aceasta trecere prin algebra
arunca o lumina mai completa asupra relatiei dintre sintaxa si semnatica, care are
de fapt si un substrat algebric. Pe scurt, sistemul formal L a fost analizat din
perspectiva triunghiului:
sintaxa semantica
Z ½
Z ½
Z ½
Z ½
algebra
Dem.
(1) =⇒ (2): Evident.
(2) =⇒ (3): Rezulta din Σ ` (ϕ ∧ ¬ϕ) → ϕ, Σ ` (ϕ ∧ ¬ϕ) → ¬ϕ si m.p.
(Propozitiile 4.2.32, 4.2.33).
(3) =⇒ (4): Cf. Propozitiei 4.2.27, avem ` ϕ → (¬ϕ → ¬(ψ → ψ)) pentru
orice ψ ∈ E. Presupunand Σ ` ϕ si Σ ` ¬ϕ, rezulta Σ ` ¬(ψ → ψ), prin aplicarea
de doua ori a m.p.
(4) =⇒ (5): Evident.
(5) =⇒ (1): Fie ϕ ∈ E cu Σ ` ¬(ϕ → ϕ) si ψ ∈ E. Conform (A1),
Σ ` (ϕ → ϕ) → (¬ψ → (ϕ → ϕ)).
Aplicand de doua ori m.p., Σ ` ¬¬ψ. Insa Σ ` ¬¬ψ → ψ (Propozitia 4.2.23), deci
Σψ pentru orice ψ ∈ E. Atunci Σ este inconsistenta. 2
Dem.
Daca Σ ∪ {ϕ} este inconsistenta, atunci Σ ∪ {ϕ} ` ¬ϕ, deci prin Teorema
deductiei, Σ ` ϕ → ¬ϕ. Aplicand Propozitia 4.2.26 si m.p., rezulta Σ ` ¬ϕ.
Reciproc, presupunem ca Σ ` ¬ϕ, de unde Σ ∪ {ϕ} ` ¬ϕ si Σ ∪ {ϕ} ` ϕ.
Conform Propozitiei 4.2.23, avem Σ ∪ {ϕ} ` ϕ → (¬ϕ → ψ), de unde prin m.p.
obtinem Σ ∪ {ϕ} ` ψ pentru orice ψ ∈ E. 2
Exemplu 4.3.15 ∅ este o multime consistenta (cf. Corolarului 4.3.9), iar E este
inconsistenta.
Observatie 4.3.16 Daca Σ este consistenta, atunci sistemul deductiv D(Σ) gen-
erat de Σ este consistent.
Dem.
(i): Presupunem prin absurd ca exista ψ ∈ E astfel incat (∆ ` ψ si ψ 6∈ ∆).
Atunci, ∆ ⊂ ∆ ∪ {ψ}, de unde, cf. maximalitatii lui ∆, rezulta ca ∆ ∪ {ψ} este
inconsistenta. Aplicand Propozitia 4.3.13, rezulta ∆ ` ¬ϕ, ceea ce contrazice
consistenta lui ∆.
(ii) Presupunem prin absurd ca exista ϕ, ψ ∈ ∆, astfel incat ϕ∨ψ ∈ ∆, ϕ 6∈ ∆ si
ψ 6∈ ∆. Ca mai sus se deduce ca ∆ ∪ {ϕ}, ∆ ∪ {ψ} sunt inconsistente, deci ∆ ` ¬ϕ
si ∆ ` ¬ψ (cf. Propozitiei 4.3.13). Conform Propozitiei 4.2.27, avem
de unde prin m.p. obtinem ca ∆ ` ¬(¬ϕ → ψ). Aceasta ultima proprietate spune
ca ∆ ` ¬(ϕ ∨ ψ), ceea ce contrazice consistenta lui ∆.
(iii) Rezulta din (ii) si din ` ψ ∨ ¬ψ.
(iv) Rezulta din (iii) si din: ` ϕ → ψ ⇐⇒` ¬ϕ ∨ ψ. 2
104CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZITIONAL (L)
(4.5) h∼ (ϕ) = 1 ⇐⇒ ϕ ∈ ∆.
h∼ (ϕ) = 1 ⇐⇒ h∼ (α) = 0 ⇐⇒ α 6∈ ∆ ⇐⇒ ϕ ∈ ∆.
Σ ` ϕ ⇐⇒ Σ |= ϕ.
Dem.
=⇒: Prin inductie asupra modului de definire a notiunii Σ ` ϕ.
⇐=: Daca Σ 6` ϕ, atunci Σ∪{¬ϕ} este consistenta (Corolarul 4.3.14). Aplicand
Propozitia 4.3.20, Σ ∪ {¬ϕ} admite un model h. Atunci h este un model al lui Σ
si h∼ (ϕ) = 0, deci Σ 6|= ϕ. 2
Observatii 4.3.23
(1) Teorema de completitudine extinsa stabileste echivalenta intre inferenta sin-
tactica si cea semantica.
(2) Pentru Σ = ∅, se obtine Teorema de completitudine
` ϕ ⇐⇒ |= ϕ,
Dem.
(a) Consideram sistemul formal al calculului propozitional L, in care multimea
V a variabilelor este B:
V = B.
E este multimea enunturilor, E/ ∼ este algebra Lindenbaum-Tarski asociata si
p : E −→ E/ ∼ este surjectia canonica.
Se poate arata, imitand demonstratia Propozitiei 4.3.2, ca exista un morfism
boolean surjectiv f : E/ ∼−→ B, astfel incat urmatoarea diagrama este comuta-
tiva:
p |B -
B E/ ∼
Z ½
Z ½
1BZZ
~
½
½ f
=
B
Atunci, F = f −1 (1) = {ϕ
b | f (ϕ
b = 1} este un filtru propriu in E/ ∼ si avem un
izomorfism boolean: pentru orice ϕ ∈ E,
ϕ/F
b b
= ψ/F b ↔ ψb ∈ F ⇐⇒ ϕ\
⇐⇒ ϕ ↔ ψ ∈ F ⇐⇒
ϕ ↔ ψ ∈ ∆ ⇐⇒ ∆ ` ϕ ↔ ψ ⇐⇒ ϕ/∆ = ψ/∆,
unde ϕ/∆ este clasa de echivalenta a lui ϕ in raport cu ∼∆ .
Daca E/∆ = E/ ∼∆ este algebra Lindenbaum-Tarski asociata lui ∆, atunci
echivalentele de mai sus spun ca functia Φ : (E/ ∼)/F −→ E/∆, definita prin
Φ(ϕ/F
b ) = ϕ/∆ pentru orice ϕ ∈ E, este un izomorfism boolean.
106CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZITIONAL (L)
X = {h : V −→ L2 | h |= ∆}.
ϕ/∆ = ψ/∆ ⇐⇒ ∆ ` ϕ ↔ ψ
⇐⇒ ∆ |= ϕ ↔ ψ
⇐⇒ h∼ (ϕ ↔ ψ) = 1, pentru orice h ∈ X,
⇐⇒ h∼ (ϕ) ↔ h∼ (ψ) = 1, pentru orice h ∈ X,
⇐⇒ h(ϕ) = h(ψ), pentru orice h ∈ X.
Definim functia λ : E/∆ −→ LX ∼
2 prin: λ(ϕ/∆)(h) = h (ϕ), pentru orice ϕ ∈ E si
h ∈ X. Echivalentele de mai sus arata ca functia λ este bine definita si ca ea este
injectiva. Este usor de vazut ca λ este morfism boolean. In consecinta, λ este un
morfism boolean injectiv.
Asambland pasii (a), (b), (c), vom obtine Teorema lui Stone.
Consideram compunerea morfismelor booleene (toate injective) de la acesti trei
pasi:
∼
= Φ λ
B −→ (E/ ∼)/F ,→ E/∆ ,→ LX
2 .
Vom nota:
p ≡ ”cuget”
q ≡ ”exist”
4.5. EXEMPLE DE DEDUCTII FORMALE 107
(1) Σ ` p → (q → r)
(2) Σ ` (p → (q → r)) → ((p → q) → (p → r)) (A2)
(3) Σ ` (p → q) → (p → r) m.p., (1), (2)
(4) Σ ` p→q
(5) Σ ` p→r m.p., (3), (4).
Sa notam:
p ≡ ”el merge des la plimbare”
q ≡ ”are mintea limpede”
r ≡ ”studentul Tica va ajunge un informatician bun”.
Cele trei propozitii (a) - (c) se reprezinta atunci simbolic astfel:
(a): (q → r) → p
(b): ¬r → ¬q
(c): p
Daca Σ = {(q → r) → p, ¬r → ¬q}, atunci trebuie sa aratam ca Σ ` p. Aceasta
decurge din Σ-demonstratia urmatoare:
(1) Σ ` ¬r → ¬q
(2) Σ ` (¬r → ¬q) → (q → r) (A2)
(3) Σ ` q→r m.p., (1), (2)
(4) Σ ` (q → r) → p
(5) Σ ` p m.p., (3), (4).
Notam:
q ≡ ”in lumea cea comuna a visa e un pericul”
r ≡ ”ai (cumva) iluzii”
s1 ≡ ”esti pierdut”
s2 ≡ ”esti ridicul”.
Atunci, (a) - (d) au scrierea simbolica:
(a): (r → (s1 ∧ s2 )) → q
(b): ¬s1 → ¬r
(c): ¬s2 → ¬r
(d): q
Daca Σ = {(r → (s1 ∧ s2 )) → q, ¬s1 → ¬r, ¬s2 → ¬r}, atunci Σ-demonstratia
urmatoare va stabili ca Σ ` q:
(1) Σ ` (r → (s1 ∧ s2 )) → q
(2) Σ ` (r → s1 ) → ((r → s2 ) → (r → (s1 ∧ s2 ))) lista
(3) Σ ` ¬s1 → ¬r
(4) Σ ` (¬s1 → ¬r) → (r → s1 ) (A3)
(5) Σ ` r → s1 m.p., (3), (4)
(6) Σ ` ¬s2 → ¬r
(7) Σ ` (¬s2 → ¬r) → (r → s2 ) (A3)
(8) Σ ` r → s2 m.p., (6), (7)
(9) Σ ` (r → s2 ) → (r → (s1 ∧ s2 )) m.p., (2), (5)
(10) Σ ` r → (s1 ∧ s2 ) m.p., (8), (9)
(11) Σ ` q m.p., (1), (10).
Exemplu 4.5.4 Se considera propozitiile:
(a) Daca nu dau pe la curs, deoarece explicatiile nu ma conving, atunci nu stiu ce
s-a predat ora trecuta.
(b) Sunt sigur pe ce stiu, caci dau pe la curs si explicatiile profesorului nu ma
conving.
(c) Daca stiu ce s-a predat ora trecuta, atunci sunt sigur pe ce stiu.
Vrem sa aratam ca ultima propozitie se deduce din primele doua.
Notam:
p ≡ ”stiu ce s-a predat ora trecuta”
q ≡ ”dau pe la curs”
r ≡ ”explicatiile profesorului ma conving”
s ≡ ”sunt sigur pe ce stiu”.
(c): p → s.
Vom nota Σ = {(¬r → ¬q) → ¬r, (q ∧ ¬r) → s} si vom demonstra ca Σ ` p → s.
( 1) Σ ` (¬r → ¬q) → ¬p
( 2) Σ ` ((¬r → ¬q) → ¬p) → (¬¬p → ¬(¬r → ¬q)) lista
( 3) Σ ` ¬¬p → ¬(¬r → ¬q) m.p., (1), (2)
( 4) Σ ` p → ¬¬p lista
( 5) Σ ` p → ¬(¬r → ¬q) (3), (4)
( 6) Σ ` p → (¬r ∧ q) idem (5)
( 7) Σ ` (¬r ∧ q) → (q ∧ ¬r) lista
( 8) Σ ` p → (q ∧ ¬r) (6), (7)
( 9) Σ ` (q ∧ ¬r) → s
(10) Σ ` p→s (8), (9)
Notam:
ϕ ≡ ”ploua”
ψ ≡ ”ies la plimbare”
χ ≡ ”trec pe la cafenea”.
Atunci propozitiile (a) - (d) se scriu astfel:
(a):
(b):
(c):
(d):
si multimea de ipoteze este Σ = {¬ϕ → (ψ → ¬χ), ¬ϕ → ψ, χ}. Prezentam o
Σ-demonstratie ca Σ ` ϕ.
(1) Σ ` ¬ϕ → (ψ → ¬χ)
(2) Σ ` ¬ϕ → ψ
(3) Σ ` χ
(4) Σ ` (¬ϕ → (ψ → ¬χ)) → ((¬ϕ → ψ) → (¬ϕ → ¬χ)) (A2)
(5) Σ ` (¬ϕ → ψ) → (¬ϕ → ¬χ) m.p., (1), (4)
(6) Σ ` ¬ϕ → ¬χ m.p., (2), (5)
(7) Σ ` (¬ϕ → ¬χ) → (χ → ϕ) (A4)
(8) Σ ` χ→ϕ m.p., (6), (7)
(9) Σ ` ϕ m.p., (3), (8)
Notam:
p ≡ ”U va castiga Cupa UEFA”
q ≡ ”Y ii va da un milion de dolari”
r ≡ ”X isi va cumpara un castel in Scotia”
s ≡ ”X va locui in Scotia”.
Atunci, cele patru propozitii (a) - (d) se reprezinta simbolic astfel:
(a): p → (q → r)
(b): p → (r → s)
(c): ¬q → ¬p
(d): ¬s.
Notand Σ = {p → (q → r), p → (r → s), ¬q → ¬p, ¬s}, rezolvarea problemei
revine la a stabili ca Σ ` ¬p. Pentru aceasta avem nevoie de urmatoarea
Dem. Aplicand de mai multe ori Teorema deductiei, aceasta este echivalent cu a
arata ca
∆ = {α → (β → γ), α → (γ → δ), α, β} ` δ.
∆ ` α
∆ ` α → (β → γ)
∆ ` β→γ m.p.
∆ ` β
∆ ` γ m.p.
∆ ` α → (γ → δ)
∆ ` γ→δ m.p.
∆ ` δ m.p..
2
( 1) Σ ` p → (q → r)
( 2) Σ ` p → (r → s)
( 3) Σ ` (p → (q → r)) →
[(p → (r → s)) → (p → (q → s))] Lema
( 4) Σ ` (p → (r → s)) → (p → (q → s)) m.p., (1), (3)
( 5) Σ ` p → (q → s) m.p., (2), (4)
( 6) Σ ` (p → (q → s)) → ((p → q) → (p → s)) (A2)
( 7) Σ ` (p → q) → (p → s) m.p., (5), (6)
( 8) Σ ` ¬q → ¬p
( 9) Σ ` (¬q → ¬p) → (p → q) (A3)
(10) Σ ` p→q m.p., (8), (9)
(11) Σ ` p→s m.p., (7), (10)
(12) Σ ` (p → s) → (¬s → ¬p) lista
(13) Σ ` ¬s → ¬p m.p., (11), (12)
(14) Σ ` ¬s
(15) Σ ` ¬p m.p., (13), (14).
Va trebui sa aratam ca Σ ` p → s.
( 1) Σ ` p → (q → r)
( 2) Σ ` (p → (q → r)) → ((p → q) → (p → r)) (A2)
( 3) Σ ` (p → q) → (p → r) m.p., (1), (2)
( 4) Σ ` ¬q → (¬p ∨ ¬r)
( 5) Σ ` (¬p ∨ ¬r) → ¬(p ∧ r) Lema
( 6) Σ ` ¬q → ¬(p ∧ r) (R1), (4), (5)
( 7) Σ ` (¬q → ¬(p ∧ r)) → ((p ∧ r) → q) (A3)
( 8) Σ ` (p ∧ r) → q m.p., (6), (7)
( 9) Σ ` ((p ∧ r) → q) → (r → (p → q)) lista
(10) Σ ` r → (p → q) m.p., (8), (9)
(11) Σ ` r
(12) Σ ` p→q m.p., (10), (11)
(13) Σ ` (p ∧ q) → s
(14) Σ ` ((p ∧ q) → s) → (p → (q → s)) lista
(15) Σ ` p → (q → s) m.p., (13), (14)
(16) Σ ` (p → (q → s)) → ((p → q) → (p → s)) (A2)
(17) Σ ` (p → q) → (p → s) m.p., (15), (16)
(18) Σ ` p→s m.p., (12), (17)
Vom nota:
p ≡ ”imi displace materia predata”
q ≡ ”am chef”
r ≡ ”ma duc la curs”
s ≡ ”ni se dau subiectele de examen”.
Atunci propozitiile (a) - (e) se reprezinta simbolic astfel:
(a): (¬q ∧ p) → ¬r
(b): q → ¬p
(c): s → r
(d): ¬r → s
(e): p.
Vrem sa aratam ca urmatoarea multime de enunturi este inconsistenta:
( 1) Σ ` (¬q ∧ p) → ¬r
( 2) Σ ` ((¬q ∧ p) → ¬r) → (p → (¬q → r)) lista
( 3) Σ ` p → (¬q → r) m.p., (1), (2)
( 4) Σ ` q → ¬p
( 5) Σ ` (q → ¬p) → (p → ¬q) lista
( 6) Σ ` p → ¬q m.p., (4), (5)
( 7) Σ ` (p → (¬q → r)) → [(p → ¬q) → (p → ¬r)] (A2)
( 8) Σ ` (p → ¬q) → (p → ¬r) m.p., (3), (7)
( 9) Σ ` p → ¬r m.p., (6), (8)
(10) Σ ` (p → ¬r) → (r → ¬p) lista
(11) Σ ` r → ¬p m.p., (9), (10)
(12) Σ ` s→r
(13) Σ ` s → ¬p (R1), (11), (12)
(14) Σ ` (r → ¬p) → [(s → ¬p) → ((r ∨ s) → ¬p)] lista
(15) Σ ` (s → ¬p) → ((r ∨ s) → ¬p) m.p., (13), (14)
(16) Σ ` (r ∨ s) → ¬p m.p., (13), (15)
(17) Σ ` ¬r → s
(18) Σ ` r∨s este chiar (17)
(19) Σ ` ¬p m.p., (16), (18)
Exemplu 4.5.11 Sa se arate ca textul format din urmatoarele propozitii este in-
consistent.
(a) Daca U bate V, atunci merge in cupele europene pentru ca va avea mai multe
puncte.
(b) Daca U bate V, atunci X va fi bucuros, pentru ca U va merge in cupele eu-
ropene.
(c) Daca portarul se va insanatosi, atunci U va bate V.
(d) Daca portarul se va insanatosi, atunci U va avea mai multe puncte.
(e) Portarul se va insanatosi.
(f) X nu va fi bucuros.
Notam:
α ≡ ”U bate V”
β ≡ ”U va merge in cupele europene”
γ ≡ ”U va avea mai multe puncte”
δ ≡ ”X va fi bucuros”
ε ≡ ”Portarul se va insanatosi”
Atunci propozitiile date au urmatoarea reprezentare simbolica:
(a): α → (γ → β)
(b): α → (β → δ)
(c): ε → α
(d): ε → γ
(e): ε
114CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZITIONAL (L)
(f): ¬δ.
Fie
Σ = {α → (γ → β), α → (β → δ), ε → α, ε → γ, ε}.
Daca demonstram ca Σ ` δ, atunci propozitiile (a) - (f) sunt contradictorii. Prezen-
tam mai jos o demonstratie pentru Σ ` δ:
( 1) Σ ` ε
( 2) Σ ` ε→α
( 3) Σ ` ε→γ
( 4) Σ ` α m.p., (1), (2)
( 5) Σ ` γ m.p., (1), (3)
( 6) Σ ` α → (γ → β)
( 7) Σ ` γ→β m.p., (4), (6)
( 8) Σ ` α → (β → δ)
( 9) Σ ` β→δ m.p., (4), (8)
(10) Σ ` γ→δ (R1), (7), (9)
(11) Σ ` δ m.p., (5), (10).
Chapter 5
115
116 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
formală. Tot la nivel formal, se defineşte şi un concept de deducţie din ipoteze.
Considerând la start axiomele şi o mulţime de enunţuri (ipoteze formale) şi aplicând
apoi succesiv câte o regula de deducţie, obţinem niste enunţuri numite concluzii
formale. Procedeul recursiv de trecere de la ipoteze formale la concluzii formale
este tocmai deducţia formală din ipoteze. Limbajul şi structura logică constituie
sintaxa lui Lτ .
Intuitiv, o teorie este o mulţime de aserţiuni ce pot fi valabile sau nu ı̂n struc-
turile considerate. La nivel formal, o teorie (de ordinul I) este o mulţime de enunţuri
ale lui Lτ .
Semantica lui Lτ ı̂ncepe cu noţiunea de interpretare, pe baza căreia este definită
validitatea enunţurilor lui Lτ ı̂ntr-o structură de ordinul I. Se ajunge la noţiunile
tarskiene de model al unui enunţ şi de model al unei teorii. De aici se obţine
conceptul de deducţie semantică, introdus tot de Tarski. O teoremă centrală asupra
calculului cu predicate arată că orice teorie consistentă ı̂ntr-un limbaj numărabil
admite un model cel mult numărabil. Rezultatul, demonstrat de Henkin ı̂n [6],
are drept consecinţă Teorema de completitudine extinsă: deducţia sintactică este
echivalentă cu deducţia semantică. Ca un caz particular, se obţine Teorema de
completitudine a lui Gödel [4]: teoremele formale ale lui Lτ coincid cu enunţurile
universal adevărate.
Echivalenţele exprimate prin cele două teoreme de completitudine:
stabilesc o legătură puternică ı̂ntre sintaxa şi semantica lui Lτ . Aceasta permite
un transfer de proprietăţi ı̂ntre sintaxă şi semantică, având drept rezultat un plus
de cunoaştere pentru ambele planuri. Această idee ne dă o sugestie sumară asupra
subiectelor de studiu ı̂n teoria modelelor, una din principalele ramuri ale logicii
matematice [1], [2].
Scopul acestui capitol este de a prezenta sintaxa şi semantica lui Lτ şi de a
demonstra cele două teoreme de completitudine menţionate mai sus.
In Secţiunea 1, este definită noţiunea de structură de ordinul I şi este construit
limbajul formal Lτ , asociat clasei structurilor de ordinul I ce au aceeaşi signatură.
Secţiunea 2 se ocupă cu semantica lui Lτ . Sunt definite interpretările lui Lτ
ı̂n structuri de ordinul I, valorile formulelor şi enunţurilor lui Lτ relative la inter-
pretare, enunţurile universal adevarate, etc. şi sunt demonstrate unele proprietăţi
ale deducţiei semantice.
Secţiunea 3 conţine unele exemple de enunţuri universal adevărate.
In Secţiunea 4, este continuată construcţia sintaxei lui Lτ , prin precizarea axi-
omelor şi regulilor de deducţie şi prin definirea teoremelor formale şi a deducţiei
formale. Sunt prezentate unele exemple de teoreme formale şi unele proprietăţi
sintactice ale lui Lτ .
5.1. STRUCTURI ŞI LIMBAJ 117
Exemplu 5.1.2 Laticea cu prim şi ultim element este structura algebrică de forma
(L, ∨, ∧, 0, 1), unde (L, ∨, ∧) este o latice, iar 0 şi 1 sunt două constante din L
desemnând primul, respectiv ultimul element.
Exemplu 5.1.3 Graful este o structură de forma G = (X, R), unde X este mulţimea
nodurilor, iar R este o relaţie binară pe X ce defineşte arcele: x → y dacă xRy.
Exemplu 5.1.4 Inelul unitar este o structură de forma (A, +, ·, 0, 1), ı̂n care +, ·
sunt operaţii binare, iar 0, 1 sunt constante, ce verifică anumite axiome.
unde:
- A este o mulţime nevidă, numită universul structurii,
- fi : Ani −→ A este o operaţie ni -ară, pentru orice i ∈ I (ni ≥ 1 este ordinul sau
aritatea lui fi ),
- Rj ⊆ Amj este o relaţie mj -ara pe A, pentru orice j ∈ J (mj ≥ 1 este ordinul sau
aritatea lui Rj ),
- ck ∈ A este o constantă, pentru orice k ∈ K.
O structură de acelasi tip cu A are forma:
Observatii 5.1.6
(1) In forma (i), laticile sunt structuri de tipul (∅; 2; ∅), iar ı̂n forma (ii), de tipul
(2, 2; ∅; ∅).
(2) Laticile cu prim şi ultim element au tipul (2, 2; ∅; 0, 0).
(3) Grafurile sunt de tipul (∅; 2; ∅).
(4) Inelele unitare au tipul (2, 2; ∅; 0, 0).
(5) In mod obişnuit, ∅ nu se mai scrie şi se foloseşte doar separatorul virgulă.
1
Vom considera acum şi alte exemple de structuri.
Exemplu 5.1.7 Spaţiul vectorial peste un corp K este o structură de forma (E, +, 0, ·),
unde + este o operaţie (internă) pe E, 0 este o constantă, iar · este o operaţie ex-
ternă: · : K × E −→ E ((α, x) ∈ K × E 7→ α · x ∈ E), verificând axiomele cunoscute
(nu amintim axiomele spaţiului vectorial).
Exemplu 5.1.8 Spaţiul metric este o pereche (X, d), unde X 6= ∅ şi d : X 2 −→
R+ , astfel ı̂ncât pentru orice x, y, z ∈ X, următoarele condiţii sunt ı̂ndeplinite:
(i) d(x, y) = 0 ⇐⇒ x = y,
(ii) d(x, y) = d(y, x),
(iii) d(x, z) ≤ d(x, y) + d(y, z).
1 Vom folosi =⇒ şi ⇐⇒ ca prescurtare pentru ”dacă ... atunci”, respectiv pentru ”dacă şi
numai dacă”.
5.1. STRUCTURI ŞI LIMBAJ 119
Exemplu 5.1.9 Spaţiul topologic este o pereche (X, D), unde X 6= ∅ şi D ⊆ P(X),
astfel ı̂ncât:
(i) ∅, X ∈ D, S
(ii) (Ai )i∈I ⊆ D =⇒ i∈I Ai ∈ D,
(iii) A, B ∈ D =⇒ A ∩ B ∈ D.
Observatii 5.1.10 Structurile din Exemplele 5.1.1 - 5.1.4 se ı̂ncadrează ı̂n definiţia
structurilor de ordinul I, ı̂n timp ce structurile din Exemplele 5.1.7, 5.1.8, 5.1.9 nu
se ı̂ncadrează ı̂n această definiţie.
In structurile din Exemplele 5.1.7, 5.1.8, avem operaţii externe, iar ı̂n structura
din Exemplul 5.1.9, D este o relaţie unară pe P(X).
Structurile din Exemplele 5.1.7, 5.1.8 conduc la ideea de structură multisortată,
iar cea din Exemplul 5.1.9 la ideea de structură de ordinul II.
Fiecărei clase de structuri de un tip fixat τ ı̂i vom asocia un limbaj de ordinul I, ı̂n
care să poată fi exprimate (la nivel simbolic) proprietăti ale structurilor considerate.
(t2) dacă f este un simbol de operaţie n-ară şi t1 , . . . , tn sunt termeni, atunci
f (t1 , . . . , tn ) este termen.
Definitie 5.1.12 Formulele atomice ale lui Lτ se definesc prin următoarele două
condiţii:
(fa1) dacă t1 , t2 sunt termeni, atunci t1 = t2 este o formulă atomică,
(fa2) dacă R este un predicat m-ar şi t1 , . . . , tm sunt termeni, atunci R(t1 , . . . , tm )
este o formulă atomică.
Definitie 5.1.13 Formulele lui Lτ se definesc prin inducţie astfel:
(f1) formulele atomice sunt formule,
(f2) dacă ϕ este formulă, atunci ¬ϕ este formulă,
(f3) dacă ϕ, ψ sunt formule, atunci ϕ → ψ este formulă,
(f4) dacă ϕ este formulă şi x este variabilă, atunci ∀xϕ este formulă.
Consecinte imediate.
- dacă ϕ este α ∧ β, α ∨ β, α ↔ β, atunci F V (ϕ) = F V (α) ∪ F V (β),
- dacă ϕ este ∃xψ, atunci F V (ϕ) = F V (ψ) \ {x}.
Observatii 5.1.16
(1) Când scriem F V (t) = {x}, etc. a nu se confunda = cu simbolul de egalitate
(notat bolduit, =).
(2) F V (t) ⊆ V , F V (ϕ) ⊆ V .
Definitii 5.1.17
Dacă x ∈ F V (ϕ), atunci x se va numi variabilă liberă a lui ϕ; ı̂n caz contrar, x
se va numi variabilă legată.
O formulă fără variabile libere se va numi enunţ.
Observatie 5.1.18 Există cazuri când o variabilă are unele apariţii libere, iar al-
tele legate. Fie ϕ(x, y, u) formula (∀x(x · y = y + u)) → (∃y(x · y ≤ y + u)). Vom
ı̂nlătura excesul de paranteze, scriind această formulă astfel:
∀x(x · y = y + u) → ∃y(x · y ≤ y + u)
t este x, sau
t: x, sau
t = x.
122 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
Definitie 5.1.20 Fie ϕ o formulă, x o variabilă, astfel ı̂ncat ϕ(x), şi t un termen.
Formula ϕ(t), obţinută din ϕ prin substituţia lui x cu t, se defineşte astfel:
- dacă y este o variabilă a lui t, se ı̂nlocuieşte y cu o variabilă v ce nu apare ı̂n ϕ(x)
sau ı̂n t ı̂n toate apariţiile legate ale lui y ı̂n ϕ,
- se ı̂nlocuieşte apoi x cu t.
Exemplu 5.1.21 Fie formula ϕ(x): ∃y(x = y) şi termenul t: y + z, unde ”:”
ı̂nseamnă ”notaţie pentru”. Atunci:
- ∃y(x = y) ↔ ∃v(x = v),
- ϕ(t): ∃v(y + z = v).
falsă): W V
(α ∧ β1 ∧ β2 ) → ∀x∃y[(x y = 1) ∧ (x y = 0)]
Intrebare: Ce este ı̂n neregulă la exemplul (l)?
Formulele şi enunţurile sunt formaţiuni simbolice, construite din alfabetul lui
Lτ . In această secţiune, vom defini validitatea formulelor şi enunţurilor prin inter-
mediul noţiunii de interpretare. Vrem să vedem ce ı̂nseamnă a interpreta limbajul
Lτ ı̂ntr-o structură dată. Prin alegerea alfabetului lui Lτ , există o corespondenţă bi-
univocă ı̂ntre simbolurile de operaţii, de relaţii şi de constante şi operaţiile, relaţiile
şi constantele acestei structuri. Atunci, putem considera că operaţiile, relaţiile şi
constantele unei structuri A reprezintă interpretarea simbolurilor de operaţii, de
relaţii şi de constante ı̂n A. Până aici totul este deja conţinut ı̂n modul cum a fost
construit limbajul. A rămas să interpretăm variabilele lui Lτ ı̂n A. Prin definiţie,
variabilele vor fi interpretate prin elemente ale lui A. Atunci, o interpretare va fi
o funcţie de la mulţimea variabilelor la universul structurii. Prin inducţie, sunt
definite: valoarea unei formule relativ la o interpretare, valoarea unui enunţ ı̂ntr-o
structură, noţiunea de enunţ universal adevarat, model al unei teorii, etc. Pe lângă
validitatea formulelor şi enunţurilor, semantica lui Lτ mai studiază şi deducţia se-
mantică, definită cu ajutorul noţiunii de model. In cele ce urmează vom formula
ı̂n termeni precişi aceste noţiuni şi idei.
Definitie 5.2.2 Pentru orice termen t şi pentru orice interpretare s, definim prin
inducţie elementul tA (s) ∈ A:
· dacă t este variabila v, atunci tA (s) = s(v),
· dacă t este constanta c, atunci tA (s) = cA ,
· dacă t este f (t1 , . . . , tn ), atunci tA (s) = f A (tA A
1 (s), . . . , tn (s)).
A
Elementul t (s) al lui A se numeşte valoarea de adevăr a termenului t ı̂n inter-
pretarea s.
Definitie 5.2.3 Pentru orice formulă ϕ şi pentru orice interpretare s, vom defini
valoarea de adevăr a lui ϕ ı̂n interpretarea s
kϕ(s)k = kϕ(s)kA ∈ L2 = {0, 1} :
124 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
Lema precedentă arată că valoarea tA (s) a termenului t ı̂n interpretarea s de-
pinde numai de restricţia lui s la F V (t).
Propozitia 5.2.5 Pentru orice formulă ϕ şi pentru orice interpretări s1 , s2 , avem:
⇐⇒ (tA A
1 (s2 ), . . . , tm (s2 )) ∈ R
A
⇐⇒ kϕ(s2 )k = 1.
Conform ipotezei inducţiei, kψ(s1 [xa ])k = kψ(s2 [xa ])k, deci
V V
kϕ(s1 )k = a∈A kψ(s1 [xa ])k = a∈A kψ(s2 [xa ])k = kϕ(s2 )k. 2
Conform Lemei 5.2.4 şi Propoziţiei 5.2.5, definiţiile lui tA (a1 , . . . , an ) şi kϕ(a1 , . . . , an )k
sunt corecte (depind numai de condiţia s(ai ) = ai , i = 1, . . . , n).
Notatie 5.2.8
def.
A |= ϕ[a1 , . . . , an ] ⇔ kϕ(a1 , . . . , an )k = 1.
A |= ϕ[a1 , . . . , an ] ⇔ tA A
1 (a1 , . . . , an ) = t2 (a1 , . . . , an ).
A |= ϕ[a1 , . . . , an ] ⇔ (tA A A
1 (a1 , . . . , an ), . . . , tm (a1 , . . . , an )) ∈ R .
A |= ∅.
In rezolvarea unor probleme din logica predicatelor, se impune să lărgim lim-
bajul Lτ , prin adăugarea unor constante noi. Vom prezenta ı̂n continuare câteva
rezultate simple legate de acest procedeu.
Fie C o mulţime de constante noi (distincte de constantele lui Lτ ).
Considerăm limbajul Lτ (C), obţinut din Lτ prin adăugarea constantelor din C.
O structură a lui Lτ (C) este de forma (A, ac )c∈C , unde A este o structură core-
spunzătoare lui A şi ac ∈ A, pentru orice c ∈ C (ac este interpretarea constantei
c ∈ C). Dacă c = {c1 , . . . , cn }, atunci o structură pentru L(c1 , . . . , cn ) va fi de
forma (A, a1 , . . . , an ), unde ai este interpretarea lui ci , i = 1, . . . , n.
Lema 5.2.11 Pentru orice termen t(x1 , . . . , xn ) al lui Lτ şi pentru orice a1 , . . . , an ∈
A,
t(c1 , . . . , cn )(A,a1 ,...,an ) = tA (a1 , . . . , an ).
Demonstraţie. Prin inducţie asupra lui t:
· t este x: t(c)(A,a) = a = tA (a),
· t este o constantă d din Lτ : t(c)(A,a) = dA = tA (a),
· t este f (t1 (x1 , . . . , xn ), . . . , tm (x1 , . . . , xn )):
t(c1 , . . . , cn )(A,a1 ,...,an ) = f (t1 (c1 , . . . , cn ), . . . , tm (c1 , . . . , cn ))
= f (A,a1 ,...,an ) (t1 (c1 , . . . , cn )(A,a1 ,...,an ) , . . . , tm (c1 , . . . , cn )(A,a1 ,...,an ) )
= f A (tA A
1 (a1 , . . . , an ), . . . , tm (a1 , . . . , an ))
= tA (a1 , . . . , an ),
ipoteza inducţiei fiind: tj (c1 , . . . , cn )(A,a1 ,...,an ) = tA j (a1 , . . . , an ), j = 1, . . . , m. 2
Propozitia 5.2.12 Pentru orice formulă ϕ(x1 , . . . , xn ) a lui Lτ şi pentru orice
a1 , . . . , an ∈ A,
⇐⇒ A |= ϕ[a1 , . . . , an ].
· dacă ϕ este ¬α: (exerciţiu, folosind inducţia).
· dacă ϕ este α → β: (exerciţiu, folosind inducţia).
· dacă ϕ(x1 , . . . , xb ) este ∀xψ(x, x1 , . . . , xn ).
Ipoteza inducţiei: pentru orice constante c, c1 , . . . , cn şi pentru orice a, a1 , . . . , an ∈
A:
(A, a, a1 , . . . , an ) |= ψ(c, c1 , . . . , cn ) ⇐⇒ A |= ψ[a, a1 , . . . , an ].
Atunci,
(A, a1 , . . . , an ) |= ϕ(c1 , . . . , cn )
⇐⇒ pentru orice a ∈ A, (A, a1 , . . . , an ) |= ψ(x, c1 , . . . , cn )[a] (ipoteza inducţiei)
⇐⇒ pentru orice a ∈ A, A |= ψ(a, a1 , . . . , an ) (ipoteza inducţiei)
⇐⇒ A |= ϕ[a1 , . . . , an ]. 2
Conform acestei echivalenţe, este natural să scriem A |= ϕ(a1 , . . . , an ) ı̂n loc de
A |= ϕ[a1 , . . . , an ] sau de echivalentul său (A, a)a∈A |= ϕ(a1 , . . . , an ).
Definitie 5.2.13
Enunţul ϕ este universal adevărat (şi notăm aceasta cu: |= ϕ) dacă A |= ϕ,
pentru orice structură A (de un tip fixat τ ).
Formula ϕ(x1 , . . . , xn ) este universal adevărată dacă enunţul ∀x1 . . . ∀xn ϕ(x1 , . . . , xn )
este universal adevărat.
Exemplu 5.2.14 Fie Lτ limbajul egalităţii: fără operaţii, predicate şi constante.
Structurile corespunzătoare sunt exact mulţimile.
- pentru n ≥ 1, considerăm enunţul σn definit de:
V Wn
∃x1 . . . ∃xn [ 1≤i<j≤n ¬(xi = xj ) ∧ ∀y( i=1 y = xi )].
130 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
•d
½½
• •½
a b ZZ
Z•
c
X = {a, b, c, d}, R = {(a, b), (b, a), (b, c), (c, b), (b, d), (d, b), (c, d), (d, c)}.
Aceasta este echivalent cu a arăta că următoarele patru afirmaţii sunt adevărate:
(1) G |= ∃y∀z(R(a, z) ∨ R(y, z))
(2) G |= ∃y∀z(R(b, z) ∨ R(y, z))
(3) G |= ∃y∀z(R(c, z) ∨ R(y, z))
(4) G |= ∃y∀z(R(d, z) ∨ R(y, z)).
Analizăm (1): are loc dacă una din următoarele afirmaţii este adevărată:
(1a) G |= ∀z(R(a, z) ∨ R(a, z))
(1b) G |= ∀z(R(a, z) ∨ R(b, z))
(1c) G |= ∀z(R(a, z) ∨ R(c, z))
(1d) G |= ∀z(R(a, z) ∨ R(d, z)).
De exemplu, (1b) are loc dacă următoarele patru afirmaţii sunt adevărate:
(1ba) G |= (R(a, a) ∨ R(b, a))
(1bb) G |= (R(a, b) ∨ R(b, b))
(1bc) G |= (R(a, c) ∨ R(b, c))
(1bd) G |= (R(a, d) ∨ R(b, d)).
Se observă că toate aceste afirmaţii sunt adevărate.
Formula ϕn (x) exprimă faptul că ”x are gradul n”. Iată şi alte trei exemplificări
de formalizare a unor proprietăţi de ordinul I:
Wn
- gradul lui x este cel mult n: k=1 ϕk (x).
Wn+1
- gradul lui x este cel puţin n + 2: ¬ k=1 ϕk (x).
- există un x astfel ı̂ncât gradul său să fie mai mare ca 5 şi mai mic ca 8:
Exemplu 5.2.17 Un monoid este o structură de forma A = (A, +, 0), unde + este
o operaţie binară, asociativă şi 0 este element neutru.
Limbajul monoizilor va avea un simbol de operaţie binară, +, şi o constantă, 0.
Ordinul unui element a ∈ A este cel mai mic n astfel ı̂ncât na = 0; dacă nu
există un asemenea n, atunci ordinul lui a este ∞.
Formula
• Vom defini acum noţiunea de deducţie semantică (ı̂n sensul lui Tarski).
A |= Σ =⇒ A |= ϕ.
Observatie 5.2.20
Σ ⊆ ∆, Σ |= ϕ =⇒ ∆ |= ϕ.
Propozitia 5.2.21
132 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
Σ |= ψ(x1 , . . . , xn )
Σ |= ϕ(x1 , . . . , xn )
Σ |= ϕ → ψ ⇐⇒ Σ ∪ {ϕ} |= ψ.
Demonstraţie.
=⇒: Din Σ |= ϕ → ψ avem Σ ∪ {ϕ} |= ϕ → ψ. Cum Σ |= ϕ, rezultă Σ |= ψ (cf.
Propoziţiei 5.2.12).
⇐=: Vom presupune ψ = ψ(x1 , . . . , xn ). Trebuie să arătam că:
A |= Σ =⇒ A |= ϕ → ψ(x1 , . . . , xn ).
A |= ϕ → ψ(a1 , . . . , an ).
A |= ϕ =⇒ A |= ψ(a1 , . . . , an ).
Observatie 5.2.24 Implicaţia =⇒ este adevărată pentru cazul când ϕ este o for-
mulă arbitrară. Implicaţia ⇐= nu este adevarată ı̂n general:
∅ ∪ {x = y} |= (x = z): pentru că A |= (x = y) =⇒ A |= (x = z).
Nu avem ı̂nsă ∅ |= (x = y) → (x = z). Intr-adevăr, dacă ar fi aşa, atunci am avea
A |= (x = y) =⇒ x = z pentru orice structură A. Atunci,
A |= ∀x∀y∀z(x = y → x = z),
Exercitii 5.2.25
Σ |= ϕ → ψ Σ |= ϕ → ψ
(1) (2)
Σ |= ∀x ϕ → ∀x ψ Σ |= ∃x ϕ → ∃x ψ
Σ |= ϕ ↔ ψ Σ |= ϕ ↔ ψ
(3) (4)
Σ |= ∀x ϕ ↔ ∀x ψ Σ |= ∃x ϕ ↔ ∃x ψ
Exemplu 5.3.1
Exemplu 5.3.2
Exemplu 5.3.3
Este
V echivalent cu aVdemonstra: W
( a∈A kϕ(a)k) → ( b∈A kψ(b)k) ≤ a∈A (kϕ(a)k → kψ(a)k)
ceea
W ce este echivalent
V cu: W
( a∈A ¬kϕ(a)k) ∨ ( b∈A kψ(b)k) ≤ a∈A (¬kϕ(a)k ∨ kψ(a)k)
ceea
W ce este echivalent
V cu: W
a∈A (¬kϕ(a)k ∨ b∈A kψ(b)k) ≤ a∈A (¬kϕ(a)k ∨ kψ(a)k).
Exemplu 5.3.4
Exemplu 5.3.5
W W
k∃xϕ(x) → ∃xψ(x)k = ( a∈A kϕ(a)k) → ( b∈A kψ(b)k) =
V W W V
( a∈A ¬kϕ(a)k) ∨ b∈A kψ(b)k = b∈A (( a∈A ¬kϕ(a)k) ∨ kψ(b)k) ≤
W
b∈A (¬kϕ(b)k ∨ kψ(b)k) = k∃x(ϕ(x) → ψ(x))k.
Exemplu 5.3.6
Considerăm limbajul ce are o operaţie binară, +, un predicat binar, <, şi o con-
stantă, 1.
Structura este A = (N∗ , +, <, 1), iar formulele:
ϕ(x) : ∃y(x = y + y) (x este par),
ψ(x) : x < 1. W
k∃x (ϕ(x) → ψ(x))k = n (¬kn este park ∨ kn < 1k) = 1;
Exemplu 5.3.7
Exemplu 5.3.8
Exemplu 5.3.9
Exemplu 5.3.10
V V W
k∀x (ϕ(x) ∨ ψ(x))k = a∈A (kϕ(a)k ∧ kψ(a)k) ≤ a∈A [ b∈A (kϕ(b)k ∧ kψ(a)k)] =
V W W V
a∈A [( b∈A kϕ(b)k) ∧ kψ(a)k] = ( b∈A kϕ(b)k) ∨ ( a∈A kψ(a)k) =
Luăm un limbaj cu un predicat binar, <, şi două constante, 2, 3. A = (N, <, 2, 3).
k∃x(x = 2) ∨ ∀x(x < 3)k = k∃x(x = 2)k ∨ k∀x(x < 3)k = 1 ∨ 0 = 1.
k∀x[(x = 2) ∨ (x < 3)]k = 0.
Rezultă:
6|= (∃x(x = 2) ∨ ∀x(x < 3)) → ∀x((x = 2) ∨ (x < 3)).
Exemplu 5.3.13
|= ∃x (ϕ(x) ∨ ψ(x)) ↔ (∃xϕ(x) ∨ ∃xψ(x)).
Exemplu 5.3.14
|= ∃x (ϕ(x) ∧ ψ(x)) → (∃xϕ(x) ∧ ∃xψ(x)).
Exemplu 5.3.15
6|= (∃xϕ(x) ∧ ∃xψ(x)) → ∃x (ϕ(x) ∧ ψ(x)).
Revine
V la inegalitatea: V W V W
a∈A (kϕ(a)k∧kψ(a)k) ≤ ( a∈A kϕ(a)k)∧( b∈A kψ(b)k) = a∈A (kϕ(a)k∧ b∈A kψ(b)k).
138 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
Exemplu 5.3.17
Exemplu 5.3.18
Exemplu 5.3.19
Exemplu 5.3.20
Exemplu 5.3.21
Exemplu 5.3.22
In prima secţiune a acestui capitol a fost definit limbajul formal al lui Lτ (aso-
ciat structurilor de ordinul I având o signatură fixată). Formulele şi enunţurile lui
Lτ sunt expresia simbolică a proprietăţilor de ordinul I. Această secţiune continuă
construcţia sintaxei lui Lτ : sunt precizate axiomele şi regulile sale de deducţie şi
apoi se definesc teoremele formale şi deducţia formală din ipoteze. Sunt prezentate
mai multe exemple de demonstraţii formale ı̂n Lτ şi câteva proprietăţi sintactice.
5.4. SINTAXA CALCULULUI CU PREDICATE 139
ψ, ψ → ϕ
: m.p.
ϕ
ϕ
: generalizarea (G.)
∀xϕ
` ϕ.
Propozitia 5.4.6
` ∀xϕ ↔ ¬∃x¬ϕ.
Demonstraţie.
Propozitia 5.4.7
` ∀x(ϕ ↔ ψ) → (∀xϕ ↔ ∀xψ).
Demonstraţie.
` (ϕ ↔ ψ) → (ϕ → ψ) calc. prop.
` ∀x[(ϕ ↔ ψ) → (ϕ → ψ)] G.
` ∀x[(ϕ → ψ) → (ϕ → ψ)] → [∀x(ϕ ↔ ψ) → ∀x(ϕ → ψ)] Propoziţia 5.4.5
` ∀x(ϕ ↔ ψ) → ∀x(ϕ → ψ) m.p.
` ∀x(ϕ → ψ) → (∀xϕ → ∀xψ) Propoziţia 5.4.5
` ∀x(ϕ ↔ ψ) → (∀xϕ → ∀xψ) m.p.
` ∀x(ϕ ↔ ψ) → (∀xψ → ∀xϕ) analog
` ∀x(ϕ ↔ ψ) → [(∀xϕ → ∀xψ) ∧ (∀xψ → ∀xϕ)] din ultimele două,
care este exact ceea ce trebuia demonstrat. 2
Propozitia 5.4.8
Demonstraţie.
Demonstraţie.
Corolar 5.4.10
` ∀x(ϕ → ∃xψ) ↔ (∃xϕ → ∃xψ),
Demonstraţie. Din Propozitia 5.4.9, pentru că x nu apare liberă ı̂n ∃xψ şi ∀xψ.
2
Propozitia 5.4.11
` ∀x(ϕ ∧ ψ) ↔ (∀xϕ ∧ ∀xψ).
Demonstraţie.
5.4. SINTAXA CALCULULUI CU PREDICATE 143
Propozitia 5.4.12
` ϕ(t) → ∃xϕ(x).
Demonstraţie.
Propozitia 5.4.13
(i) ` x = y → y = x,
(ii) ` (x = y) ∧ (y = z) → (x = z),
(iii) ` (x = y) → (ϕ(x) ↔ ϕ(y)).
Demonstraţie.
(i):
` x = y → (x = z → y = z) (A5)
` x = z → (x = y → y = z) calc. prop.
` x = x → (x = y → y = x) luând mai sus z = x
`x=x (A3)
`x= y→y =x m.p..
(ii):
`x=y→y =x (i)
` y = x → (y = z → x = z) (A3)
` x = y → (y = z → x = z) calc. prop.
` (x = y) ∧ (y = z) → x = z calc. prop..
144 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
(iii):
`x=y→y =x (i)
` y = x → (ϕ(y) → ϕ(x)) (A5)
` x = y → (ϕ(y) → ϕ(x)) calc. prop.
` x = y → (ϕ(x) → ϕ(y)) (A5)
` x = y → [(ϕ(x) → ϕ(y)) ∧ (ϕ(y) → ϕ(x))] calc. prop..
2
Propozitia 5.4.14
` ∀xϕ(x) → ∃xϕ(x).
Demonstraţie.
` ∀xϕ(x) → ϕ(x) (A3)
` ϕ(x) → ∃xϕ(x) Propoziţia 5.4.12
` ∀xϕ(x) → ∃xϕ(x) calc. prop..
2
Propozitia 5.4.15
∀x∃y(x = y).
Demonstraţie.
ϕ→ψ
∀xϕ → ∀xψ
5.4. SINTAXA CALCULULUI CU PREDICATE 145
Propozitia 5.4.18
ϕ→ψ
∃xϕ → ∃xψ
Demonstraţie.
`ϕ→ψ ipoteză
` ¬ψ → ¬ϕ calc. prop.
` ∀x¬ψ → ∀x¬ϕ Propoziţia 5.4.17
` ¬∀x¬ϕ → ¬∀x¬ψ calc. prop.
Ultima formulă este chiar ` ∃xϕ → ∃xψ. 2
Σ ` ψ, ψ → ϕ
m.p.
Σ`ϕ
Σ`ψ
G.
Σ ` ∀xψ
146 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
Definitii 5.4.21
O Σ-demonstraţie formală a lui ϕ este un şir finit de formule ψ1 , . . . , ψn , astfel
ı̂ncât ψn = ϕ şi, pentru orice 1 ≤ i ≤ n, avem una din situaţiile:
· ϕi este axiomă,
· ϕi ∈ Σ,
· exista j, k < i, astfel ı̂ncât ψk = ψj → ψi ,
· exista j < i şi x ∈ V , astfel ı̂ncât ψi = ∀xψj .
Numărul n se numeşte lungimea Σ-demonstraţiei formale.
Definitie 5.4.22 Dacă ϕ(1 , . . . , xn ) este o formulă, atunci ∀x1 . . . ∀xn ϕ(x1 , . . . , xn )
se numeste ı̂nchiderea sa universală.
Propozitia 5.4.23
Demonstraţie.
=⇒: Se aplică (G.) de n ori.
⇐=:
Σ ` ∀x1 . . . ∀xn ϕ(x1 , . . . , xn ) → ∀x2 . . . ∀xn ϕ(x1 , . . . , xn )
Σ ` ∀x2 . . . ∀xn ϕ(x1 , . . . , xn ) → ∀x3 . . . ∀xn ϕ(x1 , . . . , xn )
...
Σ ` ∀xn ϕ(x1 , . . . , xn ) → ϕ(x1 , . . . , xn ).
Conform calculului propozitiilor, rezulta:
Σ ` ∀x1 . . . ∀xn ϕ(x1 , . . . , xn ) → ϕ(x1 , . . . , xn ).
Atunci,
Σ ` ∀x1 . . . ∀xn ϕ(x1 , . . . , xn ) prin ipoteza
Σ ` ∀x1 . . . ∀xn ϕ(x1 , . . . , xn ) → ϕ(x1 , . . . , xn ) mai sus
Σ ` ϕ(x1 , . . . , xn ) m.p..
5.4. SINTAXA CALCULULUI CU PREDICATE 147
Propozitia 5.4.24
(a) Σ ` ϕ, Σ ⊆ ∆ =⇒ ∆ ` ϕ,
(b) Σ ` ϕ ⇐⇒ exista Σ0 ⊆ Σ, Σ0 finita, Σ0 ` ϕ.
Σ ` ϕ → ψ ⇐⇒ Σ ∪ {ϕ} ` ψ.
Demonstraţie.
=⇒: Aplicând Propoziţia 5.4.24, (a) şi m.p..
⇐=: Prin inducţie asupra modului cum este definit Σ ∪ {ϕ} ` ψ. Totul decurge ca
ı̂n cazul calculului propoziţional, adăugându-se situaţia: ψ = ∀xα, Σ ∪ {ϕ} ` α:
Cu alte cuvinte, o teorie consistentă ∆ este maximal consistentă dacă prin adăugarea
unor formule noi la ∆ se obţine o teorie inconsistentă.
Propozitia 5.4.30 Orice teorie consistentă se poate scufunda ı̂ntr-o teorie maxi-
mal consistentă.
Observatie 5.4.32 Fie Σ o teorie şi ϕ, ψ două formule ale lui Lτ . Atunci,
Σ ` ϕ ∧ ψ ⇐⇒ (Σ ` ϕ şi Σ ` ψ).
ϕ ∼ ψ ⇐⇒` ϕ ↔ ψ ⇐⇒ (` ϕ → ψ şi ` ψ → ϕ)
La fel ca ı̂n cazul calculului propoziţiilor, se poate arăta că definiţiile acestor operaţii
nu depind de reprezentanţi şi că structura
B = (B = F orm(Lτ )/ ∼, ∨, ∧, ¬, 0, 1)
d
(a) ∀xϕ(x) d pentru orice v ∈ V ,
≤ ϕ(v),
Avem:
(a): rezultă folosind axioma (A2): ` ∀xϕ → ϕ(v), pentru orice v ∈ V .
` ψ → ϕ(v)
` ∀v(ψ → ϕ(v)) G.
` ∀v(ψ → ϕ(v)) → (ψ → ∀vϕ(v)) (A1)
(i) ` ψ → ∀vϕ(v) m.p..
De asemenea,
Sent(Lτ )/ ∼= {ϕ
b | ϕ ∈ Sent(Lτ )}
Observatie 5.5.4
B = B∅
ϕ/Σ ≤ ψ/Σ ⇐⇒ Σ ` ϕ → ψ,
ϕ/Σ = 1 ⇐⇒ Σ ` ϕ.
Aceste echivalenţe traduc ı̂n limbaj algebric proprietăţi ale deducţiei formale. Prin
cea de a doua echivalenţă, a demonstra că Σ ` ϕ se reduce la un calcul boolean.
Definitie 5.5.5
Un cuantificator existenţial pe A este o funcţie ∃ : A −→ A, astfel ı̂ncât:
· ∃(0) = 0,
· x ≤ ∃(x),
· ∃(x ∧ ∃(y)) = ∃(x) ∧ ∃(y).
Definitie 5.5.6 O algebră Boole monadică este o structură (A, ∃), unde A este o
algebră Boole şi ∃ este un cuantificator existenţial pe A.
` ϕ ↔ ψ =⇒ ` ∃xϕ ↔ ∃xψ.
sunt echivalente cu :
· ` (ϕ ∧ ¬ϕ) ↔ ∃x(ϕ ∧ ¬ϕ), (putem lua pe ϕ = enunţ)
· ` ϕ → ∃xϕ,
· ` ∃x(ϕ ∧ ∃xψ) ↔ (∃xϕ ∧ ∃xψ. 2
\
Exemplu 5.5.11 Fie E0 : V −→ B, dată de E0 (x, y) = (x = y), pentru orice
x, y ∈ V . Atunci,
(B, (∃x )x∈V , E0 )
este o V -algebră Boole cilindrică.
Observatie 5.5.13 Algebrele cilindrice sunt structuri algebrice ce provin din sin-
taxa calculului cu predicate. Ele au fost definite şi studiate de A. Tarski, de elevii
săi L. Henkin şi J.D. Monk şi de numeroşi alţi cercetători [8]. Algebrele poliadice,
introduse de P. R. Halmos [5], constituie un al doilea tip de structuri algebrice
ce au ca prototip algebra Lindenbaum-Tarski a lui Lτ . Intre algebrele cilindrice
şi algebrele poliadice există o legatură puternică (vezi [3]), multe din proprietăţile
unora putând fi transferate celorlalte structuri. Cu toate acestea, teoriile lor s-au
dezvoltat separat şi, cel mai adesea, cu tehnici diferite.
Observatie 5.6.1 Presupunem că V este numărabilă şi că mulţimile de operaţii,
de relaţii şi de constante sunt cel mult numărabile. Atunci,
unde ω este cardinalul mulţimilor numărabile. Spunem că Lτ este limbaj numărabil.
Fie C o mulţime de constante noi şi Lτ (C) limbajul obţinut din Lτ prin adăugarea
constantelor din C.
Lema 5.6.3 Fie ϕ(x) o formulă ı̂n Lτ , c o constantă din C şi ϕ(c) enunţul din
Lτ (C) obţinut prin ı̂nlocuirea lui x cu c. Atunci, pentru orice teorie T a lui Lτ ,
avem:
T ` ϕ(c) ı̂n Lτ (C) ⇐⇒ T ` ∀xϕ(x) ı̂n Lτ .
5.6. TEOREMA DE COMPLETITUDINE. MODELE HENKIN 155
Demonstraţie.
=⇒: Dacă α1 (c), . . . , αn (c) = ϕ(c) este o demonstraţie formală a lui ϕ(c) din T ı̂n
Lτ (C), atunci α1 (x), . . . , αn (x) este o demonstraţie formală a lui ϕ(x) din T ı̂n Lτ .
Atunci, T ` ϕ(x) ı̂n Lτ , deci T ` ∀xϕ(x).
⇐=: Dacă T ` ∀xϕ(x) ı̂n Lτ , atunci T ` ∀xϕ(x) ı̂n Lτ (C). Cum ` ∀ϕ(x) → ϕ(c),
rezultă T ` ϕ(c) ı̂n Lτ (C). 2
Lema 5.6.4 Dacă T este o teorie consistentă ı̂n Lτ , atunci T este consistentă şi
ı̂n Lτ (C).
Demonstraţie. Presupunem că T nu este consistentă ı̂n Lτ (C), deci există
ϕ(c1 , . . . , cn ) ∈ Lτ (C), astfel ı̂ncât
T ` ϕ(c1 , . . . , cn ) ∧ ¬ϕ(c1 , . . . , cn ), c1 , . . . , cn ∈ C.
Conform Lemei 5.6.3,
T ` ∀x1 . . . ∀xn (ϕ(x1 , . . . , xn ) ∧ ¬ϕ(x1 , . . . , xn )),
deci:
T ` ϕ(x1 , . . . , xn ) ∧ ¬ϕ(x1 , . . . , xn ) ı̂n Lτ ,
ceea ce contrazice consistenţa lui T . 2
Definitie 5.6.5 Fie T o teorie consistentă ı̂n Lτ (C). T se numeşte teorie Henkin,
dacă pentru orice formulă ϕ(x) a lui Lτ (C), cu cel mult o variabilă liberă x, există
c ∈ C, astfel ı̂ncât
T ` ∃xϕ(x) → ϕ(c).
Observatie 5.6.6 Implicaţia
T ` ϕ(c) → ∃xϕ(x)
are loc ı̂ntotdeauna.
Pentru a da o interpretare noţiunii de teorie Henkin, vom gândi o formulă ϕ(x)
ca pe o ”ecuaţie” ı̂n x. Atunci, enunţul ∃xϕ(x) va semnifica existenţa ”soluţiilor”
lui ϕ(x), iar ϕ(c) va ı̂nsemna că ”c este o soluţie” a lui ϕ(x).
Atunci, condiţia T ` ∃xϕ(x) → ϕ(x) din definiţia teoriei Henkin se interpretează
astfel: dacă ı̂n ipotezele T ecuaţia ϕ(x) admite soluţie, atunci o soluţie a sa poate
fi aleasă din mulţimea C.
Lema 5.6.7 Fie Lτ un limbaj de ordinul I şi C o mulţime de constante, astfel
ı̂ncât | Lτ |=| C |. Dacă T este o teorie consistentă ı̂n Lτ , atunci există o teorie
Henkin T ı̂n Lτ (C), cu T ⊆ T .
156 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
Atunci,
Tn ` ∃xn ϕn (xn ) ∧ ¬ϕn (en ),
deci Tn ` ∃xn ϕn (xn ) şi Tn ` ¬ϕn (en ).
Lema 5.6.3 implică Tn ` ∀xn ¬ϕn (xn ), deci Tn ` ¬∃xn ϕn (xn ): contradicţie cu
faptul că Tn este consistentă. S
Construcţia prin inducţie s-a terminat. Fie T = n<ω Tn . Se verifică uşor că T
este consistentă. Să arătăm că T este teorie Henkin.
Fie ϕ(x) ∈ Lτ (C) cu cel mult o variabilă liberă x, deci există n cu ϕ(x) =
ϕn (xn ):
∃xϕ(x) → ϕ(en ) = ∃xn ϕn (xn ) → ϕn (en ) ∈ Tn+1 ⊆ T .
Atunci, T ` ∃xϕ(x) → ϕ(en ) şi T este o teorie Henkin. 2
Lema 5.6.8 Fie T ⊆ T 0 , T este teorie Henkin, T 0 este consistentă. Atunci T 0 este
teorie Henkin.
` ∃x(t(c1 , . . . , cn ) = x).
Σ ` t(c1 , . . . , cn ) = d.
Σ ` t(c1 , . . . , cn ) = d. 2
def.
f A (c≈ ≈
1 , . . . , cn ) = d
≈
⇔ Σ ` f (c1 , . . . , cn ) = d.
Dar,
Vn
` (f (c1 , . . . , cn ) = c) ∧ i=1 (ci = di ) ∧ (c = d) → (f (d1 , . . . , dn ) = d),
Σ ` f (d1 , . . . , dn ) = d. 2
Dar,
Vn
R(c1 , . . . , cn ) ∧ i=1 (ci = di ) → R(d1 , . . . , dn ),
5.6. TEOREMA DE COMPLETITUDINE. MODELE HENKIN 159
` R(d1 , . . . , dn ).
tA (c≈ ≈ ≈
1 , . . . , cn ) = c ⇐⇒ Σ ` t(c1 , . . . , cn ) = c.
tA ≈ ≈ ≈
i (c1 , . . . , cn ) = di , i = 1, . . . , m.
Atunci,
tA (c≈ ≈
1 , . . . , cn ) = c
≈
⇐⇒ f A (tA ≈ ≈ A ≈ ≈
1 (c1 , . . . , cn ), . . . , tm (c1 , . . . , cn )) = c
≈
A ≈ ≈ ≈
⇐⇒ f (d1 , . . . , dm ) = c
⇐⇒ Σ ` (d1 , . . . , dm ) = c (conform definiţiei lui f A )
⇐⇒ Σ ` f (t1 (c1 , . . . , cn ), . . . , tm (c1 , . . . , cn )) = c (α)
⇐⇒ Σ ` t(c1 , . . . , cn ) = c,
unde (α) rezultă astfel:
Σ ` ti (c1 , . . . , cn ) = di , i = 1, . . . , m implică echivalenţa următoare
Σ ` f (t1 (c1 , . . . , cn ), . . . , tm (c1 , . . . , cn )) = c ⇐⇒ Σ ` f (d1 , . . . , dm ) = c. 2
A |= ϕ[c≈ ≈
1 , . . . , cn ] ⇐⇒ ϕ(c1 , . . . , cn ) ∈ Σ ⇐⇒ Σ ` ϕ(c1 , . . . , cn ).
160 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
In acest caz,
A |= ϕ[c≈ ≈
1 , . . . , cn ] ⇐⇒ tA ≈ ≈ A ≈ ≈
1 (c1 , . . . , cn ) = t2 (c1 , . . . , cn )
≈ ≈
⇐⇒ d1 = d2
⇐⇒ Σ ` d1 = d2
⇐⇒ Σ ` t1 (c1 , . . . , cn ) = t2 (c1 , . . . , cn ).
Ultima echivalenţă rezultă din Σ ` di = ti (c1 , . . . , cn ), i = 1, 2 şi din axiomele
egalităţii.
(*) Σ ` ti (c1 , . . . , cn ) = di , 1 = 1, . . . , m.
Atunci,
A |= ϕ[c≈ ≈
1 , . . . , cn ] ⇐⇒ (tA ≈ ≈ A ≈ ≈
1 (c1 , . . . , cn ), . . . , tm (c1 , . . . , cn )) ∈ R
A
≈ ≈ A
⇐⇒ (d1 , . . . , dm ) ∈ R
⇐⇒ R(d1 , . . . , dm ) ∈ Σ (conform definiţiei lui RA )
⇐⇒ R(t1 (c1 , . . . , cn ), . . . , tm (c1 , . . . , cn )) ∈ Σ conform (*)
⇐⇒ ϕ(c1 , . . . , cn ) ∈ Σ.
· ϕ este de forma ¬ψ(x1 , . . . , xn ):
Ipoteza inductiei este:
A |= ψ[c≈ ≈
1 , . . . , cn ] ⇐⇒ ψ(c1 , . . . , cn ) ∈ Σ.
Atunci,
A |= ϕ[c≈ ≈
1 , . . . , cn ] ⇐⇒ A 6|= ψ[c≈ ≈
1 , . . . , cn ]
⇐⇒ ψ(c1 , . . . , cn ) 6∈ Σ
⇐⇒ ¬ψ(c1 , . . . , cn ) ∈ Σ (Σ este maximal consistentă)
⇐⇒ ψ(c1 , . . . , cn ) ∈ Σ.
· ϕ este de forma ψ1 ∨ ψ2 : exerciţiu !
5.6. TEOREMA DE COMPLETITUDINE. MODELE HENKIN 161
A |= ϕ[c≈ ≈
1 , . . . , cn ] ⇐⇒ exista c≈ ∈ A, A |= ψ[c≈ , c≈ ≈
1 , . . . , cn ]
⇐⇒ exista c ∈ C, ψ(c, c1 , . . . , cn ) ∈ Σ (ipoteza inducţiei)
⇐⇒ Σ ` ∃xψ(x, c1 , . . . , cn ) (Σ este teorie Henkin)
⇐⇒ ϕ(c1 , . . . , cn ) ∈ Σ.
2
Observatie 5.6.17 Conform Propozitiei 5.6.16, pentru orice enunţ ϕ ∈ Lτ (C),
are loc echivalenţa
A |= ϕ ⇐⇒ ϕ ∈ Σ,
de unde rezultă
A |= Σ.
A se numeşte modelul Henkin asociat teoriei Σ. Il vom mai nota şi AΣ .
A |= ϕ[c≈ ≈
1 , . . . , cn ] ⇐⇒ ϕ(c1 , . . . , cn ) ∈ Σ.
Σ ` ϕ ⇐⇒ Σ |= ϕ.
Demonstraţie.
=⇒: Prin inducţie, ı̂n raport cu definiţia noţiunii ”Σ ` ϕ”.
⇐=: Presupunem Σ 6` ϕ, deci Σ ∪ {¬ϕ} este consistentă. Fie A |= Σ ∪ {¬ϕ};
atunci, A |= Σ şi A 6|= ϕ. Rezultă Σ 6|= ϕ. 2
` ϕ ⇐⇒ |= ϕ.
162 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
Demonstraţie. Luăm Σ = ∅. 2
Observatie 5.6.21 Se verifică uşor că reciproca Teoremei 5.6.18 este adevarată:
dacă o teorie admite un model, atunci ea este consistentă.
Observatie 5.6.22 Dacă Σ este o teorie Henkin şi AΣ este modelul său Henkin,
atunci
| AΣ |≤| C |=| Lτ (C) |=| Lτ | .
Corolar 5.6.25 Dacă T are modele finite suficient de mari, atunci T admite un
model infinit.
Orice submulţime finită Σ0 a lui Σ are un număr finit de constante din C; fie
ele continute ı̂n {c0 , . . . , cm }. Fie A0 |= T cu | A0 |≥ m + 1. Atunci, există
a0 , . . . , am ∈ A0 , distincte, deci (A0 , a0 , . . . , am ) |= Σ0 . Punând am+1 , am+2 , . . .
arbitrare, este evident că
(A0 , a0 , . . . , am , am+1 , . . .) |= Σ0 .
(B, b0 , . . . , bm , . . .) |= Σ,
Pentru a proba această afirmaţie, să considerăm un enunţ ϕ al unei teorii consis-
tente T . Atunci, {ϕ} este o mulţime consistentă, deci, aplicând Propoziţia 5.4.28,
6` ¬ϕ. Conform Teoremei de completitudine, 6|= ¬ϕ, deci există o structură A astfel
ı̂ncât A 6|= ¬ϕ. Rezultă A |= ϕ pentru orice ϕ ∈ T , deci A |= T .
In demonstraţia celor trei rezultate (Teorema 5.6.18, Teorema 5.6.19 şi Coro-
larul 5.6.20) a fost invocată axioma alegerii (ı̂n forma sa echivalentă, cunoscută
sub numele de axioma lui Zorn). Intr-o axiomatizare a teoriei mulţimilor (de ex-
emplu, Zermelo-Fraenkel) fără axioma alegerii, aceste trei rezultate devin enunţuri
echivalente logic.
Exista trei moduri ı̂n care putem stabili că o formulă este teoremă formală:
· pe cale sintactică: construind o demonstraţie formală a formulei;
· pe cale algebrică: prin trecerea la algebra Lindenbaum-Tarski;
· pe cale semantică: calculând kϕk ı̂ntr-o structură A oarecare.
V W W
u,w [ v ¬p(ϕ(u, v)) ∨ z p(ϕ(w, z))] =
V W
u,w v,z [¬p(ϕ(u, v)) ∨ p(ϕ(w, z))] = 1,
W
deoarece v,z [¬p(ϕ(u, v)) ∨ p(ϕ(w, z))] = 1.
· semantic:
Fie A o structură ı̂n care calculăm k · k.
k∃x∀yϕ(x, y) → ∀y∃xϕ(x, y)k = k∃x∀yϕ(x, y)k → k∀y∃xϕ(x, y)k = 1
⇐⇒
k∃x∀yϕ(x, y)k ≤ k∀y∃xϕ(x, y)k
⇐⇒
W V V W
a∈A b∈A kϕ(a, b)k ≤ d∈A c∈A kϕ(c, d)k
⇐⇒
V W
b∈A kϕ(a, b)k ≤ c∈A kϕ(c, d)k, pentru orice a, d ∈ A.
Ultima inegalitate este evidentă.
· sintactic:
5.7. CUM SE STABILEŞTE DACĂ O FORMULĂ ESTE TEOREMĂ FORMALĂ165
· semantic:
k∀z∃x∀yϕ(x, y, z) → ∀y∀z∃xϕ(x, y, z)k =
k∀z∃x∀yϕ(x, y, z)k → k∀y∀z∃xϕ(x, y, z)k =
V W V V V W
( c∈A a∈A b∈A kϕ(a, b, c)k → ( b0 ∈A c0 ∈A a0 ∈A kϕ(a0 , b0 , c0 )k).
Trebuie
V W Vsă aratăm că: V V W 0 0 0
c a b kϕ(a, b, c)k ≤ b0 c0 a0 kϕ(a , b , c )k,
Dar, V W
k∀y∀z∃xϕ(x, y, z)k = n,p∈N m∈N km + p = nk = 1 şi
V W V
k∀z∃x∀yϕ(x, y, z)k = p n m km + p = nk.
Facem p = 0 şi calculăm termenul corespunzător din intersecţia ”după p”:
W V W V
n mkm + 0 = nk = Vn m km = nk = 0,
deoarece pentru orice n, m km = nk = 0.
Prin urmare, 1 → 0 = 0, deci (b) nu este teoremă formală.
166 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
167
Index
enunţ, 121
enunţ universal adevărat, 129
evaluare (interpretare), 123
168
List of Figures
169