Sunteți pe pagina 1din 110

INTRODUCERE N LOGICA SIMBOLIC

TEODOR STllD
Copyright 1999

BIe ALL

Toate drepturile sunt rezervate Editurii BIe ALL


Nici o parte din acest volum nu poate
scris a Editurii BIe ALL

fi copiat fr

permisiunea

Drepturile de distribuie n strintate aparin n


exclusivitate editurii.
Copyright 1999 by BIe ALL

AlI rights reserved.

The distribution of this book outside Romania, without


the written permission of BIe ALL is
strictly prohibited.
Descrierea CIP a Bibliotecii Naionale

STIHI, TE ODOR

Introducere n logica simbolic / Teodor Stihi Bucureti:


Editura BI C ALL, 1 999
1 04 p.; 20 cm (ACCENTE)
-

Bibliogr.

Index
ISBN 973-571-286-5
16

Editura BIe ALL

Bucureti, Bd. Timioara nr. 58,


sector 6, cod 76548

402260 0

4022620

Fax: 40226 10
Departamentul
difuzare

Fax: 4022630

Redactor:

Radu Slobodeanu

Coperta:

Dominic Cernea
PRINTED IN ROMANIA

Colecia Accente
apare sub ngrijirea
Prof. Univ. Dr. Paul Flondor
TEODOR STIHI

INTRODUCERE
.A-

IN

LOGICA SIMBOLiC
li

eu.

"EUGCN TODORAN"
TiMIOARA

BIBLIOTECA CENTRAL
11NIVBRSITARA
TIMIOARA

111111 III I III IIIIIIIII 1111111 1 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

Minerva Muraru
Mulimi, funcii recursive, aplicaii

Ionel evy
ediie ngrijit de
G.G. Constandache

Contiina i identitatea uman

CATRE CITITO R

Limbajul logico-simbolic a devenit, prin introducerea n ma


nualele de liceu, element de cultur general. Ceea ce este firesc,
innd seama de faptul c n aceast hain, croit dup moda
sfritului mileniului nostru, s-a mbrcat i o bun parte din Ira
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 definiiile, proprietile i mai ales exem
plele cu care le-am ilustrat. Cei doritori de amnunte i justi
ficri complete (demonstraii) pot consulta, desigur cu folos,
una dintre excelentele expuneri detaliate pe aceast tem
(cteva sunt menionate ntr-o scurt bibliografie 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 finalul
fiecreia 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.
Autoru l

CUPRINS

1. CALCULUL PROPOZIIONAL

A. Idei introductive . . . . ..
..
..
.. . .
l
1. Calcu l lo gi c .............................................................. l
2. Propoziii logice . .
.. . .
.. .. .
.. . . . l
3 . Operatori logici
. .
. . . . . .. . .. . . 2
4. Limbaj natural i limbaj 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. Subst itu i e i detaare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
10. Echivalena formulelor propoziionale ... . . . . . . . . . . . . . . . . 20
1 1 . Dualizarea formulelor propoziionale . . . . . . . 24
12. Forme normale ........................................................ 26
.. . .....

.. ...

C. Axiomatizarea calculului propoziional .

..

.. ..

..

....

. ... .

.. .
28
13 . Metoda axiomatic . . . . . . . . . . . . . . . . . . ... ... . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1 4 . Axiome i reguli deductive . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
15. D em o nstra i e i deducie . . . .. . . ... . .. . ....... . .. . . . ..
31
16. Elemente de teoria demonstraiei . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3
17. Necontradicia calculului propoziional . . . . . . . . . . . . . . . . . 3 8
18. Regul i deductive derivate . . . .
. 39
19. Comp letitu dine a calculului propoziional . . ... . . . . . . . . . 43
... . . ..............

..........

... . ..... .. ....................

EXERCIII

...

........................................................................

47

VIII

Cuprins

II. CALCULUL PREDICA TELOR


D. Idei introductive
. .
..
20. Insuficiene ale calculului propoziional
.
21. Structura logic a propozii i lor simple
22 . Cuantificarea subiectului logic . . . .
.. .
23 . Argumente exprimate n limbajul
calculului predicatelor . .
.
.. . . . .
. . . . . . . .. . . .

...

. . . . .. . . . . .

. . . . . . . . . . . . . .. . . . . . . . .

... .. ....

. . 50
. . . . 50
. . .. .

. . .

. . . . . . .. .. . . . . . . . . . .

. ..

...

. ..... ....

.... . .

........

.. .

.. . . . . .

. .. . .

. . . .

SI

53

. . . 54
.

..

E. Dezvoltarea calculului predicatelor . .


. . . . . . . . 56
24 . Formule cu predicate
.
..
56
25. Validitate n calculul predicatelor . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
26. Substituii n calculul predicatelor . . . . . . . .
63
27 . Echivalena formulelor cu predicate
. . 66
2 8. Dualizarea formulelor cu predicate .
. . . . . . 69
29. Regul i de cuantificare
.
.
.
71
.... ... .. . .

. . .. . . . .. . ... . . . . . ...

..

. . . . . . . . . . . .

. . ..

..

. ...

..

.. .....

. . . .... . . . . . . . .. .

. . . .. . . . . ..

. . . . .. . .. . .

. . . . . .... . . . ... . . . .

..

. . .. . . .. . .

. . ..

.. . . . .

... . . . .

.... .

F. Axiomatizarea calculului predicatelor


.
73
30. Axiome i reguli deductive
. . .
. . . 73
3 1 . Demonstraie i deducie n calculul predicatelor . 75
. . 77
3 2 . Proprieti ale relaiei de deductibilitate .
3 3 . Consisten i completitudine . . . . .. . . . . . 79
34. Regu l i deductive derivate
82
.. .. . . .. . . . . . .. . . . . . . . . . .

......

. ... .

..

.. . . . . . . . . . . .

...

..

. ..

...

. .

. .. . .

..

. . . . . .. . . . .

. . ...

. . ..

....... ..................... . . . ..... . . .

EXERCIII

. ...... .... . . . . .

. . . . . . . . . . .. . . . . .

Anexa 1: Soluiile exerciiilor


Anexa II: Echivalene logice

. . . . ..

.....

..

..
.

. . . .

....

. . . . . . . . .. . . . . . . . . . . . .

. .
...

. . . .. . .

.. . . . .
..

..

.... . . ..

. .

..

. . .. . .. ... . . .

... . . . . .

.....

.....

.. . .
.

.. .

. . . . .

...

85

. 88
. .

.... .

94

Anexa III: Logic i metamatematic . . .: ................................ 97


.

Bibliografie .
.

. . .. . . . . . . .

Simboluri utilizate
Index

..

. . . . . . . . . . . . . . . . . . . . . . . . . .. . .. . . . . .. . . ..

. . . . . . . . . . . . . . . . .. . . . . . . . .. . . . . . . . ..

. .
...

. .. . . . ...... . . . .

. 1 00
..

. . . . . . . . . . .. . . . . . . . .... .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . .. . . . . . . . . . . . . . . .. . .. . . . . . . . . . . . . . . . . . . . . . . . . .

101
102

1. CALCULUL PROPOZITIONAL
A. Ide i introductive

1 . Calcul logic
Ideea unui calcul logic a aprut n lucrrile lui R. Lullus
( 1 235- 1 315) i G.W. Leibniz (1646-1716). Dar pasul decisiv a
fost acut de G. Boole (1815-1864) care pune bazele unui calcul
logic asemntor celui algebric. Calculul boolean - numit astfel
n onoarea sa - a fost apoi dezvoltat prin lucrrile unor logicieni
i matematicieni remarcabili; astzi calculul logic este un instru
ment de lucru att n tiinele exacte, ct i n unele discipline
umaniste. Principii le sale generale sunt studiate ntr-o serie de
coli i faculti: de la cele de matematic i calculatoare la cele
de psihologie i filozofie.
Vom prezenta n paginile urmtoare aceste principii mpr
ind expunerea n dou secvene:
- calculul p ropoz i iil or sau propoziional, i
- calculul predicatelor.
,

2. Propozitii logiceI
Acestea sunt elementele constitutive ale calculului propo
ziional.

I Atributul "logic" este utilizat n aceast lucrare ntr-un sens mai restrns
dect n vorbirea curent.

Calculul propoziional

Exemple. Plou.
E soare.
E soare, deci nu plou.
O interogaie (mi poate folosi logica la ceva?), o excla
maie (Gndete-te!) etc. nu pot fi caracterizate - n nici un
context - drept adevrate sau false. Prin urmare, nu sunt
propoziii logice.
Precizm c nu ne vor interesa condiiile - obiective sau
subiective - de care depind adevrul sau falsitatea propoziiilor
logice. Trebuie doar ca fiecare dintre aceste propoziii s fie
sau A (adevrat) sau F (fals).
A i F se vor numi valori de adevr.

3. Operatori logici
Calculul logic utilizeaz noiuni i simboluri de sorginte ma
tematic.
Majusculele P, Q, R etc. eventual indexate, 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 1 P (Nu plou). 1 este simbolul operatorului logic de
negaie.
Conjuncia logic transform propoziiile P (Plou) i
Q (E soare) n propoziia logic

P A Q (Plou i e soare).
n limbaj matematic o astfel de transfonnare se numete operator, aici
fiind vorba de un operator logic: n spet operatorul logic de negatie.
I

A. Idei introductive
A este simbolul ace stu i operator l o g i c .

Disjuncia logic transform aceleai propoziii P i Q n


P v Q (Plou sau e soare),

avn d v ca simbo l al su.


Implica ia logic transform P i Q n
P => Q (P implic Q)
i are ca simbol =>.

Echivalena logic transform P i Q n


P Q (P echivalent Q)

avnd ca simbol .
S revenim acum la ultimul dintre cele trei exemple anterioare:
E soare, deci nu plou .
Asimil nd pe "dec i" cu " imp l ic" o vom simboliza, con
form c el or exp l i cate, pri n
Q=> lp.

4. limbaj natural i limbaj logic


L im b ajul logicii simbolice este un fragment al celui natural
(l imba s cris i vo rb i t). Prin introducerea sa logicieni i au
urmrit eliminarea unor imprecizii i echivocuri ale acestuia
din urm. Desigur c prin aceasta limbajul logici i s imbol i ce
p ie rd e exp resivitate a i n uanril e spe c ifice l imbajului natural.
El se apropie, de fapt, de l i mbajul calculatoarelor (pentru care
.
a servit iniial drept model).
Este important de remarcat, cu toate acestea, c ntr-un
asemenea l imbaj dispunem de su fic i ente mijloace de expresie
pentru a reda adevrurile formulate n tiinele exacte, cu deo
seb i re a celor din matematic.
Dar n cele ce umleaz am a les drept exemple dou extrase
din literatura clasic: Eminescu i C arag i a le .

Calculul propoziional

2A.

Iar n lumea cea comun a visa e un pericul,


Cci de ai cumva iluzii, eti pierdut i eti ridicul

M. Eminescu Scrisoarea a II-a


Pentru a transcrie n limbaj simbolic aceste dou versuri
eminesciene vom uti liza urmtoarele 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 cc i P
transcris drept impl icaia
P=}Q.

Dar, n timp ce Q este o propoziie simpl ', P se poate scrie


ca rezultat al transformri i unor propoziii logice; adic este
compus.
Continum "dicionarul" notnd cu
R: ai cumva iluzii;
S: eti pierdut i eti ridicul.

Astfel, P va putea fi redat n limbaj ul logicii simbolice


prm
R=}S.

Anal iznd la fel ca mai sus cele dou componente ale


implicaiei, constatm c prima este simpl n timp ce a doua
se descompune n
S,: eti pierdut;
S2: eti ridicul.

Anume, S va fi redat simbolic sub forma:


S,

/\

S2

1 Numim simpl o propoziie logi c ce nu poate fi obinut transfonnnd


alte propoziii logice prin intennediul unor operatori logici.

A. Idei introductive

Reracnd din aceste "piese " ntregul fragment obi nem :


Parantezele au acelai rol ca i n algebr : indic ordinea
aplicrii o perai ilor (aici: a operatori lo r logi ci)
.

3A . . . eu am, n-am nfiare, la dousprece trecute fix m


duc la tribunal!
I.L. Caragiale O scrisoare pierdut (Actul 1, scena a VI-a)
.

Textul fiind eliptic, reconstrucia sa logic presupune i o


anumit interpretareI . O vom face astfel :
(Dac) eu am (sau) n-am nfiare, (atunci) la dousprece
trecute fix m duc la tribunal!
Propozi i i l e lo gice s imple sunt
P: eu am (nfiare);
Q: la dousprece trecute fix m duc la tribunal,
iar fragmentu l capt, n interpretarea dat, forma logic:

(py lp)=} Q
5. Functii de adevr
Scopul principal pentru care a fost creat l imbajul logic este
acela de a servi ca "vehicul al adevrului " de la premi sele la
concluzia oricrui raionament exprimat cu m ij loacele lui.
Legile logicii stabilesc condiiile n care, din adevrul anu
m itor propozii i d ec urge adevrul altei propoziii. Controlul
asupra acestui "transfer" de adevr este meninut impu nnd
op eratori lor logici o condiie destul de sever: acee!;l de a fi
fu ncii de adevr.
n matematic funcia este o coresponden ntre el em e nte l e
unei mulimi i elementele altei (sau aceleiai) mulim i. O
I Precizia limbaju l u i logic impune asemenea i nterpretri, chiar dac
uneori e l e pot fi forate.

Calculul propoziional

funcie asociaz fiecrui element al primei mulimi cte un


singur element din a doua mulime.
NEGAIA logic definete o astfel de funcie. Cnd propo
ziia "plou" este adevrat (A), propoziia " nu plou" este
fals (F). Iar cnd " plou" este fals (F), " nu plou" este ade
vrat (A).
Exprimarea sintetic a acestei corespondene ntre mulimea
valorilor de adevr {A, F} i ea nsi este tabela:

lp

P
A
F

TAB

F
A

Prin ea se definete funcia de adevr a negaiei logice. Nu


a negaiei propoziiei P, ci a negaiei oricrei propoziii logice.
CONJUNCnA logic definete la rndul su o anumit
funcie de adevr. Deoarece conj uncia - ca operator - transform
o pereche de propoziii (P. Q) ntr-o propoziie P /\ Q, funcia de
adevr corespunztoare conjunciei va transforma fiecare dintre
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 urmtoarea:
P
A
A
F
F

Q
A
F
A
F
TAB /\

p/\Q
A
F
F
F

A. Idei introductive

Ceea ce ne arat c propoziia ,)1 i Q" este adevrat ntr


un singur caz: cnd cele dou propoziii P i Q sunt simultan
adevrate.
DISJUNCIA logic definete funcia de adevr redat- n
tabela
P
A
A
F

Q
A
F
A
F
TAB

PvQ
A
A
A
F
v

Propo zitia "P sau Q" este adevrat n toate cazurile cu


excepia celui n care cele dou propozii i P i Q sunt false.
Observaie. Aceast funcie de adevr corespunde unui
" neexc lusiv n limba romn apare i un sau " exclusiv
sau
"
"
(ca n expres i a : totul sau nimic).
Despre funcii de adevr vom discuta i n continuare.
.

6. Implicatia i echivalenta logic


ntre dou propoziii logice P i Q pot exista dou tipuri de
relaii logice importante: implicaia i echivalena.
IMPLICA IA logic P Q este exprimat n l imbajul
curent pr i n expresi i ca: dac P, atunci Q; Q dac P; Q
deoarece P; P numai dac Q.
n matematic sunt utilizate i sintagmele: P este o condiie
suficient pentru Q, Q este o condiie necesar pentru P.
n logic este preferat exprimarea: P implic Q.

Calculul propoziional

ECHIVALENA logic P ::> Q se exprim prin: P dac i


numai dac Q, P exact atunci t;:nd Q etc., iar n matematic i
prin sintagma: P este condiia necesar i suficient pentru Q.
n logic apare mai frecvent exprimarea: P este echivalent
cu Q.
Fiind operatori logici, att implicaia ct i echivalena sunt
asociate unor funcii de adevr.
Pentru echivalen aceast funcie este definit prin tabela:
P
A
A
F
F

Q
A
F
A
F

P::> Q
A
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 impli
caiei vom discuta n prealabi l un exemplu de implicaie logic.
Dac am de lucru, (atunci) vin trziu acas.
Descifrm semnificaia logic a acestei propoziii analiznd
cele patru variante posibile.
1) am de lucru i vin trziu acas;
2) am de lucru i nu vin trziu acas;
3) nu am de lucru i vin trziu acas;
4) nu am de lucru i nu vin trziu acas.
n mod clar propoziia considerat este apevrat n primul
caz i fals n al doilea caz.
Mai puin clare sunt valorile sale de adevr n ultimele dou
cazuri . ntruct exist patru variante de alegere a lor, vom
analiza fiecare variant n parte.

A. Idei introductive

p
A
A
.........
F
F

Q Varianta a Varianta b Varianta c Varianta d


