You are on page 1of 110

IODUCER LICA SIOLC

TODR Sl
Copyright 1999 BIe AL
Toate drepturile sunt rezerat Edituri BIe AL
Nici o parte din acest volum nu poat f copiat fr permisiunea
scris a Editurii BIe AL
Drepturile de distrbuie n strintat aparin n
exclusivitate edituri.
Copyright 1999 by BIe AL
AI rights resered.
The distribution of this book outside Romania, without
the written peris sion of BIe AL is
strictly prohibited.
Descrierea CIP a Bibliotecii Naionale
STII, TE ODOR
Introducere n logica si mbolic / Teodor Stihi Bucureti:
Editura BIC AL, 1 999
1 04 p.; 20 cm (ACCENTE)
Bibliogr.
Index
ISBN 973-571-286- 5
16
Editura BIe AL
Departamentul
difuzare
Bucureti, Bd. Timioara nr. 58,
sectr 6, cod 76548
V 402260 0
Fa: 402 26 10
V 4022620
Fa: 402 26 30
Rdactor: Radu Slobodeanu
Cperta: Dominic Cernea
PRITED I ROMIA
0olec|aAccente
apatesub ogr|j|rea
-rc!. uolv. Dr. Paul Flondor
EODORTIHI
INTRODUCERE
W
IN
LOGICA SIMBOLiC
l eu. "EUGC TODR"
TiMIA

l
BIBLIOTECA CEN
1IVRSITA
TIMIOA
1 111111 III IIIII IIIIIIII 111111111 II
02282153
n aceast colecie au aprut:
Cum ne esem eul argument, selecie i traducere
G.G. Constandache
Algoritmi genetici ediie ngrijit de
Paul Flondor i Cezar Ionescu
Urmeaz s apar:
Genetic i patologie Marina Anton i
Minera Muraru
Mulimi, funcii recursive, aplicaii Ionel ev
Contiina i identitatea uman ediie ngrijit de
- G.G. Constadache
CATRE CITITOR
Limbajul logico-simbolic a devenit, prin intoducerea n ma
nualele de liceu, element de cultur general. Ceea ce este fresc,
innd seama de faptul c n aceast hain, croit dup moda
sfritului mileniului nostu, s-a mbrcat i o bun parte din Ia
diionala logic aristotelic, la cei peste 2200 de ani de existen
Dndu-i mna, dou dintre artele liberale ale nvmn
tului medieval - logica i matematica - au produs, n ultimul
secol i jumtate, ceea ce gndi/ori i mari creatori de talia lui
G. W Leibniz au imaginat fr a putea realiza: un "calculus
ratiocinator" (calcul argumentator).

n paginile urmtoare vom ncerca s prezentm, chiar


pentru cititorul cu un nivel minim de cunotine matematice,
elementele de baz ale calculului logic. Ce i se cer acestui citi
tor sunt mai puin aceste cunotine, ct rbdarea i perseve
rena de a urmri defniiile, proprietile i mai ales exem
plele cu care le-am ilustrat. Cei doritori de amnunte i justi
fcri complete (demonstraii pot consulta, desigur cu folos,
una dintre excelentele expuneri detal iate pe aceast tem
(cteva sunt menionate ntr-o scurt bibliografe la pag. J 00)

n plus, pentru a-i oferi aceluiai cititor contiincios prile


jul i satisfacia de a-i vedea puse n lucru cunotinele do
bndite prin efortul acestei lecturi, am adugat, n fnalul
fecreia dintre cele dou pri din care este alctuit cartea,
cteva exerciii avnd rezolvarea in anexa 1
Nutrim sperana c prin aceast poart deschis spre un
domeniu tradiional i, n acelai timp, actual, vor ptrunde
ct mai muli. i mai sperm c aceast experien i va ajuta
s-i dezvolte rigoarea n gndire i n exprimare. Le urm
tuturor succes i ateptm cu interes reaciile i sugestiile citi
torilor notri.
Autorul
CUPRINS
1. CALCULUL PROPOZIIONAL
A. Iei introductive . ........ . .. . . l
1. Calcul logi c .............................................................. l
2. Propoziii logice .. .... ...... .. . . l
3 . Operatori logici . . . . ... . . . . . . . 2
4. Limbaj natural i l i mbaj logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
5. Funcii de adevr ...... . . .. . .. .. . . ..... ..... . 5
6. Implicaia i echivalena logic . . . .... . . 7
B. Dezvoltarea calculului propoziional .. .. . ... . . . IO
7. Formule propoziionale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... 10
8. Validitate propoziionaI . . . . . . . . . . . . . .. . . . .. . . . . . . . . . . . . . . . . . . . . 13
9. Substituie i detaare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
10. Echivalena formul el or propoziionale . .. . . . . . . . . . . . . . . . . 20
1 1 . Dualizarea formulelor propoziionale .. . . ... 24
12. Fore norale ........................................................ 26
C. Axiomatizarea calculului propoziional . . . . 28
13 . Metoda axiomatic . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1 4. Axiome i regul i deductive . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
15. Demonstraie i deducie . . ... . . ............... .... ... 3 1
16. Elemente de teoria demonstraiei . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
17. Necontradicia calculului propoziional . . . . . . . . . . . . . . . . . 38
18. Regul i deductive derivate . ... . 39
19. Completitudinea calculului propoziional . . . .. . . . . . . . . . 43
EXERCIII 47
VIII Cuprins
II. CALCULUL PREDICA TELOR
D. Idei introductive a . . a . . . . 50
20. Insufci ene al e calcul ul ui propoziional . . .. . 50
21. Structura l ogi c a propozii i l or si mpl e o SI
22. Cuantifcarea subiectul ui l ogi c . .. .o . . o . . o 53
23 . Argumente exprimate n l i mbajul
calcul ul ui predi catelor . . . . . . ... .. . 54
E. Dezvoltarea calculului predicatelor . . . . . .. . . . 56
24. Formul e cu predicate e . a a . . 56
25. Val i ditate n calcul ul predicatel or . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
26. Substitu i i n calcul ul predi catel or . . .. . .. . 63
27. Echivalena formul el or cu predicate . . 66
28. Dual i zarea formul elor cu predi cate . . . ... . 69
29. Regul i de cuanti fcare . o s . o . a 7 1
F. Axiomatizarea calculului predicatelor . o o 73
30. Axiome i regul i deductive . . . . . . 73
3 1 . Demonstrai e i deduci e n calcul ul predicatelor . 75
32. Proprieti ale relaiei de deducti bi l i tate . e . . 77
33 . Consi sten i completitudi ne .. .. .. . .. . . 79
34. Regul i deductive derivate o o o o = o 82
EXERCIII . a . o . . o 85
Anexa 1: Sol ui i l e exerci i i lor o = . . o . . o . . a . . . 88
Anexa II: Echival ene logice . .. ... . . o . .. . . 94
Anexa III: Logic i metamatematic .. . : ................................ 97
Bi bl i ografe a . a o . a .. o . 1 00
Si mbol uri uti l i zate o o a = a . . e 101
Index = q 102
1. CALCULUL PROPOZITIONAL
A. Idei introductive
1 . Cal cul l ogi c
Ideea unui calcul logic a aprut n lucrrile l ui R. Lul lus
( 1 235- 1 315) i G.W. Leibniz (1646-1716). Dar pasul decisiv a
fost cut de G. Boole (1815-1864) care pune bazele unui calcul
logic asemntor cel ui algebric. Calculul boolean - numit astfel
n onoarea sa - a fost apoi dezoltat prin lucrrile unor logicieni
i matematicieni remarcabi l i; astzi calcul ul l ogi c este un i nstru
ment de lucru att n ti inele exacte, ct i n unele discipline
umani ste. Princi pi i le sale generale sunt studiate ntr-o serie de
col i i faculti: de la cel e de matematic i calculatoare la cele
de psihologie i fl ozofe.
Vom prezenta n pagini l e urtoare aceste pri nci pi i mpr
ind expunerea n dou secvene:
- calcul ul propoziiilor_ sau propoziional, i
- calcul ul predicatelor.
2. Propozitii logiceI
Acestea sunt el ementel e constituti ve ale calcul ul ui propo
zii onal.
I Atributul "logic" este util i zat n aceast lucrare ntr-un sens mai restrs
dect n vorbirea curent.
2 Calculul propoziional
Exemple. Plou.
E soare.
E soare, deci nu plou.
O interogaie (mi poate fol osi logica la ceva?), o excl a
maie (Gndete-te!) etc. nu pot f caracterizate - n nici un
context - drept adevrate sau false. Prin urmare, nu sunt
propozii i logice.
Precizm c nu ne vor interesa condiii l e - obiective sau
subiective - de care depind adevrul sau fal sitatea propoziiilor
logice. Trebuie doar ca fecare dintre aceste propoziii s fe
sau A (adevrat) sau F (fals).
A i F se vor numi valori de adevr.
3. Operatori logici
Calculul logic utiliza noiuni i simboluri de sorgite ma
tematic.
Majusculele P, Q R etc. eventual i ndexate, vor reprezenta
propoziii logice. Dar simboliznd prin P, Q, R cele trei
propoziii logice, date mai sus drept exemple, facem un pas
neadecvat ctre instituirea unui calcul logic. Aceasta deoarece
pierdem astfel din vedere faptul c ultima. dintre cele trei
(E soare, deci nu plou) se poate obine din primele dou prin
anumite transformri .
Cea mai simpl dintre transformri este
Negaia logic
/
. Propoziia P (Plou) se transform prin
negaie n !P (u plou). !este simbolul operatorul ui logic de
negaie.
Conjuncia logic transform propoziiile P (Plou) i
Q (E soare) n propoziia logic
P A Q (Plou i e soare).
I

n limbaj matematic o astfel de transfonare se numete operator, aici


find vorba de un operator logic: n spet operatorul logic de negatie.
A. Idei introductive 3
A este simbol ul acestui operator logic.
Disjuncia logic transfor aceleai propozii i P i Q n
P v Q (Plou sau e soare),
avnd v ca simbol al su.
Implicaia logic transfor P i Q n
P = Q (P implic Q)
i are ca simbol =.
Echivalena logic transfor P i Q n
P

Q (P echivalent Q)
avnd ca si mbol

.
S revenim acum la ultimul dintre cele trei exemple anterioare:
E soare, deci nu plou.
Asimi lnd pe
"
deci
"
cu "impl ic" o vom simbol iza, con
form celor expl i cate, prin
Q= TI.
4. limbaj natural i limbaj logic
Limbajul logicii simbolice este un fragment al celui natural
(l imba scris i vorbit). Prin introducerea sa logicieni i au
urrit eliminarea unor imprecizii i echivocuri ale acestuia
din ur. Desigur c prin aceasta l imbajul logicii simbol ice
pierde expresivitatea i nuanrile specifce l imbajului natural.
El se apropie, de fapt, de limbajul calculatoarelor (pentru care
a serit iniial drept model).
.
Este important de remarcat, cu toate acestea, c ntr-un
asemenea l imbaj dispunem de sufci ente miloace de expresie
pentru a reda adevrurile formulate n tiinele exacte, cu deo
sebire a celor di n matematic.
Dar n cele ce umleaz am ales drept exemple dou extrase
di n literatura clasic: Eminescu i Caragiale.
4
Calcul ul propoziional
2A. Iar n lumea cea comun a v
i
a e un pericul,
Cci de ai cumva iluzii, eti pierdut i eti ridicul
M. Eminescu Scrisoarea a I-a
Pentru a transcrie n l imbaj si mbol i c aceste dou versuri
emi nesci ene vom uti liza urmtoarel e notai i (
"
dicionar
"
)
P: de ai cumva iluzii, eti pierdut} i eti ridicul;
Q: Iar n lumea cea comun a visa e un pericul.
Fragmentul ales constituie propoziia logic
Q cci P
transcris drept i mpl icaia
P=Q.
Dar, n ti mp ce Q este o propoziie simpl
'
, P se poate scrie
ca rezultat al transformri i unor propozii i logice; adic este
compus.
Continum "dicionarul" notnd cu
R: ai cumva iluzii;
S: eti pierdut i eti ridicul.
Astfel, P va putea f redat n limbaj ul logicii simbol ice
prm
R=S.
Anal i znd l a fel ca mai sus cele dou componente ale
impl i cai ei , constatm c prima este si mpl n ti mp ce a doua
se descompune n
S,: eti pierdut;
S2: eti ridicul.
Anume, S va f redat si mbol ic sub fora:
S, / S2
1 Numim simpl o propoziie logi c ce nu poate f obinut transfonnd
alte propoziii logice prin intenediul unor operatori logici.
A. Idei introductive 5
Rercnd di n aceste
"
pi ese
"
ntregul fragment obi nem:
Parantezel e au acelai rol ca i n al gebr: indic ordinea
aplicri i operaii l or (aici: a operatori lor l ogi ci)s
3A o . . . eu am, n-am nfiare, la dousprece trecute fx m
duc la tribunal!
I.L. Caragi al e O scrisoare pierdut (Actul 1, scena a VI-a)
Textul find eliptic, reconstrucia sa l ogi c presupune i o
anumi t i nterpretare
I
. O vom face astfel :
(Dac) eu am (sau) n-am nfiare, (atunci) la dousprece
trecute fx m duc la tribunal!
Propozii i l e logi ce si mpl e sunt
P: eu am (niare);
Q: la dousprece trecute fx m duc la tribunal,
i ar fragmentul capt, n i nterpretarea dat, forma l ogic:
,I
T
Ii=Q
5. Functii de adevr
Scopul pri ncipal pentru care a fost creat l imbajul l ogic este
acela de a servi ca "vehi cul al adevrului
"
de l a premi sel e la
concluzia oricrui rai onament expri mat cu mij l oacel e lui.
Legile logi ci i stabilesc condiiil e n care, din adevru anu
mitor propozi i i decurge adevrul altei propozii i. Control ul
asupra acestui "transfer" de adevr este meninut impunnd
operatori lor logici o condi i e destul de sever: acee! de a f
funci i de adevr.

n matematic funcia este o coresponden ntre elementel e


unei mul i mi i elementele altei (sau aceleiai) mulimi . O
I Preci zi a l i mbajul ui logic impune asemenea i nterpretri, chiar dac
uneori el e pot f forate.
6 Calculul propoziional
funcie asociaz fecrui element al primei mulimi cte un
singur el ement di n a doua mul ime.
NEGA IA logic defnete o astfel de funcie. Cnd propo
ziia
"
plou
"
este adevrat (A), propoziia
"
nu pl ou
"
este
fals (F). Iar cnd
"
plou
"
este fal s (F),
"
nu plou
"
este ade
vrat (A).
Exprimarea si ntetic a acestei corespondene ntre mulimea
valorilor de adevr {A, F} i ea si este tabela:
P
A
F
TAB !
1I
F
A
Prin ea se defnete funcia de adevr a negaiei logice. Nu
a negaiei propoziiei P, ci a negaiei oricrei propozii i logi ce.
CONJNCnA logic defnete l a rndul su o anumit
fncie de adevr. Deoarece conj uncia - ca operator - transfor
o pereche de prpoziii (P. Q) ntr-o prpoziie P / Q, fncia de
adevr corespunztoare conjunciei va transfora fecare dinte
cele patru perechi de valori de adevr
(A
,
A), (A, F), (F, A), (F, F)
ntr-o valoare de adevr.
Tabela de adevr a conj unciei este urtoarea:
P Q
I
:
A A A
A F F
F A F
F F F
TAB /
A. Idei introductive 7
Ceea ce ne arat c propoziia ,) i Q
"
este adevrat ntr
un si ngur caz: cnd cele dou propozii i P i Q sunt si multan
adevrate.
DISJCIA logi c defnete funcia de adevr redat n
tabela
P Q
PvQ
A A A
A F A
F A A
F F F
TAB v
Propozi tia "P sau Q" este adevrat n toate cazurile cu
excepia celui n care cel e dou propozii i P i Q sunt false.
Observaie. Aceast funcie de adevr corespunde unui
"
sau
"
neexclusivo n l i mba romn apare i un
"
sau
"
exclusi v
(ca n expresi a: totul sau ni mi c).
Despre funci i de adevr vom di scuta i n continuare.
6. Impl icatia i echivalenta logi c
ntre dou propozi i i logi ce P i Q pot exista dou ti puri de
rel a i i logice importante: i mplicai a i echi valena.
IMPLICA IA logic P Q este expri mat n l imbajul
curent pri n expresi i ca: dac P
,
atunci Q; Q dac P; Q
deoarece P; P numai dac Q.
n matematic sunt uti l izate i si ntagmele: P este o condiie
sufcient pentru Q, Q este o condi i e necesar pentru P.

n logic este preferat exprimarea: P impl ic Q.


