Logic matematic i computational a as a Cursul I

Claudia MURESAN cmuresan11@yahoo.com

Universitatea din Bucureti s Facultatea de Matematic i Informatic as a Bucureti s

2011-2012, semestrul I

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

1 / 48

Introducere

Multimi i functii s

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

2 / 48

Introducere

Logica: modelare matematic a legilor gndirii a a Inainte de a trece la prezentarea unor sisteme logice, este necesar un capitol de preliminarii algebrice, care va introdus o structur algebric numit algebr n a a a a a Boole, structur cu foarte multe aplicatii matematic i informatic. a n as a Aplicatii ale algebrelor Boole informatic: n a la proiectarea circuitelor electronice la crearea de sisteme i aplicatii software s fundamentarea matematic a multor ramuri ale informaticii n a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

3 / 48

Cuprinsul orientativ al cursului

Capitolul 1: Latici i algebre Boole: s Multimi i functii s Relatii binare. Relatii de echivalent. Relatii de ordine. Multimi (partial) a ordonate Latici Algebre Boole. Morsme de algebre Boole. Filtre i congruente algebre s n Boole. Ultraltre. Teorema de reprezentare a lui Stone. Structura algebrelor Boole nite

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

4 / 48

Cuprinsul orientativ al cursului

Capitolul 2: Calculul propozitional clasic: Sintaxa Algebra LindenbaumTarski Semantica Teorema de completitudine

Capitolul 3: Calculul cu predicate clasic: Structuri de ordinul I Sintaxa Semantica

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

5 / 48

Bibliograe
S. Burris, H. P. Sankappanavar, A Course in Universal Algebra, The Millenium Edition, disponibil online. a D. Buneag, D. Piciu, Lectii de algebr, Editura Universitaria Craiova, 2002. s a D. Buneag, D. Piciu, Probleme de logic i teoria multimilor, Craiova, 2003. s as V. E. Cznescu, Curs de bazele informaticii, Tipograa Universitii din a a at Bucureti, 1974, 1975, 1976. s G. Georgescu, Elemente de logic matematic, Academia Militar, Bucureti, a a a s 1978. G. Georgescu, A. Iorgulescu, Logic matematic, Editura ASE, Bucureti, a a s 2010. K. Kuratowski, Introducere teoria multimilor i topologie, traducere din n s n limba polonez, Editura Tehnic, Bucureti, 1969. a a s S. Rudeanu, Curs de bazele informaticii, Tipograa Universitii din at Bucureti, 1982. s A. Scorpan, Introducere teoria axiomatic a multimilor, Editura n a Universitii din Bucureti, 1996. at s Articolele de logic (inclusiv cele cu probleme date la examenul de logic a a matematic i computational) din Revista de logic a Profesorului Adrian as a a Atanasiu, publicatie online.
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 6 / 48

Prescurtri uzuale a
i. e. = id est = adic a ddac = dac i numai dac a as a a. = astfel at . nc . a. m. d. = i aa mai departe s s s Vom folosi i notatia :=, cu semnicatia de atribuire, ca prescurtare pentru s denitie notatie scrierea = sau = .

Exemplu
Scrierea x := f (y ) semnic: a se atribuie lui x valoarea f (y ) se denete x ca ind f (y ) s se noteaz f (y ) cu x a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

7 / 48

Introducere

Multimi i functii s

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

8 / 48

Multimi i functii s
Incepem Capitolul 1 al cursului: Latici i algebre Boole, cu sectiunea Multimi s i functii. s Ce este o multime? Teoria naiv a multimilor versus teoria axiomatic a multimilor a a O denitie din teoria naiv a multimilor: o multime este o colectie de a obiecte bine determinate i distincte, numite elementele multimii. s distincte: o multime nu contine un acelai obiect de mai multe ori; un s element apare ntr-o multime o singur dat a a bine determinate: orice multime are o descriere precis, care o identic a a n mod unic, adic identic mod unic elementele a i a n

Exemplu
S considerm multimea zerourilor (i. e. a rdcinilor) functiei zeta a lui a a a a Riemann. Nu sunt cunoscute toate elementele acestei multimi (a se vedea ipoteza lui Riemann, care este o parte din a 8-a problem a lui Hilbert, a problem de un milion de dolari, enciclopedia online wikipedia sau cartea a n n Vrsta de aur a matematicii a lui Devlin etc.), dar nu exist dou multimi a a a distincte (diferite) ecare avnd ca elemente zerourile functiei zeta a lui Riemann, a deci aceast denitie descrie o multime, o identic mod unic. a a n
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 9 / 48

Teoria naiv a multimilor a

Teoria naiv a multimilor a fost initiat de matematicianul Georg Cantor, care, a a 1884, a denit pentru prima dat notiunea de multime, ca ind o grupare n a ntr-un tot a unor obiecte distincte ale intuitiei sau gndirii noastre. a O multime este considerat ca un tot unitar, deci ca un obiect unitar, care poate a aadar element al altei multimi. s teorie naiv: ambiguitatea exprimrii aceast denitie, care las loc de a a n a a interpretri: ce este un obiect (al intuitiei sau gndirii noastre), ce este o a a grupare ntr-un tot? teorie naiv: din denitii exprimate limbaj natural (metalimbaj) (vom a n vedea), inerent ambigue, se ncearc stabilirea unor proprieti ale notiunilor a at denite matematica lucreaz cu notiuni precise necesitatea fundamentrii a a axiomatice (vom vedea) teorie axiomatic: se lucreaz cu notiuni distinse initial doar prin denumirile a a lor, asupra crora se impun axiome (vom vedea), proprieti, reguli de lucru a at precise cu acele notiuni; de ce este mai avantajoas aceast abordare? pentru a a c matematica este interesat de proprietile notiunilor cu care lucreaz, nu a a at a de natura lor; vom relua aceast discutie cnd vom vorbi despre egalitate a a versus izomorsm
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 10 / 48