A
A
A
A
A
F
F
F
F
F ...................................... ............ -.. -... ...................
......
F
A
A
F
A
A
F
A
F
F

Linia ntrerupt desparte situaiile clare de cele problematice.


n varianta a, semnificaia logic a propoziiei date ar coin
cide cu semnificaia propoziiei:
Am de lucru i vin trziu acas.
(A se compara valorile de adevr din varianta a cu TAB A )
n varianta b aceast semnificaie ar coincide cu cea a pro
poziiei:
Vin trziu acas.
(A se compara valorile de adevr din coloanele a doua i a
patra).
n varianta c semnificaia logic ar fi aceeai cu a pro
poziiei:
A m 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 impl icaiei logice este
fixat prin tabela

p
A
A
F
F

Q
A
F
A
F

PQ
A
F
A
A

TAB
P Q preCizam c
propoziia P se numete antecedent sau premis a implicaiei,
iar propoziia Q se numete consecvent sau concluzie a sa.
Aadar relaia de implicaie este fals numai n cazul n care
imtecedentul (premisa) este A i consecventul (concluzia) este
F.
4A. Observaie. n legtur cu relaia

10

Calculul propoziional

Implicaia Q =:) P se numete conversa implicaiei P =:) Q.


lmplicaia1 Q =:) 1 P se numete transpusa implicaiei P =:) Q.

B. Dezvoltarea calculului propozifional


7. Formule propozitionale
Revenim la limbajul simbolic al logicii. El conine multe
elemente specifice limbajului matematic. Printre acestea pe cea
de variabil; aici de variabil propoziional.

Notm cu p, q, r, PI etc. aceste variabile.


Dac n propoziia logic

(R =:) (SI A S2

=:)

ce exprim n limbaj logic cele dou versuri eminesciene (cf.


2A), nlocuim propoziiile R, SI, S2, Q prin variabilele
propoziionale r, sI, S2, q obinem:
(r =:) (SI A S2

=:)

Aceasta nu reprezint propoziia logic de mai sus, ci


structura ei logic. i nu numai pe a ei, ci i a altora avnd
aceeai " fonn" cu ea. De aceea se va numi formul
propoziional.

11

B. Dezvoltarea calculului propoziional

Spre exemplu, structura propoziiei logice:


(P v

lp) => Q

prin care am transcris celebra fraz a lui Farfuridi din


"
"Scrisoarea pierdut (cf. 3A) se obine nlocuind P cu p n
fiecare dintre cele dou apariii ale sale i Q cu q. Ea va fi
exprimat prin formula:

(p v lp) => 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 formulele (propoziionale) trebuie
definite independent de propoziiile 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
reguli.
RI. Baza induciei. Orice variabil propoziional este o
formul propoziional.
R2. Pas ul induciei. Dac a i (3 sunt formule propoziio
nale] atunci

1 a, a /\ (3, a v (3, a=> (3,

(3

sunt fomlUle propoziionale.


Ilustrm aceast metod prin
Exemple. Variabi lele propoziionale q, r], r2, s sunt formule
propoziionale (R 1). Din aceste formule obinem (cf. R2)
formulele:
Aplicnd din nou R2 construim formulele:

qvlq
I

Notm a, 13, y etc. formulele construite c u ajutorul celor dou reguli.

12

Calculul p ropoziionaJ

Dup al treilea pas inductiv obinem formulele:

( q v 1 q)=>s
Operatorul (tiprit ngroat) introdus de regula R2 se
numete operatorul principal al formulei respective.
Parantezele pe care le-am introdus au rolul de a delimita
operatorul principal, al fiecrei formule, de restul formulei .
Pentru a n u suprancrca notaia putem renuna l a o parte din
ele adoptnd urmtoarea
4B.

Convenie. ntr-o formul n care apare un singur

acesta este operatorul principal .


Dac nu apare i apare un singur => , acesta va fi opera
torul principal, .a.m.d.
Astfel am introdus pentru fiecare dintre cei cinci operatori
cte un ordin de prioritate: cel maxim pentru , apoi => etc.
pn la 1 . Iat ordinea complet a lor

, =>, V, /\, 1

Exemple. n formula (fr paranteze)


p v q /\ r 1 p => q /\ r
operatorul principal este . Cele dou formule din care s-a
obinut, prin aplicarea regulei R2, aceast formul sunt

p v q /\ r i 1p => q /\ r
Ele au ca operatori principali v i respectiv =>.
Scris cu paranteze, formula iniial va fi
(p v ( q /\ r)) lp) => ( q /\ r))l

Observaie. Sunt cazuri n care parantezele devin indispen


sabile:
1 De multe ori se adopt o variant intermediar de scriere; de pild n
cazul de fa ea poate fi

(q /\ r) (::::) (lp::::) q

/\

r).

13

B. Dezvoltarea calculului propoziional

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 fi citit drept

(p => q) => (p 1\ q) sau dreptp => ( q => p 1\ q).


2) Formula p => ( q <=> p 1\ q) , n absena parantezelor ar
treb ui citit drept (p => q) <=> (p 1\ q).

8. Validitate propozitional
La fel cum calculul algebric se dezvolt pe baza identiti lor
algebrice, calculul logic se dezvolt pe baza identiti lor logice.
n calculul propoziional acestea sunt ,&f!!Ilele propoziional
valide. n faa fiecreia dintre ele vom pune simbolul: F
(terul exclus)
- Exemple: F p v lp
(negarea negaiei)
F <=> I Ip

F p 1\ (p => q) => q

(modus ponens) ,

n parantez am adugat denumirile principiilor logice pe


care fiecare dintre aceste formule le transcriu n limbaj
simbolic. Astfel, principiul terului exclus afirm c orice
propoziie logic este adevrat sau fals; principiul negrii
negaiei (sau dublei negaii) afirm c orice propoziie este
echivalent negrii negaiei sale; asupra principiului modus
ponens ne vom opri n paginile urmtoare.
Pentru a exprima un astfel de principiu ar trebui s-I
enunm pentru fiecare propoziie logic P, Q, R etc. n parte;
s scriem de pild

Pv lp, Qv lQ, Rv lRetc.


Aceasta se va putea realiza nlocuind P cu variabila pro
poziionalp, variabil ce ine locul oricrei propoziii logice.
Cnd spunem c formula
p v lp

14

Calcul u l propoziional

este propoziional valid nelegem faptul c orice propoziie


logic (P, Q, R etc.) am pune n locul lui p, propoziia logic
obinut prin aceast nlocuire 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, filosoful i logicianul austriac L. Wittgenstein le
consider " osatura lumii "l .
Rmne deschis problema: cum putem stabili c o astfel
de formul este, dup expresia lui Wittgenstein, o tautologie,
dac nu avem posibilitatea de a nlocui p cu fiecare dintre
propoziiile logice ( acestea fi ind n numr nelimitat)?
SB. Tabela i juncia de adevr a unei formule propozi
ionale. Dei n numr-potenial infinit, propoziiile l ogice se
mpart n dou categori i: adevrate i false.
Dac P este adevrat, l P este fal s (TAB l ), iar P v l P
este A v F adic A (TAB v ) .
Dac P este fals, l P este adevrat, iar P v l P este F v A,
adic A.
Prin urmare, deoarece negaia i disjuncia logic sunt funcii
(numai) de valoarea de adevr a lui P, este suficient s verificm
c propoziia P v l P este adevrat pentru o singur propoziie
adevrat i - respectiv - pentru o singur propoziie fals
pentru a trage concluzia c formula p v lp este valid.
Concluzia, mai general, ce se poate trage dintr-un astfel de
raionament este c fiecare formul propoziional a definete
cte o funcie de adevr.
De pild, formulele lp, p /\ q,p V q,p q,p q definesc
funciile de adevr explicitate prin TAB l, TAB /\ , TAB v,
TAB , TAB respectiv.
n general notm TAB a tabela de adevr a formulei a tabel ce expliciteaz funcia de adevr definit de a.

Tractatus Logico-Philosophicus, propoziia 6. 1 24 .

15

B. Dezvoltarea calculului propoziional

Exemple. 1) Pentru

mai sus

a:

p v l p tabela va fi c on fo nn celor de

pv lp

lp

p
A

A
A

TABpv l p
2) Pentru a: PA (p q) tabela va fi

q
A

p
A
A

F
F

p q
A
F

A
A

PA (p q)
A
F
F
F

TA B p A (p q)

3 ) Pentru
adevr va fi

p
A
A

a:

p A (p q) q (modus ponens) tabela de

q
A
F

pA(pq)q
A
A A
F
F
A
A
A
F
A
F
A

TAB P A (p q) => q

Am condensat n aceast tabel - sub fonna celor trei co


loane finale - rezultate pe care, n tabela anterioar le-am repre
zentat separat. Sub fiecare dintre cei trei operatori ai fonnulei a
am aezat coloana valorilor de adevr corespunztoare.

16

Calculul propozitional

n concluzie, fonnula modus ponens


P

(p

=>

q) => q

este propoziional valid, avnd pe coloana operatorului su


principal (cf. 3B) un ir nentrerupt de A.

7B. Dup structura ultimei coloane din TABa 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.
Exemplu. Fonnula p \ lp avnd tabela de adevr
-

p
A

F
F

TAB p \ l p
este inconsistent. Fonnula
valid

l (p \ l p ) va

fi deci, cf. TAB l ,

Ea traduce simbolic princip iul necontradiciei: o propoziie


logic nu este n acelai timp adevrat i fals.

B. Dezvoltarea calculului propoziional

17

8B. Cutarea unui contraexemplu. A lctuirea tabelei unei


formule clarific deplin statutul su (valid, contingent sau in
consistent). Cnd ea conine, de pi ld, cinci variabile propo
ziionale, tabelul va avea 25 32 de l inii, presupunnd foarte
multe calcule.
Cteodat putem clarifica mai uor statutul lui a, cutnd
un sistem de valori de adevr ale variabi lelor sale propoziio
nale pentru care a ia valoarea F. n caz c el exist, poart nu
mele de contraexemplu al lui a i probeaz c a este nevalid.
Cnd cutarea se blocheaz, artnd c nici un contraexemplu
nu exist, aceasta dovedete c formula a este valid.
=

Exemplu: (p v q) /\ (p V r) =} p v ( q /\ r)
Notm a: (p v q) /\ (p V r), f3: p v (q /\ r) .
O formul a =} f3 este F dac a este A i f3 este F ( TAB=} ).
Pentru ca a s fie A trebuie (TAB /\ ) ca
(1) p v q i p v r s fie A.
Pentru ca f3 s fie F trebuie (TAB v) ca

(2) p

q /\ r s fie F.
valorile pentru p, q,
i

Trebuie, deci, gsite


r care satisfac (1)
i (2).
Imposibil, deoarece q /\ r este F dac sau q sau r este F . Dar
p fiind F (cf.(2)), fie p v q, fie p v r va fi F contrazicnd (1).
Blocajul aprut dovedete c formula considerat este
valid.
Pentru a compara metoda cutrii unui contraexemplu fU
cea a tabelei de adevr, vom trata, cu aceasta din urm,
implicaia convers
y:

f3 =} a.

18

Calculul propoziional

Tabela corespunztoare este


p
A

A F

A
F

ql\r

')

pvq

'p

v r

fj

A'
;

