Professional Documents
Culture Documents
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).
.
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.
, 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 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 ;,
`@``
;
;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-
,
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.
` ` 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
,
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.
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)
.
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 .
: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.
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.
) 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 .
).
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
(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
(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 .