Explorați Cărți electronice
Categorii
Explorați Cărți audio
Categorii
Explorați Reviste
Categorii
Explorați Documente
Categorii
Prefată
Logica se ocupa de legile gandirii (ratiunii) şi anume de acele proprietati structurale
formale ale gandirii care apar ı̂n reflectarea proprietatilor lumii reale. Deci avem
gandirea, realitatea şi legatura dintre ele. In logica există substituienti abstracti
pentru gandire, pentru realitate şi pentru legatura dintre ele şi anume, limbajul L
substituie gandirea, structura S substituie realitatea (unde S este mai mult decât
o colectie de lucruri susceptibile de a fi corelate, ca ı̂nteles, diferitelor expresii din
limbaj), iar interpretarea I substituie legatura (I este o funcţie).
Limbajul L este fixat, dar se considera mai multe interpretari ale lui L ı̂n diferite
structuri; aceasta pentru ca, pe de-o parte, nu stim ı̂n care realitate (lume) partic-
ulara ne regasim cu adevărat, pe de alta parte pentru ca logicienii sunt interesati
de principiile universale, care sunt adevărate ı̂n orice lume posibila.
O teorie (ı̂n sens tehnic) este un limbaj L impreuna cu o mulţime T de propoziţii
sau formule din L. In practica, o teorie este definita fie sintactic, fie semantic, adică:
- T poate fi formată din toate formulele care rezultă printr-o relatie de implicare
sintactica dintr-o mulţime de axiome sau
- T poate fi formată din toate formulele care sunt adevărate ı̂n orice interpretare
considerată.
Scopul principal al logicii este studiul ı̂n paralel al relatiei de implicare sintactica
(formala):
Logica clasica este bivalenta, ı̂n sensul ca mulţimea valorilor de adevăr are
doua elemente: adevărul şi falsul. Logica propoziţiilor este teoria T a tuturor for-
mulelor valide (i.e. care sunt adevărate ı̂n orice interpretare) ı̂ntr-un limbaj L al
propoziţiilor. Aceasta teorie este decidabila (există un algoritm care, aplicat ori-
carei formule, ne spune dacă ea este din T ). Logica predicatelor este teoria T a
tuturor formulelor valide ı̂ntr-un limbaj L al predicatelor. Presupunand ca L are
cel putin un simbol de funcţie 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. există o ax-
iomatizare a lui T (cu axiome şi 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 şi etapa axiomatica. Organizarea stiintei ı̂n
teorii deductive este legată de evolutia matematicii şi de expansiunea metodelor
sale ı̂n celelalte stiinte.
”Eu afirm ca ı̂n orice disciplina a naturii se gaseste de fapt numai atata adevărată
stiinta câtă matematica se cuprinde ı̂n ea” (Immanuel Kant).
6
Logica matematica este stiinta care are ca obiect studiul formelor propoziţionale
şi al legilor de rationare cu expresii propoziţionale, precum şi metodele care permit
realizarea acestui studiu.
In studiul propoziţiilor sau al expresiilor propoziţionale, logica matematica este
interesată numai de valoarea logica.
R. Descartes, prin ı̂ncercarea de a forma o stiinta matematica generala, a stim-
ulat cercetarile logice ı̂n directia simbolismului matematic, lucru realizat partial de
G. Leibniz.
La jumatatea secolului al 19-lea George Boole şi Augustus De Morgan au in-
trodus metodele matematice ı̂n logica, creand logica matematica. Calculul logic
al lui G. Boole este bivalent şi se face dupa regulile din algebra; el sta la baza
calculatoarelor actuale.
Contributii ulterioare au adus G. Frege, G. Peano, B. Russell şi Gödel. Primul
tratat modern de logica matematica, ”Principia Mathematica” a fost scris de B.
Russell şi A.N. Whitehead, ı̂ntre 1910-1913.
Intr-o etapa ulterioara apare logica polivalenta (cu mai multe valori de adevăr),
prin lucrarile lui J. Lukasiewicz şi L.E. Post, apoi ale lui C.C. Chang. In tara
noastra, cercetarile de logica matematica au fost initiate de Gr. C. Moisil ı̂n 1933
şi cunosc ı̂n prezent o mare dezvoltare.
Aplicaţiile logicii matematice se refera la teoria algebrica a automatelor, la
programarea automată, la programarea logica, la bazele de date relationale, ı̂n
inteligenta artificiala. Cercetarile contemporane tind să extinda considerabil sfera
aplicaţiilor (logica fuzzy se aplica ı̂n economie, de exemplu).
In paralel cu logica matematica, şi ı̂n stransă legatura cu ea, s-a dezvoltat al-
gebra logicii matematice (teoria algebrelor Boole, teoria algebrelor MV, algebrelor
Lukasiewicz-Moisil, etc.), care constituie ı̂n prezent un capitol separat din algebra.
1 Algebre Boole 9
1.1 Mulţimi (pre)ordonate . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.1 Principiul dualităţii. Diagrama Hasse . . . . . . . . . . . . . 10
1.1.2 Reprezentarea unei relaţii binare pe o mulţime finită prin
matrice booleană . . . . . . . . . . . . . . . . . . . . . . . . . 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 şi latici Dedekind. Echivalenţa lor . . . . . . . . . 15
1.2.2 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.3 Latici distributive. Latici mărginite complementate . . . . . . 21
1.3 Algebre Boole: definiţie, exemple, proprietăţi . . . . . . . . . . . . . 25
1.3.1 Definiţia algebrei Boole . . . . . . . . . . . . . . . . . . . . . 25
1.3.2 Exemple de algebre Boole . . . . . . . . . . . . . . . . . . . . 26
1.3.3 Proprietăţi ale algebrelor Boole . . . . . . . . . . . . . . . . . 28
1.3.4 Implicaţia şi echivalenţa booleană . . . . . . . . . . . . . . . 29
1.4 Inel Boole. Echivalenţa cu algebra Boole . . . . . . . . . . . . . . . . 30
1.5 Subalgebre, homomorfisme . . . . . . . . . . . . . . . . . . . . . . . . 32
1.6 Filtre (ideale) şi congruenţe. Algebre Boole cât . . . . . . . . . . . . 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) Mulţimile (R, ≤), (Q, ≤), (Z, ≤), (N, ≤) sunt lanţuri.
(2) Dacă X este o mulţime nevidă, atunci (P(X), ⊆) este o mulţime ordonată;
ea este total ordonată dacă şi numai dacă X este formată dintr-un singur element.
(3) Dacă X este o mulţime nevidă, atunci (X, =) este o mulţime ordonată (ı̂n
acest caz R este ∆ = {(x, x) | x ∈ X}).
(4) Dacă pe mulţimea N∗ = N\{0} definim, pentru orice x, y, x ¹ y ⇔ x | y (x
este divizibil cu y), atunci (N∗ , ¹) este o mulţime ordonată, dar nu total ordonată.
(5) Dacă pe mulţimea C definim relaţia binară ¹ astfel: pentru orice z1 =
a1 + ib1 , z2 = a2 + ib2 ∈ C,
z1 ¹ z2 ⇔ (a1 ≤ a2 , b1 ≤ b2 ),
atunci (C,
preced) este o mulţime ordonată, dar nu total ordonată.
(6) Relaţia x ¹ y ⇔ x | y, definită pe Z, este o relaţie de preordine, care nu
este relaţie de ordine.
(7) Fie A mulţimea ofiţerilor dintr-o unitate militară. Pentru x, y ∈ A, spunem
că x ≤ y dacă gradul lui x este mai mic sau egal cu gradul lui y. Atunci, (A, ≤)
este o mulţime preordonată, care nu este ordonată.
Diagrama Hasse
O relaţie binară ≤ pe o mulţime finită A se va reprezenta grafic prin diagrama
Hasse astfel: elementele mulţimii sunt reprezentate prin puncte, iar faptul că x < y
(adică x ≤ y şi x 6= y) şi nu există z cu x < z < y se reprezintă printr-o linie care
leagă cele doua puncte, y fiind situat mai sus ca x:
1.1. MULŢIMI (PRE)ORDONATE 11
y
•
•
x
c• •d
S ¶
S•¶b
•
a
½
1, dacă (xi , xj ) ∈ R ((i, j) ∈ R)
mij ==
0, dacă (xi , xj ) 6∈ R ((i, j) 6∈ R).
Se observă că mulţimea relaţiilor binare pe o mulţime finită cu n elemente este
ı̂n corespondenţă biunivocă cu mulţimea matricilor booleene de ordinul n. Deci, o
relaţie binară pe o mulţime finită cu n elemente poate fi dată, alternativ, printr-o
matrice booleană de ordin n.
12 CHAPTER 1. ALGEBRE BOOLE
Exerciţiu 1.1.3
1. Să se scrie un program pentru determinarea tuturor relaţiilor de ordine pe o
mulţime finită.
2. Se dă o relaţie binară pe o mulţime finită prin matricea booleană asociată. Să se
scrie un program pentru a verifica dacă relaţia este de ordine, parţială sau totală,
sau este o relaţie de preordine.
Exemple 1.1.4 Considerăm mulţimile ordonate din Figura 1.2. In cazul a) există
prim şi ultim element (este mulţime ordonată mărginită), ı̂n cazul b) există numai
ultim element, iar ı̂n cazul c) există 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 mulţimi ordonate cu prim şi/sau ultim element
Sau, echivalent, fie (xi )i∈I o familie oarecare de elemente din A indexată de I,
I o mulţime oarecare, eventual infinită (adică un element al lui AI (adică o funcţie
f : I → A)). Se ştie că familiei (xi )i∈I ı̂i corespunde submulţimea {xi ∈ A | i ∈ I}
a lui A, iar submulţimii X a lui A ı̂i corespunde familia particulară (x = xx )x∈X de
elemente din A. Un element a ∈ A este un minorant (majorant) al familiei (xi )i∈I ,
dacă 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 (adică a ≤ xi , pentru orice i ∈ I);
(ii) a este cel mai mare minorant al familiei (xi )i∈I , adică dacă b este un minorant
al familiei (xi )i∈I (dacă b ≤ xi pentru orice i ∈ I), atunci b ≤ a.
(i) a este un majorant al familiei (xi )i∈I (adică xi ≤ a, pentru orice i ∈ I);
(ii) a este cel mai mic majorant al familiei (xi )i∈I , adică dacă b este un majorant
al familiei (xi )i∈I (dacă xi ≤ b pentru orice i ∈ I), atunci a ≤ b.
Observaţii 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 şi
(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 şi
(ii) pentru orice b ∈ A care verifica xi ≤ b pentru orice i ∈ I, avem supi∈I xi ≤ b.
2) Infimumul mulţimii 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 . Dacă n = 2, infimumul familiei (mulţimii) {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 şi 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 mulţimi ordonate este şi element maximal, iar primul
element este şi element minimal. Reciproca nu este adevărată.
O mulţime ordonată (A, ≤) se numeşte inductivă dacă orice parte total ordonată
a sa admite un majorant.
Axioma lui Zorn: Orice mulţime ordonată inductivă admite un element max-
imal.
1.2 Latici
1.2.1 Latici Ore şi latici Dedekind. Echivalenţa lor
Definiţie 1.2.1
O mulţime ordonată L = (L, ≤) se numeşte latice Ore dacă pentru orice două
elemente x, y din L există inf(x, y) şi sup(x, y).
Propoziţia 1.2.2 Intr-o latice Ore L, următoarele afirmaţii 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-adevăr, presupunând că x ≤ y, atunci, deoarece avem şi y ≤ y,
conform reflexivităţii lui ≤, rezultă că y este majorant al {x, y}. Fie z un majorant
oarecare al {x, y}, deci x ≤ z şi y ≤ z. Deci y ≤ z, adică y este cel mai mic
majorant al {x, y}, deci sup(x, y) = y.
(ii) ⇒ (i): Intr-adevăr, sup(x, y) = y ı̂nseamnă printre altele că x ≤ y şi y ≤ y;
deci x ≤ y.
Similar se demonstrează că (i) ⇔ (iii). 2
Propoziţia 1.2.3 Fie L o latice Ore. Următoarele proprietăţi sunt verificate: pen-
tru orice x, y, z ∈ L,
(O1) inf(x, x) = x, sup(x, x) = x (idempotenţa 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 două proprietăţi de absorbţie).
16 CHAPTER 1. ALGEBRE BOOLE
Dem.
(O1): Să demonstrăm că sup(x, x) = x. Fie a = sup(x, x); deci x ≤ y şi pentru
orice b ∈ L care verifică x ≤ b avem a ≤ b. Dar, x ∈ L verifică x ≤ x, conform
reflexivităţii; luăm b = x; rezultă a ≤ x. Deci, a = x, adică sup(x, x) = x. La fel
se demonstrează că inf(x, x) = x.
(O2): Să demonstrăm că sup(x, y) = sup(y, x). Fie u = sup(x, y) şi v =
sup(y, x); deci avem: x ≤ u, y ≤ u şi y ≤ v, x ≤ v şi, pentru orice z care verifică
x, y ≤ z, avem u ≤ z şi v ≤ z. Se observă că u, v sunt un astfel de z, deci u ≤ v şi
v ≤ u, de unde obţinem u = v. La fel se demonstrează că inf(x, y) = inf(y, x).
(O3) Să demonstrăm că sup(x, y, z) = sup(x, sup(y, z)). Să notăm t = sup(y, z),
u = sup(x, y, z), v = sup(x, t); atunci avem:
(i) y, z ≤ t şi pentru orice Z ∈ L cu y, z ≤ Z, avem t ≤ Z,
(ii) x, y, z ≤ u şi pentru orice Z 0 ∈ L cu x, y, z ≤ Z 0 , avem u ≤ Z 0 ,
(iii) x, t ≤ v şi pentru orice Z 00 ∈ L cu x, t ≤ Z 00 , avem v ≤ Z 00 .
Să arătăm că u = v:
Din y, z ≤ t şi t ≤ v obţinem că y, z ≤ v; dar avem şi x ≤ v. Rezultă că x, y, z ≤ v;
luăm Z 0 = v ı̂n (ii) şi obţinem că u ≤ v.
Din y, z ≤ u, luând Z = u ı̂n (i), obţinem că t ≤ u. Dar avem şi că x ≤ u;
deci, x, t ≤ u; luând Z 00 = u ı̂n (iii), obţinem că v ≤ u. Astfel, u = v. Restul se
demonstrează similar. 2
Definiţie 1.2.4 Fie L = (L, ∧, ∨) structura formată din mulţimea L şi două
operaţii binare definite pe L. L se numeşte latice Dedekind dacă următoarele pro-
prietăţi (axiome) sunt verificate: pentru orice x, y, z ∈ L,
(L1) x ∧ x = x, x ∨ x = x (idempotenţa 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 două proprietăţi de absorbţie).
(L2) (L4)
Dem. Dacă x ∧ y = x, atunci x ∨ y = (x ∧ y) ∨ y = y ∨ (y ∧ x) = y. Dacă
(L4)
x ∨ y = y, atunci x ∧ y = x ∧ (x ∨ y) = x. 2
(1.1) x ≤ y ⇔ x ∧ y = x ⇔ x ∨ y = y.
Vom arăta acum că cele două definiţii, Ore şi Dedekind, ale laticilor sunt echiva-
lente.
1.2. LATICI 17
Teorema 1.2.6
(1) Fie (L, ≤) o latice Ore. Să definim
def
Φ(L) = (L, ∧, ∨),
Atunci relaţia ≤ este de ordine, iar structura Ψ(L) este o latice Ore, unde pentru
orice x, y ∈ L,
Dem.
(1): Cele două operaţii sunt bine definite (adică există x ∧ y şi x ∨ y pentru
orice x, y ∈ L, conform definiţiei laticii Ore). Trebuie să demonstrăm că cele
două operaţii verifică axiomele (L1)-(L4). Intr-adevăr, x ∧ x = inf(x, x) = x şi
x ∨ x = sup(x, x) = x, conform (O1) din Propoziţia 1.2.3, deci (L1) este verificată.
Similar, (L2)-(L4) rezultă respectiv din (O2)-(O4).
(1’):
• Trebuie să arătăm că relaţia ≤ este reflexivă, antisimetrică şi tranzitivă.
≤ este reflexivă, adică pentru orice x ∈ L, x ≤ x: fie x ∈ L fixat, altfel arbitrar;
def
x ≤ x ⇔ x ∨ x = x, ceea ce este adevărat, conform (L1). Rezultă, conform (Prin-
cipiului Generalizării), că pentru orice x ∈ L, x ≤ x. Restul se demonstrează
similar. Deci, (L, ≤) este o mulţime parţial ordonată.
• Trebuie să demonstrăm acum că pentru orice x, y ∈ L, sup(x, y) = x ∨ y.
Fie x, y ∈ L, obiecte (elemente) fixate, altfel arbitrare; pentru a demonstra că
sup(x, y) = x ∨ y, trebuie să arătăm două lucruri:
(L3)
(i) x ∨ y este majorant al {x, y}, adică x, y ≤ x ∨ y; ı̂ntr-adevăr, x ∨ (x ∨ y) =
(L1) (L2) (L3)
(x ∨ x) ∨ y = x ∨ y, deci x ≤ x ∨ y, conform (1.3), şi y ∨ (x ∨ y) = (x ∨ y) ∨ y =
(L1)
x ∨ (y ∨ y) = x ∨ y, deci y ≤ x ∨ y.
18 CHAPTER 1. ALGEBRE BOOLE
(2): Rutină. 2
Observaţie 1.2.7 Relaţia de ordine din Teorema 1.2.6 poate fi definită, echivalent,
prin
Teorema precedentă arată că cele două definiţii ale laticilor sunt echivalente. In
continuare, vom lucra ı̂n general cu definiţia Dedekind a laticii, pe care o vom
numi pe scurt latice.
O latice (Ore) L se numeşte completă dacă orice familie de elemente din L
(submulţime a lui L, echivalent) admite infimum şi supremum. Intr-o latice com-
pletă L, dacă (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 mărginite (cu 0 şi 1))
1) Mulţimea cu 2 elemente L2 = {0, 1} şi mulţimea cu 3 elemente L3 = {0, a, 1}
generează laticile liniare (adică total ordonate) L2 (vom vedea că ea este algebră
Booleană) şi respectiv L3 din Figura 1.4.
1.2. LATICI 19
1
•
1
• •a
• •
0 0
L2 L3
• laticea liniar ordonată (total ordonată) L4 , a cărei diagramă Hasse este prezen-
tată ı̂n Figura 1.5;
• laticea L2×2 , ordonată neliniar ca ı̂n diagrama Hasse din Figura 1.5 (vom
vedea ca ea este o algebră Booleană):
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) Dacă notăm cu Z− mulţimea numerelor ı̂ntregi care sunt mai mici sau egale
cu 0, atunci mulţimea ordonată (Z− , ≤) este o latice numai cu ultim element,
numărul 0.
3) Mulţimea ordonată (Z, ≤) este o latice fără prim şi ultim element.
Propoziţia 1.2.11 Orice latice finită are 0 şi 1 (adică este mărginită).
Există mulţimi ordonate finite care sunt mărginite, dar nu sunt latici. De ex-
emplu, mulţimea ordonată L60,1 din Figura 1.7.
1.2. LATICI 21
Dem. Intr-adevăr, (1) şi (2) sunt echivalente cu 0 ≤ x, iar (1’) şi (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, rezultă (x ∨ y) ∧ z ≤ (x ∨ y) ∧ (x ∨ z) = x ∨ (y ∧ z).
(iii) =⇒ (i):
• Să demonstrăm mai ı̂ntâi că:
(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 altă parte, din (a ∧ b) ∨ c = c ∨ (b ∧ a) ≥ (c ∨ b) ∧ a rezultă că:
(L3) (L1) (L2)
[(a ∧ b) ∨ c] ∧ a ≥ [(c ∨ b) ∧ a] ∧ a = (c ∨ b) ∧ (a ∧ a) = (c ∨ b) ∧ a = a ∧ (b ∨ c),
adică avem:
(1.9) a ∧ (b ∨ c) ≥ (a ∧ b) ∨ (a ∧ c).
Definiţie 1.2.15 O latice L este distributivă dacă una din condiţiile echivalente
(i) - (iii) din Propoziţia 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
Definiţie 1.2.17
(i) Fie L o latice mărginită. Un element a ∈ L se numeşte complementat dacă
există cel puţin un element b ∈ L, numit complementul lui a, astfel ı̂ncât a ∧ b = 0
şi a ∨ b = 1.
(ii) O latice mărginită este complementată dacă orice element al său este com-
plementat (admite un complement).
Lema 1.2.18 Intr-o latice mărginită, distributivă, orice element poate avea cel
mult un complement (altfel spus, complementul unui element, dacă există, este
unic).
Dem. Fie a ∈ L şi să presupunem că are doi complemenţi, b şi c, adică:
a ∧ b = 0, a ∨ b = 1 şi a ∧ c = 0, a ∨ c = 1.
Atunci, b = b ∧ 1 = b ∧ (a ∨ c) = (b ∧ a) ∨ (b ∧ c) = 0 ∨ (b ∧ c) = b ∧ c, şi analog,
c = c ∧ b, deci b = c. 2
Propoziţia 1.2.20 Orice latice care conţine laticile pentagon şi diamant ca sub-
latici nu este distributivă.
24 CHAPTER 1. ALGEBRE BOOLE
Fie L o latice mărginită, distributivă, şi fie C(L) mulţimea elementelor sale
complementate. Evident, {0, 1} ⊆ C(L).
(a ∧ b)− = a− ∨ b− , (a ∨ b)− = a− ∧ b− .
Dem. Pentru a demonstra prima egalitate, este suficient să demonstrăm că:
(a ∧ b) ∧ (a− ∨ b− ) = 0, (a ∧ b) ∨ (a− ∨ b− ) = 1.
Observaţie 1.2.23 Orice morfism din Ld(0,1) este o funcţie izotonă: pentru orice
x, y ∈ L,
x ≤ y ⇒ x ∧ y = x ⇒ f (x) ∧ f (y) = f (x) ⇒ f (x) ≤ f (y).
Exerciţiu 1.2.25 Să se determine toate endomorfismele pentru laticea din exem-
plul precedent.
1.3. ALGEBRE BOOLE: DEFINIŢIE, EXEMPLE, PROPRIETĂŢI 25
Definiţie 1.3.1 O algebră Boole este o latice distributivă, cu prim şi ultim element,
complementată, adică este o structură
B = (B, ∧, ∨, − , 0, 1)
Observaţie 1.3.2 Se pot da şi alte definiţii ale algebrei Boole, echivalente cu
aceasta. Se observă că ı̂n definiţia dată, setul de axiome (B1)-(B7) corespunde
celor 7 tautologii din sistemul A1 de tautologii; deci definiţii echivalente se obţin
dacă se consideră axiomele corespunzătoare sistemelor A2 - A5 de tautologii, de
exemplu.
B = (B, →, − , 1)
def def
unde x → y = (x ∧ y − )− = x− ∨ y şi invers, x ∧ y = (x → y − )− ,
def def
x ∨ y = (x− ∧ y − )− , 0 = 1− .
26 CHAPTER 1. ALGEBRE BOOLE
B = (B, →R , − , 0)
Exemplul 1.
Dacă X este o mulţime, atunci (P(X), ∩, ∪, C, ∅, X) este o algebră 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 algebră Boole, numită algebra Boole standard.
Examplul 3. (Rombul)
Mulţimea
L2×2 = {0, a, b, 1} ∼
= L2 × L2 = L22 = {0, 1} × {0, 1} = {(0, 0), (0, 1), (1, 0), (1, 1)},
organizată ca latice ca ı̂n diagrama Hasse din Figura 1.9 şi cu negaţia − definită
pe prima coloană a tabelei implicaţiei (x− = x → 0, pentru orice x), este o algebră
Boole, notată L2×2 , numita şi 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)
Mulţimea
1.3. ALGEBRE BOOLE: DEFINIŢIE, EXEMPLE, PROPRIETĂŢI 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.
Mulţimea evenimentelor asociate unei experienţe aleatoare este o algebră Boole.
Exemplul 7.
Dacă X este un spaţiu topologic, atunci familia B(X) a părţilor simultan ı̂nchise
şi deschise ale lui X formează o algebră Boole.
Exemplul 8.
Dacă (L, ∧, ∨, 0, 1) este o latice distributivă cu prim şi ultim element, atunci mulţimea
C(L) a elementelor complementate ale lui L este o algebră Boole.
Exemplul 9.
Orice produs direct de algebre Boole are o structură canonică de algebră Boole
(operaţiile se definesc pe componente). In particular, dacă X este o mulţime nevidă,
atunci LX 2 este o algebră Boole.
Dem.
(B8): Pentru a demonstra prima lege De Morgan, trebuie să demonstrăm că:
Intr-adevăr,
(x ∨ y) ∨ (x− ∧ y − ) = (x ∨ y ∨ x− ) ∧ (x ∨ y ∨ y − ) = 1 ∧ 1 = 1 şi
(x∨y)∧(x− ∧y − ) = (x∧x− ∧y − )∨(y ∧x− ∧y − ) = 0∨0 = 0. La fel se demonstrează
partea a doua a lui (B8).
(B9) este o altă 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 − ; rezultă că
x ∧ y − = x ∧ (x− ∧ y − ) = 0; deci x ≤ y ⇒ x ∧ y − = 0.
”⇐”: dacă 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: DEFINIŢIE, EXEMPLE, PROPRIETĂŢI 29
x ∧ y = 1 ⇔ (x = 1 şi y = 1).
Exerciţii 1.3.10
(1) Să se transcrie toate tautologiile din sistemele A2 - A5 de tautologii ı̂n
proprietăţi ale algebrei booleene B şi să se demonstreze; de exemplu, (G1) devine:
x → (y → x) = 1, pentru orice x, y ∈ B.
(2) De asemenea, să se demonstreze următoarele proprietăţi: 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).
(3) Să se transcrie de asemenea tautologiile (P10)-(P24) ı̂n proprietăţi ale al-
gebrei Boole B şi să se demonstreze; de exemplu, (P11) devine: x ↔ x = 1 sau,
echivalent, conform Propoziţiei 1.3.8, x = x, pentru orice x ∈ B.
x · (y + z) = x · y + x · z, (y + z) · x = y · x + z · x.
Să observăm că ı̂n unele materiale inelul este definit, echivalent, ca o algebră
(A, +, ·, 0), deoarece se consideră definiţia echivalentă a grupului ca o algebră
(A, +, 0).
Un inel se numeşte comutativ, dacă şi operaţia de ı̂nmulţire · este comutativă.
Un inel se numeşte unitar, dacă semigrupul (A, ·) este unitar; deci, un inel unitar
este o algebră (A, +, ·, −, 0, 1).
Definiţie 1.4.2 Se numeşte inel boolean sau inel Boole orice inel unitar A =
notaţie
(A, +, ·, −, 0, 1) cu proprietatea că x2 = x pentru orice x ∈ A, unde x2 = x · x.
Lema 1.4.3 Fie A un inel Boole. Atunci, pentru orice două elemente x, y ∈ A,
avem x + x = 0 şi x · y = y · x.
Teorema 1.4.4
1) Fie A = (A, +, ·, −, 0, 1) un inel Boole. Să definim
unde:
def. def. def.
x ∨ y = x + y + x · y, x ∧ y = x · y, x− = x + 1.
Atunci, β(A) este o algebră Boole.
1’) Invers, fie A = (A, ∧, ∨, − , 0, 1) o algebră Boole. Să definim:
unde:
def. def. def.
x + y = (x ∧ y − ) ∨ (x− ∧ y), x · y = x ∧ y, −x = x.
Atunci, ρ(A) este un inel Boole.
2) Aplicaţiile β şi ρ sunt mutual inverse.
Corolar 1.4.5 Algebrele Boole şi inelele Boole sunt termen echivalente.
Observaţii 1.5.2
(1) Fiecare din axiomele (a), (b), (d) rezultă din celelalte trei. Axioma (c) nu
rezultă din celelalte. Intr-adevăr, considerăm algebra Boole L22 şi S = {(0, 0), (1, 0), (1, 1)}.
S verifică axiomele (a), (b), (d), dar nu este ı̂nchisă la negaţie.
(2) Dacă S este subalgebră Boole a lui (B, ∧, ∨, − , 0, 1), atunci (S, ∧, ∨, − , 0, 1)
este algebră Boole, unde am notat tot cu ∧, ∨, − restricţiile operaţiilor din B la S.
Exemple 1.5.3
(1) Dacă B = (B, ∧, ∨, − , 0, 1) este o algebră Boole, atunci L2 = {0, 1} ⊂ B este
subalgebră a lui B.
(2) Dacă B este o algebră Boole, atunci LN 2 este subalgebră a lui B .
N
(3) Dacă X este un spaţiu topologic, atunci algebra Boole B(X) a părţilor lui
X care sunt simultan ı̂nchise şi deschise este subalgebră a lui P(X).
(4) L32 = L2 × L2 × L2 = {0, a, b, c, d, e, f, 1} are urm̆atoarele subalgebre:
S1 = {0, 1}, S2 = {0, c, d, 1}, S3 = {0, b, e, 1}, S4 = {0, a, f, 1}, S5 = L32 .
Observaţii 1.5.6
(i) Fiecare din cele patru axiome (H1) - (H4) este implicată de celelalte trei.
De exemplu, (H4) este implicată de (H1) - (H3): ı̂ntr-adevăr, S 6= ∅ ı̂nseamnă că
există x ∈ S, deci x− ∈ S şi deci x ∧ x− = 0 ∈ S şi x ∨ x− = 1 ∈ S.
(ii) Un morfism boolean f : A −→ B verifică următoarele proprietăţi legate de
implicaţia şi echivalenţa booleană: 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 aplicaţie izotonă (păstrează ordinea),
adică,
x ≤A y ⇒ f (x) ≤B f (y).
Intr-adevăr, x ≤A y ⇔ x ∨A y = y implică f (x ∨A y) = f (y) = f (x) ∨B f (y), adică
f (x) ≤B f (y).
34 CHAPTER 1. ALGEBRE BOOLE
Dem. Imediat. 2
Exerciţii 1.5.9
(1) Să se determine (eventual printr-un program) toate automorfismele lui Ln2 ,
n ≥ 2.
(2) Să 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): Dacă f (x) ≤ f (y), atunci f (x ∧ y) = f (x) ∧ f (y) = f (x), deci x ∧ y = x,
de unde x ≤ y. Este evident că x ≤ y ⇒ f (x) ≤ f (y).
(2) ⇒ (1): Dacă F (x) = f (y), atunci f (x) ≤ f (y) şi f (y) ≤ f (x), de unde x ≤ y şi
y ≤ x; rezultă x = y. 2
Lema 1.5.12 Fie f : A −→ B un morfism boolean. Sunt echivalente afirmaţiile:
(1) f este injectiv,
(2) f −1 (0) = {0},
(3) f −1 (1) = {1}.
Dem.
(1) ⇒ (3): f (x) = 1 = f (1) implică x = 1.
(3) ⇒ (1): f (x) ≤ f (y) implică f (x → y) = f (x) → f (y) = 1 implică x → y = 1
implică x ≤ y. Aplicând Lema 1.5.11, rezultă că f este injectiv.
(1) ⇐⇒ (2) se demonstrează analog. 2
Observaţii 1.5.13
(i) Fie A, B două inele Boole şi β(A), β(B) algebrele Boole asociate. Dacă
f : A −→ B este un morfism de inele unitare, atunci
Observaţii 1.6.2
(i) Din (F2) rezultă că 1 ∈ F , deoarece orice x ∈ F verifică x ≤ 1.
(ii) Pentru orice elemente x, y ∈ B, x, y ∈ F dacă şi numai dacă x ∧ y ∈ F .
36 CHAPTER 1. ALGEBRE BOOLE
Observaţii 1.6.3
(i’) Din (F2’) rezultă că 0 ∈ I, deoarece orice x ∈ I verifică x ≥ 0.
(ii’) Pentru orice elemente x, y ∈ B, x, y ∈ I dacă şi numai dacă x ∨ y ∈ I.
Observaţii 1.6.5
(i) Condiţia (C1) sau (C2) rezultă din celelalte două.
(ii) Dacă ∼ este o congruenţă a lui B, atunci:
(C4) x ∼ y, x0 ∼ y 0 implică (x → x0 ) ∼ (y → y 0 ),
(C5) x ∼ y, x0 ∼ y 0 implică (x ↔ x0 ) ∼ (y ↔ y 0 ).
Propoziţia 1.6.6 Filtrele unei algebre Boole sunt ı̂n corespondenţă bijectivă cu
congruenţele sale.
Dem.
• Fiecărui filtru F al lui B = (B, ∨, ∧, − , 0, 1) ı̂i asociem următoarea relaţie
binară, ∼F , definită astfel: pentru orice x, y ∈ B,
x ∼F y ⇔ x ↔ y ∈ F.
(x → y) ∧ (y → z) ≤ x → z,
1.6. FILTRE (IDEALE) ŞI CONGRUENŢE. ALGEBRE BOOLE CÂT 37
Φ : FB −→ CB şi Ψ : CB −→ FB ,
definite astfel: Φ(F ) =∼F , pentru orice F ∈ FB şi Ψ(∼) = F ∼ , pentru orice
∼∈ CB .
Trebuie arătat că Φ şi Ψ sunt inverse una alteia, adică că
F ∼F = {x | x ∼F 1} = {x | x ↔ 1 ∈ F } = {x | x ∈ F } = F.
Exerciţiu 1.6.7 Fie algebra Boole P(X), cu X infinită. Să se arate că părţile
cofinite (= părţile ce au complementarele finite) formează un filtru şi să se determine
congruenţa asociată.
x/F = {y ∈ B | y ∼F x}.
Fie B/F = B/∼F mulţimea cât, adică mulţimea tuturor claselor de echivalenţă:
Conform proprietăţilor congruenţei ∼F , cele trei operaţii sunt bine definite (adică
nu depind de reprezentanţii claselor).
Să definim de asemenea elementele 0/F = {x ∈ B | x ∼F 0} ∈ B/F şi 1/F =
{x ∈ B | x ∼F 1} ∈ B/F . Atunci avem următorul rezultăt:
Propoziţia 1.6.8 Structura (B/F , ∨, ∧, − , 0/F , 1/F ) este o algebră Boole, numită
algebra Boole cât a lui B prin filtrul F .
Dem. Trebuie demonstrat că pentru orice x/F , y/F ∈ B/F , avem:
(B1) x/F ∨ x/F = x/F , x/F ∧ x/F = x/F , etc.
Să demonstrăm prima egalitate din (B1). Fie x/F ∈ B/F , element fixat, altfel
arbitrar; să demonstrăm că x/F ∨ x/F = x/F . Intr-adevăr, x/F ∨ x/F =
x/F ⇔ (x ∨ x)/F = x/F ⇔ (x ∨ x) ∼F x ⇔ (x ∨ x) ↔ x ∈ F ; dar x ∨ x = x,
conform (B1) din definiţia algebrei Boole B; deci x ↔ x ∈ F ⇔ 1 ∈ F , ceea ce
este ı̂ntotdeauna adevărat. Rezultă, conform Principiului Generalizării, (PG), că
pentru orice x/F ∈ B/F , x/F ∨ x/F = x/F este adevărată. La fel se demonstrează
restul proprietăţilor. 2
Dem.
(1): Uşor.
(2): Notăm F = f −1 (1) şi definim funcţia g : B/F −→ f (B), pentru orice
x ∈ B, prin:
g(x/F ) = f (x).
Definiţia lui g nu depinde de reprezentanţi: x/F = y/F implică x ↔ y ∈ F implică
f (x) ↔ f (y) = f (x ↔ y) = 1 implică f (x) = f (y).
O verificare simplă arată că g este morfism boolean. Conform implicaţiilor:
g(x/F ) = 1 implică f (x) = 1 implică x ∈ F implică x/F = 1/F ,
rezultă că g este injectivă. Surjectivitatea lui g este evidentă. 2
Exerciţiu 1.6.12 Fie F, G două filtre ale lui B astfel ı̂ncât F ⊆ G. Atunci, G/F =
{x/F | x ∈ G} este un filtru al lui B/F şi algebrele Boole (B/F )/(G/F ) şi B/G
sunt izomorfe.
Dem. Fie F mulţimea din dreapta. Aratăm că F este filtru. Dacă a, b ∈ F , atunci
există x1 , . . . , xn , y1 , . . . , ym ∈ X astfel ı̂ncât x1 ∧ . . . ∧ xn ≤ a, y1 ∧ . . . ∧ ym ≤ b.
Rezultă x1 ∧ . . . xn ∧ y1 ∧ . . . ∧ ym ≤ a ∧ b, deci a ∧ b ∈ F . Axioma (F2) este evident
verificată. Se observă că X ⊆ F . Presupunem că G este un filtru ce include pe X.
Dacă a ∈ F , atunci există x1 , . . . , xn ∈ X astfel ı̂ncât 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 algebră Boole finită orice filtru este principal.
Observaţie 1.6.20 Să determinăm congruenţa asociată unui filtru principal [x):
a ∼[x) b ⇐⇒ a → b ∈ [x), b → a ∈ [x)
⇐⇒ x ≤ a → b, x ≤ b → a
⇐⇒ x ∧ a ≤ b, x ∧ b ≤ a
⇐⇒ a ∧ x = b ∧ x.
Exerciţiu 1.6.21 Să se determine toate filtrele cubului, congruenţele şi algebrele
Boole cât corespunzătoare.
Scopul acestei secţiuni este de a demonstra că orice algebră Boole este izomorfă
cu o algebră Boole ale cărei elemente sunt părţi ale unei mulţimi. Acest rezul-
tat ocupă un loc central ı̂n teoria algebrelor Boole şi are numeroase aplicaţii ı̂n
logică, topologie, calculul probabilităţilor, etc. Instrumentul principal folosit ı̂n
demonstraţie va fi conceptul de ultrafiltru.
Fie B = (B, ∨, ∧, − , 0, 1) o algebră Boole.
Definiţie 1.7.1 Un filtru F al lui B este propriu dacă F 6= B.
Observaţie 1.7.2 F este propriu dacă şi numai dacă 0 6∈ F . Intr-adevăr, dacă
prin absurd 0 ∈ F , atunci, deoarece orice element x ∈ B verifică 0 ≤ x, ar rezulta
că x ∈ F , deci B ⊆ F ; cum avem şi F ⊆ B, am avea F = B: contradicţie.
Mulţimea filtrelor proprii ale lui B este ordonată ı̂n raport cu incluziunea.
Definiţie 1.7.3 Un ultrafiltru sau filtru maximal este un element maximal al mulţimii
filtrelor proprii, adică este un filtru propriu U al lui B cu proprietatea că pentru
orice filtru propriu F , dacă U ⊆ F , atunci U = F .
Exemple 1.7.4
(1) Dacă X este o mulţime nevidă şi x ∈ X, atunci Ux = {A ⊆ X | x ∈ A} este
un ultrafiltru ı̂n P(X).
(2) Dacă B = Ln2 şi 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
Exerciţiu 1.7.9 Un filtru propriu F este ultrafiltru dacă şi numai dacă pentru
orice x, y ∈ B, avem x → y ∈ F sau y → x ∈ F .
Suntem acum ı̂n măsură să demonstrăm Teorema de reprezentare a lui Stone.
d(x) = {U ∈ X | x ∈ U }.
U ∈ d(x ∧ y) ⇐⇒ x ∧ y ∈ U
⇐⇒ x ∈ U şi y ∈ U (U este filtru)
⇐⇒ U ∈ d(x) şi U ∈ d(y)
⇐⇒ U ∈ d(x) ∩ d(y).
U ∈ d(x− ) ⇐⇒ x− ∈ U
⇐⇒ x 6∈ U (Propoziţia 1.7.8 (iii))
⇐⇒ U 6∈ d(x)
⇐⇒ U ∈ Cd(x) .
Am demonstrat că:
d(x ∨ y) = d(x) ∪ d(y); d(x ∧ y) = d(x) ∩ d(y); d(x− ) = Cd(x) ,
ceea ce arată că d este un morfism boolean. Dacă x 6= 0, atunci există un ultrafiltru
U astfel ı̂ncât x ∈ U (Corolarul 1.7.6), deci U ∈ d(x) şi d(x) 6= ∅. Am arătat că
d(x) = ∅ implică x = 0, deci d−1 (∅) = {0}. Aplicând Lema 1.5.12, d este injectiv.
2
Cum P(X) şi LX 2 sunt algebre Boole izomorfe, teorema de reprezentare a lui
Stone capătă şi următoarea formă:
Teorema 1.7.11 Pentru orice algebră Boole, există o mulţime nevidă şi un mor-
fism boolean injectiv d : B −→ LX
2 .
Observaţie 1.7.12 Deoarece d : B −→ d(B) ⊆ P(X) este o bijecţie (era injecţie şi
acum este şi surjecţie), rezultă că Teorema lui Stone se poate enunţa şi astfel: ”Orice
algebră Boole este isomorfă cu o subalgebră a unei algebre Boole de mulţimi”.
1.8. ALGEBRE BOOLE ATOMICE 43
Observaţii 1.7.13
(1) Teorema 1.7.10 reduce calculul boolean ı̂ntr-o algebră Boole oarecare la
calculul cu mulţimi.
(2) Teorema 1.7.11 reduce calculul boolean ı̂ntr-o algebră Boole oarecare la:
(a) ı̂ntâi, la calculul ı̂n LX
2 ,
(b) apoi, calculul ı̂n LX 2 se reduce la calculul ı̂n L2 (operaţiile se fac pe componente).
Exemplu 1.8.4 Dacă B este atomică, atunci mulţimea {ai }i∈I a atomilor lui B
formează o partiţie. Condiţia (2) este dată de Propoziţia 1.8.3, iar (1) rezultă direct
din definiţia atomului.
Fie a 6= 0 ı̂n B. Notăm
B(a) = {x ∈ B | x ≤ a}.
Observăm că B(a) este ı̂nchisă la ∨ şi ∧. Pentru orice x ∈ B(a), notăm x∼ = x− ∧a,
introducând astfel o operaţie unară ∼ pe B(a).
44 CHAPTER 1. ALGEBRE BOOLE
f (x) = (x ∧ a1 , . . . , x ∧ an ).
Atunci,
(a) f este injectivă ⇐⇒ ∨ni=1 ai = 1,
(b) f este surjectivă ⇐⇒ ai ∧ aj = 0, pentru orice i 6= j,
(c) f este bijectivă ⇐⇒ {a1 , . . . , an } este o partiţie,
(d) f este morfism boolean.
Dem.
(a) =⇒: Din f (∨ni=1 ai ) = (a1 , . . . , an ) = f (1) rezultă ∨ni=1 ai = 1.
⇐=: Presupunem ∨ni=1 ai = 1. Atunci,
f (x) = f (y) implică x ∧ ai = y ∧ ai , i = 1, . . . , n, implică
x = x ∧ (∨ni=1 ai ) = ∨ni=1 (x ∧ ai ) = ∨ni=1 (y ∧ ai ) = y ∧ (∨ni=1 ai ) = y,
deci f este injectivă.
(b) =⇒: Fie i, j ∈ I distincţi; notăm c = ai ∧ aj şi definim
c, dacă k = i
xk = c− ∧ aj , dacă k = j
0, dacă k 6= i, j.
Propoziţia 1.8.8 Dacă B este o algebră Boole finită, atunci există un număr
natural n astfel ı̂ncât B şi Ln2 sunt izomorfe.
1.9. DUALITATEA ALGEBRELOR BOOLE 45
Dem. Dacă B este finită, atunci B este Q atomică. Fie a1 , . . . , an atomii lui B. Cum
{a1 , . . . , an } este o partiţie, avem B ∼
n
= i=1 B(ai ). Dacă a este un atom, atunci
B(ai ) = {0, a}, deci B(ai ) = L2 , pentru orice i = 1, . . . , n. Am obţinut B ∼
∼ = Ln2 . 2
Corolar 1.8.9 Două algebre Boole finite, de acelaşi ordinal, sunt izomorfe.
Dem. Dacă B1 ∼
= B2 şi B1 ∼
= Ln2 , B2 ∼
= Lm ∼
2 , atunci n = m şi B1 = B2 . 2
Propoziţia 1.8.10 Fie B oQalgebră Boole completă şi (ai )i∈I o partiţie ı̂n B.
Atunci, funcţia f : B −→ i∈I B(ai ), definită de f (x) = (x ∧ ai )i∈I , este un
izomorfism boolean.
Dem.
(1) =⇒ (2): Analog cu demonstraţia Propoziţiei 1.8.8, aplicându-se Propoziţia
1.8.10.
(2) =⇒ (1): P(X) este completă şi atomică. 2
d(F ) = {P ∈ Spec(B) | F ⊆ P }.
Propoziţia 1.9.2 {d(F ) | F ∈ F(B)} este familia mulţimilor ı̂nchise ale unei
topologii pe B.
Un spaţiu topologic este zero-dimensional dacă părţile sale ı̂nchise şi deschise
formează o bază.
Un spaţiu compact, separat şi zero-dimensional se numeşte spaţiu boolean.
Propoziţia 1.9.7 Pentru orice algebră Boole B, Spec(B) este un spaţiu boolean.
Fie f : A −→ B un morfism boolean şi Spec(f ) : Spec(B) −→ Spec(A) definită
astfel: pentru orice P ∈ Spec(B),
Spec(f )(P ) = f −1 (P ).
Propoziţia 1.9.8 Spec(f ) este o funcţie continuă.
Dem. Pentru orice y ∈ A, avem:
(Spec(f ))−1 (dA (y)) = {P ∈ Spec(B) | f −1 (P ) ∈ dA (y)}
= {P ∈ Spec(B) | y ∈ f −1 (P )}
= {P ∈ Spec(B) | f (y) ∈ P }
= dB (f (y)).
Dacă Boole este categoria algebrelor Boole şi SBoole este categoria spaţiilor
booleene şi a funcţiilor continue, atunci asocierea B 7→ Spec(B), f 7→ Spec(f )
defineşte un functor contravariant Spec : Boole −→ SBoole.
Fie acum X un spaţiu boolean şi T (X ) algebra Boole a părţilor ı̂nchise şi de-
schise ale lui X . Dacă g : X −→ Y este un morfism din SBoole (= aplicaţie con-
tinuă), atunci considerăm funcţia T (g) : T (Y ) −→ T (X), definită de T (g)(D) =
g −1 (D), pentru orice D ∈ T (Y ). Asocierea X 7→ T (X ), g 7→ T (g) defineşte un
functor contravariant T : SBoole −→ Boole. 2
Propoziţia 1.9.9 Pentru orice B ∈ Boole, algebrele Boole B şi T (Spec(B)) sunt
izomorfe.
Dem. Considerăm morfismul lui Stone dB : B −→ T (Spec(B)) (x 7→ dB (x)). dB
este un morfism boolean injectiv. A rămas de arătat surjectivitatea lui dB .
Fie D ∈ T (Spec(B)), deci D este o parte a lui Spec(B) ı̂nchisă şi deschisă. Cum
D este ı̂nchisă ı̂n spaţiul Spec(B) compact şi separat, rezultă că D este compactă.
D fiind deschisă şi {dBS (x) | x ∈ B} fiind baza a lui Spec(B), există o familie (xi )i∈I
ı̂n B astfel ı̂ncât D = i∈I dA (xi ). Atunci, există J ⊆ I finită, astfel ı̂ncât
[ _
D= dA (xi ) = dB ( xi )
i∈J i∈J
Propoziţia 1.9.10 Pentru orice X ∈ SBoole, spaţiile booleene X şi Spec(T (X))
sunt homeomorfe.
ϕ−1
X (d(D)) = {x | Ux ∈ d(D)} = {x | D ∈ Ux } = {x | x ∈ D} = D.
Insumând toate rezultatele din acest paragraf, putem formula următoarea teo-
remă:
Teorema 1.9.13 (Dualitatea Stone)
Categoriile Boole şi SBoole sunt duale.
Dacă 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 şi (a1 ∧b)∨(a2 ∧b ) ∈ A(b). Rezultă că A(b) este subalgebră
şi restul demonstraţiei este evident. 2
c fiind un element ce verifică (1.12). Aratăm că h∼ : A(b) −→ C este bine definită.
Anume, vom arăta că
implică
[h(a1 ) ∧ c] ∨ [h(a2 ) ∧ c− ] = [h(a01 ∧ c] ∨ [h(a02 ) ∧ c− ].
Inegalitatea:
implică inegalităţile:
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).
Rezultă că h∼ (x1 ∨ . . . ∨ xn ) = h∼ (x1 ) ∨ . . . ∨ h∼ (xn ) pentru orice x1 , . . . , xn ∈ A(b).
Observând că
x− = (a− − − −
1 ∧ a2 ) ∨ (a1 ∧ b) ∨ (a2 ∧ b ),
−
vom avea
h∼ (x− ) = h∼ (a− − ∼ − ∼ −
1 ∧ a2 ) ∨ h (a1 ∧ b) ∨ h (a2 ∧ b )
−
Definiţie 1.10.4 O algebră Boole C se numeşte injectivă dacă pentru orice algebră
Boole B, pentru orice subalgebră A a lui B şi pentru orice morfism boolean f : A −→
C, există un morfism boolean g : B −→ C care extinde pe f :
52 CHAPTER 1. ALGEBRE BOOLE
A ⊆ B
B £
fB £ g
B £
BBN £
£°
C
Propoziţia 1.10.5 (Sikorski)
Orice algebră Boole completă C este injectivă.
A ⊆ B
B
fB
B
B
BN
P C
Fie mulţimea perechilor (D, h) astfel ı̂ncât D este subalgebra a lui B care
include pe A şi h : D −→ C este un morfism boolean care extinde pe f :
A ⊆ D ⊆ B
Z
Z h
f ZZ
~ ?
C
P
Dacă (D, h), (E, u) ∈ , definim (D, h) ¹ (E, u) dacă următoarea diagramă
este comutativă:
A ⊆ E D ⊆ ⊆ B
Z ½
Z h ½
f Z~
Z ?
½
= u
½
C
P
Se demonstrează uşor că ( , ¹) este inductiv ordonată, deci, conform axiomei
lui Zorn, admite un element maximal (D, h). Presupunem că D 6= B, deci există
a ∈ B \ D. Considerăm D(a) şi aplicăm Propoziţia 1.10.3: există un morfism
boolean h∼ : D(a) −→ C care extinde pe h. Aceasta contrazice maximalitatea lui
(D, h), ceea ce arată că D = B. 2
f -
C B
Z ½
Z ½
1CZZ
~
½
½ g
=
C
Calculul propoziţiilor
(Prezentare neformalizată)
2.1 Propoziţiile
Definiţie 2.1.1 Un enunţ este un text lingvistic care se referă la un anumit dome-
niu U , numit univers al discursului şi exprimă o proprietate a unui obiect ( sau a
unui grup de obiecte) din universul respectiv.
Subiectul (subiectele) enunţului exprimă obiectul (obiectele).
Partea predicativă a enunţului exprimă proprietatea.
Definiţie 2.1.2 Propoziţia este enunţul cu sens, ı̂n care toate subiectele sunt de-
terminate.
Vom nota propoziţiile cu p, q, r, s, t, . . ..
Vom nota cu P0 mulţimea propoziţiilor iniţiale, date, primitive. Din propoziţiile
date ı̂n P0 se construiesc propoziţii noi, compuse, cu ajutorul operatorilor logici,
propoziţionali (= conectorilor logici, propoziţionali): ¬, ∨, ∧, →, ↔. Astfel,
pentru p, q propoziţii, avem următoarele definiţii.
Definiţie 2.1.3 Se numeşte negaţia propoziţiei p, şi se notează : ¬p (se citeşte
”non p”), propoziţia care afirmă proprietatea contrară celei exprimate de p şi care
se construieşte lingvistic din p prin intercalarea particulei negative ”nu” ı̂n faţa
părţii predicative a lui p.
55
56CHAPTER 2. CALCULUL PROPOZIŢIILOR (PREZ. NEFORMALIZATĂ)
Observaţii 2.1.8
1) Implicaţia şi echivalenţa se definesc cu ajutorul operatorilor propoziţionali
¬, ∨, ∧.
2) Operatorii propoziţionali afectează partea predicativă a enunţurilor, nu şi
subiectul (subiectele).
3) Obiectul de studiu al calculului propoziţiilor este mulţimea P a tuturor
propoziţiilor, care se obţin plecând de la propoziţiile din P0 şi aplicând repetat,
ı̂n toate modurile posibile, conectorii logici ¬, ∨, ∧, →, ↔. Mai exact spus,
mulţimea P se defineşte prin recurenţă astfel:
(R1) Dacă p ∈ P0 , atunci p ∈ P .
(R2) Dacă p, q ∈ P , atunci ¬p, p ∨ q, p ∧ q, p → q, p ↔ q ∈ P .
(R3) Orice propoziţie p ∈ P se obţine aplicând regulile (R1) şi (R2) de un
număr finit de ori.
Observaţii 2.2.1
1) Ipoteza este că fiecare propoziţie are o valoare de adevăr. Este clar că
propoziţiile interogative (”Ce mai faci ? etc. ), cele exclamative (”Ce frumos
este afara!” etc.) precum şi cele imperative (”Fii atent!” etc.) nu au valoare de
2.2. VALOREA DE ADEVĂR A UNEI PROPOZIŢII 57
Definiţie 2.2.2 O propoziţie este adevărată dacă şi numai dacă starea de fapt
descrisă de propoziţie are loc.
Stabilirea adevărului unei propoziţii se poate face şi in raport cu adevărul altor
propoziţii.
Să definim acum valorile de adevăr ale propoziţiilor compuse ¬p, p∨q, p∧q, p →
q, p ↔ q ı̂n funcţie de valorile de adevăr ale propoziţiilor componente, p şi q.
Definiţie 2.2.3 Propoziţia ¬p este adevărată dacă şi numai dacă propoziţia p este
falsă. Rezultă că propoziţia ¬p este falsă dacă şi numai dacă propoziţia p este
adevărată.
Definiţie 2.2.4 Propoziţia p ∨ q este adevărată dacă şi numai dacă cel puţin una
din propoziţiile p, q este adevărată. Rezultă că p ∨ q este falsă dacă şi numai dacă
ambele propoziţii p, q sunt false.
Definiţie 2.2.5 Propoziţia p∧q este adevărată dacă şi numai dacă ambele propoziţii
p, q sunt adevărate. Rezultă că p ∧ q este falsă dacă şi numai dacă cel puţin una
din propoziţiile p, q este falsă.
v0 : P0 −→ {0, 1}
Să definim pe mulţimea L2 = {0, 1} ⊆ < operaţia unară ¬L2 şi operaţiile
binare ∨L2 , ∧L2 , →L2 , ↔L2 astfel: pentru orice x, y ∈ L2 ,
def. def def.
¬L2 x = 1 − x, , x ∨L2 y = max(x, y), x ∧L2 y = min(x, y),
and
def. def.
x →L2 y = (¬L2 x) ∨L2 y, x ↔L2 y = (x →L2 y) ∧L2 (y →L2 x).
Deducem următoarele tabele de valori:
Din tabelele (1), (2) şi (3), (4), se vede că funcţia v : P −→ L2 este un homo-
morfism (adică pentru orice p, q ∈ P , v(¬p) = ¬L2 v(p), v(p ∨ q) = v(p) ∨L2 v(q),
şi v(p ∧ q) = v(p) ∧L2 v(q); it follows that v(p → q) = v(p) →L2 v(q) şi v(p ↔ q) =
v(p) ↔L2 v(q)). Se observă că v este surjectiv, dar nu este injectiv.
Propoziţia 2.2.7 Structura L2 = (L2 = {0, 1}, ∨L2 , ∧L2 , ¬L2 , 0, 1) este o algebră
Boole, numita algebra Boole canonică.
Dem. Rutină. 2
Definiţie 2.2.8
O propoziţie compusă p ∈ P care este adevărata independent de valorile de
adevăr ale propoziţiilor componente se numeste propoziţie universal adevărata sau
tautologie.
O propoziţie compusă p ∈ P care este falsă independent de valorile de adevăr
ale propoziţiilor componente se numeste contradicţie sau antilogie.
60CHAPTER 2. CALCULUL PROPOZIŢIILOR (PREZ. NEFORMALIZATĂ)
p ∧ ¬p Principiul contradicţiei.
Exemple 2.2.10 Exemple de tautologii Vom grupa unele exemple ı̂n grupe sau
sisteme de tautologii, notate A1 , A2 , A3 , A4 , A5 , sisteme corespunzătoare celor
mai utilizate sisteme de axiome ale sistemului formal al calculului propoziţiilor.
Să notam cu O propoziţia p∧¬p şi cu I propoziţia 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)].
Faptul că se poate stabili algoritmic dacă o propoziţie oarecare este tautologie
sau nu constituie o proprietate importantă, care se enunţă sub forma: calculul
propoziţiilor este decidabil.
Dacă ı̂n algoritmul prezentat continuăm să calculam v(p) şi după ce ı̂ntâlnim
valoarea 0, deci dacă ducem ciclul până la capăt, atunci realizăm tabela de adevăr
a propoziţiei date p.
Tabelele de adevăr, sau matricile de adevăr, constituie deci o modalitate algo-
ritmică de a determina valoarea de adevăr a unei propoziţii compuse. Mai există
şi alte modalităti, nealgoritmice, şi anume bazate pe proprietăţi deja stabilite ale
altor propoziţii.
deci dacă şi numai dacă v(p ↔ q) = 1 ı̂ntotdeauna. Vom nota astfel:
def
p ∼ q ⇔ p ↔ q este tautologie, sau
def
p ∼ q ⇔ v(p ↔ q) = 1.
Atunci sunt adevărate următoarele două Propoziţii.
Propoziţia 2.2.11 Relaţia ∼ este o relaţie de echivalenţă pe P .
Dem.
(i) ∼ este reflexivă, adică pentru orice p ∈ P , p ∼ p. Intr-adevăr, fie p ∈ P ,
def
propoziţie fixată, altfel arbitrară; p ∼ p ⇔ p ↔ p este tautologie, ceea ce este
adevărat, conform (P11). Conform Principiului Generalizării , (PG) pe scurt,
rezultă că pentru orice p ∈ P , p ∼ p; deci (i) are loc.
(ii) ∼ este simetrică, adică pentru orice p, q ∈ P , p ∼ q implică q ∼ p. Intr-
def
adevăr, fie p, q ∈ P propoziţii fixate, altfel arbitrare; p ∼ q ⇔ v(p ↔ q) = 1; atunci
v(q ↔ p) = 1, adică q ∼ p, deci p ∼ q implică q ∼ p. Conform (PG), pentru orice
p, q ∈ P , p ∼ q implică q ∼ p, deci (ii) are loc.
(iii) ∼ este tranzitivă, adică pentru orice p, q, r ∈ P , p ∼ q şi q ∼ r implică
p ∼ r. Intr-adevăr, fie p, q, r ∈ P propoziţii fixate, altfel arbitrare; (p ∼ q şi
def
q ∼ r) ⇔ (v(p ↔ q) = 1 şi v(q ↔ r) = 1); atunci
Atunci obtinem:
Dem.
def
1) Let p, q ∈ P , fixate, altfel arbitrare; p ∼ q ⇔ v(p ↔ q) = 1; atunci avem:
def
3) Let p, q ∈ P , fixate, altfel arbitrare; p ∨ ¬p ∼ q ∨ ¬q ⇔ v((p ∨ ¬p) ↔
(q ∨ ¬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
Observaţii 2.2.13 1) Propoziţia 2.2.12 spune că relaţia ∼ este o relaţie de congruenţă
pe (P, ∨, ∧, ¬).
2) In mod uzual, relaţia ∼ se mai notează ⇔.
_ ^ _ def. _
p q = p ∧ q,
_
def. _
N EG p = ¬p .
Aceste trei operaţii sunt bine definite (adică nu depind de reprezentanţii aleşi ai
claselor), conform Propoziţiei 2.2.12(1),(2). Să considerăm, de asemenea, următoarele
elemente remarcabile din P/∼ (conform Propoziţiei 2.2.12(3)):
_ def.
I = {p ∨ ¬p | p ∈ P }
şi
_ def.
O = {p ∧ ¬p | p ∈ P }.
Obţinem atunci următoarea
W V _ _
Teorema 2.2.14 Structura (P/∼, , , N EG, O , I ) este o algebră Boole.
2.2. VALOREA DE ADEVĂR A UNEI PROPOZIŢII 65
_ _ _
Dem. Trebuie să demonstrăm că, 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,
_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 .
Vom demonstra prima egalitate din (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 adevărat, conform primei tautologii (P1) din sistemul A1 de tautologii.
Restul proprietăţilor se demonstrează folosind, similar, restul tautologiilor din
A1 . 2
_ _
Dacă ı̂n algebra Boole P/∼ considerăm submulţimea P2 = {O , I }, atunci struc-
tura _ ^ _ _
(P2 , , , N EG, O , I )
este o subalgebră a algebrei Boole P/∼, deci este la rândul ei o algebră Boole, şi
anume o algebră Boole cu două elemente (deci izomorfă cu algebra Boole canonică,
L2 ).
_ _ W V
Dacă facem asocierile: O - F ALSE, I - T RU E, - OR, - AN D, N EG -
N OT , atunci obţinem algebra Boole cu două elemente,
care este implementată ı̂n limbajul PASCAL prin tipul de date BOOLEAN.
Calculul predicatelor
(Prezentare neformalizată)
3.1 Predicatele
Definiţie 3.1.1 Predicatul este enunţul care are printre subiectele sale cel puţin
unul care este nedeterminat. Un subiect nedeterminat se numeste variabilă liberă.
Exemple 3.1.2 1) Enunţurile ”Socrate este muritor”, ”Platon este muritor” sunt
propoziţii, adevărate, iar enunţul ”x este muritor” este un predicat unar, pe care-l
vom nota cu ”muritor(x)” sau cu P (x).
2) Enunţurile ”3 < 5”, ”10 < 5” sunt propoziţii, prima adevărată, a doua falsă,
iar enunţul ”n < 5” este un predicat unar, pe care-l vom nota Q(n).
3) Enunţurile ”2 ≤ 3”, ”5 ≤ 1” sunt propoziţii, prima adevărată, a doua falsă,
iar enunţul ”x ≤ y” este un predicat binar, pe care-l vom nota cu F (x, y).
67
68CHAPTER 3. CALCULUL PREDICATELOR (PREZ. NEFORMALIZATĂ)
Observaţii 3.1.3 1) Dacă P este un predicat care conţine, de exemplu, trei vari-
abile libere, atunci, in funcţie de situaţie, putem pune ı̂n evidenţă una, două sau
toate trei variabilele, sau chiar niciuna, ı̂n care caz se scrie respectiv:
Exemple 3.1.5
(1) Dacă P (x) ≡”x este muritor”, atunci propoziţia ”Socrate este muritor” are
sens şi este adevărată, iar propoziţia ”Numarul 5 este muritor” nu are sens. Deci,
D este mulţimea oamenilor sau mulţimea animalelor.
(2) Dacă Q(x) ≡ ”n < 5”, atunci propoziţia ”10 < 5” are sens şi este falsă, iar
propoziţia ”Socrate < 5” nu are sens. Deci, D este N sau Q sau <.
Qn
(sau, echivalent, cu (x1 , x2 , . . . , xn ) ∈ i=1 Di )
dacă pentru orice obiecte ai ∈ Di , i = 1, n Qn
(sau, echivalent, pentru orice tuplu de obiecte (a1 , a2 , . . . , an ) ∈ i=1 Di )
avem că P (a1 , a2 , . . . , an ) este o propoziţie cu sens, adevărată sau falsă. Vom spune
ı̂n acest caz că predicatul P este plurisort (cu mai multe sorturi).
Observaţii 3.1.7
(1) Mulţimea de obiecte D (mulţimile de obiecte D1 , D2 , . . . , Dn ) depinde
(depind) de P :
D = DP (D1 = D1P , . . . Dn = DnP ).
(2) Semnul ≡ din scrierea: P (x) ≡ ”x este muritor” ı̂nseamna că P (x) este o
notaţie pentru ”x este muritor”.
Predicat parţial
Definiţie 3.1.8 Fie P (x1 , x2 , x3 , . . . , xn ) un predicat n-ar (n > 1). Dacă fixăm
(precizăm) variabilele x2 , x3 , . . . , xn ı̂ntr-un mod oarecare (de exemplu, prin ı̂nlocuirea
lor cu obiectele a2 , a3 , . . . , an din mulţimea (mulţimile) de obiecte a (ale) lui P ),
atunci enunţul obţinut, P (x1 , a2 , a3 , . . . , an ), este un predicat unar, conţinând doar
variabila x1 , care se numeşte predicatul parţial ı̂n raport cu x1 obţinut din P prin
fixarea variabilelor x2 , x3 , . . . , xn .
Observaţii 3.1.9
(1) Cuantificatorii lucrează asupra subiectului (subiectelor) unui enunţ.
(2) Prin cuantificarea predicatului unar P (x), numărul locurilor libere din
enunţul astfel obţinut s-a redus la 0. Deci, enunţurile (∀x)P (x) şi (∃x)P (x)
sunt propoziţii, ı̂n care x se numeşte variabilă legată. Deci, cuantificarea
este a doua modalitate de trecere de la predicate la propoziţii.
(3) Cuantificatorii ∀ şi ∃ nu sunt independenţi (după cum nici ∨ şi ∧ nu sunt
independenţi).
(2) Fie acum P (x, y) şi Q(x, y) două predicate binare (sau unul unar şi celălalt
binar).
Construcţiile lingvistice ale enunţurilor:
¬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 enunţuri sunt predicate.
Construcţiile lingvistice ale enunţurilor:
(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 ı̂n (a) fiind predicate, cele grupate ı̂n (b) fiind
propoziţii.
Observaţii 3.1.10
(1) Fie P (x1 , x2 , . . . , xn ) un predicat n-ar (n > 1). Prin o cuatificare, numărul
locurilor libere din predicat scade cu o unitate. Deci, enunţurile:
(∀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, enunţurile:
(∀x1 )(∀x2 )P (x1 , x2 , . . . , xn ),
(∀x1 )(∃x2 )P (x1 , x2 , . . . , xn ),
(∃x1 )(∀x2 )P (x1 , x2 , . . . , xn ),
(∃x1 )(∃x2 )P (x1 , x2 , . . . , xn )
ş.a.m.d. sunt predicate (n − 2)-are, ş.a.m.d., iar enunţurile:
(∀x1 )(∀x2 ) . . . (∀xn )P (x1 , x2 , . . . , xn ),
(∀x1 )(∀x2 ) . . . (∃xn )P (x1 , x2 , . . . , xn ),
..........................................................................
(∃x1 )(∃x2 ) . . . (∃xn )P (x1 , x2 , . . . , xn ),
ş.a.m.d. sunt predicate 0-are, adică sunt propoziţii.
Variabila care apare lângă un cuantificator (= aflată ı̂n aria de cuprindere a unui
cuantificator) dispare din predicat, nu mai este liberă, ci legată. Evident, aceeaşi
variabilă nu poate fi legată de mai multe ori ı̂ntr-un predicat.
3.1. PREDICATELE 71
D = {a1 , a2 , . . . , an },
atunci
(∀x)P (x) ↔ P (a1 ) ∧ P (a2 ) ∧ . . . ∧ P (an ),
Convenţii de scriere
(1) Vom scrie: (∀x)P (x) ı̂n loc de: ∀xP (x) şi vom scrie: (∃x)P (x) ı̂n loc de:
∃xP (x). Dar scrierea: (∀)xP (x) este greşită, ca şi scrierea: (∃)xP (x).
(2) Pentru a uşura scrierea unei propoziţii complexe, vom presupune următoarele:
h este atunci adevărată dacă şi numai dacă h1 este adevărată şi h2 este adevărată.
Să notăm p ≡ ”(∀x)P (x)”.
• Să arătăm că propoziţia h1 este adevărată:
- dacă propoziţia p este adevărată, atunci h1 este adevărată;
- dacă propoziţia p este falsă, atunci predicatul P (x) este fals sau ambivalent;
rezultă că predicatul ¬P (x) este adevărat sau ambivalent; deci propoziţia (∃x)[¬P (x)]
este adevărată; rezultă că h1 este adevărată.
• Să arătăm că propoziţia h2 este adevărată:
- dacă propoziţia p este adevărată, atunci predicatul P (x) este adevărat; atunci
predicatul ¬P (x) este fals; deci propoziţia (∃x)[¬P (x)] este falsă; rezultă că propoziţia
¬[(∃x)(¬P (x))] este adevărată şi, deci, h2 este adevărată;
- dacă propoziţia p este falsă, atunci propoziţia ¬p este adevărată şi deci h2 este
adevărată.
Deci, h este adevărată ı̂ntotdeauna.
(2) Fie P (x) un predicat unar oarecare. Să se demonstreze că predicatul următor
este adevărat:
H(y) ≡ ”[(∀x)P (x) → P (y)”.
Dem.
Conform definiţiei, predicatul H(y) este adevărat dacă şi numai dacă, pentru
orice obiect a ∈ DH (DH este domeniul lui H), H(a) este o propoziţie adevărată.
Fie atunci a ∈ DH un obiect oarecare, fixat, altfel arbitrar; să arătăm că H(a) este
o propoziţie adevărată:
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 exerciţiu, faptului că ¬¬p ↔ p şi conform legilor De Morgan.
74CHAPTER 3. CALCULUL PREDICATELOR (PREZ. NEFORMALIZATĂ)
- Dacă p este falsă, atunci ¬p este adevărată şi deci h este adevărată. - Dacă p
este adevărată, atunci să notăm:
- dacă predicatul Q(x) este adevărat, atunci propoziţia (∀x)Q(x) este adevărată,
deci h2 este adevărată; rezultă h adevărată;
- dacă predicatul Q(x) este fals, atunci predicatul ¬Q(x) este adevărat; rezultă că
p ∧ ¬Q(x) este un predicat adevărat, de unde obţinem că h1 este adevărată, deci h
este adevărată;
- dacă predicatul Q(x) este ambivalent, atunci predicatul ¬Q(x) este ambivalent;
rezultă că p ∧ ¬Q(x) este un predicat ambivalent, de unde obţinem că h1 este
adevărată, deci h este adevărată.
Deci, h este ı̂ntotdeauna o propoziţie adevărată.
Definiţie 3.2.4
Se numeşte lege logică orice enunţ complex (adică format cu ajutorul operato-
rilor propoziţionali (¬, ∨, ∧, →, ↔) şi al cuantificatorilor (∀, ∃) din alte enunţuri,
numite enunţuri componente) care are proprietatea că este adevărat independent
de valorile de adevăr ale enunţurilor componente. O lege logică care se construieşte
fără cuatificatori se numeşte tautologie. O lege logică ı̂n construcţia căreia intervin
şi cuantificatorii nu are un nume special ı̂n literatura de specialitate; noi o vom
numi tautologie cuantificată.
Un enunţ complex care este fals, oricare ar fi valorile de adevăr ale enunţurilor
componente, se numeşte it antilogie - dacă nu conţine cuantificatorii, şi it antilogie
cuantificată - dacă conţine cuantificatorii.
(II):
1. (∀x)P (x) ∨ (∃x)[¬P (x)],
2. (∃x)P (x) ∨ (∀x)[¬P (x)].
(III):
3.2. VALOAREA DE ADEVĂR A UNUI PREDICAT 75
(IV):
1. (∀x)P (x) → P (y), (vezi exerciţiul 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).
Observaţie 3.2.7 Toate regulile de deducţie sunt consecinţe a trei reguli funda-
mentale: ”modus ponens”, ”→ ∀”, ”∃ →”. Se poate arăta că pentru nevoile unei
teorii deductive ne putem rezuma doar la două reguli: ”modus ponens” şi una din
celelalte două.
In acest capitol este studiat calculul propoziţional clasic (L) prin trei dintre di-
mensiunile sale: sintaxa, semantică şi algebra. Fiecare dintre cele trei componente
este analizată atât ı̂n sine cât şi ı̂n relaţie cu celelalte două. La nivelul acestui ma-
terial, cunoaşterea logicii propoziţionale este realizată prin relaţia ternară stabilită
ı̂ntre sintaxă, semantică şi algebră.
Prima secţiune a capitolului conţine câteva exemple de descompunere ale unor
texte ı̂n propoziţii elementare şi reprezentarea lor simbolică cu ajutorul conectorilor
propoziţionali ”şi”, ”sau” , ”non” şi ”implică”. Acest exerciţiu de reprezentare
simbolică este o primă sugestie asupra trecerii de la limbajul natural la limbajul
formal al logicii propoziţionale.
Secţiunea 2 ı̂ncepe cu definirea limbajului lui L. Construcţia re la bază un
alfabet ı̂n care apar numai doi conectori primari: implicaţia (→) şi negaţia (¬).
Prin inductie, sunt definite enunţurile lui L: ele sunt formaţiuni de simboluri ce
traduc propoziţii din limbajul natural. Conjuncţia (∧), disjuncţia (∨) şi echivalenţa
logică (↔) sunt conectori derivaţi, definiţi cu ajutorul implicaţiei şi negaţiei.
Pasul următor este ı̂mbogăţirea limbajului L cu o structură logică. Pornind
de la trei axiome şi o singură regulă de deducţie (modus ponens), se definesc
demonstraţiile formale şi deducţia din ipoteze. La capătul demonstraţiilor formale
stau teoremele formale.
Subsecţiunea 1 cuprinde unele proprietăţi sintactice ale lui L. Teorema deducţiei
este folosită ca instrument principal ı̂n stabilirea celor mai importante teoreme
formale.
In Subsectiunea 2 este descris modul cum se realizează trecerea de sintaxa lui
L la algebra Boole. Factorizând mulţimea enunţurilor lui L printr-o relaţie de
echivalenţă canonică (definită in termenii echivalenţei logice), se obţine o algebră
Boole, numita algebra Lindenbaum-Tarski asociată lui L. Prin această construcţie,
77
78CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZIŢIONAL (L)
conectorii sunt convertiţi ı̂n operaţii booleene, iar stabilirea teoremelor formale se
reduce la un calcul algebric. Din acest moment, se poate urmări cum, pas cu pas,
se trasează o paralelă algebrică la sintaxa lui L.
Semantica lui L este tratată in Secţiunea 3. Se defineşte noţiunea de inter-
pretare şi valoarea de adevăr a unui enunţ ı̂ntr-o interpretare. Prin Teorema de
completitudine, enunţurile universal adevărate (= enunţurile adevărate ı̂n orice in-
terpretare) sunt puse faţă ı̂n faţă cu teoremele formale. Demonstraţia Teoremei de
completitudine este de natură algebrică. Ideea acestei demonstraţii este folosirea
Teoremei de reprezentare a lui Stone pentru a obţine interpretări.
In Subsecţiunea 1 este reluată sintaxa lui L, prin studiul mulţimilor consistente
de enunţuri. Sunt definite noţiunile de model şi de deducţie semantică. Teorema
de completitudine extinsă, demonstrată ı̂n această secţiune, stabileşte echivalenţa
dintre deducţia formală şi deducţia semantică. Demonstraţia Teoremei de com-
pletitudine extinsă se bazează pe proprietăţile mulţimilor maximal consistente de
enunţuri.
Sectiunea 4 conţine o demonstraţie a Teoremei de reprezentare a lui Stone pe
baza Teoremei de completitudine.
Sectiunea 5 conţine exemple de deducţii formale.
4.1 Introducere
Exemplul 1.
De te-ating, să feri ı̂n lături
De hulesc, să taci din gură,
Ce mai vrei cu-a tale sfaturi
Dacă ştii a lor măsură ?
(M. Eminescu, Glossa)
Dacă notăm:
p1 ≡ ”te-ating”
p2 ≡ ”să feri ı̂n lături”
q1 ≡ ”hulesc”
q2 ≡ ”să taci din gură”
4.1. INTRODUCERE 79
Exemplul 2.
Imbracă-te ı̂n doliu, frumoasă Bucovină
Cu cipru verde-ncinge antică fruntea ta
C-acum din pleiada-ţi auroasă şi senină
Se stinse un luceafăr, se stinse o lumină,
Se stinse-o dalbă stea !
(M. Eminescu, La mormântul lui Aron Pumnul)
Dacă notăm:
p1 ≡ ”ı̂mbracă-te ı̂n doliu, frumoasă Bucovină”
p2 ≡ ”cu cipru verde-ncinge antică fruntea ta”
q1 ≡ ”acum din pleiada-ţi auroasă şi senină se stinse un luceafăr”
q2 ≡ ”(acum din pleiada-ţi auroasă şi senină) se stinse o lumină”
q3 ≡ ”(acum din pleiada-ţi auroasă şi senină) se stinse-o dalbă stea”
(q1 ∧ q2 ∧ q3 ) → (p1 ∧ p2 )
Exemplul 3.
Nu era azi, nici mâine, nici ieri, nici totdeauna
Căci unul erau toate şi totul era una.
(M. Eminescu, Rugăciunea unui dac)
Cu notaţiile:
p1 ≡ ”era azi”
p2 ≡ ”(era) mâine”
p3 ≡ ”(era) ieri”
p4 ≡ ”(era) dintotdeauna”
q1 ≡ ”unul erau toate”
q2 ≡ ”totul era una”
Exemplul 4.
Că de-i vreme rea sau bună
Vântu-mi bate, frunza-mi sună
80CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZIŢIONAL (L)
Notăm:
p ≡ ”vremea era rea”
q ≡ ”(vremea) era bună”
p1 ≡ ”vântu-mi bate”
q1 ≡ ”frunza-mi sună”
r ≡ ” mie-mi curge Dunărea”
Exemplul 5.
Timpul mort şi-ntinde trupul şi devine veşnicie
Căci nimic nu se ı̂ntamplă ı̂n ı̂ntinderea pustie
Si ı̂n noaptea nefiinţei totul cade, totul tace
Căci ı̂nşine ı̂mpăcătă reı̂ncep-eterna pace.
(M. Eminescu, Scrisoarea I)
Exemplele de mai sus ne dau o idee despre modul ı̂n care un text scris ı̂n limbaj
natural poate căpăta o ı̂nfăţişare simbolică ı̂n calculul propoziţional.
Teza fundamentală a calculului propoziţional este existenţa a două valori de
adevăr: 1 (= adevărul) şi 0 (= falsul). Conectorilor ∧, ∨, ¬, →, ↔ le corespund
operaţiile algebrice pe mulţimea L2 = {0, 1}, notate tot ∧, ∨, ¬, →, ↔ şi definite
prin tabele.
Definiţie 4.2.2 Un cuvant este un şir finit de simboluri primitive, scrise unul după
altul.
Definiţie 4.2.3 Se numeşte enunţ orice cuvânt ϕ care verifică una din condiţiile
următoare:
(i) ϕ este o variabilă propoziţională,
(ii) există un enunţ ψ astfel ı̂ncât ϕ = ¬ψ,
(iii) există enunţurile ψ, χ astfel ı̂ncât ϕ = ψ → χ.
Variabilele propoziţionale se vor numi enunţuri atomice sau elementare.
Vom nota cu E mulţimea enunţurilor.
Observaţie 4.2.4 Definiţia conceptului de enunţ este dată prin inducţie. Momen-
tul iniţial al definiţiei prin inducţie este dat de condiţia (i), iar trecerea ”de la k la
k + 1” este asigurată de (ii) şi (iii).
Observaţii 4.2.5
(1) In prezentarea sistemului formal al calculului propoziţional am considerat
negaţia şi implicaţia drept conectori primitivi (iniţiali). Conectorii derivaţi ∨ (sau),
∧ (şi), ↔ (echivalent) au fost introduşi prin prezentările de mai sus.
(2) Există prezentări ale sistemului formal al calculului propoziţional (echiva-
lente cu cea de mai sus) care folosesc alţi conectori primitivi.
Definiţie 4.2.7 O teoremă formală sau pe scurt teoremă este un enunţ ϕ care
verifică una din condiţiile următoare:
(T1) ϕ este o axiomă,
(T2) există un enunţ ψ astfel ı̂ncât ψ şi ψ → ϕ sunt teoreme.
Conditia (T2) se scrie prescurtat:
ψ, ψ → ϕ
Definiţia conceptului de teoremă formală fost dată prin inducţie: axiomele (A1) -
(A3) corespund momentului zero al inducţiei, iar ”trecerea de la k la k + 1” este
realizată prin modus ponens.
Definiţie 4.2.8 O demonstraţie formală a unui enunţ ϕ este un şir finit de enunţuri
ψ1 , . . . , ψn astfel ı̂ncât ψn = ϕ şi pentru orice 1 ≤ i ≤ n se verifică una din condiţiile
următoare:
(1) ψi este o axiomă,
(2) există doi indici k, j < i astfel ı̂ncât ψk = ψj → ψi .
Se observă că proprietăţile (1), (2) nu exprimă altceva decât condiţiile (T1), (T2),
deci ` ϕ dacă şi numai dacă există o demonstraţie formală ψ1 , . . . , ψn a lui ϕ. n
se numeşte lungimea demonstraţiei formale. O teoremă poate avea demonstraţii
formale de lungimi diferite.
Σ ` ϕ,
Σ ` ψ, ψ → ϕ
Σ`ϕ
Prin compararea condiţiilor (D1) - (D3) din Definiţia 4.2.9 cu conditiile (1) - (3)
din Definiţia 4.2.10, rezultă că Σ ` ϕ dacă şi numai dacă există o Σ-demonstraţie
formală a lui ϕ.
Observaţii 4.2.11
(i) Dacă Σ = ∅, atunci ∅ ` ϕ ⇐⇒ ` ϕ.
(ii) Dacă ` ϕ, atunci Σ ` ϕ pentru orice Σ ⊆ E.
In această subsecţiune, vom prezenta unele proprietăţi sintactice ale lui L, cea
mai importantă dintre ele fiind teorema deducţiei. Folosind acest rezultat, vom
stabili cele mai semnificative teoreme formale ale lui L.
Dem.
(i): Demonstraţia se face prin inducţie asupra conceptului Σ ` ϕ. Dacă Σ ` ϕ,
atunci este verificată una din condiţiile (D1) - (D3). Le vom lua pe rând:
- dacă ϕ este o axiomă, atunci ∆ ` ϕ,
- dacă ϕ ∈ Σ, atunci ϕ ∈ ∆, deci ∆ ` ϕ,
4.2. SINTAXA ŞI ALGEBRA CALCULULUI PROPOZIŢIONAL 85
Σ ` (ϕ → ψ) ⇐⇒ Σ ∪ {ϕ} ` ψ.
Dem.
(=⇒): Se aplică Propoziţia 4.2.12, (i) şi modus ponens.
(⇐=): Prin inducţie, după modul cum este definit Σ ∪ {ϕ} ` ψ. Considerăm
următoarele cazuri:
- (1) ψ este o axiomă.
Cum ` ϕ şi ψ → (ϕ → ψ), conform (A1), atunci ` (ϕ → ψ) prin m.p., deci
Σ ` (ϕ → ψ).
- (2) ψ ∈ Σ ∪ {ϕ}, cu două subcazuri:
(a) ψ ∈ Σ: din Σ ` ψ, Σ ` ψ → (ϕ → ψ) se deduce Σ ` ϕ → ψ,
(b) ψ ∈ {ϕ}: se aplică Principiul identităţii: Σ ` ϕ → ϕ.
- (3) Există α ∈ E astfel ı̂ncât Σ ∪ {ϕ} ` α şi Σ ∪ {ϕ} ` α → ψ. Aplicând ipoteza
inducţiei, rezultă Σ ` (ϕ → α) şi Σ ` (ϕ → (α → ψ)). De asemenea,
Σ ` (ϕ → (α → ψ)) → ((ϕ → α) → (ϕ → ψ)) (A2)
Aplicând de două ori m.p., se obţine Σ ` (ϕ → ψ).
In demonstraţia de mai sus a implicaţiei (⇐=), cazurile (1) şi (2) reprezintă
momentul zero al inducţiei, iar cazul (3) constituie trecerea ”de la k la k + 1”. 2
Observaţie 4.2.15 In demonstrarea Principiului identităţii şi a Teoremei deducţiei,
nu au intervenit decât axiomele (A1), (A2) şi m.p.. Aceasta arată că cele două rezul-
tate sunt valabile ı̂n orice sistem logic ı̂n care apar (A1), (A2) şi modus ponens.
Teorema deducţiei este un instrument eficace ı̂n stabilirea teoremelor formale.
Această afirmaţie va fi probată prin demonstraţiile propoziţiilor următoare.
86CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZIŢIONAL (L)
Propoziţia 4.2.16
` (ϕ → ψ) → ((ψ → χ) → (ϕ → χ)).
ceea ce este foarte uşor. Această observaţie este utilă şi ı̂n obţinerea demonstraţiilor
propoziţiilor următoare.
Observaţie 4.2.17 Din Propoziţia 4.2.16, se obţine, printr-o dublă aplicare a lui
m.p., următoarea regulă de deducţie derivată:
(R1) ϕ → ψ, ψ → χ
ϕ→χ
In stabilirea teoremelor formale, este mai eficient să aplicăm (R1) ı̂n loc de
Propoziţia 4.2.16. Acelaşi lucru este valabil şi ı̂n cazul regulilor de deducţie derivate
din alte teoreme formale.
Propoziţia 4.2.18
` (ϕ → (ψ → χ)) → (ψ → (ϕ → χ)).
{ϕ, ψ, ϕ → (ψ → χ)} ` ϕ
{ϕ, ψ, ϕ → (ψ → χ)} ` ϕ → (ψ → χ)
{ϕ, ψ, ϕ → (ψ → χ)} ` ψ→χ m.p.
{ϕ, ψ, ϕ → (ψ → χ)} ` ψ
{ϕ, ψ, ϕ → (ψ → χ)} ` χ m.p.
{ψ, ϕ → (ψ → χ)} ` ϕ→χ Teorema deducţiei
{ϕ → (ψ → χ)} ` ψ → (ϕ → χ) Teorema deducţiei
` (ϕ → (ψ → χ)) →
(ψ → (ϕ → χ)) Teorema deducţiei.
2
(R2) ϕ → (ψ → χ)
ψ → (ϕ → χ)
Propoziţia 4.2.20
` ϕ → (¬ϕ → ψ).
Propoziţia 4.2.21
` ¬ϕ → (ϕ → ψ).
Exerciţiu 4.2.22 Să se demonstreze Propoziţia 4.2.21 ı̂n acelaşi mod ca Propoziţia
4.2.20, folosind Teorema deducţiei.
Propoziţia 4.2.23
` ¬¬ϕ → ϕ.
88CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZIŢIONAL (L)
Propoziţia 4.2.24
` (ϕ → ψ) → (¬ψ → ¬ϕ).
Propoziţia 4.2.26
` (ϕ → ¬ϕ) → ¬ϕ.
Dem.
{ϕ → ¬ϕ, ¬¬ϕ} ` ¬¬ϕ → ϕ Propoziţia 4.2.23
{ϕ → ¬ϕ, ¬¬ϕ} ` ¬¬ϕ
{ϕ → ¬ϕ, ¬¬ϕ} ` ϕ m.p.
{ϕ → ¬ϕ, ¬¬ϕ} ` ϕ → ¬ϕ
{ϕ → ¬ϕ, ¬¬ϕ} ` ¬ϕ m.p.
{ϕ → ¬ϕ, ¬¬ϕ} ` ϕ → (¬ϕ → ¬(ϕ → ϕ)) Propoziţia 4.2.20
{ϕ → ¬ϕ, ¬¬ϕ} ` ¬(ϕ → ϕ) m.p. de două ori
{ϕ → ¬ϕ} ` ¬¬ϕ → ¬(ϕ → ϕ) Teorema deducţiei
{ϕ → ¬ϕ} ` (¬¬ϕ → ¬(ϕ → ϕ)) →
((ϕ → ϕ) → ¬ϕ) (A3)
{ϕ → ¬ϕ} ` (ϕ → ϕ) → ¬ϕ m.p.
{ϕ → ¬ϕ} ` ϕ→ϕ Propoziţia 4.2.12
{ϕ → ¬ϕ} ` ¬ϕ m.p.
` (ϕ → ¬ϕ) → ¬ϕ Teorema deducţiei.
2
Propoziţia 4.2.27
` ϕ → (¬ψ → ¬(ϕ → ψ)).
Dem.
{ϕ, ϕ → ψ} ` ψ m.p.
{ϕ} ` (ϕ → ψ) → ψ Teorema deducţiei
{ϕ} ` ((ϕ → ψ) → ψ) → (¬ψ → ¬(ϕ → ϕ)) Propoziţia 4.2.24
{ϕ} ` ¬ψ → ¬(ϕ → ϕ) m.p.
` ϕ → (¬ψ → ¬(ϕ → ψ)) Teorema deducţiei.
2
Propoziţia 4.2.28
` ϕ → (ϕ ∨ ψ).
Dem. Este transcrierea Propoziţiei 4.2.20. 2
Propoziţia 4.2.29
` ψ → (ϕ ∨ ψ).
Dem. ` ψ → (ϕ ∨ ψ) se scrie echivalent ` ψ → (¬ϕ → ψ), pentru care avem
demonstraţia formală:
{ψ, ¬ϕ} ` ψ
{ψ} ` ¬ϕ → ψ Teorema deducţiei
` ψ → (¬ϕ → ψ) Teorema deducţiei.
2
Propoziţia 4.2.30
` (ϕ → χ) → [(ψ → χ) → ((ϕ ∨ ψ) → χ)].
90CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZIŢIONAL (L)
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. deducţiei
{ϕ → χ} ` (ψ → χ) → ((¬ϕ → ψ) → χ) T. deducţiei
` (ϕ → χ) →
[(ψ → χ) → ((¬ϕ → ψ) → χ)] T. deducţiei.
2
(ϕ ∨ ψ) → χ
Propoziţia 4.2.32
` (ϕ ∧ ψ) → ϕ.
Dem.
` ϕ → (¬ϕ → ¬ψ Propoziţia 4.2.20
` ¬ϕ → (ϕ → ¬ψ) (R2)
` (¬ϕ → (ϕ → ¬ψ)) → (¬(ϕ → ¬ψ) → ¬¬ϕ) Propoziţia 4.2.24
` ¬(ϕ → ¬ψ) → ¬¬ϕ m.p.
` ¬¬ϕ → ϕ Propoziţia 4.2.23
` ¬(ϕ → ¬ψ) → ϕ (R1).
Am obţinut exact ` (ϕ ∧ ψ) → ϕ. 2
Propoziţia 4.2.33
` (ϕ ∧ ψ) → ψ.
4.2. SINTAXA ŞI ALGEBRA CALCULULUI PROPOZIŢIONAL 91
Dem.
` ¬ψ → (ϕ → ¬ψ) (A1)
` (¬ψ → (ϕ → ¬ψ)) → (¬(ϕ → ¬ψ) → ¬¬ψ) Propoziţia 4.2.24
` ¬(ϕ → ¬ψ) → ¬¬ψ) m.p.
` ¬¬ψ → ψ Propoziţia 4.2.23
` ¬(ϕ → ¬ψ) → ψ (R1).
Ultima teoremă formală este chiar ` (ϕ ∧ ψ) → ψ. 2
Propoziţia 4.2.34
` (χ → ϕ) → [(χ → ψ) → (χ → (ϕ ∧ ψ))].
Dem.
{χ → ϕ, χ → ψ, χ} ` χ
{χ → ϕ, χ → ψ, χ} ` χ→ϕ
{χ → ϕ, χ → ψ, χ} ` ϕ m.p.
{χ → ϕ, χ → ψ, χ} ` ψ analog
{χ → ϕ, χ → ψ, χ} ` ψ → ¬¬ψ Prop. 4.2.25
{χ → ϕ, χ → ψ, χ} ` ¬¬ψ m.p.
{χ → ϕ, χ → ψ, χ} ` ϕ → (¬¬ψ → ¬(ϕ → ψ)) Prop. 4.2.21
{χ → ϕ, χ → ψ, χ} ` ¬(ϕ → ψ) m.p. de două ori
{χ → ϕ, χ → ψ} ` χ → ¬(ϕ → ψ) T. deducţiei
{χ → ϕ} ` (χ → ψ) → (χ → ¬(ϕ → ψ)) T. deducţiei
` (χ → ϕ) →
[(χ → ψ) → (χ → ¬(ϕ → ψ))] T. deducţiei.
2
Observaţie 4.2.35 Propoziţiei 4.2.34 ı̂i este asociată următoarea regulă de deducţie
derivată:
(R4) χ → ϕ, χ → ψ
χ → (ϕ ∧ ψ)
Propoziţia 4.2.36
` (ϕ ∧ ψ) → (ψ ∧ ϕ).
Dem.
` (ϕ ∧ ψ) → χ Propoziţia 4.2.33
` (ϕ ∧ ψ) → ϕ Propoziţia 4.2.32
` (ϕ ∧ ψ) → (ψ ∧ ϕ) (R4).
2
Propoziţia 4.2.37
` ϕ → (ψ → (ϕ ∧ ψ)).
92CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZIŢIONAL (L)
Dem.
{ϕ, ψ} ` ϕ
{ϕ, ψ} ` ψ
{ϕ, ψ} ` ψ → ¬¬ψ Propoziţia 4.2.25
{ϕ, ψ} ` ¬¬ψ m.p.
{ϕ, ψ} ` ϕ → (¬¬ψ → ¬(ϕ → ¬ψ)) Propoziţia 4.2.27
{ϕ, ψ} ` ¬(ϕ → ¬ψ) m.p. de două ori
` ϕ → (ψ → (ϕ ∧ ψ)) Teorema deducţiei de două ori.
2
Propoziţia 4.2.38
` [(ϕ ∧ χ) ∨ (ψ ∧ χ)] → ((ϕ ∨ ψ) ∧ χ).
Dem.
` (ϕ ∧ χ) → ϕ Propoziţia 4.2.32
` ψ → (ϕ ∨ ψ) Propoziţia 4.2.29
` (ϕ ∧ χ) → (ϕ ∨ ψ)
` (ϕ ∧ χ) → χ (R1)
` (ϕ ∧ χ) → (ϕ ∨ ψ) ∧ χ (R4)
` (ψ ∧ χ) → (ϕ ∨ ψ) ∧ χ analog
` [(ϕ ∧ χ) ∨ (ψ ∧ χ)] → ((ϕ ∨ ψ) ∧ χ) (R3).
2
Propoziţia 4.2.39
` (χ → θ) → [(ϕ → (ψ → χ)) → (ϕ → (ψ → θ))].
Dem.
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` ϕ → (ψ → χ)
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` ϕ
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` ψ→χ m.p.
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` ψ
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` χ m.p.
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` χ→θ
{χ → θ, ϕ → (ψ → χ), ϕ, ψ} ` θ m.p.
Se aplică apoi Teorema deducţiei de patru ori. 2
Propoziţia 4.2.40
` (ϕ → (ψ → χ)) → ((ϕ ∧ ψ) → χ).
Dem.
{ϕ → (ψ → χ), ϕ ∧ ψ} ` ϕ∧ψ
{ϕ → (ψ → χ), ϕ ∧ ψ} ` (ϕ ∧ ψ) → ϕ
{ϕ → (ψ → χ), ϕ ∧ ψ} ` ϕ m.p.
{ϕ → (ψ → χ), ϕ ∧ ψ} ` ψ analog
{ϕ → (ψ → χ), ϕ ∧ ψ} ` ϕ → (ψ → χ)
{ϕ → (ψ → χ), ϕ ∧ ψ} ` χ m.p. de două ori.
4.2. SINTAXA ŞI ALGEBRA CALCULULUI PROPOZIŢIONAL 93
Propoziţia 4.2.41
` [(ϕ ∧ ψ) → χ] → [ϕ → (ψ → χ)].
Dem.
{(ϕ ∧ ψ) → χ, ϕ, ψ} ` ϕ
{(ϕ ∧ ψ) → χ, ϕ, ψ} ` ψ
{(ϕ ∧ ψ) → χ, ϕ, ψ} ` ϕ → (ψ → (ϕ ∧ ψ)) Propoziţia 4.2.37
{(ϕ ∧ ψ) → χ, ϕ, ψ} ` ϕ∧ψ m.p. de două ori
{(ϕ ∧ ψ) → χ, ϕ, ψ} ` (ϕ ∧ ψ) → χ
{(ϕ ∧ ψ) → χ, ϕ, ψ} ` χ m.p.
Se aplică apoi Teorema deducţiei de trei ori. 2
Propoziţia 4.2.42
` (ϕ ∨ ψ) → (χ → [(ϕ ∧ χ) ∨ (ψ ∧ χ)]).
{ϕ ∨ ψ, χ} ` ¬(ϕ ∧ χ) → (ψ ∧ χ),
Dem.
=⇒: Dacă Γ ` ϕ, atunci conform Propoziţie 4.2.12 (ii), există γ1 , . . . , γn ∈ Γ,
astfel ı̂ncât
(4.2) {γ1 , . . . , γn } ` ϕ
Aplicând de n ori Teorema deducţiei, obţinem:
(4.3) ` γ1 → (γ2 → . . . → (γn → ϕ) . . .).
Tinând cont de Propoziţia 4.2.40, obţinem (4.1).
⇐=: Dacă (4.1) are loc, cu γ1 , . . . , γn ∈ Γ, atunci, conform Propoziţiei 4.2.41,
deducem (4.3). Din Teorema deducţiei aplicată ı̂n sens invers, obţinem (4.2), deci
Γ ` ϕ. 2
Propoziţia precedentă arată cum deducţia formală poate fi exprimată ı̂n ter-
menii unor teoreme formale. In cazul unor sisteme logice (de exemplu, logica
modală), este convenabil ca noţiunea de deducţie să fie introdusă prin condiţia din
Propoziţia 4.2.46.
Definiţie 4.2.47 O mulţime nevidă Σ de enunţuri se numeşte sistem deductiv
dacă, pentru orice enunţ ϕ, Σ ` ϕ implică ϕ ∈ Σ.
Cu alte cuvinte, un sistem deductiv este o mulţime de enunţuri ı̂nchisă la
deducţii.
Lema 4.2.48 Dacă Σ este o mulţime de enunţuri, atunci sunt echivalente următoarele:
(a) Σ este un sistem deductiv,
(b) Σ contine mulţimea teoremelor formale şi α, α → β ∈ Σ implică β ∈ Σ.
4.2. SINTAXA ŞI ALGEBRA CALCULULUI PROPOZIŢIONAL 95
Dem.
(a) =⇒ (b): Dacă ` ϕ, atunci Σ ` ϕ, deci ϕ ∈ Σ. Presupunem că α, α → β ∈ Σ,
deci Σ ` α, Σ ` α → β, de unde Σ ` β, conform m.p. Rezultă β ∈ Σ.
(b) =⇒ (a): Σ este o mulţime nevidă. Presupunem Σ ` ϕ. Conform Propoziţiei
4.2.12 (ii), există σ1 , . . . , σn ∈ Σ astfel ı̂ncât {σ1 , . . . , σn } ` ϕ. Aplicând Teorema
deducţiei, obţinem:
` σ1 → (. . . → (σn → ϕ) . . .).
Cum σ1 , . . . , σn ∈ Σ, rezultă ϕ ∈ Σ. 2
D(Σ) = {ϕ ∈ Σ | Σ ` ϕ}.
Familia Qsistemelor
` deductive ale lui L este o latice completă ı̂n raport cu operaţiile
infinite şi introduse mai sus.
Γ ` (ϕ ∧ ψ) ⇐⇒ Γ ` ϕ şi Γ ` ψ.
(` ϕ → ϕ0 , ` ϕ0 → ϕ, ` ψ → ψ 0 , ` ψ 0 → ψ) =⇒ (` ϕ → ψ ⇐⇒` ϕ0 → ψ 0 ).
=⇒: Presupunem că ` ϕ → ψ. Din ` ϕ0 → ϕ, ` ϕ → ψ şi ` ψ → ψ 0 rezultă,
aplicând (R1), că ϕ0 → ψ 0 .
⇐=: Similar.
4.2. SINTAXA ŞI ALGEBRA CALCULULUI PROPOZIŢIONAL 97
Chiar prin definiţie, relaţia de ordine ≤ din Lema 4.2.53 este o reflectare al-
gebrică a conectorului →. In acest fel, stabilirea unoe teoreme formale ale lui L
revine la verificarea unor inegalităţi booleene.
Propoziţia 4.2.54 (E/∼ , ≤) este o latice distributivă, ı̂n care pentru orice ϕ, ψ ∈
E:
(1) inf(ϕ, b =ϕ
b ψ) \ ∧ ψ, (2) sup(ϕ, b =ϕ
b ψ) \ ∨ ψ.
Dem.
Demonstrăm ı̂ntâi (1), ceea ce revine la a verifica condiţiile următoare:
(i) ` (ϕ ∧ ψ) → ϕ, ` (ϕ ∧ ψ) → ψ,
(ii) dacă ` χ → ϕ şi ` χ → ψ, atunci χ → (ϕ ∧ ψ).
Condiţia (i) rezultă din Propoziţiile 4.2.32, 4.2.33, iar (ii) din (R4).
Demonstrăm acum (2), ceea ce revine la a verifica condiţiile următoare:
(iii) ` ϕ → (ϕ ∨ ψ), ` ψ → (ϕ ∨ ψ),
(iv) dacă ` ϕ → χ şi ` ψ → χ, atunci ` (ϕ ∨ ψ) → χ.
Se folosesc Propoziţiile 4.2.28, 4.2.29 şi (R3). Rezultă că (E/∼ , ≤) este o latice, ı̂n
care
b ∧ ψb = ϕ
ϕ \ ∧ ψ, ϕ b ∨ ψb = ϕ
\ ∨ ψ.
Distributivitatea rezultă din Propoziţiile 4.2.38, 4.2.42. 2
Observaţii 4.2.55
(1) Să punem
def.
¬ϕ
b = ¬ϕ.
c
Atunci, definiţia operaţiei ¬ nu depinde de reprezentanţi.
(2) Conform Propoziţiei 4.2.44, avem
∧ ¬ϕ ≤ ψb ≤ ϕ\
ϕ\ ∨ ¬ϕ,
0 = ϕ\
∧ ¬ϕ, 1 = ϕ\
∨ ¬ϕ
` ϕ ⇐⇒ ϕ
b = 1.
` ϕ ⇐⇒` ϕ ↔ (ϕ ∨ ¬ϕ).
=⇒: Presupunem că ` ϕ. Cum ` ϕ → ((ϕ ∨ ¬ϕ) → ϕ), conform (A1), rezultă
` (ϕ ∨ ¬ϕ) → ϕ; totodată, are loc ` ϕ → (ϕ ∨ ¬ϕ), deci ` ϕ ↔ (ϕ ∨ ¬ϕ).
⇐=: Presupunem că ϕ ↔ (ϕ ∨ ¬ϕ). Conform ` ϕ ∨ ¬ϕ (Principiul terţului exclus),
rezultă, aplicând m.p., că ` ϕ. 2
Observaţie 4.2.59 Lema 4.2.58 oferă o metodă algebrică pentru a verifica dacă
un enunţ este teoremă formală.
Exemplu. Să se arate că:
Notând a = α b c=γ
b, b = β, b conform Lemei 4.2.58, este suficient să stabilim
b, d = δ,
identitatea booleană:
a → (b → c) ≤ (a → (c → d)) → (a → (b → d)).
4.3. SEMANTICA CALCULULUI PROPOZIŢIONAL L 99
Dem. Definiţia lui h∼ se face prin inducţie, urmărind clauzele (a) - (c). Demon-
strarea unicităţii lui h∼ se face tot prin inducţie. Fie g : E −→ L2 , astfel ı̂ncât:
(a’) g(x) = h(x), pentru orice x ∈ V ,
(b’) g(¬ϕ) = ¬g(ϕ), pentru orice ϕ ∈ E,
(c’) g(ϕ → ψ) = g(ϕ) → g(ψ), pentru orice ϕ, ψ ∈ E.
Vom arată că pentru orice α ∈ E,
h∼ (α) = g(α).
p
V ,→ E −→ E/∼
Z ½
Z h∼ ½
Z
h ~ ½
= h
Z ?½
L2
Definiţie 4.3.4
Enunţul ϕ este adevărat ı̂n interpretarea h : V −→ L2 dacă h∼ (ϕ) = 1.
Enunţul ϕ este fals ı̂n interpretarea h dacă h∼ (ϕ) = 0.
Un enunţ ϕ este universal adevărat dacă este adevărat ı̂n orice interpretare;
acest lucru se noteaza
|= ϕ.
4.3. SEMANTICA CALCULULUI PROPOZIŢIONAL L 101
Observaţie 4.3.5 Interpretarea unui enunţ este valoarea 0 sau 1 obţinută atunci
când tuturor variabilelor propoziţionale ce intră ı̂n componenţa sa le atribuim valori
din L2 . Un enunţ universal adevărat ϕ va avea valoarea 1 pentru orice valori din
L2 luate de variabilele propoziţionale ce apar ı̂n ϕ.
• Generalizare
Definiţie 4.3.6 O interpretare h : V −→ L2 este un model al lui Σ ⊆ E dacă
h∼ (σ) = 1 pentru orice σ ∈ Σ. Notăm faptul că h este un model al lui Σ astfel:
h |= Σ.
Definiţie 4.3.7 Fie Σ ⊆ E şi ϕ ∈ E. Spunem că ϕ se deduce semantic din ipotezele
Σ dacă h∼ (ϕ) = 1, pentru orice model h al lui Σ. Se notează acest lucru astfel:
Σ |= ϕ.
Propoziţia 4.3.8 Pentru orice enunţ ϕ al lui L, are loc următoarea proprietate:
` ϕ =⇒ |= ϕ.
Dem. Vom arată că dacă ` ϕ, atunci h∼ (ϕ) = 1 pentru orice interpretare h :
V −→ L2 . Se procedează prin inducţie asupra modului ı̂n care a fost definit ` ϕ.
Considerăm ı̂ntâi cazul axiomelor:
(A1): ϕ este de forma α → (β → α).
h∼ (ϕ) = h∼ (α) → (h∼ (β) → h∼ (α)) = ¬h∼ (α) ∨ ¬h∼ (β) ∨ h∼ (α) = 1.
(A2): ϕ este de forma (α → (β → γ)) → ((α → β) → (α → γ)).
Dacă notăm a = h∼ (α), b = h∼ (β), c = h∼ (γ), atunci
h∼ (ϕ) = (a → (b → c)) → ((a → b) → (a → c)) = 1,
dupa cum arată o simplă verificare ı̂n L2 .
(A3): ϕ este de forma (¬α → ¬β) → (β → α).
Este suficient să probăm că (a− → b− ) → (b → a) = 1 in L2 .
Presupunem acum că ` ϕ a fost obţinut prin m.p. din ` ψ, ` ψ → ϕ. Ipoteza
inducţiei conduce la h∼ (ψ) = 1 şi h∼ (ψ → ϕ) = 1. Atunci,
Dem. Dacă ar există un enunţ ϕ astfel ı̂ncât ` ϕ şi ` ¬ϕ, atunci pentru orice
interpretare h am avea h∼ (ϕ) = 1 şi ¬h∼ (ϕ) = h∼ (¬ϕ) = 1: contradicţie. 2
Conform Lemei 4.2.50 şi Corolarului 4.3.9, pentru niciun enunţ ϕ, nu putem
avea ` ϕ ∧ ¬ϕ. Atunci, Corolarul 4.3.9 exprimă noncontradicţia sistemului formal
L: prin demonstraţii formale nu se poate ajunge la contradicţii.
102CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZIŢIONAL (L)
` ϕ ⇐⇒ |= ϕ.
Dem.
=⇒: Conform Propoziţiei 4.3.8.
⇐=: Presupunem că 6` ϕ ( ϕ nu este teoremă formală). Trecând la algebra
Lindenbaum-Tarski E/∼ şi aplicând Lemma 4.2.58, rezultă ϕ b 6= 1. Aplicăm Teo-
rema de reprezentare a lui Stone pentru algebra Boole E/∼ . Atunci, există o
mulţime nevidă X şi un morfism boolean injectiv d : E/∼ −→ LX 2 . Din injectivi-
b 6= 1 in LX
tatea lui d rezultă că d(ϕ) 2 , deci există x ∈ X astfel ı̂ncât d(ϕ)(x)
b 6= 1 in
L2 .
Considerăm proiecţia πx : LX2 −→ L2 definita prin πx (f ) = f (x), pentru orice
f ∈ LX 2 . π x este morfism boolean. Să luăm interpretarea h dată de compunerea
următoarelor morfisme booleene:
p d π
V ⊆ E −→ E/∼ −→ LX x
2 −→ L2
adică h = πx ◦ d ◦ p.
Vom stabili că pentru orice α ∈ E:
- α = β → γ:
b
Ipoteza inducţiei funcţionează pentru β şi γ, deci h∼ (β) = d(β)(x) şi 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 demonstrată.
Aplicând (4.4) pentru α = ϕ, rezultă h∼ (ϕ) = d(ϕ)(x)
b 6= 1, deci 6|= ϕ. 2
Comentarii
(i) De fapt, completitudinea lui L este exprimată numai prin implicaţia ”|=
ϕ =⇒` ϕ”. In cele mai importante texte de logică, prin teorema de completitudine
a lui L, este desemnată echivalenţa din Teorema 4.3.10.
4.3. SEMANTICA CALCULULUI PROPOZIŢIONAL L 103
(ii) Studierea unei teorii ştiinţifice are ca scop determinarea propoziţiilor val-
abile ale teoriei. La nivelul sistemului logic, propoziţiile din teorie sunt reprezen-
tate de enunţuri. Pentru sistemul logic L, au fost definite două clase remarca-
bile de enunţuri: teoremele formale (noţiune sintactică) şi enunţurile universal
adevărate (noţiune semantică). Ambele noţiuni candidează la a reprezenta ı̂n sis-
temul logic propoziţiile valabile (adevărate) din logica propoziţională neformalizată.
Enunţurile universal adevărate sunt mai aproape de ceea ce ı̂nţelegem noi ı̂n mod
obişnuit prin propoziţie adevărată. Teorema formală este un concept mai sofisti-
cat; ea traduce ı̂n plan formal ideea de propoziţie a cărei valabilitate a fost stabilită
printr-o demonstraţie.
Compararea teoremelor formale şi a enunţurilor universal adevărate apare ca
o problemă naturală. Teorema de completitudine stabileşte echivalenţa celor două
tipuri de enunţuri. Luate separat, fiecare din cele două implicaţii ce compun Teo-
rema de completitudine are o semnificaţie profundă.
Implicaţia ”` ϕ =⇒|= ϕ” ne arată că demonstraţiile formale produc enunţuri
universal adevărate. In particular, de aici rezultă noncontradicţia lui L.
Implicaţia reciprocă ”|= ϕ =⇒` ϕ” ne arată că structura logică a lui L (definită
de cele trei axiome şi de regula de deducţie m.p.) este capabilă să asigure demonstraţii
formale pentru toate enunţurile universal adevărate.
De asemenea, Teorema de completitudine ne dă un procedeu comod de verificare
a faptului că un enunţ este o teoremă formală (procedeu ce poate fi programat).
(iii) Demonstraţia prezentată mai sus este de natură algebrică. Ideea funda-
mentală este trecerea la algebra Lindenbaum-Tarski şi invocarea Teoremei lui Stone
pentru găsirea interpretării necesare ı̂n demonstraţie. Această trecere prin algebră
aruncă o lumină mai completă asupra relaţiei dintre sintaxă şi semnatică, care are
de fapt şi un substrat algebric. Pe scurt, sistemul formal L a fost analizat din
perspectiva relaţiei tripartite:
sintaxa semantica
Z ½
Z ½
Z ½
Z ½
algebra
Dem.
(1) =⇒ (2): Evident.
(2) =⇒ (3): Rezultă din Σ ` (ϕ ∧ ¬ϕ) → ϕ, Σ ` (ϕ ∧ ¬ϕ) → ¬ϕ şi m.p.
(Propoziţiile 4.2.32, 4.2.33).
(3) =⇒ (4): Conform Propoziţiei 4.2.27, avem ` ϕ → (¬ϕ → ¬(ψ → ψ)) pentru
orice ψ ∈ E. Presupunând Σ ` ϕ şi Σ ` ¬ϕ, rezultă Σ ` ¬(ψ → ψ), prin aplicarea
de două ori a m.p..
(4) =⇒ (5): Evident.
(5) =⇒ (1): Fie ϕ ∈ E cu Σ ` ¬(ϕ → ϕ) şi ψ ∈ E. Conform (A1),
Σ ` (ϕ → ϕ) → (¬ψ → (ϕ → ϕ)).
Dar Σ ` ϕ → ϕ, deci Σ ` ¬ψ → (ϕ → ϕ). Conform Propoziţiei 4.2.24,
Σ ` (¬ψ → (ϕ → ϕ)) → (¬(ϕ → ϕ) → ¬¬ψ).
Aplicând de două ori m.p., Σ ` ¬¬ψ. Insă Σ ` ¬¬ψ → ψ (Propoziţia 4.2.23), deci
Σψ pentru orice ψ ∈ E. Atunci Σ este inconsistentă. 2
4.3. SEMANTICA CALCULULUI PROPOZIŢIONAL L 105
- dacă ϕ = α → β: din ipoteza inducţiei şi Propoziţia 4.3.20 (iii) şi (iv), obţinem:
h∼ (ϕ) = 1 ⇐⇒ h∼ (α) → h∼ (β) = 1
⇐⇒ h∼ (α) = 0 sau h∼ (β) = 0 (suntem in L2 )
⇐⇒ α 6∈ ∆ sau β ∈ ∆
⇐⇒ ¬α ∈ ∆ sau β ∈ ∆
⇐⇒ α → β ∈ ∆
⇐⇒ ϕ ∈ ∆.
Folosind (4.5) şi Σ ⊆ ∆, rezultă că h∼ (σ) = 1, pentru orice σ ∈ Σ. 2
Σ ` ϕ ⇐⇒ Σ |= ϕ.
Dem.
=⇒: Prin inducţie asupra modului de definire a noţiunii Σ ` ϕ.
⇐=: Dacă Σ 6` ϕ, atunci Σ∪{¬ϕ} este consistentă (Corolarul 4.3.14). Aplicând
Propoziţia 4.3.20, Σ ∪ {¬ϕ} admite un model h. Atunci, h este un model al lui Σ
şi h∼ (ϕ) = 0, deci Σ 6|= ϕ. 2
Observaţii 4.3.23
(1) Teorema de completitudine extinsă stabileşte echivalenţa ı̂ntre inferenţa sin-
tactică şi cea semantică.
(2) Pentru Σ = ∅, se obţine Teorema de completitudine
` ϕ ⇐⇒ |= ϕ,
Dem.
(a) Considerăm sistemul formal al calculului propoziţional L, ı̂n care mulţimea
V a variabilelor este B:
V = B.
Cu notaţia uzuală, E este mulţimea enunţurilor, E/∼ este algebra Lindenbaum-
Tarski asociată lui L şi p : E −→ E/∼ este surjecţia canonică.
Se poate arăta, imitând demonstraţia Propoziţiei 4.3.2, că există un morfism
boolean surjectiv f : E/∼ −→ B, astfel ı̂ncât următoarea diagramă este comuta-
tivă:
p |B -
B E/∼
Z ½
Z ½
1BZZ
~ ½ =
½f
B
Atunci,
F = f −1 (1) = {ϕ
b | f (ϕ)
b = 1}
este un filtru propriu ı̂n E/∼ , deci putem considera algebra Boole cât (E∼ )/F .
Pentru orice ϕ, ψ ∈ E, are loc echivalenţa următoare:
ϕ/ b F ⇐⇒ f (ϕ)
b F = ψ/ b
b = f (ψ).
λ(ϕ/
b F ) = f (ϕ),
b pentru orice ϕ ∈ E
ϕ/ b F ⇐⇒ ϕ
b F = ψ/ b ↔ ψb ∈ F ⇐⇒ ϕ\
↔ ψ ∈ F ⇐⇒
ϕ ↔ ψ ∈ ∆ ⇐⇒ ∆ ` ϕ ↔ ψ ⇐⇒ ϕ/∆ = ψ/∆,
unde ϕ/∆ este clasa de echivalenţă a lui ϕ ı̂n raport cu ∼∆ .
Dacă E/∆ = E/∼∆ este algebra Lindenbaum-Tarski asociată lui ∆, atunci echivalenţele
de mai sus spun că funcţia Φ : (E/∼ )/F −→ E/∆ , definită prin Φ(ϕ/
b F ) = ϕ/∆
pentru orice ϕ ∈ E, este un izomorfism boolean.
4.5. EXEMPLE DE DEDUCŢII FORMALE 109
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 funcţia λ : E/∆ −→ LX ∼
2 prin: λ(ϕ/∆)(h) = h (ϕ), pentru orice ϕ ∈ E şi
h ∈ X. Echivalenţele de mai sus arată că funcţia λ este bine definită şi că ea este
injectivă. Este uşor de văzut că λ este morfism boolean. In consecinţă, λ este un
morfism boolean injectiv.
Asamblând paşii (a), (b), (c), vom obţine Teorema lui Stone.
Considerăm compunerea morfismelor booleene (toate injective) de la aceşti trei
paşi:
∼
= Φ λ
B −→ (E/∼ )/F ,→ E/∆ ,→ LX
2 .
Exemplele prezentate ı̂n această secţiune vor avea ca punct de plecare propoziţii
formulate ı̂n limbajul natural. Acestea vor fi trecute ı̂n limbajul formal şi apoi vor
fi prelucrate conform mecanismului inferenţial al lui L.
Vom nota:
p ≡ ”cuget”
q ≡ ”exist”
r ≡ ”nu mă duc la cursul de logică”.
110CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZIŢIONAL (L)
Atunci, cele trei propoziţii (a) - (c) se vor scrie simbolic astfel:
(a): p → q
(b): p → (q → r)
(c): p → r
Dacă Σ = {p → q, p → (q → r)}, atunci trebuie să aratăm că Σ ` p → r.
Prezentăm mai jos demonstraţia formală a lui Σ ` p → r:
(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).
Să notăm:
p ≡ ”el merge des la plimbare”
q ≡ ”are mintea limpede”
r ≡ ”studentul Tică va ajunge un informatician bun”.
Cele trei propoziţii (a) - (c) se reprezintă atunci simbolic astfel:
(a): (q → r) → p
(b): ¬r → ¬q
(c): p
Dacă Σ = {(q → r) → p, ¬r → ¬q}, atunci trebuie să aratăm că Σ ` p. Aceasta
decurge din Σ-demonstraţia următoare:
(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).
Vrem să aratăm că din propoziţiile (a) - (c) se deduce (d).
Notăm:
q ≡ ”ı̂n lumea cea comună a visa e un pericul”
r ≡ ”ai (cumva) iluzii”
s1 ≡ ”esti pierdut”
s2 ≡ ”esti ridicul”.
Atunci, (a) - (d) au scrierea simbolică:
(a): (r → (s1 ∧ s2 )) → q
(b): ¬s1 → ¬r
(c): ¬s2 → ¬r
(d): q
Dacă Σ = {(r → (s1 ∧ s2 )) → q, ¬s1 → ¬r, ¬s2 → ¬r}, atunci Σ-demonstraţia
următoare va stabili că Σ ` 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 consideră propoziţiile:
(a) Dacă nu dau pe la curs, deoarece explicaţiile nu mă conving, atunci nu ştiu ce
s-a predat ora trecută.
(b) Sunt sigur pe ce ştiu, căci dau pe la curs şi explicaţiile profesorului nu mă
conving.
(c) Dacă ştiu ce s-a predat ora trecută, atunci sunt sigur pe ce ştiu.
Vrem să aratăm că ultima propoziţie se deduce din primele două.
Notăm:
p ≡ ”ştiu ce s-a predat ora trecută”
q ≡ ”dau pe la curs”
r ≡ ”explicaţiile profesorului mă conving”
s ≡ ”sunt sigur pe ce ştiu”.
Vom nota Σ = {(¬r → ¬q) → ¬r, (q ∧ ¬r) → s} şi vom demonstra că Σ ` 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)
Exemplu 4.5.5 Se consideră propoziţiile:
(a) Dacă nu plouă, atunci ı̂n cazul când ies la plimbare, nu trec pe la cafenea.
(b) Dacă nu plouă, atunci ies la plimbare.
(c) Trec pe la cafenea.
(d) Plouă.
Vom demonstra că din primele trei propoziţii se deduce (d).
Notăm:
ϕ ≡ ”plouă”
ψ ≡ ”ies la plimbare”
χ ≡ ”trec pe la cafenea”.
Atunci propoziţiile (a) - (d) se scriu astfel:
(a): ¬ϕ → (ψ → ¬χ)
(b): ¬ϕ → ψ
(c): χ
(d): ϕ
şi mulţimea de ipoteze este Σ = {¬ϕ → (ψ → ¬χ), ¬ϕ → ψ, χ}. Prezentăm o
Σ-demonstraţie că Σ ` ϕ.
(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)
Exemplu 4.5.6 Fie X atacantul echipei de fotbal U ce joacă ı̂n Cupa U.E.F.A. şi
Y finanţatorul lui U.
Se consideră propoziţiile următoare:
(a) X ı̂şi va cumpăra un castel ı̂n Scoţia, pentru că Y ı̂i va da un milion de dolari,
4.5. EXEMPLE DE DEDUCŢII FORMALE 113
Notăm:
p ≡ ”U va câştiga Cupa U.E.F.A.”
q ≡ ”Y ı̂i va da un milion de dolari”
r ≡ ”X ı̂şi va cumpăra un castel ı̂n Scoţia”
s ≡ ”X va locui ı̂n Scoţia”.
Atunci, cele patru propoziţii (a) - (d) se reprezintă simbolic astfel:
(a): p → (q → r)
(b): p → (r → s)
(c): ¬q → ¬p
(d): ¬s.
Notând Σ = {p → (q → r), p → (r → s), ¬q → ¬p, ¬s}, rezolvarea problemei
revine la a stabili că Σ ` ¬p. Pentru aceasta, avem nevoie de următoarea lemă:
Dem. Aplicând de mai multe ori Teorema deducţiei, aceasta este echivalent cu a
arată că
∆ = {α → (β → γ), α → (γ → δ), α, β} ` δ.
∆ ` α
∆ ` α → (β → γ)
∆ ` β→γ 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).
( 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 ≡ ”ı̂mi displace materia predată”
q ≡ ”am chef”
r ≡ ”mă duc la curs”
s ≡ ”ni se dau subiectele de examen”.
Atunci, propoziţiile (a) - (e) se reprezintă simbolic astfel:
(a): (¬q ∧ p) → ¬r
(b): q → ¬p
(c): s → r
(d): ¬r → s
(e): p.
Vrem să aratăm că următoarea mulţime de enunţuri este inconsistentă:
( 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 U si V sunt două echipe de fotbal din campionatul intern, iar X
este antrenorul lui U.
Să se arate că textul format din următoarele propoziţii este inconsistent.
(a) Dacă U bate V, atunci merge ı̂n cupele europene pentru că va avea mai multe
puncte.
(b) Dacă U bate V, atunci X va fi bucuros, pentru că U va merge ı̂n cupele eu-
ropene.
(c) Dacă portarul lui U se va ı̂nsănatoşi, atunci U va bate V.
(d) Dacă portarul se va ı̂nsănatoşi, atunci U va avea mai multe puncte.
(e) Portarul lui U se va ı̂nsănatoşi.
(f) X nu va fi bucuros.
Notăm:
α ≡ ”U bate V”
β ≡ ”U va merge ı̂n cupele europene”
γ ≡ ”U va avea mai multe puncte”
δ ≡ ”X va fi bucuros”
ε ≡ ”Portarul lui U se va ı̂nsănatoşi”
Atunci, propoziţiile date au următoarea reprezentare simbolică:
(a): α → (γ → β)
(b): α → (β → δ)
(c): ε → α
(d): ε → γ
4.5. EXEMPLE DE DEDUCŢII FORMALE 117
(e): ε
(f): ¬δ.
Fie
Σ = {α → (γ → β), α → (β → δ), ε → α, ε → γ, ε}.
Dacă demonstrăm că Σ ` δ, atunci propoziţiile (a) - (f) sunt contradictorii. Prezentăm
mai jos o demonstraţie 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).
118CHAPTER 4. SISTEMUL FORMAL AL CALCULULUI PROPOZIŢIONAL (L)
Chapter 5
119
120 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 adevărate, 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 121
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:
Observaţii 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 123
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.
Observaţii 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.
Definiţie 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ă.
Definiţie 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}.
Observaţii 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 .
Definiţii 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ţ.
Observaţie 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.
126 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
Definiţie 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 adevărat, 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.
Definiţie 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.
Definiţie 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} :
128 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).
Propoziţia 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).
Notaţie 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
Propoziţia 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 ).
Definiţie 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 )].
134 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 |= ϕ.
Observaţie 5.2.20
Σ ⊆ ∆, Σ |= ϕ =⇒ ∆ |= ϕ.
Propoziţia 5.2.21
136 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ătăm că:
A |= Σ =⇒ A |= ϕ → ψ(x1 , . . . , xn ).
A |= ϕ → ψ(a1 , . . . , an ).
A |= ϕ =⇒ A |= ψ(a1 , . . . , an ).
Observaţie 5.2.24 Implicaţia =⇒ este adevărată pentru cazul când ϕ este o for-
mulă arbitrară. Implicaţia ⇐= nu este adevărată ı̂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),
Exerciţii 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).
142 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 143
ψ, ψ → ϕ
: m.p.
ϕ
ϕ
: generalizarea (G.)
∀xϕ
` ϕ.
Propoziţia 5.4.6
` ∀xϕ ↔ ¬∃x¬ϕ.
Demonstraţie.
Propoziţia 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
Propoziţia 5.4.8
Demonstraţie.
Demonstraţie.
Corolar 5.4.10
` ∀x(ϕ → ∃xψ) ↔ (∃xϕ → ∃xψ),
Demonstraţie. Din Propoziţia 5.4.9, pentru că x nu apare liberă ı̂n ∃xψ şi ∀xψ.
2
Propoziţia 5.4.11
` ∀x(ϕ ∧ ψ) ↔ (∀xϕ ∧ ∀xψ).
Demonstraţie.
5.4. SINTAXA CALCULULUI CU PREDICATE 147
Propoziţia 5.4.12
` ϕ(t) → ∃xϕ(x).
Demonstraţie.
Propoziţia 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..
148 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
Propoziţia 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
Propoziţia 5.4.15
∀x∃y(x = y).
Demonstraţie.
ϕ→ψ
∀xϕ → ∀xψ
5.4. SINTAXA CALCULULUI CU PREDICATE 149
Propoziţia 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ψ
150 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
Definiţii 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 ∈ Σ,
· există j, k < i, astfel ı̂ncât ψk = ψj → ψi ,
· există j < i şi x ∈ V , astfel ı̂ncât ψi = ∀xψj .
Numărul n se numeşte lungimea Σ-demonstraţiei formale.
Definiţie 5.4.22 Dacă ϕ(1 , . . . , xn ) este o formulă, atunci ∀x1 . . . ∀xn ϕ(x1 , . . . , xn )
se numeste ı̂nchiderea sa universală.
Propoziţia 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 propoziţiilor, rezultă:
Σ ` ∀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 151
Propoziţia 5.4.24
(a) Σ ` ϕ, Σ ⊆ ∆ =⇒ ∆ ` ϕ,
(b) Σ ` ϕ ⇐⇒ există Σ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ă.
Propoziţia 5.4.30 Orice teorie consistentă se poate scufunda ı̂ntr-o teorie maxi-
mal consistentă.
Observaţie 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τ )}
Observaţie 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.
Definiţie 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).
Definiţie 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ă.
Observaţie 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.
Observaţie 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 159
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
Definiţie 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).
Observaţie 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 .
160 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 163
` 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 ).
164 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 165
A |= ϕ[c≈ ≈
1 , . . . , cn ] ⇐⇒ există c≈ ∈ A, A |= ψ[c≈ , c≈ ≈
1 , . . . , cn ]
⇐⇒ există c ∈ C, ψ(c, c1 , . . . , cn ) ∈ Σ (ipoteza inducţiei)
⇐⇒ Σ ` ∃xψ(x, c1 , . . . , cn ) (Σ este teorie Henkin)
⇐⇒ ϕ(c1 , . . . , cn ) ∈ Σ.
2
Observaţie 5.6.17 Conform Propoziţiei 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
` ϕ ⇐⇒ |= ϕ.
166 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
Demonstraţie. Luăm Σ = ∅. 2
Observaţie 5.6.21 Se verifică uşor că reciproca Teoremei 5.6.18 este adevărată:
dacă o teorie admite un model, atunci ea este consistentă.
Observaţie 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.
Există 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Ă169
· 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ă.
170 CHAPTER 5. SISTEMUL FORMAL AL CALCULULUI CU PREDICATE
171
Index
enunţ, 121
enunţ universal adevărat, 129
evaluare (interpretare), 123
172
List of Figures
173