p v (q 1\

q)l\(P v r1
li

y:

13 Il

II
F

ft

fP

TABy
n ea cititorul trebuie s completeze cele ase linii rmase
libere dup modelul celor dou completate. Utima coloan va
fi alctuit numai din A. Ceea ce dovedete c i y este valid.
Observaie. Validitatea celor dou impl icaii conduce la
validitatea echivalenei a (3, adic

1= p v (q A r) (p v q) A (p V r)l .
9. Substitutie i detaare

Principii le logicii propoziionale se exprim simbolic numai


prin formule valide. De aceea descoperirea celor dinti se face,
n logica simbolic, prin determinarea formulelor valide.
Att tabela de adevr, ct i variantele sale (cutarea de
contraexemple etc.) sunt doar ci de verificare a validitii
unor formule date. n timp ce noi trebuie s descoperim formu
lele val ide. Printre metodele unei asemenea activiti se nscriu
substituia i detaarea.
a) Substituia. Pentru a proba validitatea formulei propo
ziionale
1

S-a demonstrat, astfel, echivalena E26 de la pag. 95.

19

B. Dezvoltarea calculului propoziiona/

(1)

(p A (q V r

1 (p A (q V r

cititorul se poate atepta la completarea unei tabele de adevr


complicate, n genul celei de mai sus. Dar privind mai atent, el
poate s observe c de fapt aceast formul are o structur mult
mai simpl, perfect similar cu a formulei

(2)

p v lp.

Legtura dintre ele se stapilete printr-o operaie numit


substituie. Ea const, n cazul de fa, n nlocuirea fiecreia
dintre cele dou apariii ale variabilei propoziionale p din ( 2)
cu formulap A (q V r).
ntruct (2) este valid (cf. TAB p v lp) formula ( 1 ) va fi 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), apo i o
introducem ca valoare a lui p n tabela de adevr a lui ( 2). De
aceea, n coloana final gsim ntotdeauna A.

10B. Observaie. Aceast proprietate nu are loc dac sub


stituia nu se face peste tot sau uniform.
Spre exemplu , dac nlocuim n

p v lp
numai primul p cu p A (q
obinem formula

r), iar al doilea l lsm nenlocuit,

(p A (q V r

lp .

Ea este fals cnd p este A, iar q i

sunt F ( v eri fi cai!)

20

Calculul propoziional

b) Detaarea

Proprietatea decurge d irect din TAB=>: cnd propoziiile


logice P i P => Q sunt adevrate, propoziia Q este adevrat.
Ea se numete detaare (sau modus p onens
dup prin
cipiul logic pe care se bazeaz) deoarece permite desprinderea
(val iditii) concluziei 13 d in ipotezele (valide) a i a=> 13 .
-

1 0 . Echivalenta formulelor propozifionale

Utilizm n acest caz notaia

a-l3

Constatarea echivalenei se poate face alctuind o tabel de


adevr pentru amndou formulele plecnd de la toate
variabilele propoziionale ce apar n ele.
Exemplu. Dac

a: p v lp => q i {3 : q,

21

B. Dezvoltarea calculului propoziional

atunci tabela de adevr a celor dou pleac de la variabilele


propoziionale p i q

A
A
F
F

pv 1 p q

A
F
A
F

A
A
A
A

A
F
A
F

Echivalena a - rezult n urma constatrii c a doua i


ultima coloan coincid 1 .
Observaie. Dac am fi alctuit separat tabela formulei q care este

- o comparaie direct ntre coloanele lui


face!

i (3 nu se putea

Relaia de echivalen joac n calculul logic rolul pe care


identitatea l joac n calculul algebric.
Ea are trei proprieti importante i anume:
a) pentru orice formul a: a-a;
b) pentru orice formule a i : dac a - (3, atunci f3 -a;
c) pentru orice formule a, , y: dac a - (3 i f3 -y, atunci
a-y.

Prima se numete rejlexivitate,

tranzitivitate.

a doua

simetrie, iar a treia

n virtutea acestei echivalene cnd spune "... eu

am,

n-am nfiare, la
la

dousprece trecute fix m duc la tribunal!. ", Farfuridi afirm de fapt


dousprece trecute fix m duc la tribunal!" (a se vedea 3A).
..

"

22

Calculul propoziional

o relaie avnd aceste trei proprieti se numete echiva


len (n cazul nostru - una logic) i mparte formulele
propoziionale n clase de echivalen.
Orice dou formule din aceeai clas sunt echivalente ntre
ele, iar formulele din clase diferite sunt neechivalente.
Astfel, toate formulele valide alctuiesc o singur clas; la
fel i cele contradictorii (inconsistente); p i 1 1 p se afl n
aceeai clas, dar p i q se afl n clase diferite etc.
Plecnd de la o echivalen cunoscut

a-

putem descoperi noi echivalene n virtutea unei proprieti de


nlocuire a expresiilor echivalente.
Astfel, dac Ya este o formul propoziional n care apare ca parte alctuit din simboluri consecutive ale sale - formula
propoziional a, vom nota Y rezultatul nlocuirii lui a cu
(n una sau mai multe dintre apariiile sale n Ya).
Exemplu. Ya: (p :::::} p vq) 1\ (p V q)
a: p vq,

: qvp

Atunci Y poate fi oricare dintre formulele :


(p :::::} Pvq) 1\ (qv p),
(p :::::} qv p ) 1\ (p vq),
(p :::::} qvp) 1\ (q V p).

Astfel, deoarece conform E71

pvq-qv p,

rezult

Ya -Y
pentru oricare Y dintre cele trei de mai sus.
Proprietatea are multe consecine uti le, printre care i urm
toarea:
I

000'

La pagina 94 gsii o l ist cu 50 de echivalene logice valide notate EI>

Esoo

B. Dezvoltarea calculului propoziional

23

15B. Observaie. Formulele calcu lului propoziional au fost

construite cu ajutorul a cinci operatori logici

l, /\, v,,
n virtutea proprietii 14B i a unora dintre echivalenele
EIO, Eli, El3, E14, EI7, EI8 fiecare dintre ele este echivalent cu
cte o formul coninnd doar operatorii l, /\ respectiv l, v.
Exemplu. Ya: p (q r)

a: q r
a)

Dac

notm (3:

l(q/\ l r), conform EI4


a

deci, aplicnd 14B,

- (3,

Ya -Y13,

unde Y13:P l(q/\ l r) .

l (q l r), obinem conform 9B


Y13-l(p/\ll(q/\ l r - l(p/\(q/\ lr .

Substituind n E14' q cu

/\

DN

Astfel, prin tranzitivitatea echivalenei

Ya-l(p/\ (q/\ l r .

b ) Dac notm (3 : l q v r, conform El3


a - (3,
deci aplicnd 14B :
Ya-Y13'

unde
Substituind n EI3,

Y/3: p

lq v r.

q cu l q v r, obinem conform 9B

24

Calculul propoziional

iar prin tranzitivitatea echivalenei


Ya-

l p v (l q v r).

11. Dualizarea formulelor propozitionale


Echivalenele

Eg: l( a/\f3)-l a v lf3


E9:

l (a vf3)- l a/\ lf3

(cf. pag. 94) numite legile De Morganl evideniaz o simetrie


ntre operatorii /\ i v. Ea poate fi util izat n scopul transfor
mrii unei formule propoziionale a care conine doar cei doi
operatori i variabile propoziionale simple sau negate.
Exemplu:
y: p v( q /\

1y

E.
-

l p /\ 1 (q /\ 1 r ) - l p /\ (1 q v 11 r) - 1p /\ (1 q v r).
DN

Notm

1 r).

E.

y: l p /\ (1 q v r) i rezult
ly- y.

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

25

B. Dezvoltarea calculului propoziional

Numim duala un ei fonnule propoziionale a ce conine


doar operatorii A, v i variabile propoziionale simple i/sau
negate, fonnula a' obinut din ea inversnd operatorii A i \'
ntre ei.
Exemplu. Dac a : p v (p A 1 q), atunci a': PA (p v 1 q). S
observm c (a')' e ste a.

Reciproca, se obine din proprietatea direct utiliznd faptul


c ( a' ) ' este a i (13')' e ste 13.
Vom demonstra proprie tatea l7B n cazul fonnulelor
a:

c:

Din

p v (qAr),

13: (p vq)A(p V r).

- 13 (vezi obse,:"aia de la pag. 16) rezult, cf. 1 4B,

1 a - 113.
Pe de alt parte, cf. 16B, avem :

1 a - a i 113 Deci

B.

- f3 , adic

1p A (lq v 1r) - (lp A 1q) v (lp A 1r).


Substituind p cu 1p, q cu 1 q, reu 1 r, confo nn 9B rezult:
11p A (11qv 11r)- (11pA 11q)v (11pA11 r).

n fina l , supri mn d dublele negaii pe baza regu l ei DN,


obinem:

26

Calculul propoziional

PA

(q V r)

(p A q) V (p 1\ r).

Aceasta este proprietatea de distributivitate a conj unciei


fa de disjuncie.
Aadar, cele dou legi de distributivitate (1\ fa de v, v fa
de 1\ ) sunt duale una celeilalte. Validitatea uneia o implic, n
virtutea proprietii 17B, pe a celeilalte.

12. Forme normale


a) Formanor mal conjunctiv. Verificarea validiti i unei
fonnule propoziionale prin tabele corespunztoare de adevr
este un procedeu incomod. Pentru anumite fonnule ns, vali
ditatea (sau nevaliditatea) se poate observa di rect.
Acesta este cazul disj unciilor de dou sau mai multe varia
bile propoziionale simple sau negate.
Exem p le. 1) Disjuncial

p v q v lp
conine aceeai variabil propoziional (P) 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; disjuncia este valid.
2) D impotriv, disj uncia

pvqvlr
este F cnd p , q sunt F i r este A.
Concluzie. O disjuncie de variabile propoziionale simple
i/sau negate este valid dac i numai dac aceeai variabil
apare simpl i negat.
3) Fonnula a: p v l q v (q 1\ l p) este echivalent, n
virtutea distributivitii disjunciei fa de conjuncie (E26 de la
pag. 9 S ) cu
I

n virtutea echivalenei

E2J. a y (13 v y)

(a v 13) v y (asociativitatea disjunciei)


parantezele pot fi, n acest caz, omise.
-

B. Dezvoltarea calculului propoziional

27

(p v l q v q)l\ (p v l q v lp).
o conjuncie este valid numai atunci cnd fiecare termen
al su este o formul valid. Ceea ce este, n cazul de fa, ade
vrat. Aadar a este valid.
n general, orice formul propoziional a poate fi
transformat ntr-o formul, echivalent cu ea, de formal

n care fiecare ai este o disjuncie de variabile propoziionale


simple i/sau negate. Aceasta se numete forma normal
conjunctiv a lui a.
Dac n fiecare ai figureaz cel puin o variabil propoziio
nal att simpl ct i negat, atunci a este valid.
Dac n cel puin un ai acest lucru nu se ntm pl, atunci a
nu este valid.
b) Forma normal disjunctiv. Formula 1 a este valid dac
a este inconsistent (sau identic fa l s) i reciproc.
Proprietatea unei formule propoziionale a de a fi identic
fals se poate constata - fr alctuirea unei tabele de adevr prin transformarea ei ntr-o formul echivalent de tipul
al

al

v ... v Un

unde fiecare al este o conj uncie de variabile propoziionale


simple i/sau negate.
Conform TAB v , a este identic fals numai atunci cnd
fiecare ai este identic fals.
La rndul su formula ai este identic fals atunci i numai
atunci cnd n ea figureaz o aceeai variabil propoziional
att simpl ct i negat.
Exemplu. Formula a: p 1\ q 1\ (1 p v 1 r) se transform n
virtutea distributivitii conjunciei fa de disjuncie (E25 de la
pag. 95) n formula echivalent
I Omiterea parantezelor se datoreaz echivalenei
E22. a 1\ (13 1\ y) - (a 1\ 13) 1\ Y (asociativitatea conjunciei)

28

Calculul propoziional
(p

q A l p) y (p A q A

l r)

Ea reprezint o fonn normal disj unctiv a lui a. ntruct


al doilea termen al disj unciei nu este inconsistent (ia valoarea
A cnd p i q sunt A, iar r este F) nici a nu este inconsistent
(fiind A pentru acel eai valori ale lui p, q i r) .
Prin unnare l a nu este val id.

C. Axiomatizarea calculului propozifional

1 3. Metoda axiomatic
n lucrarea Elementele " , Euclid din Alexandria face, apro
"
ximativ cu 3 00 de ani nainte de Hri stos, o expunere sistema
tic a propoziiilor fundamentale ale geometriei din vremea sa.
Plecnd de la un numr restrns de axiome i postulate el
deduce, pe cale logic, toate celelalte propozii i . Dei, rapor
tat la standardele de azi, lucrarea conine unele imperfeciuni,
ea a rmas modelul de conciziune i rigoare n prezentarea
unui ansamblu de cunotine teoretice. S-a bucurat de un aa de
mare succes nct, n secolul al XVII-lea, fi losoful olandez B.
Spinoza i scria tratatul su de etic n fonna axiomatic
deductiv a Elementelor.
Apogeul metodei axiomatice unna s fie atins tot n geo
metrie, 2200 de ani dup Eucl id, prin cercetri legate de postu
latul paralelelor 1 Apariia unor geometrii " neeuclidiene" , n
care acest postul at este fals, a condus la o rsturnare a concep
iei despre " adevrat" i " fals" n tiinele deductive.

I ntr-o formulare modern, acest postulat afirm "La o dreapt dat,


printr-un punct dat care nu se afl pe dreapt, trece o paralel i numai u na".

C. Axiomatizarea calculului propoziional

29

Concomitent, apariia unor paradoxuri n teoria mulimilor l


a focalizat atenia cercettori lor domeniului asupra demon
straiei matematice, i ntroducnd standarde ridicate de rigoare
formal. S-a impus astfel ideea dup care nsi logica - com
ponent esenial a oricrei demonstraii - s fie organizat
dup modelul axiomatic deductiv propus de Euclid.
Aceasta presupune o ierarhizare a principiilor logice, unele
fi ind alese drept axiome din care toate celelalte se deduc pe
baza unor regul i expl icit fonnulate. Deducia capt caracterul
unor transformri ce se fac n virtutea forme i i nu a con
inutului. 2

1 4. Axiome i reguli deductive


a) Axiome. n orice ti in deductiv un adevr este recu
noscut ca atare dac producem o demonstraie a sa. Cum orice
demonstraie pleac de la adevruri anterior recunoscute, vor
exista, cu necesitate, adevruri fr demonstraie. Acestea sunt
axiomele.
Alegerea axiome lor calculului propoziional nu este arbi
trar, dei exist mai multe alegeri posibile.
n primul rnd, axiomele trebuie s fie formule valide.
Axiomele trebuie s fie "suficiente" n sensul de a putea de
duce d in ele toate formulele val ide. ntotdeauna verific i con
diia de a reprezenta "minimul " suficient (adic s nu putem
deduce pe una din celelalte).
Prezentm n cele ce urmeaz un sistem al c tu it din 13 axi
ome, propus de logicianul german G . Gentzen 3 . Ele se mpart
A se vedea anexa III.
Acest tip de exigene au fost fonnulate n cadrul unui program de
fundamentare a ntregii matematici i nitiat i condus de matematicianul
gennan D . Hilbert ( 1 862- 1 943). EI s-a numit "programul fonnalist" (ef.
anexa III).
3
Untersuchungen liber das Logische Schliessen, Mathematische
Zeitschrift, voI . 39, pg. 1 76-2 1 0. 405-43 1 .
I

30

Calculul propoziional

n 5 grupe, fiecare corespunznd cte unuia dintre cei 5 opera


tori logici.
Primele dou sunt axiomele de introducere a operatorului ==>
ntr-o formul logic (pe scurt: axiome de ==> - introducere):

Urmtoarele trei se refer la operatorul /\; prima este


axioma de introducere a operatorului /\ ( /\ - introducere) ntr-o
formul logic

.&IBit..-_

celelalte dou fi ind axiome de eliminare a sa (/\ eliminare)


-

Alt grup de trei axiome se refer la operatorul v :


dou sunt de v-introducere

iar una de v-e liminare

iar cealalt de l -eliminare (de fapt l l -eliminare):

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


una de <=>-introducere

i dou de

<=:)

eliminare

31

C. Axiomatizarea calculului propoziional

b )Reguli deductive

- . - : - . r_- ;X
_

'.

_' ,

""'

-_
, f

_
. . "",

'"
"" '

"'

Din formula propoziional a se deduce formula

a(P;{1 . . . . . p;iJ

obinut substituind n a variabilele propoziionale distincte PI .


. , p", c u formulele propoziionale B l, . . . , B " respectiv.
. .

--

Din formulele propoziionale

==> B se deduce formula

f3 .
Observaie. Regula D. numit i ==> - eliminare ine locul
unei axiome de ==> - eliminare ce nu figureaz printre cele 1 3
axiom e de mai sus.

1 5. Demonstratie i deductie
nainte de a preciza ce este demonstraia s considerm un :
le. Exemplu de demonstraie n calculul propoziional.

( l ) p ==> (p ==> p)

ax l a (q/p) S

W (P ==> (p ==> ==> ==> ==> ==> ==> (p ==>


ax

l b (q/p==>p, r/p) S

(3 ) (p ==> ((p ==> p) ==> p ==> (p ==> p) 1,2 D

(4) p ==> ((p ==> p) ==> p)

ax l a ( q/p==>p) S

(S ) p ==> p

4, 3 D

32

Calculul propoziional

Aadar, un ir de 5 formule propoziionale obinute fiecare,


fie prin substituie d i ntr-o axiom, fie prin detaare din dou
formule anterioare ei n ir.
irul de mai sus este demonstraia formulei p p, ce
devine - n virtutea existene i acestei demonstrai i - o teorem
a calculului propoziional.

4C.

Exemplu. q, p, p (q r) r este o relaie de

deductibilitate.
Iat deducia corespunztoare:
1) q

ipotez

2) p
3 ) p (q r)

ipotez
ipotez

33

C. Axiomatizarea calculului propoziional

2,3
1 ,4

4) q r
5)r

D
D

Se observ c o demonstraie este cazul particular al unei


deduci i fr ipoteze. Aadar, fiecare teorem este concluzia
unei deducii fr ipoteze. Motiv pentru care vom pune nain
tea fiecrei teoreme semnul . De pild:

p p.
De obicei, prin extensie, acelai semn se pune i n faa
axiome lor, ce pot fi considerate ca un caz limit de teoreme a
cror demonstraie se reduce la o singur formul: axioma
nsi .

1 6. Elemente de teoria demonstratiei


Proprietile relaiei de deductibil itate i ale cazului su
particu lar - demonstrabi litatea - formeaz obiectul teoriei
demonstraiei. Ea s-a dezvoltat ca o combinatoric a irurilor
finite de simboluri ce se transform dup regul i clare i
explicite.
Enunm n continuare proprieti ale re lai ei de deducti
b i litate, n care a, , y, al , ] , . . . sunt formule propoziionale.
SC.

a" .

..

, ai,

6 C . Dac

Bp y, atunci

. .. , am ai pentru orice i

a l , . . . , am I ; .. , ; a l , . . . , am
a) , . . . , am y.

7C. Dac

a B, atunci a B .

SC. Dac

a) , . . . , am- I

9C. Dac

a B, atunci a B .

1 , . . . , m.

p i dac B I ,

. . .,

am B , atunci al, . , am-] , am B


.

34

Calculul propozifional

lOC. Dac a\,

... , am

r (3, atunci al . . . . , am-I r am (3 .

Prima dintre proprieti se refer la cazul und deducii n


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

Exemplu. n deducia
p( ipotez), r(ipotez), p

p A r (D)

=>

(r => p A r) (ax 2), r

=>

p A r (D),

justificnd relaia de deductibilitate

p. r r p A r,
intercalm, n faa primei ipoteze, deducia

P A (q => r) ( ip .) , p A (q => r) => p (ax 3a) , p (D),


justificnd relaia de deductibilitate

q. p A (q => r)

r p.

n faa celei de a doua ipoteze intercalm deducia

P A (q => r) (ip.), p A (q => r) => (q => r) (ax 3 b),


q => r (D), q (ip .) , r(D),
justificnd relaia de deductibilitate

q. p A (q => r)

r r.

irul de formule obinut prin aceste intercalri

( l ) p A (q => r)

ip.

(2) P A (q => r) => p

ax 3a

C. Axiomatizarea calculului propoziional

35

1, 2

(3 ) p

(4) p /\ (q => r) => ( q => r )

ax 3b

(5) q => r

1 ,4

(6 ) q

tp.

(7) r

5 ,6

(8) p => (r => p /\ r)

ax 2

(9) r => p /\ r

3 ,8

7,9

( 1 0) p /\ r

j ustific relaia de deductibilitate

q, p /\ (q => r)

1- p /\ r.

7C este un caz particular al pro priet ii 8C.


n cazul celei din urm, pentru a gsi o deducie a formulei
(3 din ipotezele al . ... , am pornim de la deduci a lui am => (3 din
ipotezele al , . . . , am,-] , deducie pe care o completm astfel

(k + 1 )

ip.

(k + 2)

k, k + 1

Acest ir de k + 2 formule reprezint deducia lui (3 din


aceleai ipoteze i justific relaia de deductibilitate
a l . . . . , am-l , am

1- (3 .

9 C este un caz particular a l proprietii lOC numit i


teorema deduc/iei. Ea fundamenteaz una dintre cele mai larg
rspndite metode de demonstrare a unei implicaii a => (3;
anume aceea prin care, plecnd de la ipoteza a deducem
concluzia (3.
ilustrm printr-un exemplu metoda de a demonstra l OC.

36

Calculul propoziional

Plecnd de la deducia (cf. 4C) corespunzatoare relaiei de


deductibilitate

q, p, p (q r) f- r
vom construi deducia corespunztoare relaiei de deductibi litate

q, p (q r) f- p r

Reamintim c prima deducie este alctuit din 5 formule:

q,

p, p (q r),

q r,

r.

Pentru a o construi pe cea de a doua plecm de la irul de 5


formule:

(* )

p q, p p, p (p (q r)), p (q r), p r

Dei se termin cu formula-concluzie a celei de-a doua


relaii de deductibilitate, el nu este, cum se poate observa, o
deducie din ipotezele q i p (q r).
n schimb, reprezint "scheletul " pe care vom construi o
astfel de deducie. i anume intercalnd naintea fiecreia
dintre formulele irului (*) o deducie a formulei respective din
ipotezele q i p (q r). Pentru a putea urmri mai lesne
procedeul, aezm n coloane paralele deducia iniial i pe
cea obinut din ( * ) prin intercalare.

(I l )
( 1 2)
(13)
( 1 4)
( 1 5)
( 1 6)
( 1 7)

p => (q r)

q => r

( 8)
(9)
( 1 0)

(7 )

(6)

(1)
(2)
(3 )
( 4)
( 5)

Deducia iniial

ipotez
q
ada S
q (p q)
1 ,2 D
pq
p (P p)
demonstraia
(p (p (p
din
(p (p => p) => p => (p => p)
exemplul l C
p => (p => p) => p)
p => p
ipotez
p => (q => r)
ax l a (P/p => (q => r), q/p ) S
(p => (q => r => (p => (p => (q => r)))
D
p => (p => (q => r
9, 1 0
{p => p} => {p => (p => (q => r ) => (p => (q => r } ax l b (q/p, r/q => r) S
D
8, 1 2
(p => (p => (q => r))) => (p => (q => r
D
1
1
,
1
P => ( q => r)
3
S
ax l b
(p => p) => [(P (q => r => (p => r)]
D
8, 1 5
(p => (q => r => (p => r)
D
1 4, 1 6
p => r

Deducia obinut di n ( * ) prin intercalare

38

Calculul propoziional

1 7 . Necontradictia calculului propozitional


C ititorul i-a putut face deja o prere asupra metodelor prin
care se obin demonstraiile n calculul propoziional . Unul
d intre primele scopuri ale teoriei demonstraiei este de a arta
c n urma procesului demonstrativ nu se poate ajunge la o
teorem a i n acelai timp la teorema 1 a. Proprietatea n
cauz se numete necontradicia sau consistena calculului
propoziional. Ea decurge din urmtoarea

Aceast proprietate este consec ina urmtoarelor fapte.


a) Cele 1 3 axiome ale calculului propoziional sunt formule
propoziional valide.
b) Conform 9B o formul obinut prin regula substituiei
d intr-o formul val id este, la rndul ei, valid.
c) Conform I l B o formul obinut prin regula de detaare
din dou formule valide este i ea val id.
Prin urmare, teoremele calculului propoziional, care se ob
in din axiome prin cele dou regul i deductive, vor fi propo
ziional valide.

Conform 1 1 C, dac a i 1 a ar fi adevrate, atunci a i


ar fi propoziional valide, ceea ce contrazice definiia
val iditii propoziionale (6B) i TAB 1 .

39

C. Axiomatizarea calculului propoziion al

13C. Observaie . n calculul propoziional are loc, pentru


orice fonnule propoziionale a i , re lai a de deductibi litate

a,

l a ( l- eliminarea, vezi 1 8)

Aadar, dac pentru o formul propoziional a, att a ct


i l a ar fi d e mon strate , atunci toate fonnulele propoziionale
ar fi demonstrabile. Astfe l nct demonstrabi litatea n-ar mai
putea servi d rept criteriu al adevrului.
Consistena sau necontradicia impl ic aadar exi stena a
cel puin unei formule nedemonstrabi le.

1 8. Reguli deductive derivate


Pe msur ce avansm n procesul de demonstrare a teore
melor calculului propoziional, demon straii le devin lungi i de
aceea greu de construit i chi ar de urmrit. Motivul st n
numrul mic al regul i lor deductive (dou) pe care le putem
utiliza. Putem lrgi ns acest numr asoci ind fi ecrei axiome
cte o regu l deductiv corespunztoare. Acestea sunt de fapt
proprieti ale relaiei de deductibi litate (similare celor din
1 6) i care se pot demonstra. Ele se numesc regu li deductive
derivate.
Pentru fiecare din cei 5 operatori logici dispunem de reguli
de introducere i de reguli de eliminare a operatorului
respectiv.
Astfel, pentru operatorul ::::::} :
1, a rf3

rra ::::::} f3

Aceast regul n care r reprezi nt o l i st, posibi l vid, de


formule propozii onale, corespunde proprietii l OC I .

Li n ia de fracie, cu aj utorul creia

nlocuiete expresi a "dac .. . atunc i ..

" .

am

expri mat regu la de

-introd.

40

Calculul propoziional

Aceasta este regula de detaare sau modus ponens.


Pentru operatorul A :

Aadar, o regul de introducere i dou d e eliminare.


Pentru operatorul v:

a a v f3

r,

a y

r,

r,

a v j3 y

j3 y

r are aceeai semnificaie ca n regula =>

Pentru operatorul

lla a

1:

introducere.

a, l a f3

Prima dintre cele dou reguli de 1 -eliminare se mai nu


mete "eliminarea dublei negaii " (DN-elimin.)

C. Axiomatizarea calculului propoziional

Pentru operatorul

41

i
Avnd la ndemn proprietile S C- 1 0C i cele 1 4 regul i
d e deducie dispunem d e mai mult l ibertate de micare n pro- .
cesul de demonstraie. Iat, de exemplu, demonstrarea regulii

transpoziiei ) .

l f3 => l a
SC
( 1 ) a => 13, a, 1 13 a => 13
SC
( 2 ) a => 13, a, 1 13 a
=> -elim.
(3 )
a , a => 13 13
1 , 2, 3
6C
(4) a => 13, a , 1 13 f3
( 5) a => 13, a, 1 13 1 13
SC
4, S l -introd.
(6 ) a => 13, 1 13 1 a
a => 13 1 13 => 1 a 6 l OC
( 7)
a => f3

14C. Comentariu. Vznd acest ir de relaii deductive,


cititorul poate fi derutat n privina "strategiei" construirii sale.
ncercnd s-I lmurim vom parcurge aceste relaii de la
ultima spre prima; ncepem cu cea de demonstrat:

a =>
1

Reamintim c implicaia

a :=:) 13.

13 l f3 => l a.

l l3

:=:)

la

se numete transpusa implicaiei

42

Calculul propoziional

Trecnd n revist cele 14 regul i deductive vom constata c


singurele ce au n dreapta simbolului r operatorul , sunt
- introd. i <=> - elim. Deoarece n ipoteza relaiei de demonstrat
nu figureaz <=> ne fixm asupra - introd. n temeiul acestei
reguli, relaia de demonstrat se obine din relaia

a , 1 r 1 al .

n concluzia noii relaii apare operatorul 1 pentru a crui


introducere sunt necesare - prin regula l -introd. - dou relai i
de forma
,

a , l , a

rY

a , 1 (3 , a r l y.

Rmne s gsim o formul y pentru care cele dou relaii


s fie adevrate. Nu este greu de observat c o astfel de
formul este chiar (3 . ntr-adevr relaiile

a , l , a r i a => (3, 1 (3 , a r 1

se obin pe baza regulii de => -eliminare i a pro pr i eti i s e .


Primele patru linii din demonstraie nu sunt dect o cale de
.
a face acest lucru (utiliznd i proprietatea 6C).
Iat, cu aceleai mij loace, demonstraia p r i n c i p i u l u i tertium
non datur (terul exclus).

r a v la

unde

a este o formul propoziional.


(1)
a ravla
(2 ) 1 (a v 1 a) r 1 a
(3 )
la r a v l a
(4) l (a v la) r lla
r ll(a v la)
(5)

v - introd .
1 transp.

v- introd .

3 transp.
2, 4

l -introd .

J Aceast relaie deductiv corespunde unui principiu deductiv pe care


primii logicieni, ncepnd chiar cu Aristotel (3 84-322 nainte de Hristos) l-au
remarcat, alturi de m odus ponens . El s-a numit modus tollens.

C. A-xiomatizarea calculului propoziional

(6) l l (a v l a) a v l a

a v1 a

(7)

43

DN-elim.
5, 6

6C

19. Completitudinea calculului propozifional


Consistena calculului propoziional este, confonn 1 3C, con
diia de a nu putea demonstra toate fonnulele propoziionale.
Completitudinea este condiia de a putea demonstra toate
fonnulele valide i se mai numete de aceea completitudine n
raport cu validitatea. Demonstrarea sa se bazeaz pe urm
toarea constatare:

Vom exemplifica afirmaia rednd relaiile de deductibi


Iitate corespunztoare celor dou linii din TAB -]:

lp

p
A

i celor patru linii din TAB 1\

p l\ q

p, q P 1\ q
p, l q l (p l\ q)

l p, q 1 (p 1\ q)

lp, l q l (p 1\ q )

44

Calculul propoziional

Iat, ca exemplu, deducia corespunztoare relaiei de


deductibilitate p, 1 q r 1 (p A q ) :

( l ) p, l q, p A q r l q

SC

( 2 ) p, 1 q, P A q 1- p A q

5C

PAq rq

A-elim.

(4) p, l q, p A q r q

2, 3 6C

(3 )

p, l q

(5)

r l (P A q) 1 , 4 l -introd.

Se obin astfel 1 8 relaii de deductibilitate adevrate, cores


punztoare celor 1 8 linii din aceste 5 tabele.
Prin extensie, pentru fiecare formul propoziional se
obine - corespunztor fiecrei linii din tabela sa de adevr cte o relaie de deductibilitatate.
Spre exemplu, pentru formula

p A (P q)
avnd tabela la pag. 1 4, corespunztor celor patru linii ale
acesteia se pot obine relaiile de deductibilitate :

p, q r P A (P q)
p, 1 q

r 1 (P A (P q
lp, q r 1 (P A (P q
l p, 1 q r 1 (P A (P q
Iat, de pi ld, cum se obine a doua dintre aceste deducii:

( l ) p, l q, p A (p q) r l q

SC

(2)

p A (p q) r p

A elim.

(3 )

P A (P q) r p q

A elim.

(4)
(5)

p, p q r q
P A (P q)

rq

- elim.

2, 3 , 4

6C

C. Axiomatizarea calculului propoziional

45

(6) p, l q, p .l\ (p ==) q) P .l\ (p ==) q)

5C

( 7 ) p , 1 q , P .1\ (p ==) q)

5 ,6 6C
rq
p , l q r l (p .l\ (p ==) q 1 , 7 l -introd .
n cazul unei formule a propoziional valide i care conine

doar variabilele propoziionale p i q, relaiile de deducie


corespunztoare celor patru linii din TAB a vor fi:

ra
(2) p, l q r a
(3) lp, q a
(4 ) l p, l q r a,
(1)

p, q

din care deducem:

ra
(6)
l p, q v l q r a
(7 ) p v l p , q v l q r a
p, q v l q

(5)

1, 2

v-elim.

3, 4

v -elim .

5, 6

v-elim.

n mod analog:

Observaie. Drept caz particular al proprietii 6C (cnd

m = O) din

r B I > . . . , r /3p i /3), . . . , /3p r y rezult : r y.

n virtutea demonstraiei de la pag. 42

r PI v l pl ,

...

, r Pn v l Pn.

46

Calculul propoziional

Deci pentru orice fonnul propoziionaJ valid a, conf. 1 6C,


rezult:

r a.

47

Exerciii

Exercitii (Solutii la pag. 88)


1. Unnrii raionamentul unntor:

Animalele l iubesc dac le hrnete sau (mcar) nu le


lovete.
El le hrnete i (totui) animalele nu l iubesc.
Deci le lovete.
a) Utilizai urmtorul dicionar:
1 : animalele l iubesc,
H : le hrnete,
L : le lovete,
pentru a transcrie n limbaj simbolic cele trei propoziii ale
raiona-mentului. Cuvintele-cheie - scrise cursiv - indic
util izarea cte unui operator logic. Detenninai-l bazndu-v pe
cele discutate n capitolul A.
b) nlocuind fiecare dintre cele 3 propoziii simple I, H i L
prin variabilele propoziionale p, q i r, scriei fonnulele
corespunztoare celor trei propoziii ale raionamentului.
c) Verificai validitatea logic a raionamentului ca
validitate propoziional a implicaiei
al

/\

a2 (3 .

d) Artai c fonnula al /\ a2 este inconsistent. Ce rezult


de aici cu privire la validarea raionamentului cnd se nlocu
iete concluzia sa ( " le lovete " ) cu orice alt propoziie logic?
2. Se consider raionamentul :

Dac impozitele nu cresc, atunci s e nregi streaz un deficit


bugetar.
Dac se nregistreaz un deficit bugetar, sumele alocate
asistenei sociale scad.

48

Calculul propozitiobal

Impozitele cresc.
Deci sumele alocate asistenei sociale nu scad.
a) Determinai propoziiile simple i operatorii logici prin
aplicarea crora putei transcrie n limbaj propoziional cele
patru propoziii ale raionamentului.
b) Construii cele patru formule propoziionale a\, a2, a3,
corespunztoare acestor patru propoziii.
c) Verificai validitatea propoziional a formulei

al

a2 A a3 => .

Ce rezult de aici cu privire la validitatea logic a raiona


mentului n cauz?
3. Utiliznd descompunerea n propoziii simple i notaiile in

dicate n paranteze pentru acestea, stabilii validitatea propo


ziional a urmtorului raionament:
Dac suspectul comitea jaful (S), atunci utiliza un plan (P)
sau avea un complice n interior (C).
Dac utiliza un plan, atunci fura valori importante ( V).
Dac avea un complice n interior, acesta ar fi fost desco
perit (D).
Nu a furat valori importante i nici un compl ice nu a fost
descoperit.
Deci suspectul nu a comis j aful.
4 . (dup Keisler). Trei persoane X] , X2, X3, bnuite de evaziune

fiscal, declar fiecare sub prestare de j urmnt:


Xl : X2 este vinovat i X3 este nevinovat;
X2 : dac Xl este vinovat, atunci X3 este vinovat;
X3 : sunt nevinovat i cel puin unul dintre ceilali doi este
vinovat.

a) Transcriei n limbaj propoziional cele trei declaraii


utiliznd dicionarul
Pi : X; este vinovat. (i = 1 , 2, 3)
i operatorii logici.

49

Exerciii

b) Constru ii cele trei formule propoziionale a) , a2, a3


corespunztoare acestor dec laraii i verifi ca i dac ele sunt
consistente, verificnd c onsi ste na (necontradicia) formu lei

( cf. 7 B).
c) Pen tru

a ve r ifi c a d ac de c l arai a unuia dintre suspeci


ve r ifi c a i care d intre cele ase

rezu lt din d ec l a rai a altu ia,

formule
(i ;f. j)

este propoziional valid.


d) Dac cele trei persoane sunt nevinovate, care dintre ele a
d e pu s mrturie fal s?
e) Presu punnd c cei nevinovai au spus adevrul, iar cei
vinovai au minit putei preciza cine sunt v inovai i cine nu?
5. Constru ii deduci ile (cf. 9C) care s justifice urmtoarele

relai i de deductibil itate:

p, q p A q
b) p A q p
c) P p v q
d) I I p p
e ) p, l p q
a)

(A - i n troduc e re)
(A - eliminare)

(v - introducere)
( l l - eliminare)
( l - eliminare)

II. CALCU LUL PREDICATELOR

D. Idei introductive

20. I nsuficiente ale calculului propozitional

n prima parte am studiat un instrument logic capabil de a


j ustifica validitatea anumitor raionamente. Dar nu a tuturor
acelora pentru care avem motive ntemeiate s le considerm
drept corecte din punct de vedere formal.
Spre exemplu, cnd din propoziia
Toi petii triesc n ap
deducem propoziia
Petii rpitori triesc n ap,
o facem n virtutea unui principiu dup care ceea ce este
adevrat n toate cazurile, este adevrat i n cazuri speciale.
Formal ns, cele dou propoziii sunt propoziii simple,
adic nu pot fi obinute transformnd alte propoziii prin
intermediul celor cinci operatori logici. Simbolizndu-le prin P
i respectiv Q, structura logic a celor dou afirmaii este
redat de formulele p i q, care sunt variabi le propoziionale
distincte. Relaia de deductibilitate

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.

51

D. Idei introductive

Aceast condiie nu este ndeplinit, deoarece formula

p => q nu est valid.

Ceea ce n u repre zint un argument mpotriva validitii


logice a deduciei din exemplu, ci doar o dovad c mij loacele
calculului propoziional sunt insuficiente pentru a o justifica.
Rmne s vedem cum pot fi dezvoltate aceste mij loace
pentru atingerea unui asemenea scop.

2 1 . Structura logic a propozitiei simple


Tratate ca propoziii simple, ntre P i Q din exemplul
anterior nu apare nici o legtu r logic. Totui o astfel de leg
tur exist i va trebui pus n eviden. Vom face de aceea o
anal iz logic a structurii u n e i astfel de propoziii.
Analiza gramatical o descompune n subiect, predicat,
atribut, compl eme n t etc.
Analiza logic distinge doar dou componente: subiectul
logic i predicatul logic.
De exemplu, propoziia
Andrei este aprec i at

este alctuit din subiectul logic "Andrei " i predicatul logic

"
"este apreciat . .
Dar, dac dorim ca acest predicat s poat fi aplicat i altor
subiecte logice, vom scrie
(1)

x este apreciat

unde variabila x poate lua anumite valori, pentru fiecare dintre


ele expresia ( 1 ) devenind o propoziie logic. Este ceea ce n
matematic reprezint o funcie; aici este vorba de o funcie

propoziional.

Notaia pe care o adoptm este legat de notaia unei funcii


matematice, anume
F(x)

52

Calculul pred icatelor

care, n cazul funciei propoziionale ( 1 ) va fi

Ax .
nlocuirea lui x prin subiectul logic "Andrei " , notat a,
conduce la notarea propoziiei date cu

Aa 1
S trecem la un alt exemplu:
Andrei este apreciat de Ileana.
Aici putem considera diverse predicate logice (funcii propoziionale ):
x este apreciat de I leana;
Andrei este apreciat de y;
x este apreciat de y.
Observm c ultimul dintre ele este mai general deoarece
pennite obinerea primelor dou prin nlocuirea uneia dintre
variabi lele x i y prin cte un subiect logic. Dac l vom nota cu

Axy
propoziia din exemplu va cpta forma

Aai
(i reprezentnd subiectu l logic Ileana).
Continum seria exemplelor cu nc dou propozii i
Andrei se autoapreciaz;

( 2)

Andrei este apreciat de toi .

n primul caz putem considera un nou predicat ,,x se auto


apreciaz", dar credem c este mai adecvat, n acest context,
utilizarea predicatului Axy sub forma Aaa (Andrei este apreciat
de.Andrei).
I

Notaia aceasta inverseaz ordinea natural: subiect-predicat. Este

preferat deoarece poate fi mai comod generalizat la cazul predicatelor care


accept mai multe subiecte, aa cum se va vedea n cele ce urmeaz.

53

D. Idei introductive

Reuim astfel s punem n eviden scheletu l comun al


propoziiilor anterioare.
Vom discuta acum propoziia (2 ) .

22. Cuantificarea subiectului logic


Considernd "toi" ca subiect logic - s-I notm t - putem
utiliza acelai predicat Axy pentru a reprezenta (2) sub forma
Aaf.
Realizm astfel ceea ce se numete o form n dezacord cu
coninutu l ! Cci "toi" nu reprezint n (2) un subiect (per
soan sau colectiv de persoane) care l apreciaz pe Andrei, ci
expresia sintetic a afirmaiilor simultane:
Andrei este apreciat de I leana, Andrei este apreciat de
Andre i etc.
Cu alte cuvinte c pentru fiecare x (persoan), Andrei este
apreciat de x.
Aceast idee - de cuantificare a subiectului logic x ntr-o
funcie propoziional (aici A ax) - se exprim simbolic prin
aezarea cuantificatorului general sau universal \fx 1 n faa
acelei funcii propoziionale
\fx Aax.

Expresia se citete
pentru toi x: Andrei este apreciat de x . .
Cuantificarea subiectului logic este una d intre cele mai
fecunde idei pe care se bazeaz calculul pred icatelor. Cu aju
torul ei putem exprima, util iznd predicatul Axy, i prima
dintre propozii i le analizate
Andrei este apreciat.
Pentru aceasta vom apela ns la cellalt tip de cuantificare:'
particular sau existenial. Ea se exprim simbolic punnd n
faa predicatului Aax cuantifica/orul particular sau existenial
3x
3 x Aax.
I

A rsturnat (\1)
-

este initiala cuvntu lui aII = toi (n

1. englez).

54

Calculul predicatelor

Expresia se citete
pentru unii x: Andrei este apreciat de x,
sau
exist unii x pentru care: Andrei este apreciat de x.
Regsim aici o formulare explicit a ceea ce, ntr-o form
eliptic, se gsea exprimat prin
Andrei este apreciat.

Observaie. Reinem condiia de existen a unor per


soane care l apreciaz pe Andre i - coninut n aceast form
de exprimare.
-

23. Argumente exprimate n


limbajul calculului predicatelor
Continum s transcriem n acest nou limbaj , judeci i
raionamente din limbaj u l natural.
I D . Unii (oameni) sunt apreciai.

Unii sunt capabili.


Deci: unii sunt apreciai i capabili.
Notnd:

Ax : x este apreciat
Cx : x este capabil
obinem, pe baza calculului propoziional:

Ax A Cx : x este apreciat i (x este) capabil.


Astfel, transcrierea simbolic a argumentului alctuit din
cele trei afirmaii este
3x Ax, ::Ix Cx ::Ix (Ax A Cx).
2D. Observaie (universul sau domeniul discursului). Toi
cuantificatorii ( V i ::1) 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 la o aceeai colecie de indivizi (persoane,
obiecte etc.) precizat n fiecare caz n parte. Ea poart numele
de domeniu sau univers al discursului.
3D. O problem important legat de transcrierea diverselor
argumente este aceea a exprimrii n limbaj simbolic a celor
patru tipuri de propoziii din logica clasic:

A: toi P sunt R (universal afirmativ);


1: unii P sunt R (particular afirmativ);
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 s ingur subiect logic

Px : x este P,
Rx : x este R.
Astfel, "toi P sunt R" va fi interpretat sub forma condiio
nal "pentru orice x: dac x este P, atunci x este R". Simbolic:

A : Vx (Px Rx).
Propoziia " unii P sunt R", va fi interpretat drept " pentru
uni i x: x este P i x este R" i redat simbolic

1 : :3x (Px /\ Rx).


Cele dou propoziii negative E i O sunt interpretate n
acelai mod, dar schimbnd predicatul Rx cu negaia sa l Rx;
astfel

E: Vx (Px l Rx)
O: :3x (Px /\ l Rx)

IA

i 1 sunt primele dou vocale din A FFIRMO, iar E i O sun t vocalele

din NEGO.

56

Calc ulul predicatelor

Rmne s vedem mai trziu n ce msur aceste transcrieri


sunt sau nu adecvate.
Revenind la exemplul de la pag. 5 0 s transcriem simbolic
n acest mod cele dou propoziii pe care le conine. Conside
rnd predicatele

Px: x este pete,


Ax: x triete n ap,
Rx: x este rpitor,
vom transcrie prima propoziie sub forma

\:/x (Px => Ax),


iar pe a doua, sub forma

\:/x (Px 1\ Rx => Ax).


Relaia de deductibilitate ntre cele dou propozii i va fi,
conform exemplului
4D.

\:/x (Px => Ax) \:/x (Px 1\ Rx => Ax).

E. Dezvoltarea calcu l u l u i predicate lor

24. Formule cu predicate


Sub acest nume includem formu lele propoziionale, dar i
pe cele n care pot apare dou noi tipuri de variab i le :

variabile individuale (notate x, y,


variabile de predicat.

Z, X l

etc.),

Acestea din urm vor fi notate cu aceleai l itere ca i


variabilele propoziionale (p, q, r, Pl etc.) fi ind ns urmate de
una, dou, trei etc. variabile ind ividuale i alctuind aa
numitele formule atomice.
Iat exemple de formule atom ice

p, p(x) , p(x, x) , p(x, y), q(y, y) etc.

E. Dezvoltarea calculului predicatelor

57

l E . Formulele cu predicate se construiesc pas cu pas,


similar cu cele propoziionale (conf. 3B) n baza a dou regul i
inductive.
R l . Baza induciei. Formulele atomice sunt formule cu
predicate.
R2 . Pasul induciei. a) Dac a i 13 sunt formule cu
predicate, atunci

l a,

a A 13, a v 13, a => 13, a <=> 13

sunt formule cu predicate;


b) Dac x este o variabil individual 1 i a este o formul
cu predicate, atunci
I

Vx a

3x a

sunt formule cu predicate.


2E. Convenia 4B cu privire la paranteze rmne valabil
fiind completat cu o clauz prin care cuantificatori i V i 3 au
aceeai prioritate ca i l.
Spre exemplu formula
3x p(x) A q (x) va nsemna (3x p(x)) A q (x)
[i nu 3x (P(x) A q (x))] .
3E.

Apariii libere i legate ale unei variabile individuale.

Formula a din R2b se numete domeniul cuantificatorului Vx,


respectiv 3x, i fiecare dintre apariiile lui x n a se numete
2

1egata

1 X
2

poate fi oricare din vari abilele x. y.

etc.

n termi nologia general a calcul ului, variabila este un simbol ce poate

fi nlocu it cu valori dintr-o mulime dat de valori. Este ceea ce corespunde


aici notiunii de variab il l iber.
Dar n expresii ca

L "I1
00

n1

n.

sau

fa sin xdx

variabi lelor

nu li se pot

da valori, doarece expresiile desemneaz valori fixate. Ele se numesc


variabile legate sau aparente.

58

Calcu lul predicatelor

Orice apariie a unei variabile care nu este legat se numete


apariie liber .
Exemplu.
apariii legate

J:

:3x p(x) 1\ Vy (p(y) 1\ q( y)


apariie liber
Fiecare apariie legat a unei variabi le, se leag de un anu
mit cuantificator. Astfel, n formu la din exemplu, prima apari
ie legat (a lui x) se leag de primul cuantificator, iar urmtoa
rele dou aparii i legate (ale lui y) se leag de al doilea
cuantificator.

25. Validitate n calculul predicatelor

Interpretarea unei formule cu predicate.


Limbajul calculului cu predicate extinde pe cel propoziio
nal, iar validitatea formulelor cu predicate extinde validitatea
formulelor propoziionale.
Formulele propoziionale sunt alctuite din variabile propo
ziionale i operatori logici . O variabil propoziional poate fi
interpretat ca propoziie logic adevrat sau fal s. Interpre
tnd astfel toate variabi lele formulei propoziionale i util iznd
tabelele de adevr ale operatorilor logici putem determina va
loarea de adevr a formulei pentru fiecare asemenea interpre
tare (cf. 8).
Pentru a interpreta o formul ce conine variabile indivi
duale i de predicat, pornim de la o mulime nevid U numit
univers al discursului (cf. 20).
4E.

Exemplu. a(x, y) : p(x) v (q (x, y) l p(x

Consider U alctuit din dou elemente (le notm 1 i 2). n


acest U variabila de predicat p(x) poate avea 2 2 = 4
interpretri :

E. Dezvoltarea calculului predicatelor

59

p(x)
x
1
2

I
A

II
A

CE]

IV
F
F

III

F
A

TAB p(x)
iar variabila de predicat q(x, y) poate avea 24

1 6 i nterpretri

q(x, y)
1

II

I I I I V V VI VII VIII I X X X I X I I XIII XIV XV XVI

1 1 A

l 2 A

2 1 A

2 2 A

xy

TAB q(x, y)
Fixnd interpretri pentru variabilele libere x, y ct i
pentru variab ilele de predicat p(x) i q(x, y) vom putea
determina, uti liznd tabelele TAB => i T ABv, valoarea de
adevr a formulei date la fel ca n calculul propoziional .
De pild, pentru x 2 i y 1 , p(x) avnd interpretarea II, iar
q(x, y) interpretarea X, g s i m n tabele c p(2) este F i q(2, 1 )
este A . Aadar, formula
=

p(x) v (q(x, y) => l p(x)) devine F v A, adic A .


Formula dat este valid n U saij. 2-valid1, dac n fie care
dintre cele 2 5 6 a stfe l de i nterpretri ea capt valoarea A .
SE.

Observaie. ntru ct n u conine cuantificatori i variabile

legate, validitatea (sau nevaliditatea) acestei formule poate fi


1 Natura elementelor lui U nu va juca nici un rol n cele ce urmeaz. Ceea
ce va conta este doar n umru l acestor elemente.

60

Calculul predicatelor

verificat mult mai simplu: pe baza calculului propoziional.


Anume, tratnd fiecare fonnul atomic distinct ca o variabil
propoziional distinct i alctuind o tabel corespunztoare de
adevr. n cazul de fa ea este

p(x)

q(x, y)

A
A
F
F

A
F

q(x, y) => 1 p(x)

p(x) v (q(x, y) => l p(x

F
A
A
A
TAB a(x, y)

A
A
A
A

i ne arat, prin numai dou coloane de calcul, c oricum am


alege valorile x, y n U i valori le corespunztoare de adevr
pentru p(x) i q(x, y), fonnula este adevrat. -i aceasta nu
numai cnd U are dou elemente, ci un numr orict de mare
(chiar infinit !) de elemente.
Este ceea ce, n calculul cu predicate, vom numi fonnul
valid n orice univers (al d iscursului); ntr-o expresie - for
mul universal valid.
Nu la fel stau lucrurile cu o fonnul care conine cuanti
ficatori. Cci pentru detenninarea valorii sale de adevr trebuie
s inem seama de interpretarea acestor cuantificatori.
6E. Exemplu. Vx p(x) => p(y)
Astfel, de pi ld, dac U = { 1 , 2 }, iar predicatul p(x) capt
interpretarea 1 din TAB p(x), fonnula Vx p(x) va fi A [deoarece
att p( l ) ct i p(2) sunt A] .
Pentru determinarea valori i de adevr a fonnulei p(y) fixm
o interpretare a variabilei individuale y n U, de exemplu y = 1 .
ntruct p( 1 ) este A, n interpretarea aleas fonnula din
exemplu este A => A deci A.
Pentru a constata ns c fonnula din 6E este universal
valid vom pleca de la un univers nevid U avnd un numr
finit sau nu de elemente. Nu mai putem tabela, ca mai sus,

E. Dezvoltarea calculului predicatelor

61

interpretrile predicatului p(x). Nici n u ne-ar fi d e folos. Vom


mpri aceste interpretri n dou categorii :
a ) cele n care formula 'IIx p(x) este adevrat (cu alte
cuvinte, n care p(x) este adevrat oricare ar fi x n U) i
b) cele n care formula 'IIx p(x) este fals.
n prima situaie, oricum am interpreta variabila indiv i dual
y n U, p(y) este adevrat, deci formula 6E este adevrat.
n cazul b) formula 6E poate fi F =? A sau F =? F, dup
cum este interpretat y n U; dar n ambele cazuri 6E este,
conform TAB=?, adevrat.
7E.

Exemplu. p(y) =? 3x p(x)

De data aceasta interpretrile lui 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 cititorului plcerea de a descifra, n fiecare dintre cele
dou cazuri, motivul pentru care formula 7E este adevrat.

Marcm validitatea universal a unei formule cu predicate,


aeznd n faa ei, ca i n calculul propoziional, semnul F .
Astfel, din cele discutate pn acum

F p(x) v (q(x, y) =? lp(x


F 'IIx p(x) =? p(y)
F p(y) =? :3x p(x)

SE. Cutarea unui contraexemplu pentru o formul cu


predicate. Un astfel de contraexemplu este alctuit dintr-un
univers nevid pe care sunt definite interpretri pentru fiecare
din variabi lele (libere i de predicat) ce apar n formula respec
tiv. Condiia este ca n aceste interpretri formula s capete
valoarea de adevr F.
Cnd un astfel de contraexemplu exist formula este
nevalid.

62

Calculul predicatelor

Vom cuta n continuare un contraexemplu pentru formula


a:

3x p(x) /\ 3x q(x) 3x (P(x) /\ q(x .

Conform T AB, interpretri le celor dou variab i le de


predicat p(x) i q(x) trebuie alese astfe l nct
a) 3x p (x) /\ 3x q(x) s fie A ,
b) 3x (P(x)

/\

q(x s fie F .

Confonn T AB/\ pri ma condiie se poate reformula astfel


al) 3x p(x) s fie A i 3x q(x) s fie A .
F i e U universu l n care considerm aceste interpretri.
Conform con d i i e i i exist n U e lementele i i } astfel nct
p(i) i q(j) s fie A .
Conform cond iiei b, pentru orice element x din U

p(x) /\ q(x) este F .


De aici rezu lt c i . j, cc i altfe l p(i) /\ q(j) cu i = j a r fi A ,
contrazicnd b .
A l e gn d U { 1 , 2 } i interpretrile n U a l e celor dou
pred icate dup cum urmeaz:
=

x
1

p(x)

A
F

q(x)
F
A

constatm ndep l in i rea condiii lor i b .


Contraexemplul astfel determinat probeaz neval iditatea
fonnu le i a.
9E. Observaie. Dac U ar fi fost alctuit d intr-un singur
element, cond iia b n-ar fi putut fi ndeplin it. Aadar ntr-un
astfe l de domen iu formula a este' val id.
n concluzie a este l -val id, dar nu este n-valid pentru n > 1 .

E. Dezvoltarea calculului predicatelor

Exemplu. .3x (P(x) 1\

63

lp(x

Acesta este cazul formulei

a.

din

8E.

Fixnd valori l e de adevr pentru p " . . , pk, un u n i vers nevid


U i interpretri n U pentru q], . . . , qlll ' i x J ,
, xn , conf. 1 O E,
.

. . .

i 1 a. trebuie s capete aceeai valoare de adevr: A . Ceea ce


contrazice T AS 1 .
a.

26. Substitutii n calculul predicatelor


Ca i n calculul propoziional suntem n cutarea acelor
operaii prin care d in formule (un iversal) valide s obinem alte

J Fiecare dintre aceste variab i le d e pre d i cat poate fi u rmat de un numr


oarecare de variab ile indivitluale.

64

Calculul predicatelor

fonnule de acelai tip. Printre acestea se afl substituiile


variabilelor ce apar n fonnule.
a) Substituia variabilelor propoziionale se face n modul
descris n 9a, cu pstrarea proprietii de validitate.
b) Substituia variabilelor individuale libere i a celor de
predicat este pennis 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 fonnula valid 6E


'ilx p(x) p(y)

substituim fonnula atomic p(x), pe rnd, cu fiecare dintre


fonnulele
c) :3y p(x, y)
b) :3z p(x, z)
a) p(x, x)
i obinem unntoarele rezultate corespunztoare :

i) 'ilx p(x, x) 'p(y, y);


b/) 'ilx :3z p(x, z) :3z p(y, z);
i
C ) 'ilx :3y p(x, y) :3y p(y, y).
Dar n timp ce fonnulele i i bl sunt, ca i fonnula dat,
valide, pentru fonnula Ci exist unntorul contraexemplu:
n universul U { l , 2 } pentru variabila de predicat p(x, y)
se definete unntoarea interpretare
=