8 Calcul ul propoziional
ECHIV ALEN A logic P :Q se expri m pri n: P dac i
numai dac Q P exact atunci tnd Q etc. , i ar n matemati c i
pri n si ntagma: P este condiia necesar i sufcient pentru Q.
n logic apare mai frecvent expri marea: P este echivalent
cu Q.
Fi ind operatori logici , att i mpl icaia ct i echivalen sunt
asoci ate unor funci i de adevr.
Pentru echivalen aceast funcie este defnit prin tabel a:
P Q
P:Q
A A A
A F F
F A F
F F A
TAB :
Aadar P : Q este adevrat exact atunci cnd P i Q au
aceeai valoare de adevr.
Pentru a nelege cum s-a ajuns la tabela de adevr a i mpl i
caiei vom discuta n prealabi l un exempl u de i mpl i caie logic.
Dac am de lucru, (atunci) vin trziu acas.
Desci frm semnifcaia logic a acestei propozii i anal iznd
cele patru variante posi bi le.
1)
am de lucru i vi n trziu acas;
2) am de lucru i nu vin trzi u acas;
3) nu am de l ucru i vin trzi u acas;
4) nu am de lucru i nu vi n trzi u acas.
n mod cl ar propoziia considerat este aevrat n pri mul
caz i fals n al doi lea caz.
Mai puin clare sunt valori l e sale de adevr n ulti mele dou
cazuri . ntruct exi st patru variante de alegere a lor, vom
anal i za fecare variant n pare.
A. Idei introductive 9
p
Q
Varianta a Varianta b Vari anta c Varianta d
A A A A A A
A F F F F F
......... ...... ................... ................... ............ - .. - ... ...................
F A F A F A
F F F F A A
Lini a ntrerupt desparte situai i l e clare de cele problematice.
n vari anta a, semni fcaia logic a propoziiei date ar coin
ci de cu semnifcai a propoziiei :
Am de lucru i vin trziu acas.
(A se compara valori le de adevr di n varianta a cu TAB A)
n vari anta b aceast semnifcaie ar coincide cu cea a pro
poziiei :
Vin trziu acas.
(A se compara valorile de adevr di n coloanel e a doua i a
patra) .
n varianta c semnifcaia logic ar f aceeai cu a pro
pozii ei :
Am de lucru dac i numai dac vin trziu acas.
(A se compara varianta c cu TAB )
Toate aceste soluii sunt greu de acceptat. Ne oprim aadar
la varianta d, iar funcia de adevr a i mpl icai ei logice este
fxat prin tabela
p Q
PQ
A A A
A F F
F A A
F F A
TAB
4A. Observaie. n legtur cu relaia P Q preCizam c
propoziia P se numete antecedent sau premis a i mpl i caiei,
iar propoziia Q se numete consecvent sau concluzie a sa.
Aadar relaia de i mpl icaie este fal s numai n cazul n care
imtecedentul (premi sa) este A i consecventul (concluzia) este
F.
10 Calculul propoziional
Impl icaia Q = P se numete conversa implicaiei P = Q.
lmplicaia
1 Q = 1
P se numete tapua implicaiei P = Q.
B. Dezvoltarea calculului propozifional
7. Formule propozitionale
Reveni m la l imbajul simbolic al logici i . El conine multe
elemente speci fce l i mbajul ui matematic. Printre acestea pe cea
de variabi l ; aici de variabi l propoziional.
Notm cu p, q, r,
P
I etc. aceste variabi l e.
Dac n propoziia logic
(R = (SI A S2 = Q
ce exprim n l imbaj logic cele dou versuri eminesciene (cf.
2A), nlocuim propozii i l e R, SI, S2, Q prin variabi lel e
propoziionale r, sI, S2, q obinem:
(r = (SI A S2 = q
Aceasta nu reprezint propoziia logic de mai sus, ci
structura ei logic. i nu numai pe a ei, ci i a altora avnd
aceeai
"
fon
"
cu ea. De aceea se va numi formul
propoziional.
B. Dezoltarea calculului propoziional
Spre exemplu, structura propoziiei logice:
(P v !
I)= Q
11
prin care am transcris celebra fraz a lui Farfuri di din
"
Scri soarea pierdut
"
(cf. 3A) se obine nlocuind P cu p n
fecare dintre cele dou apariii ale sale i Q cu q. Ea va f
exprimat prin formula:
(
v
1,)
= q.
3B. Construirea pas cu pas a formulelor. Calculul logic
opereaz cu formule logice la fel cum cel algebric opereaz cu
formule algebrice. De aceea formul el e (propoziionale) trebuie
defnite independent de propozii ile logice a cror structur o
exprim. Este ceea ce vom face n continuare plecnd de la
cele mai simple i trecnd, pas cu pas, spre cele mai complexe.
Metoda aceasta se numete inductiv i se rezum la dou
regul i .
RI. Baa induciei. Orice variabi l propoziional este o
forul propoziional.
R. Pasul induciei. Dac a i ( sunt formule propoziio
nale
]
atunci
1 a, a / (, a v (, a= (, a

(
sunt fomlUle propoziional e.
Ilustrm aceast metod prin
Exemple. Variabi l ele propoziionale q, r], r2, s sunt formule
propoziionale (R 1). Din aceste formule obinem (cf. R)
formulele:
Aplicnd di n nou R construim forulele:
qvlq
I Notm a 1, y etc. formulele construite cu ajutorul celor dou reguli.
12 Calcul ul propoziionaJ
Dup al trei lea pas inductiv obinem formulel e:
(
q
v 1
q
)
=s
Operatorul (tiprit ngroat) i ntrodus de regula R se
numete operatorul principal al formulei respective.
Parantezel e pe care l e-am introdus au rol ul de a deli mita
operatorul pri nci pal , al fecrei forule, de restul formulei .
Pentru a nu suprancrca notaia putem renuna l a o pare din
ele adoptnd urmtoarea
4B. Convenie. ntr-o forul n care apare un singur

acesta este operatorul principal .
Dac

nu apare i apare un si ngur =
,
acesta va f opera
torul principal, . a. m. d.
Astfel am i ntrodus pentru fecare di ntre cei ci nci operatori
cte un ordi n de prioritate: cel maxim pentru

, apoi = etc.
pn la 1 . Iat ordi nea compl et a lor
, =
, V
,
/
, 1
Exemple. n formula (fr paranteze)
p
v
q
/ r

1 p =
q
/ r
operatorul principal este . Cele dou formule di n care s-a
obinut, prin apl icarea regulei R, aceast formul sunt
p
v
q
/ r i 1p =
q
/ r
El e au ca operatori pri nci pal i v i respectiv =.
Scris cu paranteze, formula iniial va f
( v
(
q
/ r)) lp)
= (
q
/ r))
l
Observaie. Sunt cazuri n care parantezel e devi n i ndispen
sabile:
1 De multe ori se adopt o variant interedia de scriere; de pild n
cazul de fa ea poate f
p v (q / r) (: (lp::q / r).
B. Dezvoltarea calculului propoziional 1 3
cnd apar doi operatori identici sau cnd operatorul princi
pal nu are, printre ceilali operatori ai formulei, ordinul maxim
de prioritate.
Exemple. 1) p =
q
= p 1
q
poate f citit drept
( =
q
) = (
1
q
)
sau dreptp
=
(
q
= p
1
q
).
2) Forula p
= (
q
< p 1
q
)
, n absena parantezelor ar
trebui citit drept ( = q) < ( 1 q).
8. Val idi tate propoziti onal
La fel cum calculul algebric se dezolt pe baza identiti lor
algebrice, calculul logic se dezvolt pe baza identiti lor logice.
n calculul propoziional acestea sunt ,&!lele propoziional
valide. n fa fecreia dintre ele vom pune simbolul: F
- Exemple: F p v lp (terul exclus)
- < ` `
p (negarea negaiei)
F p
1
( =
q
) =
q
(modus ponens) ,
n parantez am adugat denumirile principiilor logice pe
care fecare dintre aceste formule le transcriu n limbaj
simbolic. Astfel, principiul terului excl us afrm c orice
propoziie logic este adevrat sau fals; principiul negrii
negaiei (sau dublei negaii) afrm c orice propoziie este
echivalent negrii negaiei sale; asupra principiului modus
ponens ne vom opri n pagi ni l e urtoare.
Pentru a exprima un astfel de principiu ar trebui s-I
enunm pentru fecare propoziie logic P, Q R etc. n parte;
s scriem de pild
r.TIQv lQ, Rv lRetc.
Aceasta se va putea realiza nlocuind P cu variabila pro
poziional p, variabil ce ine locul oricrei propoziii logi ce.
Cnd spunem c formula
pv lp
14 Calcul ul propoziional
este propoziional valid nelegem faptl c orice propoziie
logic (P, Q, R etc. ) am pune n locul l ui p, propoziia logic
obinut prin aceast nl ocui re este adevrat. De pild
"
plou
sau nu plou
"
,
"
e soare sau nu e soare
"
sunt adevrate. Dei
astfel de exprimri nu ofer nimic interesant din punct de vedere
al cunoateri i, fl osoful i logicianul austriac L. Witgenstein l e
consider
"
osatura l umi i
"
l
.
Rmne deschis problema: cum putem stabili c o astfel
de formul este, dup expresi a l ui Wi tgenstein, o tautologie,
dac nu avem posi bilitatea de a nlocui p cu fecare di ntre
propozii i l e logice
(
acestea find n numr nel i mi tat)?
SB. Tabela i juncia de adevr a unei formul e propozi
ional e. Dei n numr-potenial i nfnit, propozii i l e l ogice se
mpar n dou categori i: adevrate i false.
Dac P este adevrat, `P este fal s (TAB T), iar P v TP
este A v F adic A (TAB v).
Dac P este fals, `P este adevrat, iar P v TP este F v A,
adic A.
Prin urmare, deoarece negaia i di sjuncia logic sunt funci i
(numai) de val oarea de adevr a lui P, este sufcient s verifcm
c propoziia P v TP este adevrat pentru o singur propoziie
adevrat i - respectiv - pentru o singur propoziie fals
pentru a trage concl uzia c formul a p v lp este valid.
Concl uzia, mai general, ce se poate trage di ntr-un astfel de
raionament este c fecare formul propoziional a defnete
cte o funcie de adevr.
De pi l d, formul el e lp, p /
q
,p V
q
,p q,p q defnesc
funci i l e de adevr expl i citate prin TAB T TAB / , TAB v,
TAB , TAB respecti v.
n general notm TAB a tabela de adevr a formul ei a -
tabel ce expl iciteaz funcia de adevr defnit de a.
1 Tractatus Logico-Philosophicus, propoziia 6. 1 24.
B. Dezoltarea calculului propoziional
15
Exemple. 1) Pentru a: p v 'p tabel a va f confon celor de
mai sus
p
A
F
'
F
A
TABpv l p

'
A
A
2) Pentru a: PA (
q)
tabel a va f
p q
pq
P
A (
q)
A A A A
A F F F
F A A F
F F A F
TABpA (
q)
3) Pentru a: p A (
q)
q (modus ponens) tabel a de
adevr va f
p q
pA(q
)
q
A A A A A
A F F F A
F A F A A
F F F A A
TAB
P A (
q) = q
Am condensat n aceast tabel - sub fona celor trei co
loane fnale - rezltate pe care, n tabela anterioar le-am repre
zentat separat. Sub fecare di ntre cei trei operatori ai fonulei a
am aezt coloana valori lor de adevr corespunztoare.
16 Calculul propozitional
n concl uzie, fonul a modus
p
onens
P
( =
q
)
=
q
este propoziional vali d, avnd pe col oana operatorul ui su
principal (cf. 3B) un ir nentrerupt de A.
7B. Dup structura ultimei col oane din T ABa formulele
propoziionale a se mpart n valide, contingente i inconsis
tente. Astfel, cnd ultima coloan conine
a) numai A: a este valid;
b) i A i F: a este contingent;
c) numai F: a este inconsistent.
n primel e dou cazuri a se numete consistent
,
iar n
ultimele dou nevalid.
Exem
p
lu. Fonul a p Tp avnd tabel a de adevr
p
A
F
F
A
TAB
p

l
p
F
F
este inconsi stent. Fonul a `
(

'p
) va f deci, cf TAB
l
,
valid
Ea traduce si mbolic
p
rinci
p
iul necontradiciei: o propoziie
logic nu este n acel ai timp adevrat i fal s.
B. Dezoltarea calculului propoziional 17
8B. Cutarea unui contraexem
p
lu. Alctuirea tabel ei unei
formule cl arifc deplin statutul su (val id, contingent sau in
consi stent). Cnd ea conine, de pi ld, ci nci variabi l e propo
ziionale, tabelul va avea 25 32 de l ini i , presupunnd foarte
multe calcul e.
Cteodat putem cl arifca mai uor statutul l ui a
,
cutnd
un si stem de valori de adevr ale variabi lelor sale propoziio
nale pentru care a ia val oarea F. n caz c el exist, poart nu
mele de contraexemplu al l ui a i probeaz c a este neval id.
Cnd cutarea se bl ocheaz, artnd c ni ci un contraexempl u
nu exist, aceasta dovedete c formul a a este vali d.
Exemplu: ( v q) / ( V
r
)
= p v (
q
/ r)
Notm a: (
v
q
) / ( V
r
)
, f: p v (q / r).
O formul a = f este F dac a este A i f este F (TAB= ).
Pentru ca a s fe A trebui e (TAB /) ca
(1)
p
v q i p v r s fe A.
Pentru ca
f
s fe F trebuie (TAB v
)
ca
(2) p i
q
/ r s fe F.
Trebuie, deci , gsite valorile pentru
p
,
q
, r care sati sfac (1)
i (2).
Imposi bi l , deoarece
q
/
r este F dac sau
q
sau r este F. Dar
p find F (cf. (2)), fe p v
q
, fe p v r va f F contrazi cnd (1).
Blocajul aprut dovedete c formula considerat este
val id.
Pentru a compara metoda cutri i unui contraexemplu f
cea a tabelei de adevr, vom trata, cu aceasta di n ur,
implicaia convers
y:
f
= a.
18 Calculul propoziional
Tabela corespunztoare este
p q r
qlr p v (q 1 r) pvq ' v r _v q)l( v -
y: 1
I
f
l
A A A
A
f
A A F F A' A A A A
A F A
c
;
f
F A A

/
I
A F F
'
II
F A F F F A F F A
F F A
o
t
F F F
o

TABy

n ea cititorul trebuie s completeze cele ase l i ni i rmase


l i bere dup modelul celor dou completate. Utima coloan va
f alctuit numai din A. Ceea ce dovedete c i y este valid.
Observaie. Validitatea celor dou impl icai i conduce la
val iditatea echivalenei a ,,adic
1 p v (q A r) ( v q) A ( V r)
l
.
9. Substitutie i detaare
Principi i le logi cii propoziionale se exprim simbol i c numai
prin formule val ide. De aceea descoperirea celor di nti se face,
n logica simbol ic, prin deterinarea formulelor valide.
Att tabela de adevr, ct i variantele sale (cutarea de
contraexemple etc. ) sunt doar ci de vericare a val i diti i
unor formule date.

n ti mp ce noi trebuie s descoperim foru


lele val ide. Printre metodele unei asemenea activiti se nscriu
substituia i detaarea.
a) Substituia. Pentru a proba validitatea forulei propo
ziionale
1 S-a demonstrat, astfel, echivalen E26 de la pag. 95.
B. Dezoltarea calculului propoziiona/ 19
( 1 ) ( A (q V r v 1( A (q V r
cititorul se poate atepta la compl etarea unei tabele de adevr
compl icate, n genul celei de mai sus. Dar privind mai atent, el
poate s obs
e
re c de fapt aceast formul are o structur mult
mai simpl, perfect similar cu a forulei
(2) p v lp.
Legtura dintre ele se stapilete printr-o operaie numit
substituie. Ea const, n cazul de fa, n nlocuirea fecreia
dintre cele dou apariii ale variabil ei propoziionale
p
din
(
2)
cu formulap A (q V r).
ntruct
(2) este val id (cf TAB
p
v lp) formula ( 1 ) va f i
ea valid. De ce?
Foarte simplu. Cnd determinm, pentru valori de adevr
ale lui p, q i r date, valoarea de adevr a lui
(
1
),
calculm mai
nti valoarea de adevr a formulei p A (q V r), apoi o
introducem ca valoare a lui p n tabela de adevr a lui
(
2). De
aceea, n coloana fnal gsim ntotdeauna A.
10B. Obseraie. Aceast proprietate nu are loc dac sub
stituia nu se face peste tot sau uniorm.
Spre exemplu, dac nlocuim n
p
v lp
numai primul
p
cu p A (q V r), iar al doi lea l lsm nenlocuit,
obinem formula
( A (q V r v
lp.
Ea este fals cnd este A, iar q i r sunt F (verifcai!)
20 Calculul propoziional
b) Detaarea
Proprietatea decurge direct din TAB=: cnd propoziii l e
l ogice P i P = Q sunt adevrate, propoziia Q este adevrat.
Ea se numete detaare (sau modus ponens dup prin
cipiul logic pe care se bazeaz) deoarece permite desprinderea
(val i ditii) concluzi ei 1 din ipotezele (valide) a i a= 1.
1 0. Echivalenta formulelor propozifionale
Uti lizm n acest caz notai a
a-l
Constatarea echivalenei se poate face al ctuind o tabel de
adevr pentru amndou forulel e plecnd de la toate
variabi l el e propoziional e ce apar n el e.
Exem
p
lu. Dac
a: p v lp = q i {: q,
B. Dezoltarea calculului propoziional 21
atunci tabela de adevr a celor dou pleac de la variabi l el e
propoziionale i ,
,
pv
!
p
q
A A A A
A F A F
F A A A
F F A F
Echivalena a - rezult n urma constatrii c a doua i
ultima coloan coincid
1
.
Observaie. Dac am f alctuit separat tabela forulei q -
care este
- o comparaie direct ntre coloanele lui a i ( nu se putea
face!
Relai a de echivalen joac n calculul logic rolul pe care
identitatea l joac n calculul algebri c.
Ea are trei propri eti importante i anume:
a) pentru ori ce forul a: a -a;
b) pentru orice formul e a i : dac a - (, atunci f -a;
c) pentru orice formule a, , y: dac a - ( i f -y, atunci
a-y.
Prima se numete rejexivitate, a doua simetrie, iar a treia
tranzitivitate.
I

n virutea acestei echi valene cnd spune " ... eu a, n-am nfiare, la
dousprece trecute fx m duc la tribunal!. ", Fafuridi afrm de fapt gla
dousprece trecute fx m duc la tribunal!" (a se vedea 3A).
22 Calculul propoziional
o relai e avnd aceste trei proprieti se numete echiva
len (n cazul nostru - una logic) i mpare forulele
propoziionale n clase de echivalen.
Ori ce dou formul e di n aceeai cl as sunt echivalente ntre
ele, i ar formul el e di n cl ase diferite sunt neechivalente.
Astfel, toate formul el e valide alctuiesc o singur clas; l a
fel i cel e contradi ctori i (i nconsi stente); p i ! ! p se af n
aceeai cl as, dar p i q se af n clase diferite etc.
Plecnd de la o echi valen cunoscut
a-
putem descoperi noi echivalene n vi rutea unei proprieti de
nlocuire a expresi i l or echivalente
.
Astfel , dac Ya este o formul propoziional n care apare -
ca parte alctui t di n simboluri consecutive ale sale - formula
propoziional a, vom nota Y

rezultatul nl ocui ri i l ui a cu
(n una sau mai multe di ntre aparii i l e sale n Ya).
Exemp
lu. Ya
:
( ::: p v q) 1 ( V
q)
a: p v q, : q v p
Atunci Y

poate f oricare di ntre forulele:
( ::q v p) 1 ( v q), (::P vq) 1 (q v p),
(::q v p) 1
(
q
V
p).
Astfel , deoarece conform E71
pvq-qv p,
rezult
Y
a -
Y

pentru oricare Y

di ntre cele trei de mai sus.
Proprietatea are multe conseci ne uti le, printre care i ur
toarea:
I La pagina 94 gsii o l ist cu 50 de echivalene logice valide notate EI>
- g Esoo
B. Dezoltarea calculului propoziional 23
15B. Obseraie. Formul el e calcul ul ui propozi ional au fost
construite cu ajutorul a cinci operatori l ogi ci
1
v
,

,

n virtutea proprieti i 14B i a unora dintre echivalenele
EIO, Eli, El3, E14, EI7, EI8 fecare di ntre el e este echivalent cu
cte o formul coninnd doar operatorii
1
,

respectiv l, v.
Exemplu. Y
a
: p ;, r)
a: q

r
a) Dac notm (: T ;,

`r), confor EI4