Paradoxul lui Russell

Notiunea de multime se dovedete a nu sucient de cuprinztoare: 1903, s a n Bertrand Russell demonstreaz c nu exist multimea tuturor multimilor, prin a a a paradoxul care poart numele. i a Este unanim acceptat faptul c, dac M este o multime, iar P este o proprietate a a referitoare la elementele multimii M, atunci colectia tuturor elementelor lui M care satisfac (au) proprietatea P este tot o multime, notat uzual astfel: a {x M | P(x)}; facem apel aici la cunotintele despre notatiile legate de multimi s aate gimnaziu i liceu, unde se studiaz teoria naiv a multimilor: M este o nvt n s a a liter (o notatie, un nume, o variabil) ce desemneaz o multime arbitrar (dar a a a a xat), x este o liter ce desemneaz un element arbitrar al multimii M, este a a a simbolul de apartenent, scrierea x M semnic faptul c x este un element al a a a multimii M, iar scrierea P(x) semnic faptul c elementul x satisface a a proprietatea P. Acoladele ncadreaz o multime, dat e prin enumerarea a a elementelor ei separate de virgule, e prin specicarea unei proprieti asupra at elementelor unei multimi mai mari i a faptului c multimea la care ne referim s a se obtine din acea multime mai mare prin selectarea elementelor care au acea proprietate, cum este cazul de fat. Vom folosi i simbolul , care este negatia a s / apartenentei, adic scrierea x M semnic faptul c nu are loc x M, i. e. x a / a a nu este un element al lui M.
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 11 / 48

Paradoxul lui Russell

arbitrar, dar xat = care poate nlocuit cu orice obiect de acelai tip s (de exemplu, cazul de mai sus, cu orice multime), dar, momentul care n n n lucrm cu un astfel de obiect, atunci acel obiect (cu care lucrm) este xat, a a adic nu se schimb, nu este a a nlocuit cu un alt obiect timp ce lucrm n a cu el Ce sar ampla dac ar exista multimea tuturor multimilor, adic multimea nt a a avnd ca elemente toate multimile? S presupunem c aceast multime a tuturor a a a a multimilor exist, i so notm cu M. Am presupus c M este multime, deci, a s a a ntruct M contine toate multimile, a nseamn c M se contine pe sine: M M, a a un fapt neobinuit conditiile care pn acum am lucrat doar cu multimi s n n a a care nu se contin pe ele nsele ca elemente (multimea numerelor naturale contine numai numerele naturale, nu i multimea acestor numere, adic pe sine, ca s a element; i la fel stau lucrurile cu toate multimile pe care leam alnit s nt n gimnaziu i liceu). s Acest fapt ne furnizeaz ideea de a considera proprietatea ca o multime s nu se a a contin pe sine. Fie aadar P proprietatea referitoare la elementele lui M, adic la a s a multimi, denit astfel: o multime A satisface proprietatea P ddac A A (i. e. a a / A nu se contine pe sine).
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 12 / 48

Paradoxul lui Russell

Si acum s considerm multimea tuturor multimilor care nu se contin pe ele a a nsele, adic multimea {A M | P(A)} a multimilor care satisfac proprietatea P, a sau, altfel scris, multimea {A M | A A}, i s notm aceast multime cu X . / s a a a Paradoxul lui Russell: X satisface proprietatea P sau n-o satisface? Adic a X X sau X X ? / Dac X X , atunci, a ntruct elementele lui X sunt multimile care nu se contin pe a ele nsele, nseamn c X nu se contine pe sine: X X . Am obtinut o a a / contradictie, pentru c nu pot avea loc simultan proprietile X X i X X . a at s / Dac X X , atunci, a / ntruct X contine toate multimile care nu se contin pe ele a nsele, nseamn c X nu este una dintre multimile care nu se contin pe ele a a nsele, adic X se contine pe sine: X X . Iari am obtinut o contradictie. a as Sigur c, pentru orice multime X , are loc una dintre situatiile: X X i X X a s / (i numai una), pentru c, dac una dintre aceste dou proprieti nu este s a a a at satisfcut, atunci cealalt este satisfcut. a a a a a Deci oricare dintre cazurile posibile duce la o contradictie. De unde a provenit contradictia? Din presupunerea c exist multimea tuturor a a multimilor. Inseamn c aceast presupunere este fals, i. e. nu exist multimea a a a a a tuturor multimilor.
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 13 / 48

Paradoxul lui Russell