x
1
I

2
2

y
1

2
I

p(x, y)
F

A
A
F

n aceast interpretare fonnula 'ilx :3y p(x, y) capt


valoarea A , iar fonnula :3y p(y, y) - valoarea F (de ce?).
Confonn TAB, formula Ci va fi fals.

65

E. Dezvoltarea ca/culului predicate/or

Cauza alterrii val iditi i formulei 6E prin substituia c se


datoreaz unui viciu de form. Anume, datorit coincidenei de
notaie (y) ntre variabila l iber din 6E i vari abi la legat din
formula c, n urma substituiei, variabila liber y din 6E devine
variabil legat n C, I .
Pentru evitarea unor astfe l d e situaii facem urmtoarele
precizri:

Spre exempl u y este substituibil lui x n 3z p(x, z), dar nu


este substituibil lui x n 3y p(x, y).

De pild, apariiile lui p(x) n fonnula 6E fiind p(x) i p(y),


3z p(x, z) este substituibil lui p(x) n aceast formul, deoarece x,

i respectiv y sunt substitu ibi le lui x n 3z p(x, z) .


Dar 3y p(x, y) nu e ste substituibi l lui p(x) n 6E, deoarece y
nu este substituibi l lui x n 3y p(x, y).
n general :

Fenomenul nu se produce n cazul b cnd variabi la l egat fiind notat