a
-
(,
deci, apl i cnd 14B,
Y
a
-Y
1,
unde Y1:P
1
;,
l r)
.
Substituind n E14' q cu `(,/ `r), obinem conform 9B
/

`@``
;
;l r - '@
,
lr .
DN
Astfel, prin tranzitivitatea echivalenei
Y
a
1@ ,
,
l r .
b ) Dac notm ( : l ,v
r,
conform E
l
3
a- (,
deci apl icnd 14B:
unde
Y
a-
Y
1'
Y/:
p
lq
v r.
Substituind n EI3, ,cu ',v r, obinem confor 9B
24 Calculul propoziional
iar prin tranzitivi tatea echivalenei
Ya- l p v (l q v r).
11. Dualizarea formulelor propozitionale
Echivalenele
Eg:
l
( a/f)-
l
a
v l
f
E9: l (avf)- l a/ lf
(cf pag. 94) numite legile De Morgan
l
evideniaz o si metrie
ntre operatorii / i v.
Ea poate f util izat n scopul transfor
mri i unei formule propoziionale a care conine doar cei doi
operatori i variabile propoziional e si mpl e sau negate.
Exemplu:
y:
p v
(
q / 1r).
1y

lp
/ 1 (q / 1 r
) - lp /
(
1
q v
11
r
)
-
1
p / (1 q v r).
E. E.
DN
Notm ,:l p / (1q v r)
i rezult
ly-
,

I Logicianul care, dei nu le-a descoperit, le-a artat utilitatea.


B. Dezvoltarea calculului propoziional 25
Numim duala unei fonule propoziionale a ce conine
doar operatori i A
, v i variabi l e propoziional e simple i/sau
negate, fonula a
'
obinut di n ea inversnd operatori i A i \'
ntre ei .
Exemplu. Dac a: p v
( A 1
q), atunci a
'
: P
A ( v !q
)
. S
observm c (a')' este a.
Reciproca, se obine din proprietatea direct utiliznd faptul
c (a
'
)
'
este a i
,3)
e
s
te
1.
c:
Vom demonstra proprietatea l7B n cazul fonulelor
a
:
p v (q
Ar
),
3(
v q
) A @V r).
Di n a -
3
(vezi obse
,
aia de la pag. 16) rezult, cf. 1 4B,
1 a -
11.
Pe de alt parte, cf. 16B, avem:
1 a - a i 1
1 - ,.
Deci a - f , adic
!jA ('v !r)- ('jA 1)v (!,A !r)
Substituind p cu 1p, q cu 'q, reu
1
r, confonn 9B rezul t:
11
p
A(11
q
v 11r)-(11pA 11q)v(11
pA 11 r).
n fnal , suprimnd dublele negaii pe baza regulei DN,
obinem:
26 Calculul propoziional
PA
(q V r) ( A q)
V ( 1 r)
.
Aceasta este proprietatea de di stributivitate a conj unciei
fa de disjuncie.
Aadar, cele dou legi de di stributivitate (1 fa de v, v
fa
de 1
)
sunt duale una celei l alte. Validitatea uneia o i mpl i c, n
virutea proprieti i 17B, pe a celei lalte.
12. Forme normale
a) Forma normal conuncti v. Verifcarea validiti i unei
fonule propoziionale prin tabele corespunztoare de adevr
este un procedeu incomod. Pentru anumite fonule ns, vali
ditatea (sau nevali ditatea) se poate obsera direct.
Acesta este cazul di sj unci i lor de dou sau mai multe varia
bi le propoziionale simple sau negate.
Exem ple. 1) Di sjuncia
l
p v q v
l
p
conine aceeai variabi l propoziional () simpl i negat.
Deci tabela ei de adevr va avea pe ultima coloan valoarea A
i cnd
p
este A i cnd p este F; di sjuncia este valid.
2) Dimpotriv, di sj uncia
p v q v
l r
este F cnd p,
q
sunt F i r este A.
Concluzie. O di sjuncie de variabi le propoziionale simple
i/sau negate este val id dac i numai dac aceeai variabi l
apare si mpl i negat.
3)
Fonula a: v `
q v (q
1 1p) este echivalent, n
virutea di stributiviti i disjunciei fa de conjuncie (E26 de l a
pag. 9S ) cu
I n virutea echivalenei
E
2
J. a y (1 v y) (a v 1) v y (aociativitatea disjunciei)
parantezele pot f, n acest caz, omise.
B. Dezoltarea calculului propoziional 27
( v l q v
q)
l( v
l q v
lp).
o conjuncie este valid numai atunci cnd fecare termen
al su este o formul val id. Ceea ce este, n cazul de fa, ade
vrat. Aadar a este valid.

n general, orice formul propoziional a poate f


transformat ntr-o formul, echivalent cu ea, de forma
l
n care fecare ai este o di sjuncie de variabile propoziionale
simple i/sau negate. Aceasta se numete forma norma
l

conjunctiv a l ui a.
Dac n fecare ai fgureaz cel puin o variabi l propoziio
nal att simpl ct i negat, atunci a este val id.
Dac n cel puin un ai acest lucru nu se ntmpl, atunci a
nu este val id.
b) Forma normal dis
j
unctiv. Forula !a este valid dac
a este inconsistent
(sau identic fals) i reciproc.
Proprietatea unei forule propoziionale a de a f identic
fals se poate constata - fr alctuirea unei tabele de adevr -
prin transformarea ei ntr-o forul echivalent de tipul
a
l
v al v ... v U
unde fecare al este o conj uncie de variabile propoziionale
simple i/sau negate.
Conform TAB
v
, a este identic fals numai atunci cnd
fecare ai este identic fals.
La rndul su formula ai este identic fals atnci i numai
atunci cnd n ea fgureaz o aceeai variabi l propoziional
att simpl ct i negat.
Exemplu. Formula a: p 1
q
1 (!p
v 1
r) se transform n
virtutea distributivitii conjunciei fa de disjuncie (E25 de l a
pag. 95) n formula echivalent
I Omiterea parantezelor se datoreaz echivalenei
E22. a 1 (1 1 y) - (a 1 1) 1 Y (aociativitatea conjunciei)
28 Calculul propoziional
( A q A
l
p) y ( A q A
1
r)
Ea reprezint o fon normal di sj unctiv a l ui a.

ntruct
al doi l ea termen al di sj unciei nu este inconsi stent (ia val oarea
A cnd p i q sunt A, i ar r este F) ni ci a nu este inconsi stent
(fi nd A pentru acel eai valori al e l ui p, q i r).
Prin unare l a nu este val id.
C. Aiomatizarea calculului propozifional
1 3. Metoda axiomatic

n lucrarea
"
Elementele
"
, Eucl i d di n Al exandria face, apro
xi mativ cu 300 de ani nainte de Hri stos, o expunere si stema
tic a propozii i lor fundamentale ale geometri ei di n vremea sa.
Pl ecnd de l a un numr restrns de aiome i postulate el
deduce, pe cale logic, toate cel elalte propozii i . Dei , rapor
tat la standardele de azi, l ucrarea conine unele imperfeciuni,
ea a rmas model ul de conciziune i rigoare n prezentarea
unui ansamblu de cunoti ne teoretice. S-a bucurat de un aa de
mare succes nct, n secol ul al XVII- l ea, flosoful ol andez B.
Spi noza i scria tratatul su de etic n fona axiomatic
deductiv a El ementelor.
Apogeul metodei axiomatice una s fe atins tot n geo
metri e, 2200 de ani dup Eucl id, prin cercetri legate de postu
latul paralelelor
1
Apariia unor geometri i
"
neeucl i di ene
"
, n
care acest postul at este fal s, a condus l a o rsturare a concep
iei despre
"
adevrat" i
"
fal s" n tiinele deductive.
I

ntr-o forul are moder, acest postulat afr "La o dreapt dat,
printr-un punct dat care nu se af pe dreapt, trece o paral el i numai una".
C Axiomatizarea calculului propoziional 29
Concomitent, apariia unor paradoxuri n teoria mul i mi lor
l
a focali zat atenia cercettori l or domeni ul ui asupra demon
straiei matematice, i ntroducnd standarde ri dicate de rigoare
formal. S-a i mpus astfel ideea dup care nsi l ogica - com
ponent eseni al a oricrei demonstraii - s fe organi zat
dup model ul axiomatic deductiv propus de Eucl i d.
Aceasta presupune o i erarhizare a princi pi i lor logice, unel e
fi nd al ese drept axiome di n care toate cel el alte se deduc pe
baza unor regul i expl icit fonnulate. Deducia capt caracterul
unor transformri ce se fac n vi rtutea formei i nu a con
inutul ui .
2
1 4. Axiome i regul i deductive
a) Axiome.

n orice ti in deductiv un adevr este recu


noscut ca atare dac producem o demonstraie a sa. Cum orice
demonstrai e pl eac de l a adevruri anterior recunoscute, vor
exi sta, cu necesitate, adevruri fr demonstrai e. Acestea sunt
aiomele.
Alegerea axiome lor cal cul ul ui propoziional nu este arbi
trar, dei exist mai mul te al egeri posi bi l e.

n pri mul rnd, axiomel e trebui e s fe formul e valide.


Axiomele trebui e s fe "sufci ente" n sensul de a putea de
duce din ele toate formul el e val ide.

ntotdeauna verifc i con


di ia de a reprezenta "mi ni mul
"
sufci ent (adic s nu putem
deduce pe una din cel el alte).
Prezentm n cele ce urmeaz un si stem alctuit din 13 axi
ome, propus de l ogi ci anul german G. Gentzen
3
. El e se mpart
I A se vedea anexa III.
2 Acest tip de exigene au fost fonul ate n cadrul unui program de
fundamentare a ntregi i matemati ci i nitiat i condus de matematicianul
genan D. Hi l bert ( 1 862- 1 943). EI s-a numit "programul fonali st" (ef
anexa III).
3 Untersuchungen lber das Logische Schliessen, Mathematische
Zeitschrif, voI . 39, pg. 1 76-2 1 0. 405-43 1 .
30 Calculul propoziional
n 5 grupe, fecare corespunznd cte unuia dintre cei 5 opera
tori logici .
Primel e dou sunt axiomele de introducere a operatorului =
nt-o formul logic (pe scurt: axiome de = - introducere):
Urmtoarel e trei se refer l a operatorul /; prima este
axioma de i ntroducere a operatorul ui / (
/
- introducere) ntr-o
forul logic
.&._
cel elalte dou find axiome de el i mi nare a sa (/ el i mi nare)
Al t grup de trei axiome se refer la operatorul v:
dou sunt de v-introducere
iar una de v-el i mi nare
iar cealalt de l -el i minare (de fapt l l -el i mi nare):

n sfrit, trei axiome referitoare la < se mpart n:


una de <-introducere
i dou de < el imi nare
C Axiomatizarea calculului propoziional 3 1
b )Reguli deductive

` ` r;X

Di n formula propoziional a se deduce forul a
a(P;1 p;J
obinut substituind n a variabilele propoziionale di stincte PI .
e e . ,
p
", cu formul ele propoziionale
B
l
,
. . . ,
B
" respectiv.

Di n forulele propoziionale a i a
= B
se deduce formula
f
.
Observaie. Regula D. numit i
=
el i mi nare ine locul
unei axiome de
=
el i mi nare ce nu fgureaz printre cele 1 3
axiome de mai sus.
1 5. Demonstratie i deducti e
nainte de a preciza ce este demonstraia s considerm un:
le. Exemplu de demonstraie n cal culul propoziional .
( l ) p = ( =p
)
a l a
(q
/
p) S
W( =( ======(
p
=
a l b
(q
/
p
=p, r/p)
S
(
3)
(
p
= ((
p
=
p) =
p
= (
p
=
p)
1, 2 D
(4) p = (( =
p)
=
p)
(S
) p =p
al a (
q
/p=
p) S
4,
3
D
32 Calculul propoziional
Aadar, un i r de 5 formule propoziionale obinute fecare,
fe prin substituie di ntr-o axiom, fe prin detaare din dou
formul e anterioare ei n ir.
irul de mai sus este demonstrai a forul ei
p
p, ce
devine - n virutea exi stenei acestei demonstrai i - o teorem
a calcul ul ui propoziional .
4C. Exem
p
lu.
q
,
p
, p (q r) r este o relaie de
deducti bi l itate.
Iat deducia corespunztoare:
1
) q
2) p
3 ) p (q r)
i potez
i potez
i potez
C Axiomatizarea calculului propoziional
4
)
q
r
5) r
2,3 D
1 ,4 D
33
Se observ c o demonstrai e este cazul paricular al unei
deduci i fr ipoteze. Aadar, fecare teorem este concluzia
unei deduci i fr i poteze. Motiv pentru care vom pune nain
tea fecrei teoreme semnul . De pi ld:

p p
.
De obicei, prin extensie, acel ai semn se pune i n faa
axiome lor, ce pot f considerate ca un caz l i mit de teoreme a
cror demonstraie se reduce la o singur formul : axioma
nsi .
1 6. El emente de teoria demonstrati ei
Propri eti l e relai ei de deducti bi l itate i ale cazul ui su
particular - demonstrabi l itatea - foreaz obi ectul teoriei
demonstraiei. Ea s-a dezoltat ca o combinatoric a i ruri lor
fni te de si mbol uri ce se transform dup regul i cl are i
expl i cite.
Enunm n conti nuare proprieti ale rel aiei de deducti
bi l itate, n care a
,

,
y, al , ] , . . .
sunt formul e propoziionale.
SC. a" . , ai, .
. . , am ai pentru ori ce i 1 , . . . , m.
6C. Dac al , . . . ,
a
m

I ; . . , ;
a
l , . . . , am ,
i dac B
I
,
.
. . ,
Bp
y, a
tunci a) , . . . , am y.
7C. Dac a B, atunci a B.
SC. Dac a) , . . . , am-
I

am
B, a
t
unci a, , e . e, am-] , a
m ,
9C. Dac a B, atunci
a
B
.
34 Calculul propozifional
lOC. Dac a\, . .. , am

,,atunci al . . . .
, am
-I -a
,

Prima dintre proprieti se refer la cazul und deducii n


care concluzia coincide cu una dintre ipoteze. Deducia se
reduce, n acest caz, la ipotez e,
Pentru 6C plecm de la o deducie a lui y din ,, , . . . ,,
,
.n
acest ir de formule intercalm, n faa fecrui (; , un ir repre
zentnd deducia lui ,,din ipotezele a) , . . . , am. Noul ir de for
mule astfel obinut va reprezenta deducia lui y din e, , e . e, am.
Exemplu.

n deducia
p
ipotez
),
r(
ipotez
),
p =
(r
= p A r
) (a 2),
r
= p A
r (
D),
p A r
(D)
justifcnd relaia de deductibil itte
p.
r
rp A
r
,
intercalm, n faa primei ipoteze, deducia
P A (q =
r) (
ip.
)
, p A (q =
r)
= p
(a
3
a), p
(D),
justifcnd relaia de deductibil itate
q. p A (q = r
)
p.

n faa celei de a doua ipoteze intercalm deduc i a


