Elemente de logic matematic1 a a Prof. Dr.

Sergiu Rudeanu Facultatea de Matematic i Informatic as a Universitatea Bucureti s

Logica matematic este un capitol fundamental al culturii matematice i prin a s urmare ea trebuie s-i gseasc locul orice sistem de amnt de nivel ridicat. as a a n nvta a Aceasta se refer nu numai la amntul universitar, ci i la un amnt a nvta a s nvta a liceal cum este cel din ara noastr. De asemenea, logica matematic este implicat t a a a organic informatic, att la nivel elementar ct i zonele teoretice superioare. n a a a s n Avnd vedere considerentele de mai sus, articolul de fat propune s ofere a n a s a unui auditoriu ct mai larg o introducere elementar logica matematic. Prin a a n a caracter elementar elegem faptul c notiunile prezentate sunt exact notiunile de nt a logic matematic din manualul [14]; expunerea este a mai ampl, aducnd a a ns a a n plus numeroase precizri pe care autorul le consider indispensabile bunei elegeri a a nt i folosiri corecte a logicii matematice. s O conceptie asemntoare o are capitolul de logic matematic din [4], care de al a a a a tfel st la baza prezentei prelegeri. Fat de [4], aceast lucrare apar noi comentarii a a n a teoretice, exemple de aplicatii ale calculului proprozitiilor i calculul predicatelor s n matematic, precum i semnalarea unor greeli pe care experienta didactic a aua s s a torului le relev ca ind frecvente. schimb, a In ntruct articolul de fat nu se mai a a adreseaz cu precdere elevilor (dar nici nu exclude), prezentarea este pe alocuri a a i mai concentrat dect [4]. a a n Trimiterile la algebra universal, algebrele booleene i programul de la Erlangen a s sunt facultative; cititorii neavizati pot s le omit fr a prejudicia elegerea restu a a aa nt lui textului. Cei care au diculti elegerea unora dintre comentariile cu grad at n nt de abstractizare mai ridicat, sunt sftuiti s treac mai departe la prima lectur, a a a a urmnd s revin asupra lor dup un anumit timp. a a a a
1

Articolul a aprut revista Gazeta de Informatic nr. 10,11,12/1992 i 1/1993. a n a s

Elemente de calculul propozitiilor

1.1. Punctul de plecare al calculului propozitiilor const faptul c se consider a n a a legtur dat o multime P0 de propozitii, ecare din ele ind adevrat sau fals. In a a a a a a cu aceasta se impun trei precizri: a primul rnd trebuie eleas ipoteza deloc banal c ecare propozitie In a nt a a a are o valoare de adevr. Este clar c propozitiile interogative (Ce mai faci ? etc), a a cele exclamative (Ce frumos este ! etc), precum i cele imperative (Privete ! s s etc) nu au valoare de adevr. Rmn discutie enunturile, altfel spus propozitiile a a a n declarative ( englez statements), adic propozitiile care se fac anumite armatii. n a a n sprijinul ultimei Nu trebuie s credem c orice enunt este adevrat sau fals. In a a a armatii redm mai jos o variant modern a paradoxului mincinosului, cunoscut a a a a din antichitate. nc S considerm proprozitia eu mint, cu elesul ceea ce spun acest moment a a nt n este fals. Fie p aceast propozitie; deci p este armatia p este fals. Urmeaz c a a a a dac p este adevrat, atunci p este fals (conform ai armatiei p), iar dac p a a a a nss a este fals, atunci este fals c p este fals, deci p este adevrat. Intruct ecare din a a a a a a cele dou ipoteze asupra valorii de adevr a propozitiei p conduce la o contradictie, a a suntem nevoiti s acceptm c aceast propozitie nu are valoare de adevr. a a a a a De asemenea, pare s nu aib sens atribuirea unor valori de adevr armatiilor a a a controversate exprimnd subiectivitatea vorbitorilor; la fel cazul unor armatii a n aceast ordine de idei semnalm existenta vagi, al cror continut nu este clar. In a a a logicilor cu mai multe valori, care, n nafar de adevr i fals, se consider i alte a a s as valori de adevr (conform, de exemplu, [3], [13]). a articolul de fat rmnem cadrul logicii clasice, adic care se consider In a a a n a n a numai dou valori de adevr. a a cele precedente am vzut exemple de propozitii sensul gramatical care nu In a n intr obiectul de studiu al logicii matematice, adic nu sunt propozitii sensul a n a n calculului propozitional. Dimpotriv, dac p, q sunt propozitii sensul logicii a a n matematice, atunci p sau q, p si q etc sunt propozitii sensul logicii matematice, n dar din punctul de vedere al gramaticii acesteia din urm, nu sunt propozitii, ci a fraze. Aadar notiunea de propozitie cu care lucreaz calculul propozitional este s a diferit de notiunea de propozitie din gramatic. a a Aceasta este a doua precizare care trebuia fcut. a a A treia precizare este c problema determinrii valorilor de adevr ale propozia a a iilor din multimea P0 dat la t a nceput nu apartine logicii matematice; de exemplu, dac o propozitie p P0 este din domeniul chimiei, atunci stabilirea valorii de a adevr a propozitiei p este o problem a chimiei. Nu se presupune c am cunoate a a a s efectiv valorile de adevr ale tuturor propozitiilor din P0 ; de exemplu, P0 ar putea s a a 2