diferit (=), variabila Iiber y din 6E rmne i dup substituie, liber,


2 v, VI> " "

VII

desemneaz oricare dintre variabilele individuale x, y,

Z, X I

etc,

66

Calculul predicatelor

Cu aceste precizri au loc urmtoarele extensii ale pro


prietii 98 la calculul predicatelor

Ca aplicaie considerm o formul cu predicate (x) i o


variabil individual y s ub st ituibil lui x n (x); notez (y)
rezultatul acestei substitutii.
n baza proprietii 1 7 Eb, din
F Vx p(x) p(y) i F p(y) :3x p(x)
rezu lt
1 8E.
F Vx (x) (y) i F (y) :3x (x).
27. Echivalenta formulelor cu predicate
a

La fel ca i formulele propoziionale, formulele cu predicate


i se numesc echivalente dac

F a <=> .
Util izm aceeai notaie c a i n calculul propoziional

a - .
I

Vezi nota 2 de la pag. 65.

E. Dezvoltarea calculului predicatelor

67

n virtutea definiiei t OE a validitii (universale a) formu


lelor cu predicate i a tabelei TAB<=> rezult urmtoarea

Exemplu (formule congruente). Dou formule cu predicae


sunt congruente dac difer numai prin notaia variabilelor
legate.
Astfel
\:Iz p(x, z)