Totalitatea multimilor nu formeaz o multime, ci o clas. Din punctul de vedere a a al teoriei naive a multimilor, nu se pot spune multe lucruri despre notiunea de clas, dect c este ceva mai vag/mai mare/mai cuprinztor dect o multime. a a a a a Se consider c orice multime este o clas, dar nu i invers. a a a s Semnul (simbolul) de apartenent nu poate aprea la dreapta unei clase care nu a a este multime, adic nu se consider a avea sens faptul c o clas care nu este a a a a multime apartine unui alt obiect. O multime poate apartine unei clase (chiar i s unei multimi), dar niciodat invers, adic nicio clas care nu este multime nu a a a apartine unei multimi, i, mai mult, nicio clas care nu este multime nu apartine s a unei clase (sau vreunui alt fel de obiect). particular, ultima dintre observatiile In anterioare arat c nu exist clasa tuturor claselor, din simplul motiv c sa a a a a impus restrictia ca o clas care nu este multime s nu e element al niciunui a a obiect, i deci nu exist un obiect care s aib clase care nu sunt multimi ca s a a a elemente. Dac nu sar impus aceast restrictie, atunci clasele nu sar a a deosebit semnicativ de multimi, i procesul de a considera mereu obiecte s matematice mai cuprinztoare ar continuat la innit: s denumim tipul de a a obiect care se n ncadreaz obiectul care are drept elemente toate clasele, s a a denumim tipul de obiect care se n ncadreaz obiectul care are drept elemente a toate urile, . a. m. d.. s
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 14 / 48

Teoria axiomatic a multimilor a

Ce este o axiom? a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

15 / 48

Teoria axiomatic a multimilor a

O axiom este un fapt dat ca ind adevrat a a ntr-o teorie matematic. a O axiom nu se demonstreaz, ci pur i simplu este dat ca ind adevrat. a a s a a a Orice teorie matematic trebuie s aib la baz (i. e. ca fundament) un a a a a sistem (i. e. o colectie) de axiome. Pornind de la aceste axiome, se demonstreaz teoremele (rezultatele matematice) ale acelei teorii. a Scopul axiomatizrii, adic al construirii unui sistem de axiome pentru o a a teorie matematic, este acela de a elimina ambiguitile din denirea a at notiunilor, conceptelor cu care lucreaz acea teorie matematic. a a Desigur, axiomele unei teorii matematice care modeleaz un fenomen din a lumea nconjurtoare trebuie s reecte proprietile acelui fenomen, de a a at regul obtinute experimental. Respectiva constructie (teorie) matematic a a n sine, ca orice teorie matematic, trebuie s benecieze de un sistem de a a axiome, din ratiuni ce in de natura matematicii ca tiint, de ceea ce se t s a numete rigoare matematic, anume lipsa ambiguitilor, de necesitatea s a at oricrei teorii matematice de a o constructie de sine stttoare, a aa independent de fenomenul pe care modeleaz. l a
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 16 / 48

Teoria axiomatic a multimilor a

Exemplu de axiom: axioma paralelelor pentru geometria euclidian: a a dou drepte paralele tiate de o secant formeaz unghiuri alterne interne a a a a congruente. Faptul de a axiom nu este o proprietate intrinsec a unei armatii, a a chiar dac, aa cum am mentionat mai sus, la originea sistemelor axiomatice a s se a proprieti observabile, judeci primare, fapte considerate a at at fundamentale, considerate a necesare ca baz a unei teorii a matematice, care nu se demonstreaz pornind de la alte fapte, ci tocmai a invers, ele servesc la demonstrarea altor fapte acea teorie matematic. n a Exist mai multe sisteme axiomatice pentru geometria euclidian, iar enuntul a a denumit mai sus axioma paralelelor nu este considerat ca axiom toate a n aceste sisteme. De aceea spunem c acest enunt nu are ca proprietate a intrinsec faptul de a axiom. a a Acest enunt este echivalent cu alte enunturi, adic acele alte enunturi se a deduc din el (atunci cnd el este considerat ca axiom), dar i el se deduce a a s din ecare dintre acele alte enunturi (atunci cnd acele enunturi sunt a considerate ca axiome, i atunci spunem c acest enunt de mai sus este un s a rezultat, o teorem a geometriei euclidiene, bazate pe un alt sistem a axiomatic).
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 17 / 48

Teoria axiomatic a multimilor a

Sigur c oricare dou sisteme axiomatice pentru o aceeai teorie a a s matematic trebuie s e echivalente, adic din ecare dintre ele trebuie s a a a a se deduc ecare altul dintre ele, iar acest lucru a nseamn nimic altceva dect a a faptul c din oricare dou sisteme axiomatice pentru o teorie se deduc a a aceleai rezultate, adic se construiete aceeai teorie matematic. s a s s a De exemplu, toate axiomatizrile geometriei euclidiene sunt echivalente. a De asemenea, toate axiomatizrile teoriei multimilor (dintre care vom vedea a continuare una) sunt echivalente. De exemplu, axioma alegerii i n s axioma lui Zorn (din axiomatizri diferite ale teoriei multimilor) sunt a echivalente, i cnd prima este aleas ca axiom, atunci a doua se numete s a a a s lema lui Zorn (i se deduce din prima), iar cnd a doua este aleas ca s a a axiom, atunci prima se numete lema alegerii (i se deduce din a doua). a s s cazurile date ca exemple mai sus, avem enunturi (individuale) In echivalente, dar, aa cum am mentionat, putem avea sisteme de enunturi s echivalente, caz care ecare enunt din oricare dintre acele sisteme se n deduce dintrun ntreg alt sistem de enunturi, adic din toate a enunturile acelui alt sistem luate la un loc.
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 18 / 48