contin propozitia pentru orice numr natural n > 2, ecuatia xn + y n = z n nu are a a solutii (x, y, z) cu toate componentele pozitive (cunoscut sub numele impropriu de a marea teorem a lui Fermat), a crei valoare de adevr este necunoscut prezent. a a a a n 1.2. Conform unei practici foarte rspndite, vom nota cu 0 i 1 valorile de a a s adevr fals respectiv adevrat; alte notatii frecvente literatur folosesc initiaa a n a lele cuvintelor fals i adevrat ( englez False i True). s a n a s Cele discutate sectiunea 1.1 se pot rezuma spunnd c se d o multime P0 de n a a a enunturi i o functie v0 : P 0 {0, 1}, att P0 ct i functia de adevr v0 neind s a a s a specicate mod concret. n 1.3. Fie p, q dou enunturi (conform cu 1.1). Vom nota cu a p q enuntul p i q, s p q enuntul p sau q, p q enuntul p implic q (care se mai poate citi i dac p atunci q, a s a p q enuntul p este echivalent cu q (care se mai poate citi i p dac i s as numai dac q), a p enuntul care neag propozitia p i pe care citim non p (dei ar trebui a s l s s citim nu p; unele cazuri concrete negatia poate apare interiorul a l n n enuntului p; de exemplu Gina are o pisic este Gina nu are o pisic. a a Conectorii logici , , , , se numesc respectiv conjunctia, disjunctia, implicatia, echivalenta i negatia. s Obiectul de studiu a calculului propozitiilor este multimea P a tuturor enuntu rilor care se obtin plecnd de la enunturile din P0 i aplicnd repetat, toate a s a n modurile posibile, conectorii logici , , , , . Mai exact spus, multimea P se denete prin recurent astfel: s a 1. Dac p P0 atunci p P ; a 2. Dac p, q P atunci p q, p q, p q, p q, p P ; a 3. Orice propozitie p P se obtine aplicnd de un numr nit de ori regulile (1) a a i (2). s 1.4. Asociem acum ecrei propozitii p P o valoare de adevr v(p) {0, 1} a a prin urmtoarele reguli: a 3

1. Dac p P0 atunci v(p) = v0 (p); a 2. Dac p, q P i am asociat propozitiilor p, q valorile de adevr v(p), v(q), a s a atunci asociem propozitiilor p q, p q, p q, p q i p valorile de s adevr v(p q), v(p q), v(p q), v(p q), v(p) date de tabelele a v(p) v(q) v(p q) v(p q) v(p q) v( q) 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 v(p) v(p) 0 1 1 0 Tabelele 1 Tinnd seama de denitia din sectiunea 1.3, prin care multimea P se construiete a s recurent ntr-o innitate numrabil de pai, ne putem da seama c prin aplicarea a a s a ntr-o innitate numrabil de pai a regulilor (1) i (2) de mai sus, ecrei propozitii a a s s a p P i se va asocia mod unic o valoare de adevr v(p) {0, 1}. Altfel spus, prin n a aplicarea regulilor (1) i (2) de mai sus, functia v0 : P0 {0, 1} din sectiunea 1.2 s se extinde mod unic la o functie de adevr v : P {0, 1}. n a O formulare i mai precis este c exist o unic functie v care: s a a a a (i) prelungete functia v0 ; s (ii) satisface conditiile exprimate prin Tabelele 1. Demonstratia riguroas a acestei ultime armatii se face cu metodele algebrei uni a versale i depete cadrul acestui articol (conform, de exemplu, [18]). s as s S numim homomorsm orice functie v : P {0, 1} care satisface conditiile a din Tabelele 1. Atunci proprietatea anterioar se enunt sub forma: orice functie a a v0 : P0 {0, 1} se prelungete mod unic la un homomorsm. s n Corolarul 1 Exist o bijectie ntre multimea functiilor v0 : P0 {0, 1} i multia s mea homomorsmelor v : P {0, 1}. Ea se obtine asociind ecrei functii v0 a prelungirea ei homomorf i reciproc, asociind ecrui homomorsm restrictia sa la as a submultimea P0 .

 Observatia 1 In multe texte de calculul propozitiilor, Tabelele 1 sunt redate sub o form putin neglijent, n sensul c locul capetelor de coloan v(p), v(q), v(p a a a n a q), . . . gureaz doar p, q, p q, . . ., faptul c este vorba de valorile de adevr ale a a a acestor propozitii i nu de propozitiile si, sub elegndu-se loc s e no s nse nt a n a tat explicit. Credem c aceast practic este nerecomandabil, deoarece favorizeaz a a a a a greeala de a considera p, q {0, 1} i de a gndi tabelele 1 ca reprezentnd egalitile s s a a at 0 0 = 0, 0 0 = 0, . . . , 0 = 1, 1 = 0, ceea ce ar nsemna tabelele operatiilor , , , , din algebra boolean {0, 1}. a In ultima instant, confuzia a ntre propozitii i valorile lor de adevr conduce la s a greeala pe care am putea-o numi suprem, de a crede c exist doar dou propozitii: s a a a a 0 i 1 ! s 1.5. 1.5.1. Sa observm c discutia din sectiunea 1.1 a anticipat asupra notiunii de a a propozitie cu care lucrm i care a fost denit abia sectiunea 1.3. Conform celor a s a n artate sectiunea 1.4, propozitiile cu care lucrm au a n a ntr-adevr valori de adevr a a bine determinate, aa cum se ceruse sectiunea 1.1. s n 1.5.2. Faptul c a studia numai propozitiile din multimea P denit sectiunea a a n 1.3 ar putea s par o restrictie articial fat de ideea, atractiv la prima vedere, de a a a a a a considera multimea tuturor enunturilor. realitate nu exist o astfel de multime, In a fapt care se poate demonstra teoria axiomatic a multimilor (pentru cititorii n a avnd cunotinte acest domeniu adugm c ideea demonstratiei este de a arta a s n a a a a c exist cel putin tot attea enunturi cte multimi, asociind ecrei multimi M a a a a a enuntul M este o multime). De altfel, cadrul pe care l-am xat nici nu este limitativ, deoarece el ne permite s stabilim toate proprietile care ne intereseaz, a at a iar atunci cnd dorim s specializm calculul propozitiilor a a a ntr-un anumit domeniu, putem alege multimea P0 sucient de cuprinztoare, astfel at multimea P s a nc a contin toate propozitiile care ne intereseaz contextul respectiv. a a n 1.5.3. Tabelele 1 constituie o denitie: ele denesc valorile de adevr ale a propozitiilor compuse functie de valorile de adevr ale propozitiilor componente. n a Profesorii trebuie s explice elevilor faptul fundamental i totodat uor de eles a s a s nt c cazul conjunctiei, disjunctiei, echivalentei i al negatiei, aceast denitie nu a n s a face altceva dect s reecte elesul pe care au mod obinuit armatiile p i a a nt l n s s cazul implicatiei, q, p sau q, p dac i numai dac q i negatia propozitiei p. In as a s situatia este diferit i necesit unele precizri, pe care le facem sectiunile 1.6, as a a n 1.7 i 1.9. s 1.6. vorbirea curent, un enunt de forma dac p atunci q sub elege In a a nt armarea unei legturi cauzale, care poate direct, adic p este cauza lui q, a a a 5

sau indirect, ca exemplul dac astzi este joi, atunci mine va vineri. a n a a a In logica matematic, propozitia p q este desprins de orice astfel de sub eles, a a nt determinarea valorii de adevr a acestei propozitii fcndu-se pe baza valorilor de a a a adevr a propozitiilor p, q i a Tabelelor 1. a s S considerm, de exemplu, propozitiile: a a dac 2 + 2 = 5 atunci 3 + 3 = 4, a dac balena este pete atunci apa este un lichid, a s dac Napoleon a murit la Sfnta Elena, atunci erul este un metal. a a gndirea obinuit aceste propozitii vor considerate false sau chiar lipsite de In a s a sens (i pot provoca ilaritate), deoarece in ecare din ele nu exist nici o legtur s a a a cauzal a ntre premisa p i concluzia q. logica matematic abordarea este diferit: s In a a deoarece ecare caz propozitiile componente p, q au valori de adevr i anume n a s v(p) = v(q) = 0 primul exemplu, v(p) = 0, v(q) = 1 al doilea exemplu i n n s v(p) = v(q) = 1 al treilea exemplu, rezult c ecare din cele trei exemple n a a n propozitia p q este legitim i v(p q) = 1 conform Tabelelor 1. as 1.7. Examinarea Tabelelor 1 ne arat c: a a 1. Dac premisa p este fals, atunci implicatia p q este adevrat, oricum a a a a ar q. Aceast observatie ste cunoscut sub numele de principiul implicatiei a a adevrului prin fals; uneori ea se exprim sub forma falsul implic orice. a a a 2. Dac concluzia q este adevrat, atunci implicatia p q este adevrat, a a a a a orcium ar p. 3. Dac premisa p i implicatia p q sunt adevrate, atunci concluzia q este a s a adevrat. Aceast observatie este cunoscut sub numele de modus ponens. a a a a Aceste trei observatii sunt importante, ele ind folosite frecvent matematic. De n a fapt, despre modus ponens se poate spune mai mult: el este silogismul de baz al a gndirii noastre. a Observatia 2 Formularea falsul implic orice a fost uneori interpretat sen a a n sul c adoptarea unei premise false p ar o tehnic prin care matematic am a a n a putea demonstra orice concluzie q, deci particular am putea demonstra orice n propozitie fals ! In realitate observatia (1) nu arm adevrul propozitiei q ci a a a adevrul propozitiei p q (n sectiunea 1.6 nu sustinem c 3 + 3 = 4 ci doar c a a a propozitia 2 + 2 = 5 3 + 3 = 4 este adevrat). a a 1.8. calculul propozitiilor multimea de plecare P0 i functia de adevr de In s a plecare v0 : P0 {0, 1} rmn arbitrare, ceea ce confer studiului un grad a a a nalt de generalitate. timp ce considerentele din sectiunea 1.6 au fost o aplicatie care In n 6

am presupus mod tacit c functia v0 este dat de cunotintele noastre diverse n a a s n domenii, la nivelul general - teoretic ne intereseaz acele proprieti propozitionale a at care sunt independente de alegerea functiei v0 , altfel spus proprietile invariante at la orice schimbare a functiei v0 . S ne amintim acum c o propozitie p P este format din propozitii combia a a nate ntre ele cu ajutorul conectorilor logici; la rndul lor, propozitiile componente a ar putea compuse din alte componente etc. Putem astfel considera mai multe descompuneri ale propozitiei p, printre care o descompunere propozitii din P0 . n algebra universal se demonstreaz c descompunerea propozitii din P0 (In a a a n este unic i tocmai aceast unicitate asigur existenta unei prelungiri homomorfe as a a unice a functiei v0 .) particular, p P0 dac i numai dac p nu se descompune alte propozitii. In as a n general valoarea de adevr a unei propozitii p P depinde de valorile de In a adevr ale propozitiilor componente. a Spunem c p este o tautologie i notm acest fapt sub forma a s a p dac propozitia p este adevrat oricare ar valorile de adevr ale propozitiilor a a a a componente. S detaliem denitia de mai sus. S presupunem c p se descompune propozia a a n iile p1 , . . . , pn combinate t ntre ele cu ajutorul conectorilor logici. Spunem c p a este o tautologie dac, oricare ar v(p1 ), . . . , v(pn ) {0, 1}, calculnd v(p) din a a v(p1 ), . . . , v(pn ) cu ajutorul Tabelelor 1, se obtine rezultatul v(p) = 1. Acum este uor de vzut c denitia se poate reformula modul urmtor: s a a n a p este tautologie dac i numai dac v(p) = 1 oricare ar homomorsmul a s a v : P {0, 1}. Ultima variant a denitiei tautologiilor ne arat acelai timp c prima varia a n s a ant este corect, sensul c nu depinde de descompunerea aleas a propozitiei p a a n a a considerate. S mai observm c o propozitie p P0 nu poate o tautologie. a a a 1.9. Introducem urmtoarele notatii: a (D1) (D2) p = q p q nseamn a nseamn a p q; p q.

(oral, = i se citesc la fel ca i respectiv ). s s Observatia 3 1. p = q dac i numai dac pentru orice homomorsm v pentru care v(p) = 1 as a avem i v(q) = 1; s 7

2. p q dac i numai dac v(p) = v(q) pentru orice homomorsm v; as a 3. p q dac i numai dac p = q i q = p. as a s Demonstratie: (1) Fie p = q; dac v este un homomorsm i v(p) = 1, atunci deoarece a s v(p q) = 1, Tabelele 1 ne arat c nu putem avea v(q) = 0, deci v(q) = 1. a a Reciproc, e satisfcut conditia din enunt; dac v este un homomorsm, artunci a a a nu putem avea v(p) = 1 i v(q) = 0, deci Tabelele 1 ne arat c v(p q) = 1. s a a (2), (3) se demonstreaz asemntor. a a a Observatia (1) arat c acceptiunea (D1) dat relatiei p = q este acord cu a a a n primul rnd matematic folosim mod folosirea semnului = matematic. In n a a n a n tacit Tabelele 1, adic faptul c functia de adevr este un homomorsm. Atunci a a a cnd demonstrm o teorem p = q, presupunem ipoteza p, adic presupunem a a a a v(p) = 1, dup care demonstrm v(q) = 1. Cu alte cuvinte, folosim caracterizarea a a dat de observatia (1). mod asemntor se constat c acceptiunea (D2) dat a In a a a a a relatiei p q este acord cu folosirea semnului matematic. Prin urmare n n a prezint interes studierea relatiilor = i introduse prin (D1) i respectiv (D2). a s s acelai timp obtinem o justicare aposteriori a deifnitiei valorilor de adevr In s a pentru p q; dei denitia este ocant la prima vedere (cf. 1.6), ea este de fapt s s a concordant cu practica demonstratiilor matematice, aa cum rezult din cele n a s a precedente. 1.10. S consemnm acum principalele proprieti ale relatiilor introduse. a a at Oricare ar propozitiile p, q, r, p , q , avem (1) p p; (2) dac p q atunci q p; a (3) dac p q i q r atunci p r; a s (4) dac p p i q q atunci a s p q p q , p q p q , p q p q , p q p q , p p . (5) p q q p, p q q p; (6) p (q r) (p q) r, p (q r) (p q) r; (7) p (p q) p, p (p q) p; (8) p p p, p p p; (9) p (q r) (p q) (p r), p (q r) (p q) (p r); (10) p (p q) p q, p (p q) p q; (11) (p) p; ; (12) (p q) p q, (p q) p q; (13) p p, (p p); (14) dac p = q i q = r, atunci p r; a s 8

(15) (p q) p (p q), (p q) q (p q); (16) p = p q, p q = p; (17) q = p q, p q = q; (18) p q q p; (19) p q p q; (20) (p q) p q; (21) p (p q) p q; (22) p (p q) p q; (23) (p q) q p q; (24) p (q r) (p q) r; (25) p (p q) = q; (26) p = q p; (27) (p q) r = p (q r); (28) (p q) (p r) p (q r); (29) p q = (r p) (r q). virtutea observatiei (2) (observatiei (1)) din sectiunea 1.9, demonstratia unei In echivalente p q (unei implicatii p = q) se poate face dnd valori de adevr a a n toate modurile posibile propozitiilor care compun propozitiile p, q i artnd c s aa a n ecare caz v(p) = v(q) (respectiv v(p) = 0 sau v(p) = v(q) = 1). mod analog se pot demonstra proprietile (2), (3), (4), (13), (14). In at general, am dac o propozitie oarecare p este o tautologie sau nu cu ajutorul In a a urmtorului algoritm. Fie descompunerea propozitiei p propozitiile componente a n n p1 , . . . , pn P0 . parcurgem un ciclu care genereaz cei 2 vectori (a1 , . . . , an ) a {0, 1}n ; la ecare pas calculm v(p) folosind valorile v(pi ) = ai (1 i n). Dac la a a un pas obtinem rezultatul v(p) = 0, algoritmul se oprete cu rspunsul c p nu este s a a o tautologie; dac ciclul se termin, adic s-a obtinut rezultatul v(p) = 1 la ecare a a a pas, atunci p. Faptul c se poate stabili algoritmic dac o propozitie oarecare este tautologie a a sau nu, constituie o proprietatea important, care se enunt de obicei sub forma: a a Calculul propozitiilor este decidabil. Demonstratia proprietilor (1) (29) poate scurtat, cu pretul pierderii car at a acterului algoritmic, dac folosim mod judicios urmtoarele consecinte simple ale a n a Tabelelor 1 : pentru orice p, q P : (O1 ) (O2 ) dac v(p) = 0 atunci v(p q) = 0 i v(p q) = v(q); a s dac v(p) = 1 atunci v(p q) = 1 i v(p q) = v(q). a s

S demonstrm de exemplu prima proprietate de distributivitate (9): a a - Dac v(p) = 0 atunci v(p (q r)) = 0, v(p q) = 0, v(p r) = 0 deci a v((p q) (p q)) = 0; 9

- Dac v(p) = 1 i v(q) = 0 atunci v(p (q r)) = v(q r) = v(r), v(p q) = a s 0, v(p r) = v(r), deci v((p q) (p r)) = v(r). Cazul v(p) = v(q) = 1 i v(r) = 0 se trateaz analog. s a - Dac v(p) = v(q) = v(r) = 1 atunci v(q r) = 1, v(p (q r)) = 1, v(p q) = a v(p r) = 1, deci v((p q) (p r)) = 1. Aadar, demonstratia s-a fcut examinnd doar 3 cazuri loc de 8. s a a n O alt modalitate de demonstratie, tot nealgoritmic, dar elegant, const a a a a a n demonstra ca mai sus o parte din proprieti, celelalte ind demonstrate prin calcul at pe baza proprietilor deja stabilite. De exemplu, pentru a demonstra (20) putem at folosi pe rnd (19), (12) i (11), a s mpreun cu (4): a (p q) (p q) p q p q de unde (20) rezult aplicnd tranzitivitatea (3). a a Cititorul este ndemnat s demonstreze toate proprietile (1) (29) pe diverse a at ci. a 1.11. Incheiem acest paragraf cu cteva precizri i observatii. a a s 1.11.1. S-a fcut demult remarca simpl c orice limb este constituit dintra a a a a un vocabular, o gramatic i totalitatea frazelor posibile ale limbii, construite pe a s aza vocabularului i cu respectarea regulilor gramaticale. Prin analogie vorbim s de limbajul calculului propozitiilor, al crui vocabular este format din elementele a multimii P0 , conectorii logici i parantezele, gramatica ind dat de regulile 1 3 s a din sectiunea 1.3, iar rolul frazelor este jucat de propozitiile multimii P . Semnele , = i nu fac parte din limbajul calculului propozitiilor, iar armatiile de s forma p, p = q, p q sunt armatii despre limbajul calculului propozitiilor; spunem c aceste armatii a fac parte din metalimbajul calculului propozitiilor. Aadar, cuvintele i, dac, s s a atunci care apar aceste armatii dac parte din metalimbaj i ar greit s le n s s a stenagroem cu semnele , din limbaj. O observatie care marcheaz de asemenea diferenta dintre limbaj i metalimbaj a s este c semnele , folosesc la constructia elementelor din P , timp ce a n =, desemneaz dou relatii binare pe multimea P . a a Observatia 4 In unele rspunsuri la examene sau chiar unele texte de logic a n a matematic se noteaz propozitiile compuse cu a a p q, p q, p q, p q, p iar proprieti cum sunt (1) (29) se noteaz sub forma: at a p p p, p q q p etc. Alteori propozitii compuse se noteaz cu a p q, p q, p = q, p q, p 10

iar proprietile se noteaz at a p p p,

p q q p etc.

Ambele variante trdeaz confuzia a a ntre limbaj i metalimbaj, ceea ce constituie s o greeal grav. Putem folosi semnele = i metalimbaj, dar atunci pros a a s n prietile de tipul (1)(29) trebuie notate folosind semnul fat, iar proprietile at n a at care intervin mai multe semne de implicatie, semnul principal trebuie marcat prin n noi perechi de paranteze fat de scrierea din sectiunea 1.10; de exemplu, proprietatea a (27) se scrie ((p = q) = r) = (p = (q = r)). 1.12. Este instructiv s recunoatem printre tautologiile (1) (29), cteva proa s a prieti care stau la baza unor scheme de rationament folosite mult matematica at n de toate nivelele. Astfel: Proprietatea (18) justic faptul c unele teoreme enuntate p = q sunt a a demonstrate sub forma q = p; proprietatea (15) recunoatem dou din schemele reducerii la absurd: penIn s a tru a demonstra p = q, presupunem ipoteza p i ipoteza de reducere la s absurd q; dac reuim s obtinem concluzia p sau concluzia q, teorema este a s a demonstrat. a Proprietatea (24) st la baza aa numitei teoreme a deductiei, care arat c a s a a dac ipoteza unei teoreme este p iar concluzia este de forma q r, atunci a pentru a demonstra teorema trebuie s presupunem ipotezele p i q i s demona s s a strm concluzia r. Este surprinztor c aceast tehnic elementar provoac a a a a a a a diculti multor elevi i chiar unor studenti ! at s Observatia 5 In matematic suntem adesea pui situatia de a nega o proprozitie a s n de forma p q. Este trist s constatm ct de multi practicanti ai matematicii, a a a incluznd unii profesori, nu tiu s fac acest lucru! Rspunsul corect, furnizat de a s a a a tautologia (20), este p q; acest fapt ar trebui s e evident pentru toat lumea, a a deoarece a nega p q nseamn a ne plasa singurul caz care p q este fals, a n n a iar acesta este cazul n care p este adevrat i q este fals, adic care p q este a as a a n adevrat. Dintre rspunsurile fanteziste la a a a ntrebarea Care este negatia propozitiei p q?, cel mai frecvent este rspunsul p q. Cititorul este a ndemnat s a stabileasc legtura ntre acest rspuns i cel corect: a a a s p q = p q, cele dou propozitii neind echivalente (conform cazului cnd p este fals). a a a

11

1.11.3. Propozitiile (p q) r i p (q r) s nu sunt general echivalente (vezi (27) pentru v(p) = v(r) = 0). De aceea, n n propozitiile care apar mai multe semne , trebuie puse toate parantezele, n evitnd astfel ambiguitile. a at

Elemente de calculul predicatelor

2.1. Predicatele sunt enuturi care depind de una sau mai multe variabile i care s devin propozitii sensul capitolului precedent atunci cnd toate variabilele de care n a depinde predicatul respectiv iau valori ntr-o multime precizat prealabil. a n Exemplul 1 x este om, x este tatl lui y, x+y=z etc. a Prin nlocuirea variablelor care apar aceste predicate cu indivizi concreti, bine n precizati, obtinem propozitii adevrate sau false: a Exemplul 2 Socrate este om, Mickey Mouse este om, 3 * 2 = 6, 7 * 5 = 15 etc. Dac a nlocuim variabilele cu valori luate la amplare, riscm s obtinem armatii nt a a fr sens, eventual hilare, cum ar V asile Ion = M ihai etc. De fapt a, aa ns atunci cnd aplicm calculul predicatelor a a ntr-un domeniu al matematicii, lucrm a numai cu predicate i valori care se refer la obiectul studiului respectiv. De exemplu, s a teoria multimilor lucrm cu predicate ca x z, y z etc, iar valorile pe care le n a iau variabilele sunt elemente i multimi; tot aa, cine studiaz geometria lucreaz de s s a a fapt cu predicate specice acestei discipline, iar variabilele semnic puncte, drepte, a curbe, plane, suprafete etc; etc. Pentru a modela situatia ilustrat prin exemplele de mai sus, calculul predi a n catelor se postuleaz c variabilele iau valori a a ntr-o multime nevid, numit uni a a versul discursului. Acesta este neprecizat, dar xat pe tot parcursul studiului. (Universul discursului ar putea o clas proprie loc de multime, de exemplu a n clasa tuturor multimilor). Faptul c universul discursului este neprecizat, dar xat, a asigur generalitatea i respectiv coerenta demersului nostru. a s 2.2 Folosim notati de tipul p(x), q(x, y), . . . etc pentru a desemna predicate de pinznd de o variabil x, respectiv dou variabile x, y, . . . etc. a a a general, dac nu se specic altfel, notatiile p(x), q(x, y), . . . nu exclud posibiliIn a a tatea ca predicatele respective s depind i de alte variabile, care nu sunt mentionate a as explicit. 12

Calculul predicatelor utilizeaz cuanticatorul universal i cuanticatorul a s existential , care se citesc modul care ne este familiar: n x p(x) se citete pentru orice x, p(x); s x p(x) se citete exist x astfel at p(x), s a nc elesul ind c pentru orice element x din universul discursului are loc proprient a tatea p(x), respectiv c universul discursului exist un element x cu proprietatea a n a p(x). Este esential s elegem c expresiile de forma x p(x) i x p(x), simbolul a nt a n s x nu mai reprezint propriu zis o variabil; nu este permis s a a a nlocuim x cu un element x din universul discursului. De exemplu, e universul discursului R i p(x) s predicatul x2 9 = 0. Este evident un non-sens s spunem a pentru orice 3, 32 9 = 0, dar i exprimarea s exist 3 astfel at 32 9 = 0 a nc este defectuoas: ea pare a spune c exist ami multi 3, dintre care unii au proa a a In ncep cu sau cu se refer la a prietatea 32 9 = 0. concluzie, armatiile care ntregul univers al discursului i nu la un element x, e el specicat sau nu. s Din cele precedente rezult c x p(x) i x (p(x) sunt predicate depinznd a a s a particular, dac predicatul de toate variabilele diferite de x de care depinde p. In a p depinde numai de variabila x, atunci x p(x) i x p(x) sunt propozitii i este s s important s retinem c adevrul sau falsitatea acestor propozitii depind att de a a a a predicatul p ct i de universul discursului. a s Exemplul 3 S considerm predicatele a a x < y, x = 2, x2 3 = 0.

Atunci x (x < y) i x (x < y) sunt predicate variabila y, iar s n 2 x (x = 2), x (x = 2), x (x 3 = 0) i x (x2 3 = 0) s sunt propozitii. Dac universul discursului este Q, atunci primele dou propozitii sunt adevrate, a a a iar ultimele doua sunt false; dac universul discursului este R sau C, atunci prima a i a treia propozitie sunt false iar celelalte dou sunt adevrate. s a a Urmtoarea terminologie, folosit calculul predicatelor, reacet situatia explicat a a n a a mai sus. Intr-o expresie de forma x p(x, y, . . .) sau x p(x, y, . . .) se spune c a variabila x este o variabil cuanticat sau legat sau aparent, iar variabilele a a a a y, . . . sunt libere. S notm c variabilele libere i variabilele legate apar i alte contexte matea a a s s n matice. De exemplu, 0y f (x)dx, x este o variabil aparent iar y o variabil n a a a 13

liber. O observatie foarte util este c schimbarea numelui unei variabile legate cu a a a un nume diferit de numele variabilelor libere dintr-o expresie, nu schimb expresia a respectiv. a (30) x p(x) = t p(t), x p(x) = t p(t) b dac variabila t este diferit de variabilele libere din p. La fel, a f (x)dx = a a b a f (t)dt etc. Observatia 6 In ultimii ani, destul de multi matematicieni din ara noastr folo t a sesc scrierile i/sau lectiile lor notatiile ()x, ()x loc de x, x. Exist n s n a dou motive pentru care scrierea simbolurilro cunaticatorilor a ntre paranteze trebuie respins. Primul este un argument de autoritate: scrierea consacrat pe plan a a mondial este x, x, adic fr paranteze; de altfel i (cei mai) multi matematia a a s cieni romni folosesc scrierea consacrat. In particular, cititorul va putea constata a a c nici una din lucrrile care alctuiesc bibliograa acestui articol nu se folosete a n a a s notatia ()x, ()x. Al doilea argument este c scrierea ()x, ()x constituie o a complicatie inutil, deoarece ea nu aduce nici o informatie plus fat de scrierea a n a normal. Trebuie adugat aici c uneori se folosete scrierea (x), (x), care este a a a s de asemenea o complicatie inutil cazul unui singur cuanticator, dar care poate a n uura citirea n cazul mai multor cuanticatori succesivi: (x)(y)(z)(t)p(x, y, z, t) s se citete poate mai bine dect xyzt p(x, y, z, t), dei aceast din urm scriere s a s a a sfrit, s mai mentionm c exist autori care este i ea lipsit de ambiguitate. In a s s a a a a a scriu (x) pentru x. Autorul acestui articol a ntrebat pe civa dintre colegii si care folosesc scrierea at a (), (), de ce pun aceste paranteze ? Rspunsul comun a fost c nu este vorba de a a o chestiune de principiu, ci de o obinuint. Este uor de constatat c obinuinta s a s a s a ptruns n nvmnt i prolifereaz pe aceast cale. Autorul articolului de fat a ata a s a a a crede cu trie c aceast chestiune nu este indiferent, c nu trebuie s ne singua a a a a a larizm n acest mod fat de comunitatea matematic internatiunal, ci trebuie s a a a a a revenim la notatia corect x, x, chiar dac cealalt notatie este folosit de civa a a a a at distini matematicieni romni pe care autorul stimeaz cel mai s a i a n nalt grad. 2.3. Urmnd o idee asemntoare cu cea aplicat calculul propoztiilor, cala a a a n n culul predicatelor se presupune dat o multime neprecizat dar xat de predicate, a a a din care se alctuiesc noi predicate prin aplicarea cuanticatorilor i a conectorilor a s logici toate modurile posibile. scrierea acestor predicate trebuie respectat o n In a regul fundamental i anume c a as a ntr-un predicat orice variabil liber trebuie notat a a a diferit de orice variabil legat. a a Nerespectarea acestei reguli se numete coliziunea variabilelor i ea invalideaz s s a scrierea predicatului respectiv. Atunci cnd din dou predicate corect scrise alctuim a a a un nou predicat prin aplicarea unui conector logic, trebuie s ne asigurm c nici a a a 14

noul predicat nu prezint fenomenul de coliziune a variabilelor, ceea ce se poate a realiza totdeauna cu ajutorul proprietii (30). at Exemplul 4 Fie dou predicate p(x, y), q(x, z). Atunci x p(x, y) este un nou prea dicat, dar x p(x, y) q(x, z) nu este predicat, deoarece prezint coliziunea variabilei a x. Pentru a depi aceast dicultate, considerm o variabil t {x, y, z} i avem as a a a s x p(x, y) = t p(t, y), conform proprietii (30); acum putem introduce predicatul at t p(t, y) q(x, y), care este corect alctuit. a Din cele de mai sus rezult regula: a Dac P i Q sunt predicate astfel at nici o variabil liber din P nu apare a s nc a a legat Q i nici o variabil liber din Q nu apare legat P , atunci P Q, P a n s a a a n Q, P Q i P Q sunt de asemnea predicate. Trecerea de la P la P nu este s conditionat de nici o restrictie. a Exemplul 4, ca i formulele (10), (11) (13), (15), (18) (20) am folosit In s n mod tacit regulile de suprimare a parantezelor, pe care le vom explica acum. n In algebra obinuit, conventiile de sypriumare a parantezelor provin dintr-o conventie s a de ierarhizare a triei cu care leag simbolurile diverselor operatii; de exemplu, faptul a a c scrierea x y + z este eleas ca reprezentnd (x y) + z provine din conventia a nt a a c a nmultirea leag mai tare dect adunarea. a a calculul predicatelor se adopt urmtoarea ordine descresctoare a triei cu In a a a a care leag simbolurile logice: a (31) , , ; , ; , care semnele ; despart trei grupe de simboluri, ecare grup constnd din n a a simboluri de aceeai trie. Acum este clar c, de exemplu, s a a (x p(x) q(x, y)) r(y, z) (p(y) q(y)) nseamn a (((x p(x)) (q(x, y))) r(y, z)) (p(y) q(y)). acest exemplu, ca i formulele (6), (7), (9), (10), (27)(29), se poate observa In s n c prezenta unor simboluri consecutive de aceeai trie, punerea parantezelor a n s a este obligatorie. Este desigur o banalitate s precizm c punerea parantezelor este a a a obligatorie ori ce cte ori dorim s indicm alt ordine de efectuare a operatiilor a a a a dect aceea care ar rezulta absenta parantezelor. a n Exemplul 5 S considerm predicatul a a x (p(x) q(x)). Dac suprimm perechea de paranteze care marcheaz domeniul de actiune al cuana a a ticatorului , obtinem formula x p(x) q(x). Aceast formul este incorect alctuit, deoarece prezint fenomenul de coliziune. a a a a a Unii autori accept i astfel de formule, ceea ce, explicat pe exemplul considerat, a s revine la faptul c formula este acceptat cu elesul y p(y) q(x), conform (30). a a nt 15

Observatia 7 Exemplul 5 coroborat cu avertismentul din Observatia 6 ne arat c a a timp ce parantezele care ar n nconjura un cuanticator sunt indezirabile, parantezele care urmeaz imediat dup x sau x (dac exist) sunt esentiale, prezenta a a a a sau absenta lor putnd schimba sensul formulei. a 2.4. Trecem acum la studiul deductiei calculul predicatelor, introducnd n a notatiile urmtoare. Fie p(x, . . . , z), q(x, . . . , z) predicate care (x, . . . , z) este o a n multime de variabile continnd toate variabilele libere din predicatele p i q. Atunci a s (D3) p(x, . . . , z) = q(x, . . . , z) nseamn a x . . . z (p(x, . . . , z) q(x, . . . , z)); (D4) p(x, . . . , z) q(x, . . . , z) nseamn a x . . . z (p(x, . . . , z) q(x, . . . , z))2 . Proprietile (1) (29) din calculul propozitiilor rmn valabile i pentru calcuat a a s lul predicatelor (adic pentru predicate p, q, r, p , q i pentru =, date prin a s dentiile (D3), (D4)). plus, sunt valabile urmtoarele proprieti: In a at (32) dac p(x) p (x), atunci x p(x) x p (x), x p(x) x p (x), a (33) x p(x) = x p(x), (34) x p(x) x p(x), (35) x p(x) x p(x), (36) xy p(x, y) yx p(x, y), (37) xy p(x, y) yx p(x, y), (38) xy p(x, y) yx p(x, y), (39) x (p(x) q(x)) x p(x) x q(x), (40) x (p(x) q(x)) x p(x) x q(x), (41) x p(x) x q(x) = x (p(x) q(x)), (42) x (p(x) q(x)) = x p(x) x q(x), (43) x (p(x) q(x)) = x p(x) x q(x), (44) x (p(x) x q(x)) = x (p(x) q(x)), oricare ar predicatele care intervin formulele de mai sus. De asemenea, dac n a predicatele notate simplu p, q nu depind de variabila x, atunci (45) x p(x) q x (p(x) q), (46) x (p(x) q) x p(x) q, (47) x (p q(x)) p x q(x), (48) p x q(x) x (p q(x))
In [14], ca i alte lucrri, se folosete pentru din (D2), semnul ind folosit numai s n a s cu elesul (D4). nt
2

16

Propriett (33) (35) pot considerate ca evidente (luate ca axiome). Totui, a le s propunem cititorului urmtorul exercitiu: s demonstreze una din proprietile a a at (34), (35) folosind cealalt proprietate a mpreun cu proprieti stabilite sectiunea a at n 1.10.. cele ce urmeaz schitm demonstratiile proprietilor (32) i (36) (48). In a a at s La baza acestor demosntratii se a o tehnic pe care am putea s o rezumm a a a a n felul urmtor: se descuantic expresia, ajungndu-se la un element din universul a a a discursului, se face un rationament asupra acestui element, iar nal se recuan n tic. a Pentru a demonstra (36), presupunem xy p(x, y). Fie x0 , y0 din universul discursului. Atunci din ipotez rezult y p(x0 , y), apoi p(x0 , y0 ). cum x0 este a a arbitrar, obtinem mai departe x p(x, y0 ); dar y0 este arbitrar, deci yx p(x, y). Am demonstrat implicatia direct; implicatia invers se arat analog. a a a Pentru a demonstra (38), s presupunem xy p(x, y). Exist deci un element a a x0 universul discursului astfel at y p(x0 , y). Fie y0 un element arbitrar din n nc universul discursului. Deducem c p(x0 , y0 ) i drept urmare x p(x, y0 ). Cum a s elementul y0 este arbitrar, obtinem nal yx p(x, y). n S demonstrm acum (40). Fie x (p(x)q(x)). Atunci exist un element x0 a a a n universul discursului astfel at p(x0 )q(x0 ). Sunt dou posibiliti: p(x0 ) (caz nc a at care x p(x)) sau q(x0 ) (caz care x q(x)). Folosind proprietile (16) i n n at s (17) din calculul propozitiilor, se vede c in ambele cazuri avem x p(x) x q(x). a Reciproc, s presupunem c x p(x) x q(x). Atunci sunt posibile dou cazuri: a a a 1. 2. x p(x). acest caz considerm un element x0 astfel at In a nc p(x0 ) q(x0 ), deci x (p(x) q(x)). x q(x). Se obtine mod analog aceeai concluzie. n s x(p(x) q(x)). Vom considera dou a p(x0 ). Rezult a

Pentru a demonstra (43), presupunem cazuri posibile: 1.

x p(x). Fie x0 un element arbitrar din universul discursului. Atunci din ipoteza general i ipoteza cazului 1 obtinem (p(x0 ) q(x0 )) i respectiv as s p(x0 ). Folosind modus ponens (conform 1.7.) obtinem q(x0 ). Cum x0 este arbitrar, avem q(x), deci x p(x) x q(x). x p(x). Rezult a (conform 1.7.). x p(x) x q(x) pentru c premisa este fals a a

2.

Pentru proprietatea (44) recomandm artirea demonstratiei dou cazuri, dup a mp n a a valoarea de adevr a propozitiei x q(x). a

17

 virtutea proprietilor (41) (44), demonstrarea echivalentelor (45) (48) In at se reduce la demonstrarea implicatiilor de la dreapta la stnga. S demonstrm de a a a exemplu (45). Presupunem x (p(x) q). Considerm dou cazuri: a a 1. 2. q. Rezult imediat a x p(x) q.

q. Fie x0 un element arbitrar universul discursului. Atunci rezult n a p(x0 ) q; dar q este fals, deci p(x0 ). Elementul x0 ind arbitrar, obtinem a x p(x), deci x p(x) q.

Cititorul este ndemnat s suplineasc demosntratiile pe care le-am omis. nal a a In vom obtine validitatea tuturor proprietilor (32)(48). Dac predicatele p, q depind at a i de alte variabile dect x sau dect y, proprietile de mai sus rmn valabile i s a a at a a s demonstratiile se reduc la cele precedente prin xarea mod arbitrar a celorlaltor n variabile. Un alt rezultat important este c ecare dintre implicatiile de mai sus, adic a a (33), (38), (41) (44) este implicatie proprie, sensul c implicatia contrar nu are n a a loc. Acest fapt se stabilete prin contraexemple. contextul nostru, contraexems In plu poate s a nsemne nu numai alegerea unor predicate convenabile, ci i alegerea s convenabil a universului discursului. a Faptul c implicatia (38) este proprie apare ca evident. Vom remarca totui c a s a aici intervine ipoteza c universul discursului este nevid. a Pentru implicatia (38), e universul discursului N i predicatul x y. Atunci s este adevrat c yx x y (orice numr natural admite un majorant), dar este a a a fals c xy x y (deoarece nu exist un cel mai mare numr natural). a a a Fie p(x) o proprietate astfel at x p(x) i x p(x). Alegnd q(x) = nc s a p(x), obtinem contraexemple care arat c implicatiile (41) (43) sunt proprii. a a Alegnd drept q(x) o proprietate mereu fals ( x q(x)), vedem c implicatia a a a (44) este proprie. Observatia 8 Unii nceptori propun urmtoarea demonstratie pentru reciproca a a implicatiei (41). Presupunem x (p(x) q(x)) i e x0 un element arbitrar din s universul discursului. Atunci p(x0 ) q(x0 ), deci cel putin una din proprietile at p(x0 ), q(x0 ) este adevrat; de exemplu p(x0 ). Cum elementul x0 este arbitrar, a a conchidem c x p(x) i drept urmare avem x p(x)x q(x). Evident, greeala a s s const n trecerea de la p(x0 ) la x p(x); este ca i cum cineva trage un loc plic a s n (oarecare!), constat c a tras un bilet ctigtor i conchide c toate biletele sunt a a as a s a ctigtoare (analog pentru cazul cnd a tras un loz nectigtor) ! De remarcat as a a as a c demonstratia proprietii (45), cazul 2, trecerea de la p(x0 ) la x p(x) a n at este corect deoarece mprtirea cazuri nu a depins de x0 , ind fcut a a n a a nainte de alegerea lui x0 . 18

2.5. aceast sectiune trecem revist cteva aplicatii. In a n a a 2.5.1. matematic folosim adesea iruri de echivalente i/sau implicatii, ca In a s s de exemplu (49) P Q R = S, unde P, Q, R, S sunt predicate. Este curios c unii dintre aceia care folosesc o a astfel de notatie nu cunosc semnicatia ei; de exemplu, (49) nseamn a (50) P Q i Q R i R = S. s s Aceast ignorant poate conduce la ambiguiti. S considerm de exemplu, a a at a a urmtorul mod de a redacta demonstratia injectivitii functiei logaritmice: a at (51) log x = log y = 10log x = 10log y = x = y = log este injectie. virtutea interpretrii de mai sus, irul (51) In a s nseamn armarea succesiv a a a trei implicatii, dintre care ultima pur i simplu nu are sens: x = y = log s este injectie. Adevarata intentie a demonstratiei apare clar prin introducerea unei perechi de paranteze: (52) (log x = log y = 10log x = 10log y = x = y) = log este injectie. Scrierea (52) are i ea un cusur: sgetile din interior au sensul (D3) i fac parte s a s din metalimbajul calculului predicatelor, pe cnd a treia sgeat este din metalimbaj a a a (conform 1.11.) i deci ar trebui notat mod diferit. Redactarea optim pare a s a n a log x = log y = 10log x = 10log y = x = y deci log este injectie. 2.5.2. teoria multimilor i prin urmare In s n ntreaga matematic se folosesc a notatii de tipul {a1 , . . . , an }. Denitia riguroas a multimii notate acest mod este a n foarte simpl dac folosim limbajul calculului predicatelor: a a (53) A = {a1 , . . . , an } x (x A x = a1 x = a2 . . . x = an ) Observatia 9 Pe ct de rspndit, pe att de greit este prerea c atunci cnd a a a a a s a a a a scriem {a1 , . . . , an } trebuie s presupunem c elementele a1 , . . . , an sunt distincte a a dou cte dou. Este clar c n denitia (53) nu intervine o astfel de clauz. De a a a a a exemplu, scrierea {3, 3, 2, 2, 3, 1, 1, 1} este perfect legitim, iar virtutea denitiei a n (53), a comutativitii i a idempotentei ((5) i respectiv (8)) rezult at s s a (54) {3, 3, 2, 2, 3, 1, 1, 1} = {1, 2, 3}. Ultima egalitate ne ilustreaz i faptul c absenta cererii ca elementele a1 , . . . , an as a s e distincte nu contrazice conceptia lui Cantor potrivit creia ecare element al a a unei multimi este considerat o singur dat: scrierea din membrul stng al relatiei a a a (54) este redundant ca i cum am fcut mai multe fotograi ale ecrui element a s a a dar aceasta scriere desemneaz o multime sensul cantorian, dup cum ne relev a n a a membrul drept. In afar de argumentele principale de mai sus, exist i un argument pragmatic a as mpotriva conventiei ca elementele a1 , . . . , an s e neaprat distincte. Intr-adevr, a a a 19

o conventie se introduce pentru a realiza o anumit simplicare a enunturilor, prin a eliminarea necesitii de a enumera multe cazuri de exceptie: acesta este rolul unor at conventii cum ar x0 = 1 sau introducerea multimii vide. In schimb conventia n discutie nu face dect s complice lucrurile. De exemplu, o formul att de simpl a a a a a cum este {a1 , . . . , am } {b1 , . . . , bn } = {a1 , . . . , am , b1 , . . . , bn } ar deveni ilicit, deoarece nu este garantat respectarea conventiei membrul a a n drept. 2.5.3. analiza matematic se folosete scrierea de tipul x > 0, y > 0, In a s care pare a nu se incadra sistemul de scriere adoptat calculul predicatelor. n n In realitate, semnicatia scrierii din analiza matematic este dat de denitiile: a a (55) x > 0 p(x) = x (x > 0 p(x)), (56) x > 0 p(x) = x (x > 0 p(x)), unde semnul = nseamn c membrul stng este o notatie presurtat pentru a a a a membrul drept. S vedem cum se neag enunturile de forma (55) i cele de forma (56). Cititorul a a s este ndemnat s identice proprietile pe care le aplicm la ecare pas al calculelor a at a de mai jos: (x > 0 p(x)) = x (x > 0 p(x)) x (x > 0 p(x)) x (x > 0 p(x)), (x > 0 p(x)) = x (x > 0 p(x)) x (x > 0 p(x)) x ((x > 0) p(x)) x (x > 0 p(x)) i prin urmare s (57) (x > 0 p(x)) x > 0 p(x), (58) (x > 0 p(x)) x > 0 p(x). Cititorul este ndemnat s reia diverse demonstratii limbajul epsilon-delta din a n analiza matematic i s constate c ele sunt corecte, deoarece se bazeaz pe regulile as a a a a regulile (57), (58) trebuiau demonstrate, ceea ce am i (57), (58) de mai sus. Ins s fcut. a 2.5.4. Dup cum se tie, un grup (G, ) este format dintr-o multime G i o a s s operatie binar : G G G satisfcnd axiomele a a a (59) xyz (x y) z = x (y z), (60) ey x e = e x = x, (61) xx1 x x1 = x1 x = e. Uneori, nceptorii greesc scrierea axiomei (60), inversnd ordinea cuanticatorilor; a s a profesorul face corectura necesar, explicnd c prin inversare se obtine o armatie a a a mai slab, care accept c ecrui element x corespunde un element e, care s-ar a a a a i

20

putea schimba odat cu x. Din punctul de vedere al sectiunii 2.4, greeala revine a s la ignorarea faptului c implicatia (38) este proprie. a S mai observm c denitia de mai sus se face o presupunere tacit: elementul a a a n a e din axioma (60) coincide cu elementul e din axioma (61). Trebuie s elegem c a nt a aceast coincident nu rezult din calculul predicatelor. Intr-adevr, o propozitie a a a a de forma x p(x) x q(x) nu arm existenta unui x care s satisfac att p(x) a a a a ct i q(x); implicatia (42) este proprie. a s Pentru a arma explicit coincidenta elementului e din (60) cu elementul e din (61), trebuie s comasm aceste axiome a a ntr-una singur: a 1 1 (62) e (x (x e = e x = x) xx (x x = x1 x = e)). Un mod mai elegant de a atura neajunsul semnalat const schimbarea nl a n genului proxim al denitiei grupurilor. Vom spune c un grup (G, ,1 , e) este o a multime G mpreun cu 3 operatii (o operatie binar : G G G, o operatie a a 1 unar a : G G i o operatie zero-ar e G), satisfcnd axiomele (59) i s a a a s (63) x x e = e x = x, (64) x x x1 = x1 x = e. Acest mod de a deni grupurile are i alte avantaje, de natur algebric, asupra s a a crora nu vom insistm aici. a a 2.5.5. scrierea matematic obinuit cuanticatorii universali sunt uneori In a s a omii, ind sub elei. general aceast omisiune nu produce confuzii. Trebuie s nt s In a totui s m atenti: cnd negm o armatie pentru care cuanticarea universal s a a a a este sub eleas, formula (34) introduce un cuanticator existential care trebuie s nt a a apar mod explicit. Iat dou exemple. a n a a 2.5.5.1. Cnd demonstrm o teorem p(x) = q(x) prin reducere la absurd, a a a presupunem x (p(x) q(x)), conform (D3) i (20). s 2.5.5.2. S considerm relatia de ordine i relatia de ordine strict < pe a a s a multimea R (sau pe o submultime a lui R sau , < denite axiomatic pe o multime de natur neprecizat). Proprietatea de reexivitate a relatiei este scris adeseori: a a a (65) x x, iar proprietatea de ireexivitate a relatiei < apare sub forma (66) x x, formulele (65) i (66) sub elegndu-se cuanticatorul universal. n s nt a O greeal foarte frecvent este aceea de a crede c ireexivitatea este negatia s a a a realitate, reexivitatea relatiei < reexivitii. In at nseamn propozitia fals x x < a a x, deci negatia ei este x x x, pe cnd ireexivitatea (66) este x x x. a In virtutea implicatiei proprii (33), constatm c ireexivitatea este o proprietate mai a a tare dect negatia reexivitii. Tot aa, necomutativitatea unei operatii binare a at s denite pe o anumit multime nu trebuie scris x y = y x, ci xy x y = y x. a a 21

Concluzii:

3.1. Materialul teoretic prezentat acest articol constituie numai o mic parte din n a calculul propozitiilor i calculul predicatelor care la rndul lor sunt departe de s a a epuiza logica matematic. O prezentare enciclopedic a logicii matematice este a a oferit [3]. a n 3.2. Cititorul i-a putut da seama c simbolismul matematic obinuit prezint s a s a unele derogri de la simbolismul logicii matematice, primul ind mai colocvial. In a sectiunea 2.5 am ilustrat partial acest aspect. 3.3. Este incontestabil c matematica i informatica se bazeaz mod esential a s a n pe logic i c, prin urmare, stpnirea unui minim de cunotinte de logic este a s a a a s a indispensabil. Acesta este, de fapt, punctul de plecare al articolului de fat. a 3.4. legtur cu pozitia logicii matematice liceu, autorul crede c, orict In a a n a a de bine ar predate o lectie sau dou de logic matematic clasa IX, ele nu a a a n folosesc la nimic dac dup aceea tema este complet uitat (i particular scoas a a a s n a din programa concursurilor de admitere amntul superior). Cunotintele n nvta a s de logic matematic predate clasa IX trebuie s devin un instrument folosit a a n a a permanent la lectiile de geometrie, algebr, analiz i desigur informatic. n a a as a In articolul de fat am dat cteva exemple acest sens, iar cititorul poate descoperi a a n singur numeroase altele.

Bibliograe
[1] G. Asser - Einfuhrung in die matematishe Logik. Teil I, II, Teubner, Leipzig 1972 [2] D. W. Barnes, J. M. Mack - An Algebraic Introduction to Mathematical Logic, Springer Verlag, Berlin/Heidelberg/New York 1975 [3] J. Barwise, ed. - Handbook of Mathematical Logic, vol. A-D. North-Holland, Amsterdam 1977 [4] M. Becheanu, V. Cznescu, C. Nstsescu, S. Rudeanu - Logic matematic a a a a a a i teoria multimilor pentru anul II liceu, clase speciale de matematic, Editura s a didactic i Pedagogic, Bucureti 1972 as a s [5] A. Dumitriu - Logica polivalent, Editura enciclopedic Romn, Bucureti 1971 a a a a s [6] Gh. Enescu - Logica simbolic, Editura Stiintic, Bucureti 1971 a a s 22

[7] H. Freudenthal - Limbajul logicii matematice, Editura Tehnic, Bucureti 1975 a s [8] R. L. Goodstein - Mathematical Logic, Leicester Univ. Press 1957 [9] D. Hilbert, W. Ackermann - Grundzuge der theoretishen Logik, Springer-Verlag, berlin 1928, Editia V, 1967 [10] L. A. Lavrov, L. L. Maksimova - Probleme de teoria multimilor i logic matem s a atic, Editura Tehnic, Bucureti 1974 a a s [11] R. C. Lyndon - Notes on Logic, Van Nostrand, Princeton 1967 [12] Gr. C. Moisil - it Elemente de logic matematic i teoria multimilor, Editura a as Stiintic, Bucureti 1968 a s [13] Gr. C. Moisil - Lectii despre logica rationamentului nuantat, Editura Stiintic a i Enciclopedic, Bucureti 1975 s a s [14] C. Nstsescu, C. Nit, Gh. Rizescu - Matematic. Algebr. Manual pentru a a a a a clasa IX, Editura Didactic i pedagogic, Bucureti 1984 as a s [15] P. S. Novikov - Elemente de logic matematic, Editura Stiintic, Bucureti a a a s 1966 [16] P. Rosenbloom - The Elements of Mathematical Logic, Dover Publ., New York 1950 [17] S. Rudeanu - Despre algebrele booleene i logica matematic, gazeta matematic, s a a 70 (1965), nr. 2-3 [18] S. Rudeanu - Curs de bazele informaticii. Logic matematic: I. Eemente de a a algebr universal. II. calculul propozitiilor, Univ. Bucureti 1977 (litograat) a a s [19] S. Rudeanu - Logic matematic. C. P. Popovici, S. Rudeanu, H. Georgescu a a In - Bazele informaticii, vol. II, cap. VII, Univ. Bucuresti 1991 (litograat)

23