\:Iy p(x, y)

sunt congruente.
Tot congruente sunt i formulele
3.x p(x )

Vy (p(y) v q(x, y i 3y p(y) A \:Iy (p(y) v q(x, y ,

dar nici una nu este congruent cu formula

3x p(X) A \:Iy (p(y) v q(y, y.


Pentru a pune n eviden congruena sau incongruena
dintre aceste formule marcm doar poziiile variabilelor legate
precum i relaia lor cu cuantificatorii care le leag. Astfel

3 , pe,) A \:1 t (P(r) v q(x, "1


este schema comun primelor dou formule, iar
:3

- p(-) A \:1
L......:..J

(P(-)
I

q(-, -
J.-..J

este schema celei de a treia.


Formulele congruente au aadar aceeai schem.

n virtutea proprietii 1 9E:

68

Calc ulul predicatelor

P rop ri etatea 1 4B se extinde pentru formulele c u p red i c ate


astfel

La pagina 95 am dat o l i st cu 2 3 de echivalene ale unor


formule cu predicate, notate E28, , Eso.

Aplicaie: forma prenex a unei formule cu predicate.

Aceast proprietate este dedus n urma apl icri i unui


proces prin care cuantificatorii ce apar n y sun t, treptat, trecui
n faa ce lor c inci operatori propoziional i . Iat cum decurge e l
n cazu l formulei
y: ::Jx p (x)

=?

l ::Jx q (x, y).

1 . Pe baza echivalenei E33 rezu lt:

l ::Jx q(x, y)
I

Formu l a

"Ix l q(x, y),

este al ctu it din s i m b o l uri consecutive ale fonnu l ei Yo.'

E. Dezvoltarea calculului predicatelor

apoi a proprieti i 2 1 E :
Y 3x p(x )
-

=>

69

't/x l q(x, y).

2. Conform E30 :

't/x l q(x, y) - 't/z l q(z, y),


apoi, conform proprietii 2 1 E :

Y 3x p(x) => 't/z l q(z, y)


-

3. Conform E43 :

't/x (P(x) => 't/z l q(z, y))

4. Conform E40:

p(x) => 't/ z l q(z, y) - 't/z (P(x ) => l q(z, y)),


apoi, conform proprieti i 2 1 E:
Y

't/x (P(x ) => 't/z l q(z, y)) - 't/x 't/z (P(x) => l q(z, y)) .

Aadar, am gsit c una dintre formele prenexe Ypr ale for


mulei Y este fonnula

't/x 't/z (P(x ) => l q(z, y)).


Observaii. E a nu este unic. Spre exemplu - conform E49
o alt form prenex pentru Y este

't/z 't/x (P(x) => l q(z, y)) .


28. Dualizarea formulelor cu predicate
S imetria proprieti lor operatorilor propoziionali A i v
este completat, n calculul predi catelor, de o simetrie a pro
prietilor cuantificatori lor 't/ i 3 .
ntre A i 't/ , respectiv v i 3 exist, d e altfel, o legtur strns.
Astfel, afirmaia "oricare x are proprietatea a", simbol izat

't/x a(x)

70

Calcu l u l predicatelor

capt, n universul cu n e lemente U


conjunciei logice

{ I , 2, . . . , n}, forma

Afirmaia " un ii x au proprietatea a" , s imbol izat

::3x a(x)
capt, n acelai univers, forma disjunciei

a( 1 ) v a( 2) v

' "

v a(n).

Pe baza legi lor 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

1 (a( l ) a(2) v . . . v a(n - l a( l ) /\ l a(2) /\ . . . /\ l a(n).


v

Ceea ce corespunde echivalene lor:

E32. 1 '\Ix a(x) - ::3x 1 a(x)


E33' 1 ::3x a(x) - '\Ix 1 a(x)

Proprietatea 1 6B se extinde la cazul unei formule cu


predicate, a, astfel

Exemp lu.

a : '\Ix :3y ( l p(y) /\ ::3z q(x, z .

1 Parantezele, necesare ntr-o conj uncie sau disjuncie cu mai mult de doi
termen i , pot fi o m i se n baza legilor asociativitii ( E22 i E2J).

71

E. Dezvoltarea calculului predicatelor

Utiliznd echivalenele propoziionale E32 i E33, obinem


pe rnd

1 a.
- 3x

EJ2

3x l3y ( lp(y) /\ ::Iz q(x, z

Vy ( l l p(y) v 1 3z q(x, z

Formula obinut n

finalul

DN, E ))

E ))

::Ix Vy 1 ( .

Es

3x Vy (p(y) v Vz 1 q(x, z .

acestor transformri

este

a.

Enunm proprietatea care extinde 1 78 la formulele cu


pred icate.

Exemplu . Echivalena
E46 Vx a(x) /\ Vx r3(x) - Vx (a(x) /\ r3 (x
se transform prin dualizare n ech ivalena
E47 . 3x a(x) v ::lx r3(x) - ::Ix ( a(x)

r3 (x .

29. Reguli de cuantificare


Putem obine, plecnd de la formule val ide, alte formule
valide pe o cale ce nu are corespondent n calculul propozi
ional : regulile de cuantificare ,
M en i o nm dou astfel de reguli.

72

Calculul predicatelor

Verificm regula V . Presupunem c


Fixm un un ivers nevid U i alegem iilterpretri pentru
fiecare dintre variabi lele (propoziionale, de predicat i indivi
duale l ibere) ce apar n formulele a i Vx !3(x).
ntruct x nu apare l iber n a, prin ipotez, dar nici n
Vx !3 (x), conform 3 E, acestei variabile nu i-a fost acordat, prin
alegeri le menionate, nici o interpretare.
Dup valoarea de adevr pe care o ia formula a
n
interpretrile alese - distingem dou cazuri:
a) a ia valoarea F;
b) a ia valoarea A.
n primul caz formula a Vx !3(x) este, conform TAB,
adevrat.
n cazul b, alegnd ca interpretare pentru variabila l iber x,
din !3(x), pe rnd fiecare element i din U, valoarea de adevr a
lui a nu se modific (deoarece a nu conine aceast variabil
liber).
ntruct a ==> !3(x) este val id, (conform ( 1 , a ==> !3(i) este
adevrat.
a fiind adevrat, !3(i) va fi adevrat ( TAB==> ).
-

F. Axiomatizarea calculului predicate/or

73

Aadar, n acest caz, V'x /3(x) va cpta - n interpretrile


alese - valoarea A; la fel ca i formula
a V'x /3(x)

Verificarea regu l i i :3 se face uti l iznd aceleai principii.


Presupunem
(2)
a(x) /3
i alegem universul nevid U i interpretri ale variabilelor pro
poziionale, de predicat i ind ividuale libere ce apar n formu
lele 3x a(x) i /3. Variabilei individuale x, care nu apare liber
n n ici una dintre cele dou formule, nu i se fixeaz acum nici
o i nte rpretare .
a) Cnd /3 este, n aceste interpretri, A, formula :3x a(x)
/3 va fi A.
b) Cnd /3 este F, al e gn d ca i nterpretare pentru x, pe rnd,
fiecare element i din U, conform (2) i TAB, gsim pentru
a(i) valoarea F .
Aadar, n acest caz, :3 x a(x) va lua - n interpretrile alese
n U - valoarea F, iar formula
:3x a(x) /3
va fi devrat.
Observaie. Exist, pe lng acestea dou, i alte regu l i de
cuantificare a variab i lelor l i b e re ntr-o formul valid, cu ps
trarea val iditi i . Dar vom vedea n capitolu l urmtor c ele pot
fi obinute, pe cale deductiv, din cele de mai sus.

F. Axiomatizarea calculului predicatelor


30. Axiome i reguli deductive

Calculul predicatelor este o dezvoltare a calculului propoziional.


a) Axiome. Cele 1 3 axiome ale calculului propoziional
( 1 4a) sunt axiome i pentru calculul 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 formulele cu predicate a i a => f3 deducem formula (cu
predicate) f3.
Ea se noteaz, pe scurt, D.
'
b2) Regula substituiei, notat S, se refer la cele 1 3 axiome
propoziionale i respectiv la cele dou noi axiome: ax V i ax 3.
Pe baza ei, din axiomele ax l a, . . . , ax 9b deducem rezultatul
substituiei 1 uneia sau mai multor variabile propoziionale prin
formule cu predicate.
Totodat regula S ne permite deducerea din ax \;1 a
formulelor

\;Ix f3(x) => f3(y),


i din ax 3 a formulelor

f3(y) => 3x f3(x),


n condiiile n care f3(x) este orice formul cu predicate, y este
o variabil individual substituibil lui x n f3(xi, iar f3(y) este
rezultatul acestei substituii .
b 3 ) Regulile de cuantificare
Regula \;1 ne permite s deducem din orice formul cu pre
dicate
a => f3(x),
unde variabila x nu apare liber n a, formula
a

=> \;Ix f3(x).

Regula 3 ne permite s deducem din formula cu predicate


1 Substituia trebuie s se fac, confonn I OB, uniform sau peste tot unde
apar acele variabile propoziionale.

2 Cf. 1 4E.

75

F. Axiomatizarea calculului predicatelor

a(x) => 13,

unde variabila x nu apare liber n 13, formula


3x a(x) => 13.

3 1 . Demonstratie i deductie n
calculul predicafelor

2F. Exemplu. Urmtoarele 7 formule cu pre di c ate al ct u i e s c

o demonstraie. Menionm, n dreptul fiecreia, motivul


incl uderii sale n ir (conform definiiei anterioare).
( 1 ) p(y) => 3x p(x)

ax 3

(2) (p(y) => 3x p(x => (\Ix p(x) => (p(y) => 3x p(x ) ax l a2
( 3) \Ix p(x) => (p(y) => 3x p(x

1, 2 D

(4) \Ix p(x) => p(y)

ax \1

(5) (\Ix p(x) => p(y => \Ix p(x) => (p(y) => 3x p(x ) =>
=> (\lx p(x) => 3x p(x
ax l b
I

Conf regulii deductive S.

2 n demonstraiile i deducii le din calculul cu predicate nu

vom mai
meniona explicit utilizarea regul ii de substituie. Presupunem c cititorul pe baza experienei deja acumulate - va sesiza aceasta.

76

Calculul p red icatelor

(6) (Vx p(x) => (P(Y) => 3x p(x ) => (Vx p(x) => 3x p(x

4,5 D

( 7 ) Vx p(x) => 3x p(x)

3 ,6 D

4F. Exemplu. Unntorul ir de formule este o deducie a


formulei p => Vx q(x) din ipoteza Vy (p => q(y .

(1) Vy q(y) => q(x)

ax V

(2 ) Vy q(y) => Vx q(x)

1 , reg V

(3) Vy (p => q(y

ipotez

(4) Vy (p

=>

q(y

=>

(p => q(y

ax V

(5) p => q(y)

3,4 D

(6) p => Vy q(y)

5, reg V

(7 ) (Vy q(y) => Vx q(x => (p => (Vy q(y) => Vx q(x
( 8 ) p => (Vy q(y) => Vx q(x

ax l a
2 ,7 D

( 9 ) (p =:=> Vy q(y => (p => ( Vy q(y) => Vx q(x))) =>


ax l b
=> (p => Vx q(x)))

77

F. Axiomatizarea calculului predicatelor

( 1 0) (p = H'v'y q(y) 'v'x q(x ))) (p 'v'x q(x

6, 9 D

( l l ) p 'v'x q(x)

8, 1 0 D

Aadar, vom putea scrie :

'v'y (p q(y p 'v'x q(x ) .


Relaia din definiia 3 F se numete relaie de deductibi
li/ate n calculul cu pred icate.

32 . Proprietfi ale relatiei de deductibilitate


Dei notate la fel, relaia de deductibil itate din calcu lul
propoziional (cf. 3C) i cea din calculul cu predicate sunt
diferite. O parte dintre proprietile celei dinti rmn adev
rate i pentru cea de-a doua, iar altele se modific n sens
restrictiv.
Vom observa astfe l c dac al , . . . , am, p sunt formule cu
predicate pentru care
are loc n calculul propoziional (adic n virtutea definiiei
3 C), atunci ea are loc i n calculul cu predicate.
n schimb proprietatea:
dac a p, atunci a p,
valab i l pentru deductibil itatea n calcul propoziional (cf. 9C),
nu mai este valabil i n calcu lul predicatelor. Iat n acest
sens un

Exemplu. Incluznd n deducia anterioar formula 5 ca ipo


tez, putem renuna la formulele 3 i 4, pe care se bazeaz de
ducia lui S . Astfel nct cele 9 formule rmase constituie o
deducie n calculul predicatelor. n virtutea acestei deducii
are loc relaia
p q (y) p 'v'x q (x ) .

78

Calculul pl"edicatelol"

Dar fonnula

( 1 ) (p =} q(y

=}

(p =} \Ix q(x

este neval id.


ntruct - aa cum vom arta (33 ) - orice teorem din
calculul predicatelor este o fonnul valid, rezult c relaia

r (p =} q (y)) =} (p =} \Ix q(x


nu are loc.
Nevaliditatea fonnulei ( 1 ) se poate proba astfel: alegem
pentru p valoarea de adevr A, iar n universul
U = { l , 2}
predicatul q(x) s aib interpretarea
x

q(x)
A
F

i variabi la individual y 1 .
Defeciunea aprut se datoreaz exclusiv cuantificrii prin cele dou regu l i : \1 i :3
unor variab ile individuale ce
apar libere n ipotezele deduciei.
Astfel, n exemplul anterior variabila l iber y din formula
ipotez p =} q(y) este cuantificat universal (n baza regulii \1)
pe parcursul deduciei.
Cnd ns aceeai formul apare nu ca ipotez, c i dedus
din ipotez (n deducia din exemplul 4F), deci regula de
=

cuantificare nu se mai aplic unei variabile libere dintr-o


ipotez, atunci toate proprietile SC- l De rmn adevrate
pentru aceast nou relaie de deductibilitate.

F. Axiomatizarea calculului predicatelor

79

33 . Consisten i completitudine
Axiomele calculului predicatelor sunt formule valide (pri
mele 1 3 sunt propoziional valide, iar ax V i ax :3 sunt - conf.
6E i 7E universal valide).
Orice teorem a calculului predicatelor se obine din (unele
dintre) aceste axiome prin mai multe transformri succesive
constituind demonstraia sa. n baza definiiei I F, aceste trans
formri pot fi
a) substitui i (cf. regulii deductive S),
b) detari (cf. regu lii deductive D),
c) aplicri ale regulilor V sau 3.
Fiecare d intre aceste transformri pstreaz proprietatea de
validitate ( universal) pe care o au formulele de la care pleac:
a) Substitui i le Tacute n primele 1 3 axiome conduc la for
mule universal val ide. Ne oprim un moment asupra aceste i
proprieti .
Cnd ntr-o formul propoziional valid substituim o varia
b i l propoziional pri ntr-o formul propoziional, val iditatea
fonnu lei astfel obinute se bazeaz pe faptul c tabela sa de
adevr este dedus d i n tabela de adevr a form ulei n care s-a
Tacut substituia ( 9a).
Acelai fapt are loc i atunci cnd variabila propoziional
este substituit printr-o formul cu predicate.
Exemplu. Substituind n formula propoziional val id
-

(1)

p v lp

variabila propoziional p cu formu la cu pred icate


:3x (P(x) /\ q(x, y obinem
(2)

3x (P(x)

/\

q(x, y

1 3x (P(x) /\ q(x, y

Val iditatea universal a formulei (2) decurge din validitatea


propoziional a formulei ( 1 ) astfel:
n orice un ivers (nevid) U i orice interpretare n U a
variabilelor de pred icat p(x), q(x, y) i a variabi lei (individuale)

80

Calculul p red icatelor

l ibere y, fonnula 3x (P(x) 1\ q(x, y ia valoarea A sau F; odat


detenninat, aceast valoare de adevr este introdus n tabela
de adevr a formulei ( 1 ); ceea ce ne conduce - conform
TAB p v lp - la valoarea A (pentru (2 .
Substitui i le fcute n ax V i ax 3 ne conduc la fonnule de
tipul
respectiv

Vx f3(x) f3(y),
f3(y) 3x f3(x),

care sunt universal valide ( 1 8E).


b) Detaarea: dac formulele cu predicate a i a f3 sunt
universal val ide, atunci fonnula f3 este i ea universal val id.
Acest fapt decurge direct din TAB: cnd ntr-o anumit
interpretare a variabi lelor ce apar n a i a f3 (deci i n f3),
acestea iau valoarea A, f3 capt aceeai valoare de adevr.
c) Conform 26E i 27E, dac premiza regul i i (V sau 3 ) este
universal valid, atunci concluzia sa are aceeai proprietate.
n final aadar

Deoarece, cf. 1 2E, pentru nici o formul cu predicate a :

Fa
rezult:

F l a,

F. Axiomatizarea ca/cu/ului predicatelor

81

Reciproca proprieti i 6 F este u n rezu ltat fundamental al


logicii predicatelor ' .

Demonstraia completitudinii calculului predicatelor nu are


caracterul elementar al celei din calculul propoziional ( 1 9) i

de aceea nu o expunem aici.


Rentorcndu-ne la rezu ltatul n s in e, 6F i 7 F stabi lesc
echivalenta, pentru orice formul cu predicate a, a co ndiii l or

a I a.
Cnd a este o formul propoziional, prima condiie poate fi
verificat printr-o metod care, chiar dac este laborioas, con
duce, dup un numr finit de operaii 2 la rspunsu l definitiv.
Cnd ns a este o formul cu predicate, verificarea condiiei

a
presupune determinarea valorii de adevr a lui a ntr-o infini
tate de interpretri posibile ale variabi lelor, libere i de
pred icat, ce le conine. Aceasta deoarece interpretrile trebuie
fcute n fiecare univers nevid U. Verificarea nu se ncheie
practic niciodat, astfel nct noi nu ne aflm n situaia de a
putea da un rspuns defin itiv chestiunii propuse. Problema n
3
cauz face parte din clasa problemelor nedec idabile

1 Demon strat de l ogici an u l austriac K. Gtidel n 1 930 ("Die Vol l st n d igke i t


der Axiome des logischen FunktionenkalkUls" n Monatschefte fur Mathematik
und P hysi k, voI. 37, pp. 349-360).
2 Este vorba de alctuirea unei tabele de adevr.
3 Pro b l ema nu este nedecidabil n cazu l fiecrei formule cu predicate.
Am determinat, de altfel, pe parcursul acestui capitol, validitatea sau nevali
d itatea mai multor formu le cu predicate. Ea este nedecidabil n sensul impo
sibilitii gsirii un u i mecan ism (algoritm) prin care, pentru fiecare formul
cu predicate a s putem
aplicnd acest algoritm
s decidem, dup un
numr cunoscut de operaii d ac a este universal val id sau nu.
-

82

Calculul predicatelor

innd seama de aceste dificulti, n loc de a verifica vali


ditatea (universal a) unei formule cu predicate, este de preferat
a ncerca s descoperim o demonstraie a formulei respective.
34. Reguli deductive derivate

Sistematizarea i simplificarea demonstraiilor n calculul


predicatelor se face, ca i n cel propoziional, prin nlocuirea
axiomelor cu reguli deductive (derivate din acestea).
Alturi de cele 1 3 reguli de introducere i eliminare a
fiecruia dintre cei 5 operatori propoziionali, mai apar astfe l 4
reguli de introducere i eliminare a celor doi cuantificatori.
Astfel

l a(x)
1 V'xa( x)
unde 1 reprezint o l ist, posibil vid, de formule cu predicate
n care variabila x nu apare lier.
V'x a(x)

r a(v)

unde v desemneaz o variabil individual substituibil lui x n


a(x) (cf. 1 4E), iar a(v) rezultatul acestei substituii.

a(v) r 3x a(x)
unde v are aceeai semnificaie ca n regula de V'-eliminare.

1, a(x) f3
1 , 3x a(x) f3
unde f3 este o formul cu predicate ce nu conine variabila liber x,
iar 1 are aceeai semnificaie ca n regula de V'-introducere.

F. Axiomatizarea ca/cu/ului predicate/or

83

Ele sunt p roprieti a le re l a i ei de ded uct ib i l itate d i n c a l


culu l p red i catel or i se pot demonstra ca atare. Aceste re gu l i se
utilizeaz n demonstrai i, mpreun cu celelalte 1 3 din 1 8 i
cu p ro priet i l e 5C- l OC ( 1 6).

Exemplu. Relum re la ia de d edu cti b i litate 4D ( p ag . 56) [n


care constantele de p re d icate Px, Rx i Ax au fost nlocuite cu
variabilele de predicate p(x), r(x) i a(x )] :
\Ix (P (x) a(x Vx (P(x) 1\ r(x) a(x
Vx (P(x) a(x p(x) a(x)
p(x) 1\ r(x) p(x)
(2)
(3)
p(x), p(x) a(x ) a(x)
(4) Vx (P(x) a(x , p(x) 1\ r(x) a(x)
(5) Vx (p(x) a(x p(x) 1\ r(x) a(x)
Vx (P(x) a(x Vx (P(x) 1\ r(x) a(x
(1)

V-e l i m i n .
I\-e li m in.
-e l imin.

1 , 2, 3

CI

4, -introd.

V - i n t ro d .

Aceast deducie repre z i n t j u stifi carea formal a deduciei


din 20, Tac u t n te m e i u l legilor logice ale calculului cu
p red i c ate .
Exemplu.

Vx (P(x ) q(x , Vx ( q(x) r(x Vx (P(x) r(x .


Aceast deducie poart, n tratatele de logic, numele de
silogism n figura ntia (modul AAA). El este alctuit d i n
dou ipoteze ( p re m ize) un iversal afirmative, care s e pot
exprima neformal astfel:
toi P sunt Q
toi Q sunt R.
De aici rez u l t concluzia, de asemenea universal afimativ ,
toi P sunt R.
S artm val iditatea sa (universal) producnd o demons
traie a relaiei de deductibilitate p r in care se e xpr i m simbolic.
I Prin C nelegem utilizarea proprietilor 5C- I OC a l e relatiei d e
deductibilitate.

84

Calculul p redicatelor

Notm cu r mulimea celor dou premize ale silogismului

Vx (P(x) q(x , Vx (q(x) r(x .


Atunci :
(1)

r 1- p(x) q(x)

(2)

r 1- q(x) r(x)

V - elimin, C

( 3 ) r, p(x)

1- q(x)
( 4 ) r, p(x) 1- r(x)
(5)
r 1- p(x) r(x)
r 1- Vx (P(x) r(x

elim in , C

1 , - elimin, C
2, 3 , - e l imin, C

4 C
5

V - i n trod .

85

Exerciii

Exercitii (Solutii la pag . 92)


6. Cu aj utorul predicatului

Axy : x este apreciat de y,

a operatori lor logici (propoziionali) i a cuantificatori lor, tran


scriei simbolic fiecare dintre urmtoarele propozii i :
a) Oricine este apreciat d e cineva.
b) Oricine apreciaz pe cineva.
c) Oricine este apreciat sau apreciaz pe cineva.
d) Oricine este apreciat, apreciaz pe cineva.
7. Pentru fiecare variabil de predicat q(x) se consider formulele

A : 'l/x q(x), J: ::3x q(x),

E : 'l/x

O : ::3x l q(X) l

l q(x),

Justificai valid itatea universal a urmtoarelor formule


a) A J,

EO

(relaii n virtutea crora J este subalterna lui A , i O subalterna


lui E).
b) l A O, l E I

(relaii n virtutea crora A i O, respectiv E i 1, se numesc

contradictorii);
c) l (A J\ E)

(relaie n virtutea creia A i E se numesc contrare)


d) I v O

(relaie n virturea creia 1 i O se numesc subcontrare)2 .

I Ele sunt echivalente, respectiv, cu cele patru tipuri de propoziii A, E, 1,


n cazul cnd p(x) ia valoarea A pentru orice x (ceea ce se ntmpl,
de pild, dac substituim p(x), cu fo rm ul a p v l p).
2 Aceste patru tipuri de rel aii se numesc inferene imediate. Ele pot fi
a din 3 0

sistematizate ntr-o diagram numit " ptrat logic" (Boethius, 480-524).


o A

il
<Il

contrare

"o
o'
l'Jq.q x '6"c,'I
O/Ct,
C,o{b;
o;-

t=
cr"

ti>

ff
a

'"

86

Calculul predicatelor

8. Forma complet a celor patru tipuri de propoziii A, I, E, O

este (conform 3 0) urmtoarea:

A: \:Ix (P(x) => q(x ,


E: \:Ix (P(x) => l q(x ,

1: ::Jx (P(x) /\ q(x ,


O: ::Jx (P(x)

/\

l q(x,

a) Justificai validitatea universal a echivalenelor

l A <=> O

l E <=> 1.

b) Artai nevaliditatea formulelor

A => 1,

E => O, l (A /\ E),

1v O
ntr-un univers alctuit dintr-un singur element
U = { I }.
c) Validitatea universal a formu lei
::Jx p(x) => (A => 1)
poate fi probat cu aj utoru l urmtorului ir de nou relai i
deductive:
(1)

A p(y) => q(y)

(2) p(y), p(y) => q (y) p(y)


( 3 ) p(y), p(y) => q(y) q(y)
(4)

p(y), q(y) p(y) /\ q(y)

(5)

p(y) /\ q(y) 1

(6)

A, p(y) 1

(7 )

A, ::Jx p(x) 1

(8)

::Jx p(x) A => 1

( 9)
::Jx p(x) => (A => 1).
Justificai-o pe fiecare dintre ele dup modelul exemplelor
din 34 .

Exerciii

87

d) Construii un ir corespunztor de asemenea relaii


pentru a justifica val iditatea un iversal a formulei
3x p(x) (E

O).
e) Justificai val iditatea universal a formulelor:

:3x p(x) l (A /\ E)

i :3x p(x) (l v O).

88

Soluiile exerciiilor

Anexa 1 : SO LUI I LE EXE RCII I LO R


1 . a) Transcris n limbaj simbolic raionamentul devine

H v l L 1,
H 1\ l 1, deci L.
c) Validitatea propoziional a impl icaiei
(q v l r p) l\ (q l\ lp) r
se poate proba cu aj utorul tabelei de adevr

p
A
A
A
F
A
F
F
F

q
A
A
F
A
F
A
F
F

r
A
F
A
A
F
F
A
F

(q v l r p )
A A
A A
F
A
A
F
A A
A
F
F
A
A
F

l\

F
F
F
F
F
F
F
F

( q l\ l p )
A
F
A
F
A
F
A
A
A
F
A
A
A
F
F
A

d) Coloana formulei (q v l r p) 1\ (q 1\ l p), alctuit


numai din F, arat c aceast formul este inconsistent (cf.7B).
Conform TAB ea implic orice formul. Prin urmare, raiona
mentul - avnd-o ca ipotez - este propoziional valid, indepen
dent de concluzia sa.
2. a) Dicionar

1: impozite le cresc,
D: se nregistreaz deficit bugetar,
S: sumele alocate asisten tei sociale scad.

Raionamentul este alctuit din propozii i le logice


D S,
/,
deci l S.
l 1 D,
c) Formula n cauz - nlocuind 1 cu p, D cu q, S cu r - va fi

89

Soluiile exerciiilor

( lp q ) /\ (q r) /\ p l r
i are valoarea F cnd p i r sunt A.
Concluzia raionamentului nu rezult aadar din premisele
sale; cel puin nu n virtutea legilor logicii propoziionale.
3. Raionamentul este alctuit din propoziiile logice

S P v C,
deci l S.

C D,

Formula propoziional corespunztoare va fi - nlocu ind 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 l p

ntruct tabela sa de adevr are 25 3 2 de linii ( ! ) vom face


verificarea val iditii prin cutarea sistematic a unui contra
exemplu (cf. 8B).
Pentru ca impl icaia ( 1 ) s fie fals trebuie ca
=

(2)

p q v r, q s, r t, l s, l t s fie A,

iar lp s fie 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 ,


este F contrazicnd (2).
Aadar ( 1 ) nu poate fi fals; ea este valid.

t este

A, deci l t

4. a) Transcrise n limbaj propoziional - conform d iciona


rului propus - cele trei declarai i vor fi

/\ l p3,
X2: PI P3,
X3 : l P3 /\ ( PI v P2).
XI : P2

90

Soluiile exerciiilor

b) Fonnulele propoziionale corespunztoare fiind


a2 : PI P3,
a3: lp3 A (PI V P2)
(.(1 : P2 A lp3 ,
c on si stena fonnulei al A a2 A a3 pre s upune gsirea unor
valori de adevr pentru PI , P2 , P3 astfe l nct valoarea acestei
conjunci i - deci i a fiecrei fonnule n parte s fie A.
al este A atunci cnd P2 este A i P3 este F. n acest caz , a2
este A numai dac p I este F (de ce? )
Pentru valorile gs ite, a3 este 1 F A (F v A) adic A. Ceea
ce probeaz consistena.
-

c) Relaia de deductibilitate

( 1)

P2 A lp3 P2

(2)

P2 A lp3 lp3

a l a3 se poate obine astfel

A -elim.

P2 PI V P2
(4) l p3 , P I v P2 lp3 A (PI

(3 )

P2 )

P2 A l p3 l p3 A (P I v P2)
Deci al a3 este valid (de ce?).

intro d .

A -introd.

1 , 2, 3, 4

Verificai, cutnd contraexemple, c celelalte cinci fonnule

ai <lj sunt nevalide.


Observaie. Pentru obinerea acestor rezultate cititorul poate
utiliza i tabele de adevr.
d) Dac p t , P2 , P3 sunt F, atunci a l i a3 sunt F, iar a2 este A.
e) Presupunerea fcut revine, n cazul lui XI , la implicaiile

lP I

al

PI l a I .

n baza transpoz i i e i i a eliminri i dub l ei negaii (DN), din


pri m a impl icaie deducem conversa celei de a doua

l al PI

91

Soluiile exerciiilor

Deci, conform

<=>

-introd., rezult echivalena:

PI

<=>

1 al

Similar, n celelalte dou cazuri :

P2 <=> 1 a2,
P3

<=>

1 a3

Construind tabela de adevr:

P3

P2

PI

A
A
A
F
A
A
.. .
..
.A. . . . . . . . . . . . r . . . . . . . . . . . A. . :
A
A
F
A
F
F
A
F
F
A
F
F
F
F
F
. .

. . . . . .

l aI

l a2

A
F

F
A

A
A
F
A
A

F
A
F
F
F

[A::::::::: :::::t::::::

l a3
A
F

x;
A
F
F
A
A

constatm c s i n gura l inie n care valori le primelor trei coloane


co incid - re s pect iv - cu v a lori le ultimelor trei, este a treia (n
chenar punctat).
V inovai vor fi, n acest caz, doar XI i X3

Se).

(1)P

ipotez
ipotez

(3 ) p => (l q => p)
(4) 1 p => (l q => lp)
(5) ( l q => p) => l q => lp) => 1 1 q)
(6) I q => p
(7) 1 q => l p
(8) ( l q => lp) => l l q
(9) 1 1 q

ax l a S

(2) 1p

.,

ax l a S

ax6 S
1 ,3
2,4

5, 6

7, 8

D
D
D
D

92

Soluiile exerciiilor

( 1 0)

1 1 q => q

ax 7

(I I) q

9, 1 0 D

Vx 3y Axy
b) Vy 3x Axy
c) Vx (3y Axy v 3y Ayx), ceea ce - n baza echivalenei

6. a)

se mai poate scrie sub forma (prenex);

E47

Vx 3y (Axy v Ayx)
d) Vx (3y Axy => 3y Ayx).
7. a)

A => 1 este teorem a calculului predicatelor (cf. 2F); n

virtutea proprietii 6F ea este universal valid.


E => O se obine din formula precedent substituind q(x)
prin 1 q(x); conform 1 7E, din val iditatea celei dinti rezult i
a celei de a doua.
b) Aceste echivalene sunt cazuri particulare ale echiva
lenelor E32 i E35.
c) Conform b: 1 E 1.
n virtutea proprieti i de nlocuire a expresii lor echivalente
(2 1 E) rezult
(A => 1) - (A => 1 E)
n baza echivalenei E I 3
-

i , conform Es
Aadar

(A =>

1 E) - (1 A v 1 E)

(l A v

l E) - l eA I\ E) .

(A => 1) - 1 (A

1\

E)

ceea ce, conf. 1 9E, face ca din validitatea (universal) a primei


formule s rezulte i valid itatea celei de a doua.
d) (A => 1)
(l A v / ).
E, 3
-

Aplicnd proprietatea de nlocuire a expresi ilor echivalente


i 1 A O rezult
-

l A v I - O v 1.

93

Soluiile exerciiilor

n final, util iznd comutativitatea v (E7), gsim:


(A 1 ) - (I v O).
8.

a) C o n fonn E32 :

( 1 ) 1 Vx (P(x) q(x - 3x 1 (P(x) q(x .


Pe de alt parte, confonn E 1 4 :

1 (P(x) q(x - p(x) /\ 1 q(x).


Apl icnd proprietatea de nlocuire a expresiilor echivalente
(2 1 E) rezult:

(2) 3x 1 (P(x) q(x - 3x (P(x) /\ 1 q(x


Din ( 1 ) i (2), prin tranzitivitatea relaiei - (cf. pg. 1 9)

rezult:

l A - O.
Similar se verific relaia 1 E I.
b) Se alege p( 1 ) fals.
c) ( 1 ) V -elim; (2) SC ; (3 ) -el im. ; (4) I\-introd. ;
(5 ) 3 -introd.; (6) 1 , 2, 3 , 4, 5 C; (7) 6 , ax 3; (8) 7 , 1 0 C ;
(9) 8, 9 C .
d) Se n lo c u i e te q(x) prin 1 q(x) n relaiile de la punctul c .
e ) A u loc echivalenele

l (A /\ E) - ( l A v l E) - (A l E ) i, conform a) l E - I ,
Ee

de unde deducem:

E13

1 (A /\ E) - (A I).

Deci validitatea universal a formulei 3x p(x) 1 (A /\ E)


rezult din val iditatea un iversal a fonnulei 3x p(x) (A I),
conform proprietii de nlocuire a expresiilor echivalente
(2 1 E).
Deoarece lA - O (punctu l a), rezu lt:

(I v O) - (I v l A) - (l A v l) - (A l).
El

E' 3

De unde rezult, ca mai sus, val id itatea universal a formulei:

3x p(x) I v O.

94

Echivalente logice

Anexa I I . ECHIVALE NTE LOGICE

a, (3, y reprezint formule propoziionale sau cu predicate.


El o a - 1 1 a

legea negrii negaiei (DN)

E20 a - a /\ a ]
E3 0 a - a v a
E4 0 a - (1 a => a)

legile simplificrii

consequentia mirabilis

E50 1 a - (a => (3 /\ 1 (3)

reductio ad ahsurdum

E60 a /\ (3 - (3 /\ a

legi le comutativitii

E70 a v (3 - (3 v a

Ego
E9 0
ElOo

1 (a /\ (3) - 1 a v 1 (3 ]

legile De Morgan

a v (3 - 1 (1 a /\ 1 (3)

definiia v prin 1 , /\

l (a v (3) - l a /\ 1 (3

El l o a /\ (3 - 1 (l a v 1 (3)
El 2 0 a => (3 - 1 (3 => 1 a

traspoziia

E\3o a => (3 - 1 a v

definiia => prin 1 , v

El40 a => - 1 (a /\ 1 )

definiia => prin 1 , /\

definiia /\ prin 1 , v

E I 5 0 1 (a => ) - a /\ 1 (3

negarea implicaiei

El6 a <=> - <=> a

s imetria echivalenei

El70 a <=> - (a => (3) /\ ( (3 => a) definiia <=> prin /\, =>

Elgo a <=> - (a /\ (3)

El90 a <=> - 1 a <=> 1 (3

(1 a /\ 1 (3) definiia <=> prin 1 , /\, V

E20 0 1 (a <=> ) - la <=>

E2 l o 1 (a <=> ) - a <=> 1

legea complementaritii
negarea echivalenei
negarea echivalenei

95

Echivalene logice

a /\ ( 13 /\ y) - (a /\ 13 ) /\ Y
En . a v (f3 v y) - (a v f3) v y

E22

legi le asociativitii

a => ( 13 => y) - (a /\ f3) => y exportare


E25 . a /\ CP v y) - (a /\ f3) V (a /\ y) ] legi le d istributivitii
E 26 a v (f3 / q) - (a v f3) l\ (a v y)

E 24

absorbia
n echivalenele E28 i E29 form u l a a nu conine variabila
l iber x

a-a

E2 8

\;/x

E 29

3x a - a

n echivalenele E30 i E3 1 variabila y este substituibil


variabilei x n a(x) [cf. 1 4E]
E30.

\:fx a(x) - \:fy a(y)

E3 1 .

3x a(x) - 3y a(y)

E3 2 .

1 \:fx a(x) - 3x 1 a(x)


1 3x a(x) - \:fx 1 a(x)

E33 .
E34.

E35 .

\:fx a(x) - 1 3x 1 a(x)

3x a(x) - 1 \:fx 1 a(x)

negarea cuantificatorului \:f


negarea cuanti ficatoru lui 3
definiia \:f prin 3
definiia 3 prin \:f

n echivalenele E36-E45 formula a nu conine variabila


liber x.
E36.

a 1\ \:fx f3(x) - \:fx (a 1\ f3(x

E3i

a 1\ 3x f3(x) - 3x (a 1\ f3(x

E3 8 .

E39.

a v \:fx f3(x) - \:fx (a v f3(x


a v 3x f3 (x) - 3x (a v f3(x

E40.

a => \:fx f3(x) - \:fx (a => f3 ex

96

Ech ivalente logice

a 3x (x) - 3x (a (x
E4 2 \Ix (x) a - 3x (j3(x) a)
E43 3x (x) a - \Ix (f3(x) a)
E44 a \Ix f3(x) - \Ix (a f3(x
E4 S a 3x f3(x) - 3x (a f3(x
E4 6 \Ix a(x) 1\ \Ix j3(x) - \Ix (a(x) 1\ j3(x
E47 3x a(x) v 3x j3(x) - 3x (a(x) v j3(x
E4S \Ix a(x) 3x f3(x) - 3x (a(x) f3 (x)
E49 \Ix \ly a(x, y) - \ly \Ix a(x, y)
E s o . 3x 3y a(x, y) - 3y 3x a(x, y)

E4 1

97

Logic i metamatematic

Anexa I I I : LOGiC I M ETAMATEMATIC


Orice ti in sau s i stem organizat de n d i re i probeaz
adevru ri le prin recurs la regu l i l e - genera l adm i se - ale deduc
iei logice.
Matematica a fost prima care a uti l izat n mod s i stemat ic

acest instrument ("organon " ) n demonstrarea teoremelor e i . i

n u ntmpltor maj oritatea exemple lor de demonstrai e uti l izate


de Aristotel n scrier i l e l u i de logic sunt exemple matematice.
A trebuit s treac peste

2000

de ani ca ro l u r i l e s se i n ver

seze i matematica, mai prec i s al gebra, s

devin d i n cmp de

apl ica i e al logic i i - i n stru ment de investigaie a sa. Cercetrile


!acute n acest sens d e tnrul matemat i c ian englez G . Boole
au con d u s la apariia u n u i c a l c u l logic (cu propozii i ) s i m i l ar,

n m u lte privine, c e l u i algebric cu numere .

U rm toru l pas maj o r e ste !acut de logician u l german G .

Frege

(] 848- 1 92 5 )

care dezvo lt primul s i stem cupri nztor d e

logic s i mbo l ic. D e i nota i i l e comp l icate pe care le u t i l iza i


au ntrziat rspn d i rea, opera sa a i n fl uenat hotrtor apariia

primului

o l u m (n 1 9 ] O) din monu mentala lucrare

Mathematica a

Principia
B. Russe l l ' .
ct i autori i Pri n c i p i i lor au

l u i A .N . Wh itehead i

Treb u i e prec i zat c att F rege,

u rmrit " red ucerea" un o r pri din matematic - n spec ial arit
metica - la logic. Cu a lte cuvi nte, au urmrit s arate c pri n
c i p i i le acestor d iscip l i n e matematice i au originea n princ i p i i
de logic. ncercarea s-a doved it l i psit de succes, d a r n u i de
con sec ine , cc i a perm i s construi rea primelor s isteme axio

matice formale. Astfe l , d i sc i p l i ne matematice importante, ca


aritmetica i teoria m u l i m i lor, au cptat fundamente axioma
tice n cadru l

unor s i steme formale de

logic (cal c u l cu

predicate ) .
I

Primul d i ntre cei d o i a fost matemati ci an, iar a l doi lea logician i

fi lozof.

98

Logic i metamatematic

Necesitatea de a fundamenta astfel matematica a izvort i


din dorina de a pune ordine n bazele unor pri ale sale ca
reacie la apariia - n cadrul acestor pri - a unor concepte cu
caracter paradoxal (contradictoriu).
Un exemplu de asemenea concept din teoria mulimi lor i-a
fost semnalat lui Frege de ctre Russell.
Reunind ntr-o aceeai colecie obiectele avnd o proprie
tate comun, aj ungem la urmtoarele constatri .
n unele cazuri nsi colecia acestor obiecte este un obiect
avnd proprietatea comun elementelor sale. Astfel, de pild,
colecia noiuni lor abstracte este ea nsi o noiune abstract.
n l imbaj u l teoriei mulimilor colecia A, a noiun ilor
abstracte, este un e lement al lui A, fapt notat prin A E A .
Dimpotriv, colecia C - a noiuni lor concrete - n u este o
noiune concret, ceea ce n l imbaj u l menionat nseamn
l (C E C), fapt notat de obicei prin C e C.
Reunim ntr-o colecie - notat R toate obiectele X avnd
proprietatea X e x. n virtutea principiului terului exclus
-

RE R

sau

Re R

n primul dintre cele dou cazuri, R fiind element al colec


iei definit prin proprietatea X e X, rezult R e R.
n al doilea caz, avnd chiar aceast proprietate, R trebuie
s fie element al coleciei definit prin ea, adic al coleciei R;
deci R E R.
Plecnd aadar de la oricare dintre cele dou afimaii dedu
cem - pe cale logic - negaia sa!
Era firesc ca o astfe l de provocare I s nasc aprinse contro
verse printre logicieni i matematicieni.
O parte dintre acetia (B. Russell, E. Zermelo i alii) consi
dernd c principiile cantoriene2 ale teoriei mulimi lor trebuie
\ A u fost descoperite m a i multe asemenea enunuri contrad ictori i. C iti
torul poate gsi informaii supl imentare n lucrarea lui A . Dumitri u : Istoria
Logicii, Bucureti , 1 975, cap. XLI I I .
2 Matematician u l german G. Cantor ( 1 845- I 9 I 8) este creatorul teoriei
moderne a mulimilor.

Logic i metamatematic

99

amendate, au creat sisteme axiomatice lim itative n care, spe


rau ei, astfel de contradici i nu vor mai apare.
L . E J . Brouwer matematician olandez i creator al coli i de
gndire num it " intuiionism " face o critic sever modului n
care matematicienii util izeaz n raionamentele lor noiunea
de mulime infinit i - n legtur cu ea - o serie de principii
logice (terul exclus, dubla negaie etc.).
Critica intu iion ist avea drept consecin indirect abando
narea unor rezu ltate i metode de lucru ce intraser deja n
patrimoniul matematicii nceputu lui de seco l . Considerat de
mu li drept prea radical, ea nu s-a bucurat de o adeziune larg
(dei a fost susinut de un i i matematicieni i mportani).
Cel care a luat imediat poziie n favoarea matematicii cla
s ice a fost un reprezentant strlucit al acesteia - D. Hi lbert.
Dup ce, n 1 899 reuise constru irea primei axiomatizri satis
fctoare a geometriei euclidiene, n 1 904 el propune - pentru a
salva " parad isul pe care ni l-a furit Cantor" - crearea unui
sistem formal axiomatic care s cuprind matematica clasic.
Hi lbert spera c fcnd din acest sistem un obiect de studiu - al
aa-numitei teorii a demonstraiei sau " metamatematicii" - s
se poat demonstra cu mij loacele finitiste ale aritmeticii,
admise i de intuiion iti, necontrad icia sistemului nsui.
"Programul formalist" de fundamentare a matematicii, cum
s-a numit proiectul hilbertian, demarat dup 1 920, a nregistrat
cteva succesel . Dar o limitare de principiu, descoperit n 1 93 1
de K. G6del, a artat c demonstraii -n sensul finitist propus de
Hilbert - pentru consistena unor pri importante ale matematicii
- n prealabil axiomatizate i fonnalizate - nu sunt posibile.
Cercetrile s-au orientat atunci ctre demonstrarea consistenei
unor fragmente de matematic lund ca ipotez consistena
altora. Rezultate remarcabile obinute n aceast direcie au fcut
ca, ntre timp, metamatematica s devin o discipl in cu statut
bine definit n ansamblul celorlalte ramuri ale matematicii.
I C e l m a i promitor a fost demonstraia
cu m ij loace nefinitiste
a
necontrad iciei si stemului formal ax iomatic al aritmeticii, dat de G. Gentzcn
n 1 936.
-

1 00

Bibliografie

B I BLIOGRAFIE
1.

Am brose A., Lazerowitz M. : Fundamentals of symbolic

logic, New York, 1 948


Clark R., Welsh P. : Introduction to logic, Princeton, 1 962
Joh nson D.L. : Elements of logic via numbers and sets,
New York, 1 99 8
4. Kleene S.c. : Mathematical logic, New York, 1 967
5 . Lewis Caroll: Mathematical recreations, New York, 1 95 8
6. Lewis C.I., Langfo rd C.H. : Symbolic logic, New York,
1 95 1
7 . P u rtill 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, M ichigan, 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
2.
3.

Simboluri utilizate

101

SIMBOLURI UTILIZATE

1 /\,

<=>

'v', :3

v,

=>

pag. 2

pag. 3

pag. 1 2, 5 6
pag. 1 8,6 1
p ag. 29 , 70
p a g . 49

Index

1 02

I N DEX

contraexemplu 1 5 , 5 7
cuantificator 4 9
domen i u l un u i
53
D (detaare)
28, 68
DN (dubla ne g aie) 20
formul contingent 1 5 , 5 8
- incon s istent 1 5 , 5 8
- interpretarea unei
54
- un iversal valid 55
l110dus ponens 1 2, 1 4, 1 8
-

tollens

39

princ i p i u l necontrad iciei


15
propoziie simpl/compus 4
S (regula substituiei)
28, 6 8
TAB l
5
TAB /\, TAB v
6
TAB

<=:}

TAB 8
tautologie 1 3
teorem 29, 69
teorema deduciei 32
teru l exc lus 1 2, 39
transpoziia 3 8
Ul11 v ers
54
valori de adevr 2
variabil propoziional 9
- individual
52
- l i ber/le g at
53