Teoria axiomatic a multimilor a

Precum am mentionat mai sus, sunt cunoscute mai multe sisteme axiomatice (i. e. sisteme de axiome) pentru teoria multimilor. De exemplu urmtoarele, a denumite astfel dup matematicienii care le-au creat: a sistemul axiomatic ZermeloFraenkel, care lucreaz numai cu multimi a sistemul axiomatic von NeumannBernays, numit i sistemul axiomatic s von NeumannBernaysGdel, care admite i existenta claselor o s S-a demonstrat c: a Orice rezultat despre multimi care poate demonstrat pornind de la (axiomele) sistemul(ui) axiomatic von NeumannBernaysGdel poate o demonstrat i pornind de la sistemul axiomatic ZermeloFraenkel. s

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

19 / 48

Teoria axiomatic a multimilor a

Este de mentionat faptul c problema fundamentrii prin sisteme axiomatice a a a teoriei multimilor (care este ea ai un fundament al nss ntregii matematici) a dat natere la controverse care nu sunt s ncheiate nici ziua de azi, pentru c scopul n a principal al elaborrii oricror sisteme axiomatice, anume eliminarea tuturor a a ambiguitilor (de limbaj, din denitii, din formulri de proprieti etc.) at a at dintr-o teorie matematic, este foarte greu de atins cazul teoriei multimilor, a n tocmai datorit caracterului ei primar, de baz, de fundament al a a ntregii matematici.

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

20 / 48

Sistemul axiomatic von NeumannBernaysGdel o

Vom face acum o scurt prezentare a sistemului axiomatic von a NeumannBernaysGdel, dup cartea Foundations of Set Theory, de Abraham o a A. Fraenkel, Yehoshua BarHillel i Azriel Levy (seria Studies in Logic and the s Foundations of Mathematics, volumul 67). Primul lucru de care vom avea nevoie este o formalizare a limbajului teoriei multimilor, care s elimine ambiguitile din acest limbaj. a at formalizare: exprimare folosind numai simboluri matematice metalimbaj: limbajul natural, vorbirea curent (obinuit), exprimarea a s a cuvinte, fr simboluri matematice n aa un enunt formalizat nu contine elemente (cuvinte, exprimri) din metalimbaj a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

21 / 48

Sistemul axiomatic von NeumannBernaysGdel o

Precum am anuntat mai sus, acest sistem axiomatic opereaz att cu multimi, a a ct i cu clase. Natura multimilor i a claselor este neprecizat, sensul c ele a s s a n a sunt considerate a obiecte matematice date doar prin denumirile de multime i s clas, i tot ce tim despre ele sunt proprietile care vor enumerate mai jos (a a s s at se vedea mai sus o discutie despre abordarea axiomatic i avantajele ei). as Aadar, primele elemente ale limbajului pe care vom construi sunt: s l multimile i clasele, denumite generic obiecte, care satisfac conditia c orice s a multime este o clas (dar nu orice clas este o multime) a a Pentru a scrie axiomele, vom avea nevoie s putem atribui (asocia) nume a multimilor i claselor arbitrare, dar i multimilor i claselor precizate, xate, s s s constante. Deci vom folosi notiunile de: variabil sau nume variabil, care semnic un nume atribuit unui obiect a a arbitrar i neprecizat s constant sau nume constant, care semnic un nume atribuit unui obiect a a xat, precizat
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 22 / 48

Sistemul axiomatic von NeumannBernaysGdel o

regul: denitiile i axiomele acestui sistem axiomatic, numele variabile i a n s s numele constante vor litere din alfabetul latin; numele atribuite multimilor vor litere mici, iar numele atribuite claselor (care pot multimi, dar despre care nu se precizeaz dac sunt sau nu sunt multimi) vor litere mari a a prezentarea limbajului acestui sistem axiomatic, vom folosi litere greceti n s ca nume variabile pentru orice fel de obiecte, i. e. i pentru multimi, i s s pentru clase care pot s nu e multimi a majoritatea cazurilor, vom folosi litere de tipurile enumerate mai sus fr a n aa preciza c ele denumesc multimi, clase care nu sunt neaprat multimi sau a a obiecte de oricare dintre aceste tipuri, iar conventiile pe care tocmai leam stabilit ne vor spune la ce fel de obiecte ne vom referi

Vom folosi urmtoarele simboluri pentru a enunta proprieti ale obiectelor: , , a at / =, =, , , , , , , .

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

23 / 48

Sistemul axiomatic von NeumannBernaysGdel o

i : s / se numete simbolul de apartenent; (este un enunt (i. e. o s a proprietate), care) se citete apartine lui sau contine pe s un obiect care apartine unui alt obiect va numit element sau membru al obiectului cruia apartine a i simbolul va folosit cu semnicatia: (este un enunt (i. e. o / / proprietate), care este satisfcut) ddac nu are loc (i se citete nu a a s s apartine lui sau nu contine pe ) Am precizat c obiectele cu care lucrm se numesc multimi sau clase. Deci orice a a element la care ne vom referi este la rndul su o multime sau o clas (de fapt un a a a element nu va niciodat o clas care nu e multime, ci orice element va o a a multime; o clas care nu e multime nu apartine niciunui obiect; nu vom alni a nt n acest sistem axiomatic clase care nu sunt multimi i sunt elemente ale unui obiect; s a se vedea o discutie de mai sus referitoare la acest aspect legat de clase i de s proprietatea de apartenent). a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