P
A (q =
r)
(ip. ), p A (q = r) = (q = r) (a
3
b),
q = r
(D),
q
(
ip
. ),
r(D),
justifcnd relaia de deductibili tate
q. p A (q = r)
r
.
i rul de formule obinut prin aceste intercalri
( l
)
p A (q =r
)
(2
)
P A (q = r
)
= p
ip.
a
3a S
C Axiomatizarea calculului propoziional
(3 ) p
(4) p
/
(q = r) = ( q = r
)
(5) q
= r
(6) q
(7) r
(8) p = (r = p / r)
(9) r = p / r
( 1 0) p / r
j ustifc relaia de deductibil itate
q, p / (,= r) p / r.
1 , 2 D
a3b S
1 ,4 D
tp.
5, 6 D
a
2
3 , 8
7,9
D
D
35
7C este un caz particular al proprieti i 8C.
n cazul celei di n urm, pentru a gsi o deducie a formulei
(
di n ipotezele al . . . . , am porim de l a deduc i a lui am = ( din
ipotezele al , . . . , am,] , deducie pe care o completm astfel
(k + 1 )
(k + 2)
ip.
k, k + 1 D
Acest ir de k + 2 forule reprezint deducia lui ( di n
aceleai ipoteze i justifc relaia de deductibi l itate
a
l . . . . ,
a
m-l , am (.
9C este un caz particular al proprietii lOC numit i
teorema deduc/iei. Ea fundamenteaz una dintre cele mai larg
rspndite metode de demonstrare a unei impl icai i a = (;
anume aceea prin care, plecnd de la ipoteza
a
deducem
concluzia ,.
ilustrm printr-un exemplu metoda de a demonstra l OC.
36 Calculul propoziional
Plecnd de la deducia (cf. 4C) corespunzatoare relaiei de
deductibi l itate
,,,(,)
vom construi deducia corespunztoare relaiei de deductibi l itate
,(,,
Reamintim c prima deducie este alctuit di n 5 formule:
, , (, ), ,
Pentru a o construi pe cea de a doua pl ecm de la i rul de 5
formul e:
(*) ,, , (,)), (,),
Dei se termin cu forula-concluzie a cel ei de-a doua
relaii de deducti bi l itate, el nu este, cum se poate observa, o
deducie din ipotezele ,i (,)
n schimb, reprezint
"
schel etul
"
pe care vom construi o
astfel de deducie. i anume i ntercal nd naintea fecrei a
dintre formulele irul ui (*) o deducie a formul ei respective di n
i potezel e , i (,) Pentru a putea urmri mai lesne
procedeul , aezm n col oane paral el e deducia i ni ial i pe
cea obinut di n (*) prin intercalare.
Deducia i niial Deducia obinut di n (*) prin i ntercalare
( 1 ) q ipotez
(2) q (p q) ad a S
q (3) p q 1 ,2 D
(
4) p (P p)
(5) (p ( ( demonstraia
(6) ( ( = p) = p = ( = p) din
.

p = ( = p) = p) exempl ul l C
p (8) p =p
(9) p = (q = r) i potez
( 1 0) ( = (q = r = (p
= ( =
(q = r))) a l a (P/p = (q = r), q/p) S
p = (q r) ( I l ) p = ( = (q = r 9, 1 0 D
( 1 2) { = p} = { = ( = (q = r ) = ( = (q = r } al b (q/p, r/q = r) S
( 1 3 ) ( = (p = (q = r))) = ( = (q = r

8, 1 2 D
q =
r ( 1 4) P
=
(q
= r) 1 1 , 1 3
D
( 1 5 ) (p = p) = [( (q = r = ( = r)] a l b S
( 1 6) ( = (q = r = ( = r) 8, 1 5 D
r ( 1
7
) p =r 1 4, 1 6 D
38 Calculul propoziional
1 7. Necontradi cti a cal cul ul ui propozi ti onal
Citi torul i -a putut face deja o prere asupra metodel or prin
care se obin demonstrai i l e n calcul ul propoziional . Unul
dintre primele scopuri al e teori ei demonstraiei este de a arta
c n urma procesul ui demonstrati v nu se poate ajunge la o
teorem a i n acel ai ti mp la teorema 1a. Proprietatea n
cauz se numete necontradicia sau consistena calcul ul ui
propoziional . Ea decurge di n urmtoarea
Aceast proprietate este conseci na urmtoarelor fapte.
a) Cel e 1 3 axiome ale calcul ul ui propoziional sunt forule
propozi ional val i de.
b) Conform 9B o formul obinut pri n regul a substituiei
dintr-o formul val id este, l a rndul ei , valid.
c) Conform I l B o forul obinut prin regul a de detaare
di n dou formul e valide este i ea val id.
Prin urmare, teoremele calcul ul ui propoziional , care se ob
i n din axiome pri n cel e dou regul i deductive, vor f propo
ziional val i de.
Conform 1 1 C, dac a i 1 a ar f adevrate, atunci a|
1 a ar f propoziional val ide, ceea ce contrazice defniia
val iditi i propozii onal e (6B) i TAB !
C Aiomatizarea calculului propoziio
n
al 39
13C. Observaie. n cal cul ul propoziional are loc, pentru
orice fonul e propoziionale a i , rel ai a de deducti bi litate
a, 'a ( T- el i minarea, vezi 1 8)
Aadar, dac pentru o formul propoziional a, att a ct
i `a ar f demonstrate, atunci toate fonul el e propozi i onal e
ar f demonstrabi l e. Astfel nct demonstrabi litatea n-ar mai
putea servi drept criteri u al adevrul ui .
Consi stena sau necontradi ci a i mpl i c aadar exi stena a
cel puin unei formul e nedemonstrabi l e.
1 8. Regul i deductive deri vate
Pe msur ce avansm n procesul de demonstrare a teore
melor cal cul ul ui propoziional , demonstraii l e devin l ungi i de
aceea greu de construit i chi ar de urmrit. Motivul st n
numrul mi c al regul i l or deductive (dou) pe care le putem
uti liza. Putem l rgi ns acest numr asoci i nd fecrei axiome
cte o regul deductiv corespunztoare. Acestea sunt de fapt
proprieti ale relaiei de deductibi l itate (simi l are cel or din
16) i care se pot demonstra. Ele se numesc regul i deducti ve
derivate.
Pentru fecare din cei 5 operatori l ogi ci dispunem de regul i
de introducere i de regul i de el imi nare a operatorul ui
respectiv.
Astfel , pentru operatorul :: :
1,
-

|- =
Aceast regul n care r reprezi nt o l i st, posi bi l vid, de
formul e propozii onal e, corespunde propri etii l OCI .
I Lini a de fracie, cu aj utorul creia am expri mat regul a de -introd.
nl ocui ete expresi a "dac . . . atunci . . .
40 Calculul propoziional
Aceasta este regula de detaare sau modus
p
onens.
Pentru operatorul A:
I
Aadar, o regul de i ntroducere i dou de el i minare.
Pentru operatorul v:
a

a v f I
r, a , r, , ,
r, avj ,
r are aceeai semnifcaie ca n regula = introducere.
Pentru operatorul 1.
l l
a

a I a, l
a

f
Prima dintre cele dou regul i de 1
-el i minare se mai nu
mete
"
el i minarea dubl ei negai i
"
(DN-el i mi n. )
C Axiomatizarea calculului propoziional 41
Pentru operatorul

:
i
Avnd la ndemn proprieti l e SC- 1 0C i cele 1 4 regul i
de deducie di spunem de mai mult l iberate de mi care n pro- .
cesul de demonstraie. Iat, de exempl u, demonstrarea regulii
trans
p
oziiei
)
.
W
a = f l f = l a
( 1 )
a = 3,a
, 13 a = } SC
( 2) a = 1, a, !} a
SC
(3)
a, a =
3
3
= -el i m.
(4) a = 3,a, ' 3 f
1 , 2, 3 6C
(5) a = 3,a, 1 , 1
SC
(6
) a = 3,'3 !a 4, S l -introd.
(
7)
a =
3
!
3
=
'
a 6 l OC
14C. Comentariu. Vznd acest i r de rel aii deductive,
cititorul poate f derutat n privina "strategiei" construirii sale.
ncercnd s-I l muri m vom parcurge aceste rel ai i de l a
ultima spre prima; ncepem cu cea de demonstrat:
a =
} l f = l
a.
1 Reaintim c implicaia l l : l a se numete transpusa implicaiei
a : 1.
42 Calculul propoziional
Trecnd n revi st cele 14 regul i deductive vom constata c
singurele ce au n dreapta simbolului r operatorul , sunt
- introd. i < - el i m. Deoarece n ipoteza relaiei de demonstrat
nu fgureaz < ne fxm asupra - introd.

n temeiul acestei
regul i , relaia de demonstrat se obine di n relaia
e

, ` -`e'
n concluzia noi i relai i apare operatorul !@ pentr a crui
introducere sunt necesare - prin regula 1-i ntrod. - dou relai i
de forma
a

,
l

, e - \

i e

.
'
"
.e 1
\
Rmne s gsim o formul y pentru care cele dou relaii
s fe adevrate. Nu este greu de observat c o astfel de
formul este chiar
"
ntr-adevr relai i l e
e

,
T
. e -

i e
=
(,
1
(
, e
-
1

se obin pe baza regul i i de = -el imi nare
i a proprieti i se.
Pri mel e patru l i ni i di n demonstrai e nu sunt dect o cale de
a face acest lucru (uti l i znd i proprietatea 6C).
.
Iat, cu acel eai miloace, demonstrai a principiul ui tertium
non datur (terul exclus).
-
e

1e
unde
e
este o forul propoziional.
( 1 )
e - e
|
e
(2
)
'(e1a) -'
e
(
3
) 1e- e !
e
(
4)
T
(e
1e) 11e
(5) r
11(e v1e)
- i ntrod.
1 transp.
v- introd.
3 transp.
2, 4
`
-i ntrod.
J Aceast relaie deductiv corespunde unui principiu deductiv pe care
primii logicieni, ncepd chiar cu Ari stotel (384-322 nainte de Hristos) l-au
remarcat, alturi de modus ponens. El s-a numit modus tollens.
C Axiomatizarea calculului propoziional 43
(6) l l (a v l a) a v l a DN-el i m.
(
7
)
a v 1 a 5, 6 6C
19. Completitudinea cal cul ul ui propozifional
Consistena calculului propoziional este, confon 1 3C, con
diia de a nu putea demonstra toate fonulele propoziionale.
Completitudinea este condiia de a putea demonstra toate
fonulele val ide i se mai numete de aceea completitudine n
ra
p
ort cu validitatea. Demonstrarea sa se bazeaz pe urm
toarea constatare:
Vom exemplifca afrmaia rednd relai i l e de deductibi
I itate corespunztoare celor dou l i ni i din TAB |
p
!
p
A F
F A
i celor patru l i ni i din TAB
1
p q
p l q
A A A
A F F
F A F
F F F
p
, q

P 1 q
p, l q l ( l q)
l
p,
q
1 ( 1 q)
lp, l q l (p 1
q
)
44 Calculul propoziional
Iat, ca exemplu, deducia corespunztoare relaiei de
deductibi l itate p, 1
q
r
`(
A q
)
:
( l ) p, l q, p A q
r
l q
SC
(
2
)
p, Tq,
P
A q
p A q
5C
(3 )
P
A q
r
q A-el i m.
(4)
p,
l q, p A q r q
2,
3
6C
(5)
p, l q -
l
( A
q) 1 , 4 ' -introd.
Se obin astfel 1 8 relai i de deducti bi l itate adevrate, cores
punztoare celor 1 8 l i ni i din aceste 5 tabele.
Prin extensi e, pentru fecare formul propoziional se
obine - corespunztor fecrei l i ni i din tabela sa de adevr -
cte o rel aie de deductibi l itatte.
Spre exemplu, pentru formula
p A ( q)
avnd tabela la pag. 1
4,
corespunztor celor patru l i ni i ale
acesteia se pot obne relai i l e de deducti bi l itate:
p, q
r P
A
(
q)
p, `q -`( A ( q
lp, q `( A (
q

l
p, !q -!
(
A ( q
Iat, de pi ld
,
cum se obine a doua dintre aceste deduci i :
( l )
p, l q, p A (

q) r l q SC
(2) p
A (

q
)
r
p A
el i m.
(
3)
P
A (

q)
r
p q A
el i m.
(4)
p
,
p
q
r
q - el i m.
(5)
P
A (
q) -
1
2,
3
, 4
6C
C Axiomatizarea calculului propoziional 45
(6) p, l q, p . ( =q)
P
. ( =q) 5C
(
7
) p
,
1q
, P
.
(
p
= q) q
5
,6 6C
p
,
l q l ( . ( =q 1 ,
7
l-introd.
n cazul unei formule e
propoziional valide i care conine
doar variabi lele propoziionale p i
q
, relaii l e de deducie
corespunztoare celor patru l i ni i din TAB evor f:
( 1 ) p
,
q e
(2) p, l q ,e
(3) lp, q e
(
4
)
l p, l q e.
din care deducem:
(5)
(6)
p, q v l q
e
lp
,
q v l q e
(7
) p v lp
,
q v l q e
n mod analog:
1 , 2 v-el i m.
3, 4 v-elim.
5
, 6 v-el im.
Obseraie. Drept caz particular al proprieti i 6C (cnd
m = O) din
B
I >
.
. . .
,
i
. .. .
.
.,
y rezult
:
y.
n virutea demonstraiei de la pag. 42
r
P
I
v l p
l , . . . , r Pn
v l
Pn.
46 Calculul propoziional
Deci pent orice fonul propoziionaJ val id a conf. 1 6C,
rezlt:
r
a
.
Exerciii 47
Exercitii (Solutii la pag. 88)
1. Unrii raionamentul untor:
Animalele l iubesc dac le hrnete sau (mca) nu le
lovete.
El l e hrnete i (totui ) animal el e nu l iubesc.
Deci l e lovete.
a) Uti l izai urmtorul dicionar:
1 : animalele l iubesc,
H: le hrnete,
L : le lovete,
pentru a transcrie n l imbaj simbolic cele trei propoziii ale
raiona-mentul ui . Cuvintele-cheie - scrise cursiv - indic
util izarea cte unui operator logic. Deteninai-l bazndu-v pe
cele di scutate n capitol ul A.
b)

nlocuind fecare dintre cele 3 propoziii simple I H i L


prin variabilel e propoziionale p, q i r, scriei fonulele
corespunztoare celor trei propoziii ale raionamentul ui .
c) Verifcai validitatea logic a raionamentului ca
validitate propoziional a implicaiei
a
l
/
a
2
(.
d) Artai c fonul a al / a2 este inconsistent. Ce rezult
de aici cu privire la val idarea raionamentul ui cnd se nlocu
iete concl uzia sa (
"
l e lovete
"
) cu orice alt propoziie logic?
2. Se consider raionamentul :
Dac impozitele nu cresc, atunci se nregistreaz un defcit
bugetar.
Dac se nregi streaz un defcit bugetar, sumel e alocate
asi stenei sociale scad.
48 Calculul propozitiobal
Impozitel e cresc.
Deci sumel e alocate asistenei social e nu scad.
a) Determinai propozii i l e simple i operatori i logici prin
apl icarea crora putei transcrie n l i mbaj propoziional cele
patru propozii i ale raionamentul ui .
b) Construii cel e patru formule propoziionale a\ , a2, a3,

corespunztoare acestor patru propozii i .
c) Verifcai val i ditatea propoziional a formul ei
al A a2 A a3
=

.
Ce rezult de ai ci cu privire la validitatea logic a raiona
mentul ui n cauz?
3. Uti l i znd descompunerea n propoziii simple i notai il e in
dicate n paranteze pentru acestea, stabi l ii val iditatea propo
ziional a urtorul ui raionament:
Dac suspectul comitea jaful (S), atunci uti l i za un plan (P)
sau avea un compl ice n interior (C).
Dac uti l i za un plan, atunci fura valori i mporante
(
V.
Dac avea un compl ice n interior, acesta ar f fost desco
perit (D).
Nu a furat valori imporante i ni ci un compl ice nu a fost
descoperit.
Deci suspectul nu a comi s j aful .
4. (dup Keisler). Trei persoane X] , X2, X3, bnuite de evaziune
fscal, decl ar fecare sub prestare de j urmnt:
x, : X2 este vinovat i X3 este nevi novat;
x, : dac Xl este vinovat, atunci X3 este vinovat;
x, : sunt nevinovat i cel puin unul dintre cei lali doi este
vinovat.
a) Transcriei n l imbaj propoziional cele trei declaraii
uti l i znd dicionarul
P
i :
X este vinovat. (i = 1 , 2, 3)
i operatori i logi ci .
Eerciii 49
b) Construi i cel e trei formul e propozi i onale a) , a2, a3
corespunztoare acestor decl arai i i veri fcai dac el e sunt
consi stente, veri fcnd consi stena (necontradi cia) formul ei
.
.r

n,
.) Pentru a veri fca dac decl arai a unui a di ntre suspeci
rezult din declarai a altuia, veri fcai care dintre cele ase
forul e
(i
;
j
)
este propozii onal vali d.
d) Dac cele trei persoane sunt nevinovate, care di ntre ele a
depus mrturie fal s?
e) Presupunnd c cei nevinovai au spus adevrul, iar cei
vi novai au mi nit putei preci za ci ne sunt vi novai i ci ne nu?
5. Construii deduci i l e (cf 9C) care s justifce urmtoarel e
relai i de deducti bi l itate:
a) ,, ,A ,
o, , - , ,
.)
P
, ,
d)
` `
, ,
-
i ,.
' ,

,
(A - introduc-r-)
(A - el i mi nare)
(- i ntroducere)
(
l l
- el i mi nare)
(
l
- el i mi nare)
I I . CALCULUL PREDICATELOR
D. Idei introductive
20. I nsuficiente ale cal cul ul ui propozitional
n prima pare am studiat un instrument logic capabi l de a
j ustifca validitatea anumitor raionamente. Dar nu a tuturor
acelora pentru care avem motive ntemeiate s le considerm
drept corecte din punct de vedere foral .
Spre exemplu, cnd din propoziia
Toi peti i triesc n ap
deducem propoziia
Peti i rpitori triesc n ap,
o facem n virtutea unui princi pi u dup care ceea ce este
adevrat n toate cazuri le, este adevrat i n cazuri speciale.
Formal ns, cele dou propoziii sunt propozii i simple,
adic nu pot f obinute transfornd alte propoziii prin
intermedi ul celor cinci operatori logici . Simbolizndu-le prin P
i respectiv Q, structura logic a celor dou afrmai i este
redat de formulele
p i q, care sunt variabi le propoziionale
distincte. Relaia de deducti bi l itate
p q
este echivalent, n virtutea 7C i 9C, cu
p q.
Ceea ce, conform I l C i 1 7C, echivaleaz cu
I
p
q.
D. Iei intoductive 51
Aceast condiie nu este ndepl i nit, deoarece formula
p = q nu est val id.
Ceea ce nu reprezi nt un argument mpotriva val iditii
logice a deduciei din exemplu, ci doar o dovad c mij loacele
calculului propoziional sunt insufciente pentr a o justifca.
Rme s vedem cum pot f dezvoltate aceste mij loace
pentru atingerea unui asemenea scop.
21 . Structura logic a propozitiei simple
Tratate ca propozii i simple, ntre P i Q din exemplul
anterior nu apare nici o legtur logic. Totui o astfel de leg
tur exist i va trebui pus n eviden. Vom face de aceea o
anal iz logic a structuri i unei astfel de propozii i.
Analiz gramatical o descompune n subiect, predicat,
atribut, complement etc.
Anal iza logic di stinge doar dou componente: subiectul
logic i predicatul logic.
De exemplu, propoziia
Andrei este apreciat@
este alctuit din subiectul logic "Andrei
"
i predicatul logic
"
este apreciat
"
. .
Dar, dac dorim ca acest predicat s poat f apl icat i altor
subiecte logice, vom scrie
( 1 ) x este apreciat
unde variabila x poate lua anumite valori, pentru fecare dintre
el e expresia ( 1 ) devenind o propoziie logic. Este ceea ce n
matematic reprezint o funcie; aici este vorba de o fncie
propoziional.
Notaia pe care o adoptm este legat de notaia unei funcii
matematice, anume
F(x)
52 Calculul predicatelor
care, n cazul funciei propoziionale ( 1 ) va f
A
x
.

nl ocuirea l ui
x
pri n subi ectul logic "Andrei
"
, notat a,
conduce la notarea propoziiei date cu
Aa
1

S trecem la un alt exempl u:
Andrei este apreci at de Ileana.
Aici putem consi dera di verse predicate logice (funcii pro-
poziionale ):
x
este apreciat de I leana;
Andrei este apreci at de y;
x
este apreciat de y.
Obserm c ultimul di ntre ele este mai general deoarece
penite obinerea primelor dou prin nlocui rea uneia di ntre
variabi l ele
x
i y prin cte un subiect l ogic. Dac l vom nota cu
A
xy
propoziia di n exempl u va cpta forma
Aai
(i reprezentnd subi ectul logic Il eana).
Continum seria exempl elor cu nc dou propozii i
Andrei se autoapreciaz;
(
2) Andrei este apreciat de toi .

n pri mul caz putem considera un nou predi cat ,, se auto


apreci az", dar credem c este mai adecvat, n acest context,
uti l i zarea predi catul ui A
x
y sub fora Aaa (Andrei este apreci at
de.Andrei ).
I Notaia aceasta inverseaz ordi nea natural: subiect-predicat. Este
preferat deoarece poate f mai comod generalizat la cazul predicatelor care
accept mai multe subiecte, aa cum se va vedea n cele ce urmeaz.
D. Idei introductive 53
Reui m astfel s punem n eviden scheletul comun al
propozi i i lor anterioare.
Vom di scuta acum propozi i a (2
)
.
22. Cuanti fi carea subiectul ui l ogi c
Consi dernd "toi" ca subi ect l ogic - s- I notm t - putem
uti l iza acelai predicat Axy pentru a reprezenta (2) sub forma
Aaf.
Real i zm astfel ceea ce se numete o form n dezacord cu
coninutul ! Cci "toi " nu reprezi nt n (2) un subi ect (per
soan sau col ectiv de persoane) care l apreciaz pe Andrei , ci
expresi a sintetic a afrai i lor si multane:
Andrei este apreci at de I leana, Andrei este apreciat de
Andrei etc.
Cu alte cuvi nte c pentru fecare x (persoan), Andrei este
apreciat de x.
Aceast idee - de cuanticare a subiectul ui l ogic x ntr-o
funcie propoziional (ai ci Aa) - se exprim si mboli c pri n
aezarea cuanticatorului general sau universal \x
1
n faa
acel ei func i i propozi ionale
\x Aa.
Expresia se ci tete
pentru toi x: Andrei este apreciat de x . .
Cuanti fcarea subiectul ui logic este una di ntre cele mai
fecunde idei pe care se bazeaz cal cul ul predicatel or. Cu aju
torul ei putem exprima, uti l iznd predicatul Axy, i prima
dintre propozi i i le anal i zate
Andrei este apreci at.
Pentru aceasta vom apel a ns la cellalt ti p de cuantifcare: '
particular sau existenial. Ea se exprim simbol i c punnd n
faa predi catul ui Aa cuantica/orul particular sau existenial
3x
3 x Aa.
I A rsturnat ( \) este i ni ti al a cuvntul ui aII = toi (n 1 . engl ez).
54 Calculul predicatelor
Expresia se citete
pentru uni i x: Andrei este apreciat de x,
sau
exi st uni i x pentru care: Andrei este apreciat de x.
Regsi m ai ci o formulare expl icit a ceea ce, ntr-o form
el iptic, se gsea expri mat prin
Andrei este apreciat.
Observaie. Reinem condi ia de existen a unor per
soane care l apreciaz pe Andrei - coninut n aceast for
de exprimare.
23. Argumente expri mate n
l i mbajul calcul ului predicatelor
Continum s transcriem n acest nou l i mbaj , judeci i
raionamente din l imbaj ul natural .
ID. Uni i (oameni ) sunt apreci ai.
Unii sunt capabi l i .
Deci : uni i sunt apreciai i capabi l i .
Notnd:
Ax : x este apreciat
Cx : x este capabi l
obinem, pe baza calcul ul ui propoziional :
Ax A Cx : x este apreciat i (x este) capabi l .
Astfel , transcrierea simbol ic a argumentul ui alctuit din
cele trei afrmai i este
3
Ax, :x Cx :x (Ax A Cx).
2D. Observaie (universul sau domeniul di scursul ui ). Toi
cuantifcatorii (
V
i :) ce apar ntr-o expresie simbolic, ntr-un
D. Idei introductive 55
argument, sau chiar ntr-un ir de argumente corelate ntre ele, se
refer ntotdeauna l a o aceeai colecie de indivizi (persoane,
obiecte etc. ) precizat n fecare caz n pare. Ea poar numele
de domeniu sau univers al di scursul ui .
3D. O problem important legat de transcrierea diverselor
argumente este aceea a exprimri i n limbaj simbolic a celor
patru tipuri de propoziii din logica clasic:
A: toi P sunt R (universal afrativ);
1: unii P sunt R (paricular afrmativ);
E: nici un P nu este R (universal negativ);
O: unii P nu sunt R (particular negativ)
l
.
Vom face aceast transcriere innd seama c P i R sunt
predicate cu un singur subiect logic
Px : x este P,
R: x este R.
Astfel,
"
toi P sunt R" va f interretat sub forma condiio
nal
"
pentru orice x: dac x este P, atunci x este R". Simbol i c:
A : Vx (Px R).
Propoziia
"
unii P sunt R", va f interpretat drept
"
pentru
uni i x: x este P i x este R" i redat simbol i c
1 : :x
(
Px / R).
Cele dou propozi ii negative E i O sunt interpretate n
acelai mod, dar schimbnd predicatul R cu negaia sa l R;
astfel
E:
Vx (Px l R)
O: : (Px / 'R)
I A i 1 sunt primele dou vocale din AFFRMO, iar E i O sunt vocalele
din NEGO.
56 Calculul predicatelor
Rmne s vedem mai trzi u n ce msur aceste transcrieri
sunt sau nu adecvate.
Reveni nd la exempl ul de la pag. 5 0 s transcriem si mbol i c
n acest mod cel e dou propozi i i pe care l e coni ne. Consi de
rnd predicatel e
Px: x este pete,
Ax: x tri ete n ap,
R: x este rpitor,
vom transcrie prima propoziie sub forma
\x (Px = Ax),
i ar pe a doua, sub forma
\x (Px 1 R = Ax) .
Relaia de deducti bi l i tate ntre cel e dou propozii i va f,
conform exempl ul ui
4D. \x (Px = Ax)

\x (Px 1 R = Ax).
E. Dezvoltarea cal cul ul ui predicatel or
24. Formul e cu predi cate
Sub acest nume i ncl udem forulel e propozi ionale, dar i
pe cel e n care pot apare dou noi ti puri de variabi le:
variabile individuale (notate x, y, Z, Xl etc. ),
variabile de
p
redicat.
Acestea di n urm vor f notate cu aceleai l itere ca i
variabi lel e propoziionale (p, q, r, Pl etc. ) fi nd ns urmate de
una, dou, trei etc. variabi l e i ndi vidual e i alctui nd aa
numitel e formule atomice.
Iat exempl e de formul e atomice
p
, p(x)
, p(x, x)
, p(x, y), q(, y) etc.
E Dezoltarea calculului predicatelor 57
lE. Forul el e cu predicate se construiesc pas cu pas,
si mi lar cu cel e propoziionale (conf. 3B) n baza a dou regul i
inducti ve.
Rl . Baza induciei. Formul el e atomice sunt formul e cu
predi cate.
R. Pasul induciei. a) Dac a i 1 sunt formul e cu
predicate, atunci
l a,aA 1, av 1, a= 1, a< 1
sunt formul e cu predi cate;
b) Dac x este o variabi l i ndividual
1
i a este o forul
cu predi cate, atunci
Vx a I 3x a
sunt formul e cu predi cate.
2E. Convenia 4B cu pri vi re l a paranteze rmne valabi l
fi nd completat cu o clauz pri n care cuanti fcatori i V i 3 au
aceeai prioritate ca i l
Spre exempl u formul a
3x p(x) A
q
(x) va nsemna (3x p(x)) A
q
(x)
[i nu 3x ((x) A
q
(x))] .
3E. Apariii libere i legate ale unei variabile individuale.
Formul a a di n Rb se numete domeniul cuanti fcatorul ui Vx,
respectiv 3, i fecare di ntre aparii i l e l ui x n a se numete
1
2
egata .
1 X poate f oricare din vari abi l el e x. y. z etc.
2

n termi nologi a general a calcul ul ui , variabi l a este un simbol ce poate


f nlocuit cu valori di ntr-o mul i me dat de valori . Este ceea ce corespunde
aici noti uni i de variabi l l i ber.
1
I
Dar n expresi i ca __sau fa sin xdx g vari abi l el or n i x nu li se pot
n1
n
.
da valori, doarece expresi i l e desemneaz valori fxate. El e se numesc
variabi l e legate sau aparente.
58 Calculul predicatelor
Orice apariie a unei variabile care nu este legat se numete
apariie liber
.
Exemplu. apari ii legate
J
+

:x p(x) 1 Vy (() 1 q( y)
aparii e l i ber
Fi ecare apariie legat a unei variabi l e, se l eag de un anu
mit cuanti fcator. Astfel , n formula din exempl u, prima apari
ie l egat (a lui x) se leag de pri mul cuantifcator, iar urtoa
rel e dou apari i i legate (ale l ui y) se leag de al doi lea
cuantifcator.
25. Val i ditate n cal cul ul predicatelor
Interpretarea unei formule cu predicate.
Limbajul calcul ul ui cu predicate extinde pe cel propoziio
nal, iar val i ditatea formul elor cu predicate extinde validitatea
formulelor propoziionale.
Formulele propoziionale sunt alctuite di n variabi l e propo
zii onale i operatori logici . O variabi l propoziional poate f
interpretat ca propoziie logic adevrat sau fal s. Interre
tnd astfel toate vari abi l el e formulei propoziionale i util iznd
tabel el e de adevr ale operatori l or l ogi ci putem determi na va
l oarea de adevr a forul ei pentru fecare asemenea i nterre
tare (cf 8).
Pentru a interpreta o formul ce coni ne variabi l e i ndivi
duale i de predicat, porni m de l a o mulime nevid U numit
univers al di scursul ui (cf. 20).
4E. Exemplu. a(x, y)
:
p(x) v (q
(
x, y
)
lp(x
Consider U alctuit din dou el emente (l e notm 1 i 2). n
acest U variabi l a de predi cat p(x) poate avea 2
2
= 4
i nterretri :
E Dezoltarea calculului predicatelor 59
p(x)
x I II III IV
1 A A F F
2 A
J
A F
TABp(x)
i ar variabi l a de predicat q(x, y) poate avea 24 1 6 interpretri
q(x, y)
x y 1 II I I I I V V VI VII VIII I X X XI XI I XIII XIV XV XVI
1 1 A A A A F A A A F F F A F F F F
l 2 A A A F A A F F A A F F A F F F
2 1 A A F A A F A F F

A F F A F F
2 2 A F A A A F F A A F A F F F A F
TAB q(x, y)
Fixnd interpretri pentru variabil el e l i bere x, y ct i
pentru variabi lel e de predi cat p(x) i q(x, y) vom putea
determina, uti l iznd tabel el e TAB = i T ABv, valoarea de
adevr a formul ei date l a fel ca n calcul ul propoziional .
De pi l d, pentru x 2 i y 1 , p(x) avnd interpretarea II, iar
q(x, y) i nterpretarea X, gsim n tabel e c p(2) este F i q(2, 1 )
este A. Aadar, formula
p(x) v (q(x, y)
= lp(x)) devine F v A, adic A.
Formula dat este valid n U sai2-valid1 , dac n fecare
dintre cele 256 astfel de interpretri ea capt valoarea A.
SE. Obseraie. ntruct nu conine cuanti fcatori i variabi le
legate, validitatea (sau nevali ditatea) acestei formule poate f
1 Natura elementelor lui U nu va juca nici un rol n cele ce urea. Ceea
ce va conta este doa numul acestor elemente.
60 Calculul predicatelor
verifcat mul t mai simplu: pe baza calcul ul ui propoziional .
Anume, tratnd fecare fonul atomic di stinct ca o variabil
propoziional di stinct i alctuind o tabel corespunztoare de
adevr. n cazul de fa ea este
p
(x) q(x, y)
q(x, y) =
!
p(x) p(x) v (q(x, y) =
lp(x
A A F A
A F A A
F A A A
F F A A
TAB a(x, y)
i ne arat, prin numai dou coloane de calcul , c oricum am
alege valori le x, y n U i valori le corespunztoare de adevr
pentru
p(x) i q(x, y), fonul a este adevrat. -i aceasta nu
numai cnd U are dou elemente, ci un numr orict de mare
(chiar i nfnit !) de el emente.
Este ceea ce, n calcul ul cu predicate, vom numi fonul
val id n orice univers (al discursul ui ); ntr-o expresi e - for
mul universal valid.
Nu la fel stau l ucruri l e cu o fonul care conine cuanti
fcatori. Cci pentru deteninarea val ori i sale de adevr trebuie
s inem seama de interpretarea acestor cuantifcatori .
6E. Exemplu. Vx p(x) =
p
()
Astfel , de pi ld, dac U = { 1 , 2}, iar predicatul p(x) capt
interpretarea 1 di n TAB p(x), fonula V x
p
(x) va f A [deoarece
att
p
( l ) ct i p(2) sunt A] .
Pentru determi narea valori i de adevr a fonul ei p() fxm
o interpretare a variabi l ei individuale y n U de exemplu y = 1 .
ntruct p( 1 ) este A, n i nterretarea aleas fonul a di n
exemplu este A = A deci A.
Pentru a constata ns c fonula di n 6E este universal
val id vom pleca de l a un univers nevid U avnd un numr
fnit sau nu de elemente. Nu mai putem tabela, ca mai sus,
E. Dezoltarea calculului predicatelor 61
interpretrile predicatului p(x). Ni ci nu ne-ar f de folos. Vom
mpri aceste i nterpretri n dou categori i :
a) cele n care forula 'Ix p(x) este adevrat (cu alte
cuvinte, n care p(x) este adevrat oricare ar f x n U i
b) cele n care formul a 'I x p(x) este fals.
n prima si tuaie, oricum am interpreta variabi l a i ndi vidual
y n U, p() este adevrat, deci forula 6E este adevrat.
n cazul b) forula 6E poate f F = A sau F = F, dup
cum este interpretat y n U; dar n ambele cazuri 6E este,
confor TAB=, adevrat.
7E. Exemplu. p() = 3x p(x)
De data aceasta interpretri l e l ui p(x) n diversele universuri
nevide U se vor mpri n
a) cele pentru care formula 3x p(x) este A i
b) cele pentru care 3x p(x) este F.
Lsm cititorl ui plcerea de a descifra, n fecare dintre cele
dou cazuri, motivul pentru care forula 7E este adevrat.
Marcm validitatea universal a unei forule cu predicate,
aeznd n faa ei, ca i n calcul ul propoziional, semnul ,
Astfel , di n cele di scutate pn acum
,p(x) v (q(x, y) = lp(x

,'Ix p(x) = p()
p() = :x p(x)
SE. Cutarea unui contraexemplu pentru o formul cu
predicate. Un astfel de contraexempl u este alctuit di ntr-un
univers nevid pe care sunt defnite interpretri pentr fecare
din variabi lel e (l i bere i de predi cat) c apar n formul a respec
tiv. Condiia este ca n aceste interpretri forul a s capete
valoarea de adevr F.
Cnd un astfel de contraexemplu exist forula este
nevalid.
62 Calculul predicatelor
Vom cuta n conti nuare un contraexemplu pentru formul a
a: 3x p(x) / 3x q(x) 3x ((x) / q(x .
Conform T AB, i nterpretri l e cel or dou vari abi le de
predi cat p(x) i q(x) trebui e al ese astfel nct
a) 3x p(x) / 3x q(x) s fe A,
b) 3x ((x) / q(x s u-F.
Confon T AB/ pri ma condi i e se poate reformul a astfel
a
l
) 3x p(x) s fe A i 3x q(x) s fi e A.
Fi e U universul n care consi derm aceste i nterpretri .
Conform condi i ei i exi st n U el ementel e i i } astfel nct
p(i) i q() s fe A.
Conform condi i ei b, pentru ori ce el ement x di n U
p(x) / q(x) este F.
De ai ci rezult c i j, cci al tfel p(i) / q() cu i = j ar f A,
contrazicnd b.
Al egnd U { 1 , 2} i i nterpretri l e n U al e cel or dou
predi cate dup cum urmeaz:
x
1
2
p
(x)
A
F
constatm ndepl i ni rea condi i i lor i b.
q(x)
F
A
Contraexempl ul astfel determinat probeaz neval i di tatea
fonulei a
9E. Observaie. Dac U ar f fost al ctui t dintr-un singur
el ement, condi i a b n-ar f putut f ndepl i nit. Aadar ntr-un
astfel de domeni u formul a a este val i d.

n concl uzi e a este l -val i d, dar nu este n-val i d pentru n > 1 .


E. Dezoltarea calculului predicatelor 63
Exemplu . .x ((x) 1 1,(x)
Acesta este cazul formul ei a di n 8E.
Fi xnd valori l e de adevr pentru p" . . , pk, un uni vers nevi d
U i i nterpretri n U pentru q] , . . . , qll' i x J , o , xn, conf 1 O E,
a i !a trebui e s capete aceeai val oare de adevr: A. Ceea ce
contrazice T AS

26. Substitutii n calcul ul predi catelor


Ca i n cal cul ul propozi i onal suntem n cutarea acel or
opera i i pri n care di n formul e (uni versal ) val i de s obi nem alte
J Fiecare di ntre aceste vai abi le de predi cat poate f urmat de un numr
oarecare de variabi l e i ndi vitlual e.
64 Calculul predicatelor
fonule de acelai tip. Printre acestea se af substitui i le
variabi l elor ce apar n fonule.
a) Substituia variabilelor propoziionale se face n modul
descris n 9a, cu pstrarea proprieti i de val iditate.
b) Substituia variabilelor individuale libere i a celor de
predicat este penis numai n anumite condiii pe care le vom
preciza n continuare.
Pentru a face neleas
"
mecanica
"
unei asemenea substitu
ii plecm de la un
13E. Exemplu. n fonula valid 6E
'x p(x) p()
substituim fonula atomic p(x), pe rnd, cu fecare dintre
fonulele
a) p(x, x) b) :z p(x, z) c) :y p(x, y)
i obinem untoarele rezultate corespunztoare:
i) 'x p(x, x) 'p(, y);
b/) 'x :z p(x, z) :z p(, z);
C
i
) 'x :y p(x, y) :y p(, y).
Dar n timp ce fonul el e i i bl sunt, ca i fonula dat,
valide, pentru fonula C
i
exist untorul contraexempl u:

n universul U { l , 2} pentru variabi l a de predicat p(x, y)


se defnete untoarea interpretare
x y p(x, y)
1 1 F
I 2 A
2 I A
2 2 F
n aceast interretare fonula 'x :y p(x, y) capt
valoarea A, iar fonula :y p(, y) - val oarea F (de ce?).
Confon T AB, formula Ci va f fals.
E Dezoltarea ca/culului predicate/or 65
Cauza al terri i val i di ti i formul ei 6E prin substituia c se
datoreaz unui vi ci u de form. Anume, datorit coi ncidenei de
notai e () ntre variabi l a l i ber din 6E i vari abi l a legat di n
formul a c, n ura substitui ei , variabi l a l i ber y di n 6E devine
variabi l legat n C, I .
Pentru evitarea unor astfel de situai i facem urmtoarel e
precizri :
Spre exempl u y este substitui bi l l ui x n 3z p(x, z), dar nu
este substitui bi l l ui x n 3y p(x, y).
De pi ld, apari i i l e l ui p(x) n fonnula 6E fi nd p(x) i p(),
3 p(x, z) este substitui bil l ui p(x) n aceast formul, deoarece x,
i respectiv y sunt substituibi le l ui x n 3z p(x, z).
Dar 3y p(x, y) nu este substitui bi l l ui p(x) n 6E, deoarece y
nu este substitui bi l l ui x n 3y p(x, y) .
n general :
I
Fenomenul nu se produce n cazul b cnd variabila l egat find notat
diferit (=), variabila Iiber y din 6E rmne i dup substituie, liber,
2 v, VI > " " V
II
desemneaz oricare dintre variabil el e individuale x, y, Z, XI etc,
66 Calculul predicatelor
Cu aceste precizri au loc urmtoarele extensii ale pro
prietii 98 l a calcul ul predicatelor
Ca apl icaie consi derm o formul cu predicate (x) i o
variabi l i ndi vidual y substituibi l l ui x n (x); notez ()
rezultatul acestei substituti i .
n baza propri etii i

ia,di n
rezult
18E.
,Vx p(x) p() i F p() :x p(x)
F
V
x (x) () i F () : (x).
27. Echivalenta formulelor cu predicate
La fel ca i formulele propoziionale, formulele cu predicate
a i se numesc echivalente dac
F
a
<
.
Util izm aceeai notaie ca i n calculul propoziional
a
- .
I Vezi nota 2 de la pag. 65.
E. Dezoltarea calculului predicatelor 67
n vi rtutea defnii ei t O
E
a val iditii (universale a) foru
lelor cu predicate i a tabelei TAB< rezult urmtoarea
Exemplu (ormule congruente). Dou formule cu predicae
sunt conguente dac di fer numai pri n notaia variabi lelor
legate.
Astfel
\z p(x, z) I
\y
p
(x, y)
sunt congruente.
Tot congruente sunt i formul el e
3 p(
x
) A Vy (p() v q(x, y i 3y p(y) A \y (() v q(x, y ,
dar nici una nu este congruent cu formul a
3x p(X) A \y (() v q(, y.
Pentru a pune n eviden congruena sau incongruena
dintre aceste forule marcm doar pozi i il e vari abi l elor legate
precum i relaia lor cu cuantifcatorii care le l eag. Astfel
3
,
p
e
,
)
A \ _(,v q(x,
"

este schema comun primelor dou formul e, i ar
: -p(-) A \ ((-) v q(-, -
L.
I I
J.
este schema cel ei de a treia.
Formulele congruente au aadar aceeai schem.
n virtutea propri eti i 1 9E:
68 Calcul ul predicatelor
Proprietatea 1 4B se exti nde pentru formul el e cu predicate
astfel
La pagi na 95 am dat o l i st cu 2
3
de echivalene al e unor
formul e cu predicate, notate E28, , Eso.
Aplicaie: forma prenex a unei formul e cu predi cate.
Aceast propri etate este dedus n urma apl icri i unui
proces pri n care cuantifcatori i ce apar n y sunt, treptat, trecui
n faa celor ci nci operatori propozi ional i . Iat cum decurge el
n cazul formul ei
y: :x p
(x
)
=
l :x q
(x, y).
1 . Pe baza echi valenei E33 rezult:
l :x q(x, y) "x l q(x, y),
I Forul a a este al ctuit di n si mbol uri consecuti ve ale fonnul ei Yo'
E Dezvoltarea calculului predicatelor
apoi a proprieti i 2 1 E:
Y 3 p(x
)
= 'x l q(x, y).
2. Conform E30 :
'x l q(x, y) - ' z l q(z, y),
apoi , conform propri eti i 2 1 E:
Y

3x p(x) = 'z
l q
(z, y)
3. Confor E43 :
Y 'x ((x) = 'z l q(z, y))
4. Conform E40:
p(x) =
'
z
l q(z, y
)
- 'z ((x
)
=
l q
(z, y)),
apoi , conform propri eti i 2 1 E:
Y
'x (P(x
)
= 'z
l
q(z
,
y))
- 'x 'z
(P(x) = l q
(z
,
y))
.
69
Aadar, am gsi t c una di ntre formel e prenexe
Y
p
r al e for
mul ei Y este fonnul a
'x 'z (P(x
) = l q(z, y)).
Observaii. Ea nu este uni c. Spre exempl u - conform E49
o alt form prenex pentru
Y
este
'z 'x (P(x) = l q(z, y
))
.
28. Dual i zarea formul el or cu predi cate
Si metri a proprieti lor operatori l or propoziional i A i v
este compl etat, n cal cul ul predi catelor, de o si metri e a pro
pri eti l or cuantifcatori l or ' i 3.
ntre A i ', respectiv v i 3 exi st, de altfel , o legtur strns.
Astfel , afrmaia "oricare x are propri etatea a", si mbol i zat
'x a(x)
70 Calcul ul predicatelor
capt, n uni versul cu n el emente U { I , 2, . . . , n}, fora
conjunciei logice
Afrmaia
"
uni i
x
au propri etatea a"
,
si mbol i zat
:
x a(x)
capt, n acel ai uni vers, forma di sjunci ei
a( 1 )
v a(2) v v a(n).
Pe baza l egi l or De Morgan, pe de o parte
1 (a
(
l ) / a(2) / . . . / a(n - l a( 1 ) v l a(2) v . . . v
l a(n),
i ar pe de alt parte
`,, | ; v ,: a(n - l a( l ) / l a(2) / . . . / l a(n).
Ceea ce corespunde echi val enel or:
E32 . 1 '
x
a
(
x) - :
x
!
a(x)
E33 ' ` +a
(
x) - '
x
!a
(x)
Proprietatea 1 6B se exti nde la cazul unei forule cu
predicate, a, astfel
E
x
em
p
lu. a : '
x
:y (
lp
() / :z q(x, z .
1 Parantezel e, necesare ntr-o conj uncie sau disjuncie cu mai mul t de doi
tereni , pot f omi se n baza legilor asociativitii (E22 i E2J).
E. Dezoltarea calculului predicatelor 71
Utiliznd echivalenel e propoziionale E32 i E33, obinem
pe rnd
1a 3x ( lp
() / :z q(x, z

:x
Vy
1,. )
EJ2 E
))
Es
-
3
V
y (
l l
p
(
)
v 1 3 q
(x
, z

3 Vy
(
()
v
V
z 1
q(
x, z .
DN, E))
Forula obinut n fnal ul acestor transformri este a .
Enunm propri etatea care extinde 1 78 la formul el e cu
predi cate.
Exemplu
.
Echivalena
E46 V
x a(x)
/ V
x r(x) -
V
x (a(x) / r
(x
se transform prin dual i zare n echi valena
E47 . 3
a
(x) v :x r(x) - :x (
a
(x) v r
(x .
29. Regul i de cuantifi care
Putem obine, pl ecnd de la formule val ide, alte formul e
val ide pe o cale ce nu are corespondent n calcul ul propozi
ional : regul i l e de cuanti fcare,
Meni onm dou astfel de regul i .
72 Calcul ul predicatelor
Verifcm regul a V. Presupunem c
Fi xm un univers nevi d U i al egem i ilterpretri pentru
fecare di ntre variabi l el e (propozi ionale, de predi cat i i ndi vi
dual e l ibere) ce apar n formul el e a i Vx !(x).
ntruct x nu apare l i ber n a, prin ipotez, dar nici n
Vx !(x), conform 3E, acestei variabi l e nu i-a fost acordat, prin
alegeri l e menionate, nici o interpretare.
Dup valoarea de adevr pe care o ia formul a a n
i nterpretri l e alese - di sti ngem dou cazuri :
a) a ia valoarea F;
b) a ia valoarea A.

n pri mul caz formul a a Vx !(x) este, conform TAB,


adevrat.

n cazul b, alegnd ca interpretare pentru variabi l a l iber x,


di n !(x), pe rnd fecare el ement i di n U, valoarea de adevr a
l ui a nu se modi fc (deoarece a nu conine aceast vari abi l
l i ber).

ntruct a = !(x) este val i d, (conform ( 1 , a = !(i) este


adevrat.
a fi nd adevrat, !(i) va f adevrat
(
TAB= ).
F. Axiomatizarea calculului predicate/or 73
Aadar, n acest caz, Vx /(x) va cpta - n interpretri l e
al ese - valoarea A; la fel ca i formula
a Vx /(x)
Veri fcarea regul i i : se face uti l i znd acel eai princi pi i .
Presupunem
(2) a(x) /
i alegem uni versul nevi d U i i nterretri al e variabi l elor pro
poziionale, de predi cat i indi viduale l i bere ce apar n formu
lele
3
a(x) i /. Variabi l ei i ndi vi duale x, care nu apare l i ber
n nici una di ntre cele dou formule, nu i se fxeaz acum ni ci
o interretare.
a) Cnd / este, n aceste interretri , A, formul a :x a(x)
/ va f A.
b) Cnd / este F, alegnd ca i nterpretare pentru x, pe rnd,
fecare el ement i din U, conform (2) i TAB, gsi m pentru
a(i)
valoarea F.
Aadar, n acest caz, :x a(x) va l ua - n i nterpretri l e al ese
n U - valoarea F, iar formul a
:x a(x) /
va f devrat.
Obseraie. Exi st, pe l ng acestea dou, i alte regul i de
cuanti fcare a vari abi l el or l i bere ntr-o formul val i d, cu ps
trarea val i di ti i . Dar vom vedea n capitol ul urmtor c el e pot
f obi nute, pe cale deducti v, din cele de mai sus.
F. Aiomatizarea cal cul ul ui predicatelor
30. Axiome i regul i deductive
Calculul predicatelor este o dezoltare a calcul ul ui prpoziional.
a) Axiome. Cel e 1 3 axi ome al e cal cul ul ui propoziional
( 1 4a) sunt axi ome i pentru calcul ul predicatelor. Lor li se
adaug nc dou axiome:
74 Calculul predicatelor
b) Reguli deductive.
b 1 ) Detaarea numit i =-eliminare este regula prin care,
din formul ele cu predicate a i a = f deducem formul a (cu
predicate) f.
Ea se noteaz, pe scur, D.
b2) Regula substituiei, notat S, se refer l a cele 1 3
'
axiome
propoziionale i respectiv la cele dou noi axiome: a V i a 3.
Pe baza ei, din axiomele al a, . . . , a
x
9b deducem rezulttul
substituiei
1
uneia sau mai multor variabi l e propoziionale prin
formul e cu predi cate.
Totodat regul a S ne perite deducerea din a \ a
formulelor
\x f(x) = f(),
i din a 3 a formulelor
f(y) = 3 f(x),
n condiii l e n care f(x) este orice formul cu predicate, y este
o variabil individual substituibil lui x n f(xi, i ar f() este
rezultatul acestei substitui i .
b3) Regulile de cuanticare
Regula \ ne permite s deducem din orice formul cu pre
dicate
a = f(x),
unde variabi la x nu apare l iber n a, formula
a = \x f(x).
Regula 3 ne permite s deducem di n formula cu predicate
1 Substituia trebuie s se fac, confon I OB, uniorm sau peste tot unde
apar acele variabi l e propoziionale.
2
Cf 1 4E.
F Axiomatizarea calculului predicatelor
a(
x)
=
1,
unde variabi l a x nu apare l i ber n 1, formul a
3x a
(
x) = 1.
31 . Demonsratie i deductie n
calcul ul predi cafelor
75
2F. Exemplu. Urmtoarele 7 forule cu predicate al ctuiesc
o demonstraie. Menionm, n dreptul fecreia, motivul
incl uderi i sale n i r (conform defniiei anterioare).
( 1 ) p() = 3 p(x) a3
(2) (() = 3
x p(x

=
(\
x p(
x
)
= (
()
= 3 p(
x

) a
l
a
2
(
3
) \x
p
(x
)
= (()
=
3x
p(
x

1 , 2 D
(4) \x p(x) = p() a \
(5) (\
x
p
(
x) = p(
=
\x p(x) = (() = 3 p(x ) =
= (\xp
(
x) =
3
xp(x al b
I Conf regul i i deductive S.
2
n demonstrai i l e i deduci i le di n cal cul ul cu predi cate nu vom mai
meniona expl icit uti lizarea regul i i de substituie. Presupunem c cititorul -
pe ba experienei deja acumulate - va sesiza aceasta.
76 Cal cul ul predicatelor
(6) (Vx p() = () = 3 p(x ) = (Vx p(x) = 3 p(x 4,5 D
(
7
) Vx
p(x) = 3x p(x) 3, 6 D
4F. Exemplu. Untorul i r de formul e este o deducie a
formul ei
p
= Vx q(x) di n i poteza Vy ( = q( .
(1) Vy q() = q(x) aV
(2
)
Vy q()
= Vx q(x) 1 , reg V
(3) Vy (
= q( ipotez
(4) Vy (
=
q( =
( = q(
aV
(5) p = q() 3, 4 D
(6) p = Vy q() 5, reg V
(7
)
(Vy q() = Vx q(x = ( = (Vy q() = Vx q(x a
l
a
(
8
)
p = (Vy q() = Vx q(x 2
, 7 D
(
9
) (
=
Vy q(
=
( =
(
Vy q() = Vx q(x))) =
= (
= Vx q(x))) a l b
F Axiomatizarea calculului predicatelor 77
( 1
0)
(
=H'y
q()

'
x q(x
)))

(p

'
x q(x

6, 9 D
( l l ) p
'
x q(x) 8, 1
0
D
Aadar, vom putea scrie:
'y ( q( p
'
x q(x
)
.
Rel aia di n defniia 3 F se numete relaie de deductibi
li/ate n calcul ul cu predicate.
32. Proprietfi al e relatiei de deducti bi litate
Dei notate la fel , relaia de deducti bi l itate din calcul ul
propoziional (cf. 3C) i cea di n cal cul ul cu predicate sunt
di ferite. O parte di ntre proprieti l e celei di nti rmn adev
rate i pentru cea de-a doua, i ar altel e se modi fc n sens
restrictiv.
Vom observa astfel c dac al , . . . , am, p sunt forul e cu
predicate pentru care
are loc n cal cul ul propoziional (adi c n virutea defni i ei
3C), atunci ea are loc i n cal cul ul cu predicate.
n schimb proprietatea:
dac a p, atunci a p,
valabi l pentru deducti bi l itatea n cal cul propoziional (cf. 9C),
nu mai este valabi l i n calcul ul predi catelor. Iat n acest
sens un
Exemplu. Incluznd n deducia anteri oar forul a 5 ca ipo
tez, putem renuna l a formul el e 3 i 4, pe care se bazeaz de
ducia lui S . Astfel nct cele 9 formul e rmase constitui e o
deducie n calcul ul predi catel or. n virutea acestei deduci i
are l oc relaia
p q
(
y
)
p
'
x q(
x
)
.
78 Calculul pledicatelol
Dar fonul a
(
1 ) (
=
q(
= ( = \
x q(x
este neval id.
ntruct - aa cum vom arta (33) - orice teorem din
calcul ul predicatelor este o fonul val i d, rezult c relaia
-
( = q ())
= ( = \x q(x
nu are l oc.
Neval i di tatea fonul ei ( 1 ) se poate proba astfel : alegem
pentru p valoarea de adevr A, iar n universul
U= { l , 2}
predi catul q(x) s ai b interpretarea
x
q
(x)
A
2 F
i variabi l a i ndi vi dual y 1 .
Defeciunea aprut se datoreaz excl usiv cuanti fcri i -
prin cel e dou regul i : \ i : unor variabi l e i ndi vi duale ce
apar l i bere n i potezel e deduci ei .
Astfel , n exempl ul anterior variabi l a l iber y di n formula
ipotez p = q() este cuanti fcat uni versal (n baza regul i i \)
pe parcursul deduci ei .
Cnd ns aceeai formul apare nu ca ipotez, ci dedus
din ipotez (n deducia din exempl ul 4F), deci regula de
cuanticare nu se mai aplic unei variabile libere dintr-o
ipotez, atunci toate propri eti l e SC- l De rmn adevrate
pentru aceast nou relaie de deducti bi l i tate.
F Axiomatizarea calculului predicatelor 79
33. Consisten i compl etitudi ne
Axiomel e cal cul ul ui predicatel or sunt forul e val i de (pri
mele 1 3 sunt propoziional val ide, iar ax V i ax : sunt - conf.
6E i 7E uni versal val i de).
Orice teorem a calcul ul ui predicatelor se obi ne di n (unele
dintre) aceste axiome prin mai multe transformri succesive
constitui nd demonstrai a sa. n baza defni i ei I F, aceste trans
forri pot f
a) substitui i (cf. regul i i deductive S,
b) detari (cf. regul i i deductive D),
c) apl icri al e regul i lor V sau 3.
Fiecare di ntre aceste transformri pstreaz propri etatea de
val i di tate
(
universal) pe care o au formul el e de l a care pl eac:
a) Substitui i le Tcute n primele 1 3 axiome conduc la for
mule universal val i de. Ne oprim un moment asupra acestei
proprieti .
Cnd ntr-o forul propozi i onal val i d substi tui m o varia
bi l propoziional pri ntr-o formul propoziional, val iditatea
fonnul ei astfel obi nute se bazeaz pe faptul c tabel a sa de
adevr este dedus di n tabel a de adevr a formul ei n care s-a
Tcut substituia ( 9a).
Acelai fapt are loc i atunci cnd vari abi l a propozi ional
este substituit printr-o formul cu predi cate.
Exemplu. Substituind n formul a propoziional val i d
( 1 ) p v lp
variabi l a propoziional p cu formu la cu predi cate
:
x
((x
) /
q
(x
,
y obi nem
(2) 3x
(
(x) /
q(x, y v 1 3x
((x) / q(x
,
y
Val iditatea universal a formul ei (2) decurge di n val i ditatea
propoziional a forul ei ( 1 ) astfel :
n orice univers (nevi d) U i orice i nterpretare n U a
variabi lelor de predicat p(x),
q(x, y) i a variabi lei (i ndivi duale)
80 Calculul predicatelor
l i bere y, fonul a 3x ((x) 1 q(x, y ia valoarea A sau F; odat
deteni nat, aceast valoare de adevr este i ntrodus n tabel a
de adevr a formul ei ( 1 ) ; ceea ce ne conduce - conform
TAB p v lp - la valoarea A (pentru (2 .
Substitui i le fcute n a V i a 3 ne conduc la fonul e de
ti pul
Vx f(x) f(),
respectiv
f() 3x f(x),
care sunt universal valide
( 1 8E
)
.
b) Detaarea: dac formul el e cu predicate a i a f sunt
universal val ide, atunci fonul a f este i ea uni versal val i d.
Acest fapt decurge di rect din TAB: cnd ntr-o anumit
i nterpretare a variabi l el or ce apar n
a
i a f (deci i n f),
acestea i au val oarea A, f capt aceeai valoare de adevr.
c) Conform 26E i 27E, dac premiza regul i i (V sau 3) este
universal val i d, atunci concl uzi a sa are aceeai proprietate.
n fnal aadar
Deoarece, cf 1 2E, pentru ni ci o formul cu predicate
a
:
F a I F l a,
rezult:
F Axiomatizarea ca/cu/ului predicatelor 8 1
Reciproca propri eti i 6F este un rezultat fundamental al
logi ci i predi catel or
'
.
Demonstrai a compl etitudi ni i calcul ul ui predi catelor nu are
caracterul el ementar al celei di n cal cul ul propoziional ( 1
9)
i
de aceea nu o expunem aici .
Rentorcndu-ne la rezultatul n si ne, 6F i
7
F stabi lesc
echival enta, pentru orice formul cu predicate a, a condii i lor

a I a.
Cnd a este o formul propoziional, prima condiie poate f
verifcat pri ntr-o metod care, chiar dac este laborioas, con
duce, dup un numr fnit de operai i
2
la rspunsul defnitiv.
Cnd ns a este o formul cu predicate, verifcarea condiiei

a
presupune determi narea valorii de adevr a l ui a ntr-o i nfni
tate de i nterpretri posi bi le al e variabi l el or, l i bere i de
predicat, ce le coni ne. Aceasta deoarece i nterpretri l e trebui e
fcute n fecare uni vers nevid U Verifcarea nu se ncheie
practi c ni ci odat, astfel nct noi nu ne afm n situaia de a
putea da un rspuns defnitiv chesti uni i propuse. Probl ema n
cauz face parte di n cl asa probl emelor nedeci dabi l e
3

1 Demonstrat de logiciaul austriac K. Gtdel n 1 930 ("Di e Vol lstndigkeit
der Aiome des logischen FunktionenkalkUls" n Monatschefe fr Mathematik
und Physik, voI. 37, pp. 349-360).
2 Este vorba de alctui rea unei tabel e de adevr.
3 Problema nu este nedecidabi l n cazul fecrei formule cu predicate.
A deterinat, de altfel, pe parcursul acestui capitol, val i di tatea sau nevali
ditatea mai multor formule cu predicate. Ea este nedecidabi l n sensul impo
si bi l iti i gsi ri i unui mecanism (algori tm) prin care, pentru fecare formul
cu predicate a s putem apl i cnd acest algoritm s decidem, dup un
numr cunoscut de operai i g dac a este uni versal val id sau nu.
82 Calculul predicatelor
i nnd seama de aceste difculti, n loc de a verifca vali
ditatea (universal a) unei forule cu predicate, este de preferat
a ncerca s descoperim o demonstaie a forulei respective.
34. Reguli deductive derivate
Sistematizarea i si mpl i fcarea demonstrai i lor n calcul ul
predicatelor se face, ca i n cel propoziional , pri n nl ocuirea
axiomelor cu regul i deductive (derivate din acestea).
Alturi de cele 1 3 regul i de i ntroducere i el i mi nare a
fecruia dintre cei 5 operatori propoziionali , mai apar astfel 4
regul i de introducere i el i mi nare a celor doi cuantifcatori .
Astfel
l

a(x)
1 V
xa(
x
)
unde 1 reprezint o l ist, posi bi l vid, de formul e cu predicate
n care variabi l a
x
nu apare l ier.
Vx a(x) a(
v)
unde v desemneaz o vari abi l individual substitui bi l l ui x n
a(x) (cf. 1 4E), i ar a(v)
rezultatul acestei substitui i .
a(v) r 3 a(x)
unde v are aceeai semni fcaie ca n regula de V-el i mi nare.
1,
a(x)

f
1, 3x a(x) f
unde f este o forul cu predicate ce nu conine variabila liberx,
ia 1 are aceeai semnifcaie ca n rgula de V -introducere.
F Axiomatizarea ca/cu/ului predicate/or 83
Ele sunt proprieti al e rel ai ei de deducti bi l itate di n cal
culul predicatel or i se pot demonstra ca atare. Aceste regul i se
uti l izeaz n demonstrai i , mpreun cu cel el alte 1 3 di n
1
8 i
cu proprietil e 5C- l OC ( 1 6).
Exemplu. Rel um rel aia de deductibi l i tate 4D (pag. 56) [n
care constantele de predi cate Px, R i Ax au fost nlocuite cu
variabi l el e de predi cate p(x), r(x) i
a
(
x
)] :
\
x (
(x)

a(
x
V
x
((
x) 1 r(x)
a
(
x

( 1 ) V
x ((x)

a(
x
p
(
x)

a(x)
(2)
p(x) 1 r(x) p(x)
(3) p
(
x)
,
p
(x)
a
(
x
) a
(
x)
(4) Vx ((x
) a(x , p(x) 1 r(x) a(x)
(5) Vx
(
x)
a
x p
x) 1
r
x)

a
(x
)
Vx ((x
)
a
(x

V
x
(
(
x
) 1 r
(
x)
a
(
x
V-el i mi n.
I-el i mi n.
-el i mi n.
1 , 2, 3 C
I
4,

-intro.
V-introd.
Aceast deducie reprezi nt j usti fi carea formal a deduciei
din 20, Tcut n temei ul l egi l or logice ale calcul ul ui cu
predicate.
Exemplu.
Vx ((x
) q
(x ,
V
x
(
q
(
x)

r
(
x


V
x
(P(
x)
r(x
.
Aceast deducie poart, n tratatel e de logi c, numele de
si logism n fgura ntia (modul AAA). El este alctuit di n
dou ipoteze (premize) universal afrmative, care se pot
exprima neformal astfel :
toi P sunt Q
toi Q sunt R.
De aici rezult concluzi a, de asemenea universal afmativ,
toi P sunt R.
S artm val i ditatea sa (universal) producnd o demons
traie a rel aiei de deducti bi l itate pri n care se exprim simbol i c.
I Prin C nel egem uti l i zarea proprieti l or 5C- I OC al e relatiei de
deducti bi li tate.
84 Calculul predicatelor
Notm cu
r
mulimea celor dou premize ale si l ogi smul ui
Vx ((x) q(x , Vx (q(x) r(x .
Atunci :
( 1
) r 1
- p(x) q(x)
(2)
r 1
q(x) r(x)
(
3
)
r
,
p(x)

q(x)
(
4
)
r, p(x) , r(x)
(5)
r
, p(x) r(x)
r
, Vx ((x) r(x
v - el i m i n
,
C
V
- el i mi n, C
1 , - el imin, C
2, 3 ,

- el imi n, C
4 C
5
V -
i ntrod.
Eerciii 85
Exerci ti i (Sol uti i l a pag. 92)
6. Cu aj utorul predi catul ui
Axy : x este apreciat de y,
a operatori l or l ogi ci (propoziional i ) i a cuanti fcatori lor, tran
scriei si mbol i c fecare di ntre urmtoarel e propozii i :
a) Orici ne este apreci at de cineva.
b) Orici ne apreci az pe cineva.
c) Orici ne este apreciat sau apreci az pe ci neva.
d) Oricine este apreciat, apreciaz pe ci neva.
7. Pentru fecare variabi l de predicat q
(x) se consider formulele
A: 'x q(x), J: :x q(x), E
: 'x 'q(x),
O
: :
x 'q(X
)
l
Justifcai val i ditatea universal a urmtoarelor forule
a) A

J, E

O
(relai i n vi rutea crora J este subalterna l ui A, i O subaltera
lui E).
b) l A O, l E I
(relai i n virutea crora A i O, respectiv E i 1, se numesc
contradictorii);
c) '(A J E)
(rel aie n vi rtutea crei a A i E se numesc contrare)
d) I v O
(relaie n vi rturea creia 1 i O se numesc subcontrare)
2
.
I El e sunt echi valente, respectiv, cu cele patru tipuri de propoziii A, E, 1,
a di n 30 n cazul cnd p(x) i a val oarea A pentru orice x (ceea ce se ntmpl,
de pi l d, dac substitui mp(x), cu forul a p v l p).
2 Aceste patru tipuri de rel ai i se numesc inerene imediate. El e pot f
sistematizate ntr-o diagram numit
"
ptrat logic
"
(Boethi us, 480-524).
o A
i l
U
1
contrare
"
o o

'
lqq 'c'
x
{
Co
O
C
t
o

;-
E
w
1
t
c

f
a
'
o
86 Calculul predicatelor
8. Fora complet a cel or patru tipuri de propoziii A, I E, O
este (confor 30) urtoarea:
A: \x ((x) = q(x ,
E: \
x (
P
(x)
= l q
(x
,
1: :
x
(P
(x)
/ q
(x
,
O: :
(
P(x) / l q(x,
a) Justi fcai val i ditatea universal a echivalenelor
l A < O I l E <
1
.
b) Artai neval i di tatea forul el or
A = 1, E = O, l (A / E, 1
v
O
ntr-un univers alctuit di ntr-un si ngur element
U= { I }.
c) Val i ditatea universal a formul ei
: p(
x)
= (A = 1)
poate f probat cu aj utorul urmtorul ui i r de nou relai i
deducti ve:
( 1 )
A
p()
=
q()
(2) p(), p() =
q() p()
(
3) p(), p() = q() q()
(4)
p(), q
() p() / q
()
(5) p() /
q() 1
(6) A, p() 1
(7
)
A, : p(x) 1
(8)
:x p
(x) A = 1
(
9)
:x
p
(x)
= (A = 1) .
Justifcai -o pe fecare di ntre el e dup model ul exemplelor
di n 34.
Eerciii
87
d) Construi i un i r corespunztor de asemenea rel ai i
pentru a justifca val i di tatea universal a formul ei
3 p(
x
) (E O).
e) Justifcai val i ditatea universal a formul elor:
:x p(x) T(A /
/
i :x p(x
) (l v O).
88 Soluiile exerciiilor
Anexa 1 : SOLUI I LE EXERCII I LOR
1 . a) Transcris n l i mbaj si mbol i c raionamentul devi ne
H v l L 1, H 1 11, deci L.
c) Val i ditatea propoziional a i mpl icaiei
(q v l r p) l (q
l lp) r
se poate proba cu aj utorul tabel ei de adevr
p q r
(
q
v ! r p) l (q l !p) r
A A A A A F F A
A A F A A F F A
A F A F A F F A
F A A A F F A A
A F F A A F F A
F A F A F F A A
F F A F A F F A
F F F A F F F A
d) Coloana formul ei (q v
l
r
p)
1 (q 1 |p), alctuit
numai di n F, arat c aceast forul este inconsi stent (cf. 7B).
Conform T AB ea i mpl ic orice formul. Pri n urmare, raiona
mentl - avnd-o ca ipotez - este propoziional valid, indepen
dent de concluzia sa.
2. a) Di cionar
1: impozitele cresc,
D: se nregi streaz defcit bugetar,
S: sumel e alocate asi stentei social e scad.
Raionamentul este al ctuit di n propozii i le l ogi ce
l
1 D, D S / deci l S.
c) Formul a n cauz - nlocuind 1 cu
p, D cu q, S cu r - va f
Soluiile eerciiilor
(
lp
q
) / (
q
r) / p l r
i are valoarea F cnd p i r sunt A.
89
Concl uzia raionamentul ui nu rezult aadar din premi sele
sale; cel pui n nu n vi rtutea legilor logici i propozii onal e.
3. Rai onamentul este alctuit di n propozii i l e logice
S P v C,
deci l S.
C D,
Forula propozi ional corespunztoare va f - nl ocui nd S
cu p, P cu
q
, C cu r, V cu S, D cu t
( 1 ) (
p

q
v r
) / (
q
s
) / (r t
) / l
s / l t lp
ntruct tabela sa de adevr are 25 32 de l i ni i ( ! ) vom face
veri fcarea val iditi i prin cutarea si stematic a unui contra
exempl u (cf 8B).
Pentru ca impl icaia ( 1 ) s fe fals trebui e ca
(2) p
q
v r,
q
s, r t, l s, 't s fe A,
iar lp s fe F.
Deoarece p i
P

q
v r sunt A,
q
v r este A.
Dac
q
este A, ntruct
q
s este A (cf. (2 , s este A, deci
l s este F; ceea ce contrazice (2) .
Dac r este A, ntruct r t este A (cf. (2

, t este A, deci l t
este F contraicnd (2).
Aadar ( 1 ) nu poate f fal s; ea este valid.
4. a) Transcrise n l i mbaj propoziional - conform di ciona
rul ui propus - cel e trei decl arai i vor f
XI :
P
2 / l p
3,
X2 : PI P3,
X
3
: TP3
/ (
PI v P2) .
90 Soluiile exerciiilor
b) Fonul ele propoziionale corespunztoare find
(1 : P2
A
lp3
, a
2
:
PI P3, a3 : lp3
A (I V P2)
consistena fonulei al A a
2
A a3 presupune gsirea unor
valori de adevr pentru
PI
,
P2
,
P3
astfel nct valoarea acestei
conjunci i - deci i a fecrei fonul e n pare s fe A.
al este A atunci cnd
P2
este A i
P3
este F.

n acest caz , a
2
este A numai dacp
I
este F (de ce?
)
o
Pentru valori le gsite, a
3
este `F A (F v A) adic A. Ceea
ce probeaz consistena.
c) Relai a de deducti bi l itate a

a
3
se poate obine astfel
(
1)
P2
A
lp3

P2
]
A -el i m.
(2)
P2
A
lp3

lp3
(3)
P2

PI VP2
(4)
l p3
,
P
I
v P2

lp3
A
(I v
P2
)
P2
A
`p3

`p3
A (
I v P2)
Deci al

a
3
este val i d (de ce?).
v introd.
A -introd.
1 , 2, 3, 4 C
Verifcai, cutnd contraexemple, c celelalte cinci fonule
ai

< sunt nevalide.
Obseraie. Pentru obinerea acestor rezultate cititorl poate
uti l iz i tabele de adevr.
d) Dac
p
t , P2
,
P3
sunt F, atunci a

i a
3
sunt F, iar a
2
este A.
e) Presupunerea fcut revine, n cazul l ui X
I
, la impl i cai i l e
lPI
a
l
i
PI l
a
I .

n baza transpozi iei i a el i mi nri i dubl ei negaii (DN), din


prima impl icaie deducem conversa celei de a doua
`

).
Soluiile eerciiilor
Deci , conform < -introd. , rezult echivalena:
PI < 'al
Si mi lar, n celel alte dou cazuri :
P2
<
1a2,
P
3 <
`
a3
Construind tabela de adevr:
P
I P2
P
3
l a
I
A A A A
A A F F
. . + . . = . = . = = . = .
. . . . . A. . :
^
= . A . . . . . . . . . . . r . . . . . .
F A A A
A F F A
F A F F
F F A A
F F F A
l a
2
F
A
l
F
A
F
F
F
9 1
l a3
A
F

x
;
A
F
F
A
A
constatm c si ngura l i nie n care valori le pri melor trei coloane
coincid - respectiv - cu val ori le ulti melor trei, este a trei a (n
chenar punctat).
V i novai vor f, n acest caz, doar XI i X3
Se). (
1
)
P
ipotez
(2) 1j
ipotez
| r= |! /= r
al a S
(4)
'
r -| ) =r
al a S
t |
1
; =r =t 1 )
1 ji
1
1 ;)
a6 S
.
(6)
) r
1 ,3 D
(7)
' ) l
p 2, 4 D
| |
1
/ ='r ' ' /
5, 6 D
(9)
1 1 ;
7, 8
D
92
( 1 0)
` ` q
=
q
( I I )
q
6. a) Vx 3y Axy
b) Vy 3x Axy
Soluiile exerciiilor
a7
9, 1 0 D
c) Vx (3y Axy v 3y Ayx), ceea ce - n baza echivalenei E47
se mai poate scrie sub forma (prenex);
Vx 3y (Axy v Ayx)
d) Vx (3y Axy = 3y Ayx).
7. a) A = 1 este teorem a calcul ul ui predi catel or (cf 2F); n
vi rutea proprieti i 6F ea este universal valid.
E = O se obine din forul a precedent substitui nd q(x)
prin 1 q(x); conform 1 7E, di n val i di tatea cel ei di nti rezult i
a cel ei de a doua.
b) Aceste echivalene sunt cazuri particulare ale echiva
lenel or E32 i E35.
c) Conform b:
`
E 1

n vi rtutea propri eti i de nl ocui re a expresi i lor echivalente


(2 1 E) rezult
(A = 1 - (A = 1
/

n baza echi valenei EI 3


i , conform Es
Aadar
(A =
!
/
- (1A v !
/
(
l
A v
'
/
-
l
e
A

(A = 1 - 1
(
A 1 E
)
ceea ce, conf 1 9E, face ca di n val i di tatea (universal) a pri mei
formule s rezulte i val i ditatea cel ei de a doua.
d) (A = 1 (l A v / ).
E
,
3
Apl icnd proprietatea de nlocui re a expresi i lor echivalente
i 1 A O rezult
l A v I - O v 1.
Soluiile eerciiilor
n fnal , uti l iznd comutativitatea v (E7), gsi m:
(
A 1
)
-
(I
v O).
8. a) Confon E32 :
( 1 ) `
V
x ((x) q(x -
3x `((x) q(x .
Pe de alt parte, confon E1 4 :
!((x) q(x
-p(x) / 1q(x).
93
Apl icnd propri etatea de nlocuire a expresi i lor echivalente
(2 1
E) rezult:
(2) 3x 1((x) q(x - 3x ((x) / !q(x

Din ( 1 ) i (2), prin tranzitivitatea rel ai ei - (cf. pg. 1 9)
rezult:
l
A - O.
Si mi l ar se veri fc relaia !E I
b) Se alege p( 1 ) fal s.
c)
( 1 )
V
-el i m; (2) SC; (3)
-el i m.
; (4) I-i ntrod. ;
(5
) 3-introd. ; (6) 1 , 2, 3, 4, 5 C; (7) 6
, a 3; (8)
7
, 1
0 C;
(9) 8, 9 C.
d) Se nlocuiete q(x) prin
`
q(x) n relai i le de la punctul c.
e) Au loc echivalenel e
l (A / E) -
(
l A v l E -
(
A l E ) i , conform a) l E -
I
,
Ee E1 3
de unde deducem: |(A / E) - (A I.
Deci val iditatea universal a formulei 3x p(x) !(n / E
rezult din val i ditatea universal a fonul ei 3x p(x) (A I),
conform proprieti i de nlocuire a expresi i lor echivalente
(2 1
E).
Deoarece !n- O (punctul a), rezult:
(I v O
)
- (I v l
A)
- (l A v l
- (A l.
El
E
'
3
De unde rezult, ca mai sus, val iditatea universal a formul ei :
3x
p
(x)
I v O.
94 Echivalente logice
Anexa I I . ECHI VALENTE LOGI CE
o, p, y reprezint formul e propoziionale sau cu predi cate.
|, . o - 1 1 o
legea negri i negaiei (DN)
|, o - o - o ]
E3 0 o - o . o
E, o - (To = o)
F, 1 o - (o = p - 1 p)
L,. o / p - p - o
E7 0 o . p -
0
. o
E,.
1
(o - 0)
- 1 o . 1
0 ]
E90 1 (o . p) - 1 o - 1 p
El Oo o p - 1(1 o c
p)
F, , o - 0 - 1 (1 o . 1 p)
|, ; o
=
p - 1 ( = 1 o
E, , . o = p - 1 o .
|, , o
=
- !(o - 1 )
L, , 1 (o
=
) - o - 1 p
l egi l e si mpl i fcri i
consequentia mirabilis
reductio ad ahsurdum
legi le comutativiti i
legile De Morgan
defni ia pr|a 1 , -
defni i a - prla 1 , .
traspoziia
dea||a = pri n 1 ,
v
defni i a = prin 1 , -
negarea i mpl icaiei
E, , o <
-
< o simetria echivalenei
F,
o < - (o
=
p) - (
,
= o) defniia < prin /,
=
E, , . o < - (o - p) V (1o - 1p) defniia < prin
1 , -, V
|, ,. o < - 1o < 1p legea complementariti i
|
;
1 (o <
)
-

<

negarea echivalenei
E,
,
1 (o < ) - o < 1 negarea echivalenei
Echivalene logice
E
22

a / (
1
/ y) - ( a /
1
) /
Y ]
E
n. a v (f v y) - (a v f) v y
E
2
4
a = (
1
= y) - (a / f) = y
95
legi l e asociati viti i
exportare
E25
. a / CP v y) - (a / f) V (a / y) ] legi le di stributiviti i
E
26 a v (f / q) - (a v f) l (a v y)
absorbi a

n echivalenel e E28 i E29 formul a a nu coni ne vari abi la


l i ber x
E
2
8
\ a - a
E
29 3x a - a

n echivalenel e E30 i E3 1 variabi l a y este substi tui bi l


vari abi l ei x n a(x) [cf 1 4E]
E30.
\
x a(x) - \y a()
E
3 1
.
3x a(x) - 3y a()
E3
2
.
1 \x a(x) - x'a(x) negarea cuantifcatorul ui \
E
3
3 . 1 3x a(x) - \x `a(x) negarea cuanti fcatorul ui 3
E34.
\x a(x) - ! x'a(x) defni i a \ pri n 3
E35 .
3x a(x) - T\x T(x: defni ia 3 prin \

n echivalenele E36-E45 forul a a nu coni ne variabi l a


l i ber x.
E
36.
a 1 \x f(x) - \x (a 1 f(x
E
3i
a 1 3x f(x) - 3x (a 1 f(x
E3
8
.
a v \x f(x) - \x (a v f(x
E39.
a v
3 f
(x) -
3x
(a v f(x

E40.
a =
\x f(x) - \x (a =
f
e
x
96
Echivalente logice
E
4 1

a
3x (x) - 3 (a

(x
E
4
2

\x (x) a - 3 (j(x) a)
E
43
3 (x) a - \x (f(x) a)
E
44
a
\x f(x) - \x (a
f(x
E
4
S
a 3x f(x) - 3x (a f(x
E
4
6

\x a(x) 1 \x j(x) - \x (a
(x) 1
j(x

E
47
3x a(x)
v
3 j(x) - 3 (a(x)
v
j(x
E
4S
\x a(x) 3x f(x) - 3x (a(x)
f
(x)
E49

\x \y a(x, y) - \y
\x a(x
,
y)
E
s
o.
3x 3y a(x, y) - 3y 3
a(x
,
y
)
Logic i metamatematic 97
Anexa I I I : LOGi C I METAMATEMATI C
Orice ti i n sau si stem organi zat de ndi re i probeaz
adevruri l e pri n recurs la regul i l e - general admi se - ale deduc
i ei l ogi ce.
Matematica a fost pri ma care a uti l izat n mod si stemati c
acest i nstrument ("organon
"
) n demonstrarea teoremelor ei . i
nu ntmpl tor majoritatea exempl elor de demonstrai e uti l izate
de Ari stotel n scri eri l e l ui de logic sunt exempl e matematice.
A trebui t s treac peste 2000 de ani ca rol uri l e s se i nver
seze i matemati ca, mai preci s al gebra, s devi n di n cmp de
apl icai e al l ogi ci i - i nstrument de i nvestigai e a sa. Cercetri l e
!cute n acest sens de tnrul matemati ci an engl ez G. Bool e
au condus l a apari i a unui cal cul l ogi c (cu propozi i i ) si mi l ar,
n multe pri vi ne, cel ui al gebri c cu numere.
Urtorul pas major este !cut de l ogi ci anul german G.
Frege ( ] 848- 1 925) care dezvolt pri mul si stem cupri nztor de
l ogi c si mbol i c. Dei nota i i l e compl i cate pe care l e uti l i za i
au ntrzi at rspndi rea, opera sa a i nfuenat hotrtor apari i a
pri mul ui volum (n 1 9 ] O) di n monumental a l ucrare Principia
Mathematica a l ui A.N. Whi tehead i B. Russel l ' .
Trebui e preci zat c att Frege, ct i autori i Pri nci pi i l or au
urmrit
"
reducerea" unor pri din matematic - n special arit
metica - la l ogi c. Cu al te cuvi nte, au urmrit s arate c pri n
ci pi i le acestor di scipl i ne matemati ce i au ori gi nea n pri nci pi i
de l ogi c. ncercarea s-a dovedi t l i psi t de succes, dar nu i de
conseci ne, cci a permi s construi rea pri mel or s i steme axio
mati ce formal e. Astfel , di sci pl i ne matemati ce i mportante, ca
aritmeti ca i teori a mul i mi l or, au cptat fundamente axi oma
tice n cadrul unor s i steme formal e de l ogi c (cal cul cu
predi cate ) .
I Primul di ntre cei doi a fost matemati ci an, iar al doi lea logician i
fl ozof
98 Logic i metamatematic
Necesitatea de a fundamenta astfel matematica a izvort i
di n dori na de a pune ordine n bazel e unor pri ale sal e ca
reacie la apari i a - n cadrul acestor pri - a unor concepte cu
caracter paradoxal (contradi ctoriu).
Un exempl u de asemenea concept din teoria mul i mi lor i-a
fost semnalat lui Frege de ctre Russel l .
Reunind ntr-o aceeai colecie obiectel e avnd o proprie
tate comun, aj ungem l a urmtoarel e constatri .

n unel e cazuri nsi colecia acestor obiecte este un obiect


avnd proprietatea comun el ementelor sal e. Astfel , de pi l d,
colecia noi uni lor abstracte este ea nsi o noiune abstract.
n l i mbajul teori ei mul imi l or colecia A, a noiuni lor
abstracte, este un element al lui A, fapt notat prin A E A.
Dimpotriv, col ecia C - a noiuni lor concrete - n u este o
noi une concret, ceea ce n l i mbaj ul menionat nseamn
1
(C E C, fapt notat de obicei prin C e C.
Reuni m ntr-o colecie - notat R toate obiectele X avnd
proprietatea X e x

n virtutea princi pi ul ui terul ui excl us


R E R sau R e R

n pri mul dintre cel e dou cazuri, R find element al colec


i ei defnit prin propri etatea X e X, rezult R e R.

n al doi l ea caz, avnd chiar aceast propri etate, R trebuie


s fe el ement al coleci ei defnit prin ea, adic al coleciei R;
deci R E R.
Pl ecnd aadar de l a oricare dintre cele dou afmai i dedu
cem - pe cale logic - negaia sa!
Era fresc ca o astfel de provocare
I
s nasc apri nse contro
verse printre logici eni i matemati ci eni .
O parte dintre aceti a (B. Russel l ,
E. Zerel o i al i i ) consi
dernd c principi i l e cantoriene
2
ale teori ei mul imi lor trebui e
\ Au fost descoperite mai mul te asemenea enunuri contradi ctori i . Citi
torul poate gsi i nformai i supl imentare n lucrarea l ui A. Dumi tri u: Istoria
Logicii, Bucureti , 1 975, cap. XLI I I .
2 Matematicianul german G. Cantor ( 1 845- I 9 I 8) este creatorul teori ei
modere a mul i mi l or.
Logic i metamatematic 99
amendate, au creat si steme axi omati ce l i mitative n care, spe
rau ei, astfel de contradici i nu vor mai apare.
L. EJ. Brouwer matemati ci an ol andez i creator al col i i de
gndi re numit
"
intui ioni sm
"
face o critic sever modul ui n
care matemati ci eni i uti l i zeaz n raionamentel e lor noiunea
de mulime i nfnit i - n l egtur cu ea - o serie de princi pi i
logice (terl excl us, dubl a negaie etc. ).
Cri ti ca intuiioni st avea drept conseci n i ndi rect abando
narea unor rezultate i metode de l ucru ce intraser deja n
patri moni ul matemati ci i nceputul ui de secol . Considerat de
mul i drept prea radical, ea nu s-a bucurat de o adeziune l arg
(dei a fost susi nut de uni i matematici eni i mportani).
Cel care a l uat imedi at pozi i e n favoarea matemati ci i cl a
sice a fost un reprezentant strl ucit al acestei a - D. Hi lber.
Dup ce, n 1 899 reui se construirea primei axiomatizri satis
fctoare a geometriei eucl i diene, n 1 904 el propune - pentru a
salva
"
paradi sul pe care ni l-a furit Cantor" - crearea unui
si stem formal axiomatic care s cuprind matematica clasic.
Hi lber spera c fcnd di n acest si stem un obiect de studi u - al
aa-numi tei teori i a demonstrai ei sau
"
metamatemati ci i " - s
se poat demonstra cu mij loacel e fniti ste ale aritmeti ci i ,
admi se i de intui ioniti, necontradi ci a sistemul ui nsui .
"Programul formal i st" de fundamentare a matemati ci i , cum
s-a numit proiectul hi l berian, demarat dup 1 920, a nregi strat
cteva succesel . Dar o l i mi tare de princi pi u, descoperit n 1 93 1
de K. G6del, a artat c demonstraii -n sensul fnitist propus de
Hi l ber - pentr consi stena unor pri imporante ale matematici i
- n prealabi l axiomati zate i fonal izate - nu sunt posi bi l e.
Cercetri l e s-au orientat atunci ctre demonstrarea consi stenei
unor fragmente de matematic lund ca ipotez consi stena
altora. Rezultate remarcabi le obinute n aceast di recie au fcut
ca, ntre ti mp, metamatematica s devin o di sci pl in cu statut
bine defnit n ansambl ul celorlalte ramuri ale matematici i .
I Cel mai promitor a fost demonstrai a cu mij l oace nefni ti ste a
necontradiciei si stemul ui formal axi omatic al aritmeti ci i , dat de G. Gentzcn
n 1 936.
1 00 Bi bliografe
BI BLI OGRAFI E
1 . Ambrose A., Lazerowitz M. : Fundamentals of symbolic
logic, New York, 1 948
2. Clark R. , Welsh P. : Introduction to logic, Princeton, 1 962
3 . Johnson D. L. : Elements of logic via numbers and sets,
New York, 1 998
4. Kleene S. c. : Mathematical logic, New York, 1 967
5 . Lewis Carol l : Mathematical recreations, New York, 1 958
6. Lewis C.I., Langford C.H. : Symbolic logic, New York,
1 95 1
7. Purtill R. : Logic for philosophers, New York, 1 97 1
8 . Quine W.V. O: Mathematical logic, New York, 1 940
9. Stob M. : Undergraduate logic, Mi chi gan, 1 996
1 0. Strawson P. F. : Introduction to logical theory, London,
1 952
1 1 . Suppes P. : Introduction to logic, Princeton, 1 95 7
Simboluri utilizate
1 01
SI MBOLURI UTI LI ZATE
1 ,v, =
p
a
g. 2
<
pag. 3
pa
g. 1 2, 56
pag. 1 8, 6 1

p
a
g.
29
, 70
', :
p
a
g
. 49
1 02
I NDEX
contraexempl u 1 5, 57
cuantifcator 49
domeni ul unui 53
D (detaare) 28, 68
DN (dubl a ne
g
ai e) 20
forul conti ngent 1 5 , 5 8
- i nconsi stent 1 5 , 5 8
- i nterpretarea unei 54
- universal val i d 55
l110dus ponens 1 2, 1 4, 1 8
tollens 3 9
pri nci pi ul necontradi ci ei 1 5
propozi i e si mpl /compus 4
S (regul a substi tu i ei ) 28, 68
TAB ` 5
TAB /, TAB v 6
TAB < 7
TAB 8
tautol ogi e 1 3
teorem 29, 69
teorema deduci ei 32
terul excl us 1 2, 39
transpozi i a 3 8
Ul1vers 54
val ori de adevr 2
vari abi l propozi i onal 9
- i ndi vi dual 52
- l i berl e
g
at 53
Index

You might also like