24 / 48

Sistemul axiomatic von NeumannBernaysGdel o

= i =: s = se numete simbolul de egalitate; = (este un enunt (i. e. o s proprietate), care) se citete coincide cu i semnic faptul c i s s a a s sunt (nume pentru) (denumesc) (reprezint) acelai obiect a s simbolul = se consider a avea urmtoarele proprieti: a a at
reexivitate: pentru orice obiect , are loc = simetrie: pentru orice obiecte i , dac = , atunci are loc i = s a s tranzitivitate: pentru orice obiecte , i , dac = i = , atunci are s a s loc i = s substitutivitate: pentru orice obiecte i i orice proprietate P referitoare la s s obiecte, dac P() (adic satisface proprietatea P; am mai folosit aceast a a a notatie) i = , atunci are loc i P() s s

simbolul = va folosit cu semnicatia: = (este un enunt (i. e. o proprietate), care este satisfcut) ddac nu are loc = (i se citete nu a a s s coincide cu )

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

25 / 48

Sistemul axiomatic von NeumannBernaysGdel o

Simbolurile , , , i se numesc conectorii logici. s se numete negatia i se citete non sau not; dac E este un enunt (o s s s a proprietate) referitor la obiecte, atunci E se citete non E sau not E i s s semnic negatia proprietii E , adic acea proprietate care este adevrat a at a a a ddac E este fals (i, desigur, fals ddac E este adevrat) a a s a a a a se numete disjunctia i se citete sau; dac E i F sunt enunturi s s s a s (proprieti) referitoare la obiecte, atunci E F se citete E sau F i at s s semnic acea proprietate care este adevrat ddac mcar (cel putin) una a a a a a dintre proprietile E i F este adevrat at s a a se numete conjunctia i se citete i; dac E i F sunt enunturi s s s s a s (proprieti) referitoare la obiecte, atunci E F se citete E i F i at s s s semnic acea proprietate care este adevrat ddac ambele proprieti E i a a a a at s F sunt adevrate (i. e. ddac ecare dintre proprietile E i F este a a at s adevrat) a a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

26 / 48

Sistemul axiomatic von NeumannBernaysGdel o

se numete implicatia i se citete implic; dac E i F sunt enunturi s s s a a s (proprieti) referitoare la obiecte, atunci E F se citete E implic F i at s a s semnic acea proprietate care este adevrat ddac din E rezult (i. e. se a a a a a deduce) F , i. e. acea proprietate care este adevrat ddac, situatia cnd a a a n a E este adevrat, atunci i F este adevrat, i. e. acea proprietate care este a a s a a adevrat ddac e E este fals, e F este adevrat (e ambele) a a a a a a denitia de mai sus a implicatiei pare s contrazic intuitia noastr, dar ea a a a ilustreaz de fapt foarte bine modul de a rationa matematic: cum a demonstrm c o proprietate E implic o proprietate F ? (c din E rezult F ? a a a a a c din E se deduce F ?); ce avem, de fapt, de artat? avem de artat c, a a a a dac E este adevrat, atunci i F este adevrat; deci, dac E este fals, a a a s a a a a atunci nu avem nimic de demonstrat, dac E este fals, atunci nu ne a a intereseaz cum este F , i, neavnd nimic de demonstrat, putem spune c a s a a implicatia E implic F este adevrat; dac E este adevrat, atunci a a a a a a trebuie ca F s e adevrat pentru ca aceast implicatie s e adevrat; a a a a a a a deci, indiferent cum este E , dac F este adevrat, atunci implicatia a a a respectiv este adevrat; i, dac recitim acest paragraf, observm c a a a s a a a implicatia E implic F este adevrat exact atunci cnd (adic atunci i a a a a a s numai atunci cnd) e E este fals, e F este adevrat (e ambele) a a a a
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 27 / 48

Sistemul axiomatic von NeumannBernaysGdel o

se numete echivalenta i se citete echivalent; dac E i F sunt s s s a s enunturi (proprieti) referitoare la obiecte, atunci E F se citete E este at s echivalent cu F i semnic acea proprietate care este adevrat ddac au a s a a a a loc i E F , i F E , i. e. acea proprietate care este adevrat ddac E i s s a a a s F sunt simultan false sau simultan adevrate (adic sunt ambele false sau a a ambele adevrate) (tem: cititi de mai sus semnicatia implicatiei i a a s justicati (i. e. artati cuvinte) faptul c proprietatea E F (adic a n a a ambele proprieti E F i F E , adic proprietatea (E F ) (F E ), at s a dup cum arat denitia conjunctiei) este adevrat ddac E i F sunt e a a a a a s ambele false, e ambele adevrate) a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

28 / 48

Sistemul axiomatic von NeumannBernaysGdel o

Simbolurile i se numesc cuanticatorii. s se numete cuanticatorul universal i se citete oricare ar ; dac este s s s a o variabil (un nume variabil) i P este o proprietate referitoare la obiecte, a s atunci P() se citete pentru orice , P() i este acea proprietate care s s este adevrat ddac orice obiect satisface proprietatea P ( poate un a a a nume variabil pentru multimi, caz care conditia anterioar devine: orice n a multime satisface proprietatea P, sau poate un nume variabil pentru clase, caz care conditia anterioar devine: orice clas satisface proprietatea P) n a a se numete cuanticatorul existential i se citete exist; dac este o s s s a a variabil (un nume variabil) i P este o proprietate referitoare la obiecte, a s atunci P() se citete exist , a. P() i este acea proprietate care s a . s este adevrat ddac exist (mcar, cel putin) un obiect care satisface a a a a a proprietatea P ( poate un nume variabil pentru multimi, caz care n conditia anterioar devine: exist (mcar) o multime care satisface a a a proprietatea P, sau poate un nume variabil pentru clase, caz care conditia n anterioar devine: exist (mcar) o clas care satisface proprietatea P) a a a a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

29 / 48

Sistemul axiomatic von NeumannBernaysGdel o

Vom folosi i parantezele rotunde i ptrate, pentru a delimita enunturi (i. e. s s a proprieti) i obiecte cu notatii compuse din mai multe simboluri (vom vedea at s ce sunt acestea).

Am prezentat limbajul pe care vom folosi. Acum l ncepem prezentarea (efectiv a a) acestui sistem axiomatic pentru teoria multimilor. primul rnd, se consider c exist cel putin o multime. In a a a a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

30 / 48

Sistemul axiomatic von NeumannBernaysGdel o

Denitie
Pentru orice multimi x i y , dac, oricare ar z, faptul c z x implic z y s a a a (adic orice element al lui x este i element al lui y ), atunci scriem x y i a s s spunem c x este o submultime a lui y . a I. Axioma extensionalitii de multimi: at Intuitiv: Dac x y i y x, atunci x = y . a s xy [(x y y x) x = y ] Formal (i. e. formalizat): sau xy [z(z x z y ) x = y ] Dac citim a doua exprimare formalizat a acestei axiome, observm c ea spune a a a a c dou multimi cu aceleai elemente coincid. a a s Pentru cele ce urmeaz, aceast prim axiom arat unicitatea multimilor la care a a a a a ne vom referi mai jos, care sunt descrise prin precizarea elementelor lor. Reciproca armatiei din aceast axiom, anume faptul c dou multimi care a a a a coincid au aceleai elemente, este o consecint a proprietii de substitutivitate a s a at simbolului =.
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 31 / 48

Sistemul axiomatic von NeumannBernaysGdel o

Denitie
O multime n care nu contine niciun element (i. e. pentru care are loc: x(x n))) se numete multime vid. s a

Teorem a
Exist o unic multime vid. a a a Unicitatea teorema anterioar este o consecint a Axiomei I. Pentru a n a a demonstra existenta, se aplic Axioma XI pentru a arta c exist o clas N a a a a a avnd ca elemente acele obiecte x care satisfac proprietatea x = x, i Axioma V a s pentru a arta c intersectia dintre clasa N i o multime arbitrar a este o a a s a multime, pe care o notm cu n. Deci n = {x a | x = x}, folosind notatiile a cunoscute din teoria naiv a multimilor. Sigur c niciun obiect x nu satisface a a proprietatea x = x, ceea ce nseamn c n nu are niciun element. a a

Notatie
Vom nota cu n multimea vid (despre care acest moment ne multumim s tim a n as c, dac exist, atunci este unic). a a a a
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 32 / 48

Sistemul axiomatic von NeumannBernaysGdel o

II. Axioma perechii: Intuitiv: Pentru orice elemente a i b, exist o multime y care contine doar a s a i b. s Formal: aby x[x y (x = a x = b)]

Denitie
O multime care contine doar elementele a i b se numete perechea format din a s s a i b i se noteaz {a, b} sau {b, a}. Perechea ordonat format din a i b se s s a a a s noteaz < a, b > i se denete prin: < a, b >= {a, {a, b}}. a s s

S remarcm c, Axioma II i denitia anterioar, nu a fost impus conditia ca a a a n s a a a s nu coincid cu b. a a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

33 / 48

Sistemul axiomatic von NeumannBernaysGdel o

Denitie
O clas se numete relatie ddac toate elementele ei sunt perechi ordonate. a s a

Denitie
Dac F este o clas (relatie sau clas oarecare), atunci denim: a a a domeniul lui F , notat D(F ), ca ind clasa ce are ca membri exact acele elemente x pentru care exist y astfel at < x, y > F a nc imaginea lui F , notat R(F ), ca ind clasa ce are ca membri exact acele a elemente y pentru care exist x astfel at < x, y > F (R de la englezescul a nc range)

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

34 / 48

Sistemul axiomatic von NeumannBernaysGdel o

Denitie
O clas F se numete functie ddac F este relatie i are loc: a s a s xy z[(< x, y > F < x, z > F ) y = z] (intuitiv: pentru orice x, exist cel mult un y (desigur, y R(F )) a. a . < x, y > F , sau, cu o exprimare echivalent: pentru orice x D(F ), exist un a a unic y (desigur, y R(F )) a. < x, y > F ). .

Notatie
S notm cu Fnc proprietatea care se aplic claselor i spune c o clas este a a a s a a functie, adic, pentru orice clas F , notatia Fnc(F ) semnic faptul c F este o a a a a functie.

Notatie
Dac F este o functie i x D(F ), atunci notm cu F (x) unicul element y a s a (desigur, y R(F )) care veric: < x, y > F . a
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 35 / 48

Sistemul axiomatic von NeumannBernaysGdel o

III. Axioma reuniunii: Intuitiv: Pentru orice multime a, exist multimea ale crei elemente sunt a a exact membrii membrilor lui a (exact = nici mai mult, nici mai putin = sunt toate acestea i numai acestea). s Formal: ay x[x y z(x z z a)]

Denitie
Pentru orice multimi a i b, multimea ale crei elemente sunt membrii membrilor s a perechii {a, b} (adic membrii lui a i membrii lui b, adic membrii lui a sau b) se a s a numete reuniunea lui a i b i se noteaz a b. s s s a axioma de mai sus intervine o reuniune arbitrar (vom vedea) (se reunesc In a membrii lui a).

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

36 / 48

Sistemul axiomatic von NeumannBernaysGdel o

IV. Axioma multimii prtilor: a Intuitiv: Pentru orice multime a, exist multimea ale crei elemente sunt a a exact submultimile lui a. Formal: ay x(x y x a)

Stim c multimea submultimilor unei multimi a se mai numete multimea prtilor a s a lui a.

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

37 / 48

Sistemul axiomatic von NeumannBernaysGdel o

V. Axioma submultimilor: Intuitiv: Pentru orice clas P i orice multime a, exist o multime ale crei a s a a elemente sunt exact acei membri ai lui a care sunt i membri ai lui P ( s n limbajul cunoscut al teoriei naive a multimilor, intersectia unei multimi cu o clas este o multime, i, prin urmare, orice submultime a unei multimi este, la a s rndul ei, o multime, sau, dac dorim s renuntm la restrictia simbolului a a a a la multimi, impus denitia acestui simbol, care face armatia anterioar a n a trivial, orice subclas a unei multimi este, la rndul ei, o multime). a a a Formal: Pay x[x y (x a x P)]

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

38 / 48

Sistemul axiomatic von NeumannBernaysGdel o

VI. Axioma innitii: at Intuitiv: Pentru orice element o, exist o multime z cu urmtoarele a a o z proprieti: i at s dac x z, atunci (x {x}) z. a Formal: oz[o z x(x z (x {x}) z)] De ce se numete axioma innitii aceast axiom? Observm c aceast a s at a a a a a VI-a axiom seamn cu principiul inductiei matematice. fapt, aceast a a a In a axiom poate folosit pentru a deni numerele naturale, pentru a construi a a multimea numerelor naturale. Cum? primul rnd, ce vor numerele naturale? In a Ca s e obiecte cadrul acestui sistem axiomatic (altfel spus, teoria a n n matematic fundamentat pe (generat de) acest sistem axiomatic), vor trebui s a a a a e multimi sau clase, pentru c acestea sunt obiectele aici. Ca s e elemente a a ale unei multimi, pe care o vom numi multimea numerelor naturale, vor trebui s a e multimi, pentru c nicio clas nu va element al unui obiect, particular a a n element al multimii numerelor naturale.
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 39 / 48

Sistemul axiomatic von NeumannBernaysGdel o

Si atunci, cum putem construi numerele naturale 0, 1, 2, 3, . . . , m, . . ., i multimea s lor, notat N, pe baza axiomei innitii? Pur i simplu: a at s alegem locul variabilei o din aceast axiom un element arbitrar, pe care n a a l xm i notm cu 0, a s l a multimea obtinut din aceast axiom, din Axioma XI (vom vedea) i a a a s Axioma V (a submultimilor) pornind de la elementul 0 locul lui o i n s neavnd niciun element plus fat de elementele obtinute din 0 prin a n a procedeul descris aceast axiom, adic multimea avnd ca elemente n a a a a exact pe 0 i elementele de mai jos, va notat cu N, s a iar numerele naturale nenule vor denite recurent, sau din aproape n 1 := 0 {0}, 2 := 1 {1}, 3 := 2 {2}, aproape: . . . m + 1 := m {m}, . . .
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 40 / 48

Sistemul axiomatic von NeumannBernaysGdel o

Iar, cu aceast constructie, Axioma I (a extensionalitii de multimi) (care a at spune c dou multimi cu aceleai elemente coincid) implic principiul inductiei a a s a matematice: dac multimea M a numerelor naturale care veric o anumit proprietate a a a contine pe 0 i, pentru orice numr natural m pe care contine, M contine i s a l s numrul natural m + 1, atunci M = N. a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

41 / 48

Sistemul axiomatic von NeumannBernaysGdel o

VII. Axioma nlocuirii: Intuitiv: Dac F este o functie i a este o multime, atunci exist o multime a s a ale crei elemente sunt exact elementele F (x), pentru toti membrii x ai lui a a care se a D(F ). a n Formal: F [Fnc(F ) aby [y b x(x a x D(F ) y = F (x))]] Cine este acea multime b, limbajul cunoscut din teoria naiv a multimilor? b n a este imaginea multimii a D(F ) prin functia F , notat uzual cu F (a D(F )). a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

42 / 48

Sistemul axiomatic von NeumannBernaysGdel o

VIII. Axioma alegerii globale: Intuitiv: Exist o functie F al crei domeniu contine toate multimile nevide i a a s astfel at, pentru ecare multime nevid y , F (y ) este membru al lui y nc a (desigur, multime nevid = multime care nu coincide cu multimea vid, n). a a Formal: F [Fnc(F ) y [y = n (y D(F ) F (y ) y )]] Functia F alege cte un element F (y ) din ecare multime nevid y . a a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

43 / 48

Sistemul axiomatic von NeumannBernaysGdel o

IX. Axioma fundrii: a Intuitiv: Orice clas P care are cel putin un membru are un membru minimal a u, i. e. exist un element u cu proprietatea c u este membru al lui P, dar a a niciun membru al lui u nu este membru al lui P. Formal: P[u(u P) u[u P x(x u x P)]] / Aceast axiom spune c orice ir u0 , u1 , u2 , u3 , . . . de membri ai unei clase P, cu a a a s u1 u0 , u2 u1 , u3 u2 . a. m. d., este nit (i. e. nu exist un astfel de ir s a s innit; cu notatiile cunoscute din teoria naiv a multimilor, nu exist un ir a a s (um )mN P cu um+1 um pentru orice m N).

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

44 / 48

Sistemul axiomatic von NeumannBernaysGdel o

X. Axioma extensionalitii claselor: at Intuitiv: Oricare ar clasele A i B, dac, pentru ecare element x, x este s a membru al clasei A ddac x este membru al clasei B, atunci A coincide cu B. a Formal: AB[x(x A x B) A = B] Aceast axiom spune c dou clase cu aceleai elemente coincid, a a a a s ntocmai cum se ampl cazul particular al multimilor, care acest fapt era cunoscut din nt a n n Axioma I (a extensionalitii de multimi). at

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

45 / 48

Sistemul axiomatic von NeumannBernaysGdel o

XI. Axioma comprehensiunii predicative: Intuitiv: Dac P este o proprietate referitoare la obiecte, care nu contine a cuanticatori aplicati unor clase (adic expresii de forma oricare ar o clas a a X sau exist o clas X astfel at), atunci exist o clas avnd ca membri a a nc a a a exact acele elemente x care satisfac proprietatea P. Formal, pentru o proprietate P ca mai sus: Ax(x A P(x)) Aa cum am anuntat mai sus, s ntro referire la teoria naiv a multimilor i mai a s n multe aplicatii, dac, axioma anterioar, elementele x nu sunt oarecare, ci sunt a n a elemente ale unei multimi y , atunci, conform Axiomei V (a submultimilor), A este o multime, anume, cu notatiile cunoscute din teoria naiv a multimilor, a A = {x y | P(x)}.

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

46 / 48

Sistemul axiomatic von NeumannBernaysGdel o

Motivul pentru care Axioma XI (a comprehensiunii predicative) poart acest a nume este faptul c astfel de proprieti P, care capt sens ( eles, valoare de a at aa nt adevr, adic putem spune despre ele c sunt adevrate sau false) numai atunci a a a a cnd sunt aplicate unor obiecte concrete, xate, constante, adic numai atunci a a cnd scriem P(), cu obiect xat, constant, se numesc predicate, sau propozitii a (enunturi) cu variabile (variabil acest caz, dar general putem avea mai a n n multe variabile, i s scriem P(, ), P(, , ) etc.). s a Proprietile (enunturile) fr variabile, care nu se aplic unor obiecte, ci sunt at aa a sine (ele n nsele) adevrate sau false, se numesc propozitii. a Aceste denitii fac parte din limbajul logicii matematice, i vor formulate riguros s mai trziu. a

Exemplu
Enuntul 2 este un numr par este o propozitie (adevrat). a a a Enuntul x este un numr par este un predicat cu variabila x, care a n nlocuirea lui x cu 2 produce o propozitie adevrat (anume chiar propozitia de mai sus), iar a a nlocuirea lui x cu 1 produce o propozitie fals. a
Claudia MURESAN (Universitatea din Bucureti) s Curs I logic matematic i computational a as a 2011-2012, semestrul I 47 / 48

Observatie
Materialul prezentat pn acest moment nu face parte din materia pentru a a n examen, cu exceptia primei denitii naive a notiunii de multime. Dar parcurgerea acestui material este foarte util pentru elegerea cursurilor care vor urma. a nt

Observatie
cursurile urmtoare, vom adopta punctul de vedere al teoriei naive a multimilor, In a cu exceptia cazurilor care vom mentiona c facem apel la o axiom a teoriei n a a multimilor. Toate rezultatele pe care le cunoatem din gimnaziu i liceu despre s s multimi i functii pot demonstrate pornind de la orice sistem axiomatic al teoriei s multimilor, particular de la cel de mai sus, deci, orice moment, ce vom n n n studia, ne vom aa cadrul acestor sisteme axiomatice. Denitia functiei a n ns nu o vom da cazul general de mai sus, ci vom adopta denitia din gimnaziu i n s liceu, unde o functie este considerat a denit a a ntre dou multimi, nu a ntre dou clase oarecare. a

Claudia MURESAN (Universitatea din Bucureti) s

Curs I logic matematic i computational a as a

2011-2012, semestrul I

48 / 48