George Georgescu 1, Afrodita Iorgulescu 2 1 Universitatea din Bucureşti, Catedra de Fundamentele Informaticii 2 Academia de Studii Economice, Catedra

Σχετικά έγγραφα
Curs 10 Funcţii reale de mai multe variabile reale. Limite şi continuitate.

(a) se numeşte derivata parţială a funcţiei f în raport cu variabila x i în punctul a.

Curs 14 Funcţii implicite. Facultatea de Hidrotehnică Universitatea Tehnică "Gh. Asachi"

Metode iterative pentru probleme neliniare - contractii

V.7. Condiţii necesare de optimalitate cazul funcţiilor diferenţiabile

Functii definitie, proprietati, grafic, functii elementare A. Definitii, proprietatile functiilor X) functia f 1

Planul determinat de normală şi un punct Ecuaţia generală Plane paralele Unghi diedru Planul determinat de 3 puncte necoliniare

Functii definitie, proprietati, grafic, functii elementare A. Definitii, proprietatile functiilor

III. Serii absolut convergente. Serii semiconvergente. ii) semiconvergentă dacă este convergentă iar seria modulelor divergentă.

5. FUNCŢII IMPLICITE. EXTREME CONDIŢIONATE.

Curs 1 Şiruri de numere reale

Curs 2 Şiruri de numere reale

Sisteme diferenţiale liniare de ordinul 1

Curs 4 Serii de numere reale

Lucrare. Varianta aprilie I 1 Definiţi noţiunile de număr prim şi număr ireductibil. Soluţie. Vezi Curs 6 Definiţiile 1 şi 2. sau p b.

SERII NUMERICE. Definiţia 3.1. Fie (a n ) n n0 (n 0 IN) un şir de numere reale şi (s n ) n n0

1.3 Baza a unui spaţiu vectorial. Dimensiune

a n (ζ z 0 ) n. n=1 se numeste partea principala iar seria a n (z z 0 ) n se numeste partea

DISTANŢA DINTRE DOUĂ DREPTE NECOPLANARE

Spatii liniare. Exemple Subspaţiu liniar Acoperire (înfăşurătoare) liniară. Mulţime infinită liniar independentă

Definiţia generală Cazul 1. Elipsa şi hiperbola Cercul Cazul 2. Parabola Reprezentari parametrice ale conicelor Tangente la conice

Lectia VI Structura de spatiu an E 3. Dreapta si planul ca subspatii ane

Integrala nedefinită (primitive)

2 Transformări liniare între spaţii finit dimensionale

Cursul Măsuri reale. D.Rusu, Teoria măsurii şi integrala Lebesgue 15

Orice izometrie f : (X, d 1 ) (Y, d 2 ) este un homeomorfism. (Y = f(x)).

Metode de demonstraţie pentru teorema de completitutine - studiu comparativ -

Probleme date la examenul de logică matematică şi computaţională. Partea a IX-a

Capitolul 4 PROPRIETĂŢI TOPOLOGICE ŞI DE NUMĂRARE ALE LUI R. 4.1 Proprietăţi topologice ale lui R Puncte de acumulare

SEMINAR 14. Funcţii de mai multe variabile (continuare) ( = 1 z(x,y) x = 0. x = f. x + f. y = f. = x. = 1 y. y = x ( y = = 0

Criterii de comutativitate a grupurilor

Seminariile Capitolul X. Integrale Curbilinii: Serii Laurent şi Teorema Reziduurilor

riptografie şi Securitate

Principiul Inductiei Matematice.

Elemente de logicǎ matematicǎ

Asupra unei inegalităţi date la barajul OBMJ 2006

Matrice. Determinanti. Sisteme liniare

Subiecte Clasa a VIII-a

Metode de interpolare bazate pe diferenţe divizate

Functii Breviar teoretic 8 ianuarie ianuarie 2011

CURS 11: ALGEBRĂ Spaţii liniare euclidiene. Produs scalar real. Spaţiu euclidian. Produs scalar complex. Spaţiu unitar. Noţiunea de normă.

Criptosisteme cu cheie publică III

Conice - Câteva proprietǎţi elementare

Vectori liberi Produs scalar Produs vectorial Produsul mixt. 1 Vectori liberi. 2 Produs scalar. 3 Produs vectorial. 4 Produsul mixt.

CURS XI XII SINTEZĂ. 1 Algebra vectorială a vectorilor liberi

f(x) = l 0. Atunci f are local semnul lui l, adică, U 0 V(x 0 ) astfel încât sgnf(x) = sgnl, x U 0 D\{x 0 }. < f(x) < l +

Esalonul Redus pe Linii (ERL). Subspatii.

Capitolul 4. Integrale improprii Integrale cu limite de integrare infinite

Seminar 5 Analiza stabilității sistemelor liniare

Analiza în curent continuu a schemelor electronice Eugenie Posdărăscu - DCE SEM 1 electronica.geniu.ro

Subiecte Clasa a VII-a

Concurs MATE-INFO UBB, 1 aprilie 2017 Proba scrisă la MATEMATICĂ

Curs 4. I.4 Grafuri. Grafuri orientate

CONCURS DE ADMITERE, 17 iulie 2017 Proba scrisă la MATEMATICĂ

COLEGIUL NATIONAL CONSTANTIN CARABELLA TARGOVISTE. CONCURSUL JUDETEAN DE MATEMATICA CEZAR IVANESCU Editia a VI-a 26 februarie 2005.

MARCAREA REZISTOARELOR

Partea a II-a. Elemente de teoria mulţimilor şi aplicaţii

Funcţii Ciudate. Beniamin Bogoşel

Laborator 11. Mulţimi Julia. Temă

Modulul 1 MULŢIMI, RELAŢII, FUNCŢII

2. Sisteme de forţe concurente...1 Cuprins...1 Introducere Aspecte teoretice Aplicaţii rezolvate...3

O generalizare a unei probleme de algebră dată la Olimpiada de Matematică, faza judeţeană, 2013

R R, f ( x) = x 7x+ 6. Determinați distanța dintre punctele de. B=, unde x și y sunt numere reale.

z a + c 0 + c 1 (z a)

Conice. Lect. dr. Constantin-Cosmin Todea. U.T. Cluj-Napoca

Seminar Algebra. det(a λi 3 ) = 0

Aplicaţii ale principiului I al termodinamicii la gazul ideal

III. Reprezentarea informaţiei în sistemele de calcul

Aritmetică. 1 Mulţimea numerelor naturale

Geometrie computationala 2. Preliminarii geometrice

1. Sisteme de ecuaţii liniare Definiţia 1.1. Fie K un corp comutativ. 1) Prin sistem de m ecuaţii liniare cu n necunoscute X 1,...

2.1 Sfera. (EGS) ecuaţie care poartă denumirea de ecuaţia generală asferei. (EGS) reprezintă osferă cu centrul în punctul. 2 + p 2


1. Mulţimi. Definiţia mulţimii.

2. Circuite logice 2.4. Decodoare. Multiplexoare. Copyright Paul GASNER

7 Distribuţia normală

Problema a II - a (10 puncte) Diferite circuite electrice

1.4 Schimbarea bazei unui spaţiu vectorial

CURS 5 Spaţii liniare. Spaţiul liniar R n

5.4. MULTIPLEXOARE A 0 A 1 A 2

EDITURA PARALELA 45 MATEMATICĂ DE EXCELENŢĂ. Clasa a X-a Ediţia a II-a, revizuită. pentru concursuri, olimpiade şi centre de excelenţă

Ecuatii exponentiale. Ecuatia ce contine variabila necunoscuta la exponentul puterii se numeste ecuatie exponentiala. a x = b, (1)

Spaţii vectoriale. Definiţia 1.1. Fie (K, +, ) un corp şi (V, +) un grup abelian.

8 Intervale de încredere

Mulțimi fuzzy. G. Oltean. Sisteme cu logica nuantata, 1 /27

5.5. REZOLVAREA CIRCUITELOR CU TRANZISTOARE BIPOLARE

Al cincilea baraj de selecţie pentru OBMJ Bucureşti, 28 mai 2015

Prof. univ. dr. Ion CRĂCIUN Departamentul de Matematică Universitatea Tehnică Gheorghe Asachi din Iaşi CALCUL DIFERENŢIAL

Reprezentare si rationament folosind clauze precise. Capitolul 2

TEMA 9: FUNCȚII DE MAI MULTE VARIABILE. Obiective:

Toate subiectele sunt obligatorii. Timpul de lucru efectiv este de 3 ore. Se acordă din oficiu 10 puncte. SUBIECTUL I.

Examen AG. Student:... Grupa: ianuarie 2016

Cercul lui Euler ( al celor nouă puncte și nu numai!)

prin egalizarea histogramei

Modelul relaţional / Dependenţe

Capitolul II. Grupuri. II.1. Grupuri; subgrupuri; divizori normali; grupuri factor

DOUĂ DEMONSTRAŢII ALE TEOREMEI DE REPREZENTARE A LUI STONE. Andra Jugănaru

Seminariile Capitolul IX. Integrale curbilinii

3 FUNCTII CONTINUE Noţiuni teoretice şi rezultate fundamentale Spaţiul euclidian R p. Pentru p N *, p 2 fixat, se defineşte R

Examen AG. Student:... Grupa:... ianuarie 2011

Transcript:

Logică matematică George Georgescu 1, Afrodita Iorgulescu 2 1 Universitatea din Bucureşti, Catedra de Fundamentele Informaticii 2 Academia de Studii Economice, Catedra de Informatică Economică October 1, 2009

2

3

4

5 Prefaţă Logica se ocupă de legile gândirii (raţiunii) şi anume de acele proprietăţi structurale formale ale gândirii care apar în reflectarea proprietăţilor lumii reale. Deci avem gândirea, realitatea şi legătura dintre ele. In logică există substituienţi abstracţi pentru gândire, pentru realitate şi pentru legătura dintre ele şi anume, limbajul L substituie gândirea, structura S substituie realitatea (unde S este mai mult decât o colecţie de lucruri susceptibile de a fi corelate, ca înţeles, diferitelor expresii din limbaj), iar interpretarea I substituie legătura (I este o funcţie). Limbajul L este fixat, dar se consideră mai multe interpretări ale lui L în diferite structuri; aceasta pentru că, pe de-o parte, nu ştim în care realitate (lume) particulară ne regăsim cu adevărat, pe de altă parte pentru că logicienii sunt interesaţi de principiile universale, care sunt adevărate în orice lume posibilă. O teorie (în sens tehnic) este un limbaj L împreună cu o mulţime T de propoziţii sau formule din L. In practică, o teorie este definită fie sintactic, fie semantic, adică: - T poate fi formată din toate formulele care rezultă printr-o relaţie de implicare sintactică dintr-o mulţime de axiome sau - T poate fi formată din toate formulele care sunt adevărate în orice interpretare considerată. Scopul principal al logicii este studiul în paralel al relaţiei de implicare sintactică (formală): p q (q se deduce din p conform unor reguli prestabilite) şi al relaţiei de implicare semantică (reală): p = q (dacă p este adevărată, atunci q este adevărată). Logica clasică este bivalentă, în sensul că mulţimea valorilor de adevăr are două elemente: adevărul şi falsul. Logica propoziţiilor este teoria T a tuturor formulelor valide (i.e. care sunt adevărate în orice interpretare) într-un limbaj L al propoziţiilor. Această teorie este decidabilă (există un algoritm care, aplicat oricărei formule, ne spune dacă ea este din T ). Logica predicatelor este teoria T a tuturor formulelor valide într-un limbaj L al predicatelor. Presupunand că L are cel puţin un simbol de funcţie de rang cel puţin 1 sau un simbol de relaţie de rang cel puţin 2, atunci T nu este decidabilă, dar este axiomatizabilă (i.e. există o axiomatizare a lui T (cu axiome şi reguli de inferenţă) sub care formulele lui T sunt demonstrabile). In secolul al 19-lea apar primele sisteme de logică polivalentă. In evoluţia unei teorii ştiinţifice se disting patru etape succesive: etapa descriptivă, etapa inductivă, etapa deductivă şi etapa axiomatică. Organizarea ştiintei în teorii deductive este legată de evoluţia matematicii şi de expansiunea metodelor sale în celelalte ştiinţe. Eu afirm ca în orice disciplină a naturii se găseşte de fapt numai atâta adevărată ştiinţă câtă matematică se cuprinde în ea (Immanuel Kant).

6 Logica matematică este ştiinţa care are ca obiect studiul formelor propoziţionale şi al legilor de raţionare cu expresii propoziţionale, precum şi metodele care permit realizarea acestui studiu. In studiul propoziţiilor sau al expresiilor propoziţionale, logica matematică este interesată numai de valoarea logică. R. Descartes, prin încercarea de a forma o ştiinţă matematică generală, a stimulat cercetările logice în direcţia simbolismului matematic, lucru realizat parţial de G. Leibniz. La jumătatea secolului al 19-lea, George Boole şi Augustus De Morgan au introdus metodele matematice în logică, creând logica matematică. Calculul logic al lui G. Boole este bivalent şi se face după regulile din algebră; el stă la baza calculatoarelor actuale. Contribuţii ulterioare au adus G. Frege, G. Peano, B. Russell şi Gödel. Primul tratat modern de logică matematică, Principia Mathematica a fost scris de B. Russell şi A.N. Whitehead, între 1910-1913. Intr-o etapă ulterioară apare logica polivalentă (cu mai multe valori de adevăr), prin lucrările lui J. Lukasiewicz şi L.E. Post, apoi ale lui C.C. Chang. In ţara noastră, cercetările de logică matematică au fost iniţiate de Gr. C. Moisil în 1933 şi cunosc în prezent o mare dezvoltare. Aplicaţiile logicii matematice se regăsesc la teoria algebrică a automatelor, la programarea automată, la programarea logică, la bazele de date relaţionale, în inteligenţa artificială. Cercetările contemporane tind să extindă considerabil sfera aplicaţiilor (logica fuzzy se aplică în economie, de exemplu). In paralel cu logica matematică, şi în stransă legătura cu ea, s-a dezvoltat algebra logicii matematice (teoria algebrelor Boole, teoria algebrelor MV, a algebrelor Lukasiewicz-Moisil, etc.), care constituie în prezent un capitol separat din algebră. In această lucrare sunt prezentate logica clasică, cu două valori de adevăr, şi modelul ei algebric, algebra Boole. Algebrele logicilor cu mai multe valori sunt prezentate in [29]. Lucrarea se adresează studenţilor facultăţilor de matematică informatică şi informatică economică, dar şi unui public mai larg. Bucureşti, Septembrie 2009 Autorii

Contents 1 Calculul propoziţiilor (Prez. neformalizată) 11 1.1 Propoziţiile................................ 11 1.2 Valorea de adevăr a unei propoziţii................... 12 2 Calculul predicatelor (Prez. neformalizată) 23 2.1 Predicatele................................ 23 2.2 Valoarea de adevăr a unui predicat.................. 28 3 Latici 33 3.1 Mulţimi (pre)ordonate.......................... 33 3.1.1 Principiul dualităţii. Diagrama Hasse............. 34 3.1.2 Reprezentarea unei relaţii binare pe o mulţime finită prin matrice booleană......................... 35 3.1.3 Prim (ultim) element, minorant (majorant), infimum (supremum). Axioma lui Zorn..................... 36 3.2 Latici................................... 38 3.2.1 Latici Ore şi latici Dedekind. Echivalenţa lor......... 38 3.2.2 Exemple.............................. 42 3.2.3 Latici distributive. Latici mărginite complementate...... 44 4 Algebre Boole 49 4.1 Algebre Boole: definiţie, exemple, proprietăţi............. 49 4.1.1 Definiţia algebrei Boole..................... 49 4.1.2 Exemple de algebre Boole.................... 51 4.1.3 Proprietăţi ale algebrelor Boole................. 53 4.1.4 Implicaţia şi echivalenţa booleană............... 54 4.2 O definiţie echivalentă a algebrelor Boole............... 55 4.2.1 Axiomele (B1) - (B7) implică (A1) - (A4)........... 56 4.2.2 Axiomele (A1) - (A4) implică (B1) - (B7)........... 57 4.2.3 Aplicaţiile α şi β sunt mutual inverse............. 63 4.3 Inel Boole. Echivalenţa cu algebra Boole................ 64 4.4 Subalgebre, homomorfisme........................ 66 4.5 Filtre (ideale) şi congruenţe. Algebre Boole cât............ 70 7

8 CONTENTS 4.5.1 Filtre (ideale) şi sisteme deductive............... 70 4.5.2 Congruenţe. Corespondenţa filtre - congruenţe........ 71 4.5.3 Algebra Boole cât........................ 73 4.5.4 Filtru generat de o mulţime................... 76 4.6 Teorema de reprezentare a lui Stone.................. 77 4.7 Algebre Boole atomice.......................... 80 4.8 Dualitatea algebrelor Boole....................... 82 4.9 Algebre Boole injective.......................... 87 4.10 Filtre fuzzy ale unei algebre Boole................... 91 4.10.1 Mulţimi fuzzy........................... 91 4.10.2 Filtre fuzzy ale unei algebre Boole............... 93 5 Mulţimi 95 5.1 Conceptele fundamentale ale teoriei mulţimilor: clasa şi apartenenţa; mulţimea................................. 95 5.2 Relaţia de incluziune şi relaţia de egalitate între clase (mulţimi).. 98 5.2.1 Relaţia de incluziune între clase (mulţimi)........... 98 5.2.2 Relaţia de egalitate între clase (mulţimi)............ 99 5.3 Operaţii cu mulţimi. Algebra Boole a mulţimilor........... 100 5.3.1 Reuniunea şi intersecţia a două mulţimi. Complementara unei mulţimi........................... 101 5.3.2 Generalizare: reuniunea şi intersecţia a n mulţimi...... 103 5.3.3 Generalizare: reuniunea şi intersecţia unei familii de mulţimi 104 5.3.4 Exemple.............................. 104 6 Relaţii 107 6.1 Produs cartezian a două mulţimi. Relaţii binare........... 107 6.1.1 Produs cartezian a două mulţimi................ 107 6.1.2 Relaţii binare........................... 108 6.2 Generalizare: Produs cartezian a n mulţimi (n 2). Relaţii n-are.. 109 6.2.1 Produs cartezian a n mulţimi.................. 109 6.2.2 Relaţii n-are (n 2)....................... 110 6.3 Operaţii cu relaţii. Algebra Boole a relaţiilor............. 111 6.3.1 Disjuncţia, conjuncţia şi negaţia unei relaţii binare...... 111 6.3.2 Implicaţia şi echivalenţa relaţiilor binare............ 112 6.3.3 Algebra Boole a relaţiilor.................... 113 6.4 Algebra relaţională a relaţiilor...................... 114 6.4.1 Compunerea şi inversarea relaţiilor binare........... 114 6.5 Baze de date relaţionale......................... 118 6.5.1 Reprezentarea relaţiilor. Definiţii................ 118 6.5.2 Limbajele de prelucrare a datelor................ 120

CONTENTS 9 7 Sistemul formal al calculului propoziţional (L) 121 7.1 Introducere................................ 122 7.2 Sintaxa şi algebra calculului propoziţional............... 125 7.2.1 Proprietăţi sintactice ale lui L................. 128 7.2.2 Algebra Lindenbaum-Tarski - varianta 1............ 141 7.2.3 Algebra Lindenbaum-Tarski - varianta 2............ 145 7.2.4 Prealgebre Boole. Algebrele Boole ca prealgebre Boole cât.. 149 7.3 Semantica calculului propoziţional L.................. 155 7.3.1 Mulţimi consistente. Teorema de completitudine extinsă (tare)159 7.4 Teorema de completitudine versus Teorema lui Stone......... 163 7.5 Exemple de deducţii formale....................... 165 8 Sistemul formal al calculului cu predicate 175 8.1 Structuri şi limbaj............................ 177 8.2 Semantica calculului cu predicate.................... 183 8.3 Exemple de enunţuri universal adevărate................ 193 8.4 Sintaxa calculului cu predicate..................... 198 8.5 Algebra Lindenbaum-Tarski a calculului cu predicate........ 208 8.5.1 Algebre Boole monadice. Algebre Boole cilindrice....... 211 8.6 Teorema de completitudine. Modele Henkin.............. 213 8.7 Cum se stabileşte dacă o formulă este teoremă formală........ 223 9 Dimensiunea probabilistă a logicii clasice 227 9.1 Probabilităţi pe algebre Boole...................... 228 9.1.1 Evenimente şi probabilităţi................... 228 9.1.2 Proprietăţi ale probabilităţilor................. 230 9.1.3 σ-algebre şi σ-probabilităţi................... 232 9.1.4 Teorema lui Carathéodory.................... 235 9.1.5 Teorema Horn-Tarski...................... 240 9.2 Modele probabiliste ale calculului cu predicate............ 244 9.2.1 Structuri probabiliste...................... 244 9.2.2 Teorema de completitudine a lui Gaifman........... 249 9.2.3 Către o teorie a modelelor probabiliste............. 251

10 CONTENTS

Chapter 1 Calculul propoziţiilor (Prezentare neformalizată) Vom face aici o prezentare neformalizată a calculului propoziţiilor clasic (bivalent), prezentarea formalizată fiind făcută mai târziu. Se spune, echivalent, Calculul propoziţiilor (propoziţional) sau Logica propoziţiilor. In calculul propoziţiilor se studiază propoziţiile (=propoziţii închise) din punctul de vedere al adevărului sau falsităţii lor, neluându-se în seamă conţinutul lor. 1.1 Propoziţiile Definiţie 1.1.1 Un enunţ este un text lingvistic care se referă la un anumit domeniu U, numit univers al discursului şi exprimă o proprietate a unui obiect ( sau a unui grup de obiecte) din universul respectiv. Subiectul (subiectele) enunţului exprimă obiectul (obiectele). Partea predicativă a enunţului exprimă proprietatea. Definiţie 1.1.2 Propoziţia este enunţul cu sens, în care toate subiectele sunt determinate. Vom nota propoziţiile cu p, q, r, s, t,.... Vom nota cu P 0 mulţimea propoziţiilor iniţiale, date, primitive. Din propoziţiile date în P 0 se construiesc propoziţii noi, compuse, cu ajutorul operatorilor logici, propoziţionali (= conectorilor logici, propoziţionali):,,,,. Astfel, pentru p, q propoziţii, avem următoarele definiţii. Definiţie 1.1.3 Se numeşte negaţia propoziţiei p, şi se notează : p (se citeşte non p ), propoziţia care afirmă proprietatea contrară celei exprimate de p şi care se construieşte lingvistic din p prin intercalarea particulei negative nu în faţa părţii predicative a lui p. 11

12CHAPTER 1. CALCULUL PROPOZIŢIILOR (PREZ. NEFORMALIZATĂ) Definiţie 1.1.4 Se numeşte disjuncţia propoziţiilor p, q (în această ordine), şi se notează: p q (se citeşte p sau q ), propoziţia care afirmă că cel puţin una din proprietăţile exprimate de p şi q are loc şi care se construieşte lingvistic alăturând textele celor două propoziţii în ordinea (p, q) şi intercalând între ele particula disjunctivă sau. Definiţie 1.1.5 Se numeşte conjuncţia propoziţiilor p, q (în această ordine), şi se notează: p q (se citeşte p şi q ), propoziţia care afirmă că fiecare din proprietăţile exprimate de p şi q are loc şi care se construieşte lingvistic alăturând textele celor două propoziţii în ordinea (p, q) şi intercalând între ele particula conjunctivă şi. Definiţie 1.1.6 Se numeşte implicaţia propoziţiilor p, q (în această ordine), şi se notează: p q (se citeşte p implică q sau dacă p atunci q ), propoziţia: p q. Definiţie 1.1.7 Se numeşte echivalenţa propoziţiilor p, q (în această ordine), şi se notează: p q (se citeşte p echivalent cu q sau p dacă şi numai dacă q ), propoziţia: (p q) (q p). Deci, echivalenţa este conjuncţia a două implicaţii de sens contrar. Observaţii 1.1.8 1) Implicaţia şi echivalenţa se definesc cu ajutorul operatorilor propoziţionali,,. 2) Operatorii propoziţionali afectează partea predicativă a enunţurilor, nu şi subiectul (subiectele). 3) Obiectul de studiu al calculului propoziţiilor este mulţimea P a tuturor propoziţiilor, care se obţin plecând de la propoziţiile din P 0 şi aplicând repetat, în toate modurile posibile, conectorii logici,,,,. Mai exact spus, mulţimea P se defineşte prin recurenţă astfel: (R1) Dacă p P 0, atunci p P. (R2) Dacă p, q P, atunci p, p q, p q, p q, p q P. (R3) Orice propoziţie p P se obţine aplicând regulile (R1) şi (R2) de un număr finit de ori. 4) Dacă p, q sunt propoziţii în sensul logicii matematice, atunci p q, p q etc. sunt propoziţii în sensul logicii matematice, dar din punctul de vedere al gramaticii nu sunt propoziţii, ci fraze. Deci, noţiunea de propoziţie cu care lucrează calculul propoziţiilor este diferită de no tiunea de propoziţie din gramatică. 1.2 Valorea de adevăr a unei propoziţii Logica (clasică a) propoziţiilor este bivalentă, adică studiază doar propoziţiile care sunt fie adevărate, fie false, adică care au cele două valori de adevăr extreme: adevărat şi fals.

1.2. VALOREA DE ADEVĂR A UNEI PROPOZIŢII 13 Observaţii 1.2.1 1) Ipoteza este că fiecare propoziţie are o valoare de adevăr. Este clar că propoziţiile interogative ( Ce mai faci? etc. ), cele exclamative ( Ce frumos este afara! etc.) precum şi cele imperative ( Fii atent! etc.) nu au valoare de adevăr. Deci, doar propoziţiile declarative fac obiectul studiului logicii matematice, sunt propoziţii în sensul calculului propoziţiilor. 2) Problema determinării valorilor de adevăr ale propoziţiilor din mulţimea P 0 dată la început nu aparţine logicii matematice. De exemplu, dacă o propoziţie p P 0 este din domeniul chimiei, atunci stabilirea valorii de adevăr a propoziţiei p este o problemă a chimiei etc. Nu se presupune că am cunoaşte efectiv valorile de adevăr ale tuturor propoziţiilor din P 0. Definiţie 1.2.2 O propoziţie este adevărată dacă şi numai dacă starea de fapt descrisă de propoziţie are loc. Stabilirea adevărului unei propoziţii se poate face şi in raport cu adevărul altor propoziţii. Să definim acum valorile de adevăr ale propoziţiilor compuse p, p q, p q, p q, p q în funcţie de valorile de adevăr ale propoziţiilor componente, p şi q. Definiţie 1.2.3 Propoziţia p este adevărată dacă şi numai dacă propoziţia p este falsă. Rezultă că propoziţia p este falsă dacă şi numai dacă propoziţia p este adevărată. Definiţie 1.2.4 Propoziţia p q este adevărată dacă şi numai dacă cel puţin una din propoziţiile p, q este adevărată. Rezultă că p q este falsă dacă şi numai dacă ambele propoziţii p, q sunt false. Definiţie 1.2.5 Propoziţia p q este adevărată dacă şi numai dacă ambele propoziţii p, q sunt adevărate. Rezultă că p q este falsă dacă şi numai dacă cel puţin una din propoziţiile p, q este falsă. Pentru orice propoziţie p P 0, să asociem 1 valorii de adevăr adevărat şi 0 valorii de adevăr fals, adică să definim funcţia de adevăr (de evaluare) astfel: pentru orice p P 0, v 0 (p) = v 0 : P 0 {0, 1} { 1, dacă p este adevărată, 0, dacă p este falsă. Funcţia de adevăr v 0 : P 0 {0, 1} se extinde (prelungeste) în mod unic la funcţia de adevăr v : P {0, 1} astfel: pentru orice p, q P, { 1, v(p) = 0, v( p) = 0, v(p) = 1,

14CHAPTER 1. CALCULUL PROPOZIŢIILOR (PREZ. NEFORMALIZATĂ) Deducem că v(p q) = v( p q) = şi { 1, v(p) = 1 sau v(q) = 1, v(p q) = 0, v(p) = 0 şi v(q) = 0, { 1, v(p) = 1 şi v(q) = 1, v(p q) = 0, v(p) = 0 sau v(q) = 0. v(p q) = v((p q) (q p)) = = { 1, v( p) = 1 sau v(q) = 1, 0, v( p) = 0 şi v(q) = 0. = { 1, v(p) = 0 sau v(q) = 1, 0, v(p) = 1 şi v(q) = 0, { 1, v(p q) = 1 şi v(q p) = 1, 0, v(p q) = 0 sau v(q p) = 0. { 1, [v(p) = 0 şi v(q) = 0] sau [v(p) = 1 şi v(q) = 1], 0, [v(p) = 1 şi v(q) = 0] sau [v(p) = 0 şi v(q) = 1]. Obţinem atunci următoarele tabele de adevăr: (1) v(p) v( p) 0 1 1 0 (2) v(p) v(q) v(p q) v(p q) v(p q) v(p q) 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 sau următoarele matrici de adevăr: v(p q) v(q)=0 v(q)=1 v(p)=0 0 1 v(p)=1 1 1 v(p q) v(q)=0 v(q)=1 v(p)=0 0 0 v(p)=1 0 1 v(p q) v(q)=0 v(q)=1 v(p)=0 1 1 v(p)=1 0 1 v(p q) v(q)=0 v(q)=1 v(p)=0 1 0 v(p)=1 0 1

1.2. VALOREA DE ADEVĂR A UNEI PROPOZIŢII 15 Observaţie 1.2.6 Dintr-o premiză (ipoteză) falsă, p, se poate obţine o concluzie, q, adevărată sau falsă, implicaţia fiind adevărată. Deci, atenţie la ipoteze. Rezultă că fiecărei propoziţii p P îi asociem o valoare de adevăr v(p) {0, 1} după următoarele reguli: 1) Dacă p P 0, atunci v(p) = v 0 (p), 2) Dacă p, q P şi am asociat propoziţiilor p, q valorile de adevăr v(p), v(q), atunci asociem propoziţiilor p, p q, p q, p q, p q valorile de adevăr v( p), v(p q), v(p q), v(p q), v(p q) date de tabelele sau matricile de mai sus. Să definim pe mulţimea L 2 = {0, 1} R operaţia unară L2 şi operaţiile binare L2, L2, L2, L2 astfel: pentru orice x, y L 2, and L 2 x def. = 1 x,, x L 2 y def = max(x, y), x L 2 y def. = min(x, y), x L 2 y def. = ( L 2 x) L 2 y, x L 2 y def. = (x L 2 y) L 2 (y L 2 x). Deducem următoarele tabele de valori: (3) x L 2 x 0 1 1 0 (4) x y x L2 y x L2 y x L2 y x L2 y 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 Din tabelele (1), (2) şi (3), (4), se vede că funcţia v : P L 2 este un homomorfism (adică pentru orice p, q P, v( p) = L2 v(p), v(p q) = v(p) L2 v(q), şi v(p q) = v(p) L2 v(q); rezultă că v(p q) = v(p) L2 v(q) şi v(p q) = v(p) L 2 v(q)). Se observă că v este surjectiv, dar nu este injectiv. Propoziţia 1.2.7 Structura L 2 = (L 2 = {0, 1}, L2, L2, L2, 0, 1) este o algebră Boole cu două elemente, numita algebra Boole canonică. Dem. Rutină. Definiţie 1.2.8 O propoziţie compusă p P care este adevărata independent de valorile de adevăr ale propoziţiilor componente se numeste propoziţie universal adevărata sau tautologie. O propoziţie compusă p P care este falsă independent de valorile de adevăr ale propoziţiilor componente se numeste contradicţie sau antilogie.

16CHAPTER 1. CALCULUL PROPOZIŢIILOR (PREZ. NEFORMALIZATĂ) Se observă că o propoziţie p P 0 nu poate fi tautologie sau antilogie, căci nu este compusă. Exemplu 1.2.9 Exemplu de antilogie Pentru orice p P, p p Principiul contradicţiei. Exemple 1.2.10 Exemple de tautologii Vom grupa unele exemple în grupe sau sisteme de tautologii, notate A 1, A 2, A 3, A 4, A 5, sisteme corespunzătoare celor mai utilizate sisteme de axiome ale sistemului formal al calculului propoziţiilor. Să notam cu O propoziţia p p şi cu I propoziţia p p, pentru orice p P. Atunci Sistemul A 1 (,,,, O, I): (P1) p p p, p p p (idempotenţa lui, ), (P2) p q q p, p q q p, (comutativitatea lui, ), (P3) p (q r) (p q) r, p (q r) (p q) r, (asociativitatea lui, ), (P4) p (p q) p, p (p q) p, (absorbţia), (P5) p (q r) (p y) (p r), p (q r) (p y) (p r), (distributivitatea lui faţă de şi invers), (P6) p O p, p I p, (P7) p p, adică I (Principiul terţului exclus), (p p) adică O (Principiul contradicţiei). Sistemul A 2 (, ): (G1) p (q p), (G2) [p (q r)] [(p q) (p r)], (G3) ( q p) (p q). Sistemul A 3 (,,, ): (G1) p (q p), (G2) [p (q r)] [(p q) (p r)], (G3) ( q p) (p q), (T4) p q p, (T5) p q q, (T6) p p q, (T7) q p q, (T8) (r p) [(r q) (r (p q))], (T9) (p r) [(q r) ((p q) r)]. Sistemul A 4 (, ):

1.2. VALOREA DE ADEVĂR A UNEI PROPOZIŢII 17 (S1) (p p) p, (S2) p (p q), (S3) p q q p, (S4) (p q) [(r p) (r q)]. Sistemul A 5 (, O): (V1) p (q p), (V2) [p (q r)] [(p q) (p r)], (V3) [(p O) O] p. Alte tautologii remarcabile sunt următoarele: (P8) (p q) p q, (p q) p q (Legile De Morgan), (P9) p p (Principiul dublei negaţii), (P10) (p q) [( p q) (p p)], (p q) [(p q) (p p)], (P11) p p, (P12) [(p q) p] (p q), [(p q) q] (p q) (două din schemele reducerii la absurd), (P13) (p q) ( q p) (se foloseşte în demonstraţii), (P14) (p q) p q (arată cum se neagă p q), (P15) p (p q) p q, (P16) [p (p q)] (p q), (P17) [(p q) q] p q, (P18) [p (q r)] [(p q) r] (stă la baza Teoremei deducţiei), (P19) p (q p), (P20) [(p q) r] [p (q r)], (P21) [(p q) (p r)] [p (q r)], (P22) (p q) [(r p) (r q)], (P23) [p (p q)] q (Modus ponens). In general, aflăm dacă o propoziţie compusă oarecare p P este tautologie sau nu cu ajutorul următorului algoritm: Dacă propoziţia p P se descompune în propoziţiile componente p 1, p 2,..., p n P 0, atunci vectorul (v(p 1 ), v(p 2 ),..., v(p n )) {0, 1} {0, 1}... {0, 1} = {0, 1} n. Mulţimea {0, 1} n are 2 n elemente. Parcurgem atunci un ciclu care generează cele 2 n elemente (vectori); pentru fiecare element (a 1, a 2,..., a n ) {0, 1} n calculam v(p) folosind valorile v(p i ) = a i, i = 1,..., n şi: - dacă pentru un anumit element (a 1, a 2,..., a n ) {0, 1} n obţinem v(p) = 0, atunci ciclul se opreşte, cu răspunsul p nu este tautologie ; - dacă ciclul se termină, adică dacă pentru toate cele 2 n elemente din {0, 1} n obţinem v(p) = 1, atunci răspunsul este p este tautologie. Dacă în algoritmul prezentat continuăm să calculam v(p) şi după ce întâlnim valoarea 0, deci dacă ducem ciclul până la capăt, atunci realizăm tabela de adevăr a propoziţiei date p.

18CHAPTER 1. CALCULUL PROPOZIŢIILOR (PREZ. NEFORMALIZATĂ) Faptul că se poate stabili algoritmic dacă o propoziţie oarecare este tautologie sau nu constituie o proprietate importantă, care se enunţă sub forma: calculul propoziţiilor este decidabil. Tabelele de adevăr, sau matricile de adevăr, constituie deci o modalitate algoritmică de a determina valoarea de adevăr a unei propoziţii compuse. Mai există şi alte modalităti, nealgoritmice, şi anume bazate pe proprietăţi deja stabilite ale altor propoziţii. Să definim pe mulţimea P o relaţie binară astfel: pentru orice p, q P, p q dacă şi numai dacă p q este tautologie, deci dacă şi numai dacă v(p q) = 1 întotdeauna. Vom nota astfel: p q def p q este tautologie, sau p q def v(p q) = 1. Atunci sunt adevărate următoarele două Propoziţii. Propoziţia 1.2.11 Relaţia este o relaţie de echivalenţă pe P. Dem. (i) este reflexivă, adică pentru orice p P, p p. Intr-adevăr, fie p P, propoziţie fixată, altfel arbitrară; p p def p p este tautologie, ceea ce este adevărat, conform (P11). Conform Principiului Generalizării, (PG) pe scurt, rezultă că pentru orice p P, p p; deci (i) are loc. (ii) este simetrică, adică pentru orice p, q P, p q implică q p. Intradevăr, fie p, q P propoziţii fixate, altfel arbitrare; p q def v(p q) = 1; atunci v(q p) = 1, adică q p, deci p q implică q p. Conform (PG), pentru orice p, q P, p q implică q p, deci (ii) are loc. (iii) este tranzitivă, adică pentru orice p, q, r P, p q şi q r implică p r. Intr-adevăr, fie p, q, r P propoziţii fixate, altfel arbitrare; (p q şi q r) def (v(p q) = 1 şi v(q r) = 1); atunci v(p) v(q) v(p q) 0 0 1 1 1 1 v(q) v(r) v(q r) 0 0 1 1 1 1 Atunci obtinem:

1.2. VALOREA DE ADEVĂR A UNEI PROPOZIŢII 19 v(p) v(r) v(p r) 0 0 1 1 1 1 deci v(p r) = 1, adică p r, deci p q şi q r implică p r. Conform (PG), pentru orice p, q, r P, p q şi q r implică p r, deci (iii) are loc. Propoziţia 1.2.12 Pentru orice p, q, p, q P, avem proprietăţile: 1) dacă p q atunci p q, 2) dacă p p şi q q, atunci (p q) (p q ) şi (p q) (p q ), 3) (p p) (q q) şi (p p) (q q). Dem. 1) Fie p, q P, fixate, altfel arbitrare; p q def v(p q) = 1; atunci avem: v(p) v(q) v(p q) v( p) v( q) v( p q) 0 0 1 1 1 1 1 1 1 0 0 1 adică p q. Rezultă, conform (PG), că pentru orice p, q P, dacă p q, atunci p q. 2) Fie p, q, p, q P, fixate, altfel arbitrare; (p p şi q q ) def (v(p p ) = 1 şi v(q q ) = 1), adică: v(p) v(p ) v(p p ) 0 0 1 1 1 1 şi v(q) v(q ) v(q q ) 0 0 1 1 1 1 de unde obţinem: v(p) v(p ) v(q) v(q ) v(p q) v(p q ) v((p q) (p q )) 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 adică p q p q. Rezultă, conform (PG), că pentru orice p, q, p, q P, dacă p p şi q q, atunci (p q) (p q ). Analog se demonstrează că (p q) (p q ). 3) Fie p, q P, fixate, altfel arbitrare; p p q q def v((p p) (q q)) = 1; atunci avem:

20CHAPTER 1. CALCULUL PROPOZIŢIILOR (PREZ. NEFORMALIZATĂ) v(p) v(q) v( p) v( q) v(p p) v(q q) v((p p) (q q)) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 adică p p q q. Rezultă, conform (PG), că pentru orice p, q P, p p q q. Restul se demonstrează la fel. Observaţii 1.2.13 1) Propoziţia 1.2.12 spune că relaţia este o relaţie de congruenţă pe (P,,, ). 2) In mod uzual, relaţia se mai notează. Deoarece este o relaţie de echivalenţă pe P, să formăm clasele de echivalenţă; vom nota cu p clasa lui p, pentru orice p P, i.e. p = {q P q p}. Lema 1.2.14 p = q p q. Dem. = : p = q implică p q, deci p q. =: p q implică p q şi q p, adică p = q. Intr-adevăr, p q înseamnă că pentru orice r, r p r q. Fie r cu r p ; deci, r p; dar p q; rezultă r q, adică r q. Fie P/ = { p p P }. Atunci să definim pe P/ două operaţii binare, şi, o operaţie unara, NEG astfel: pentru orice p, q P/, p q def. = p q, p q def. = p q, NEG p def. = p. Aceste trei operaţii sunt bine definite (adică nu depind de reprezentanţii aleşi ai claselor), conform Propoziţiei 1.2.12(1),(2). Să considerăm, de asemenea, următoarele elemente remarcabile din P/ (conform Propoziţiei 1.2.12(3)): şi Obţinem atunci următoarea I def. = {p p p P } O def. = {p p p P }.

1.2. VALOREA DE ADEVĂR A UNEI PROPOZIŢII 21 Teorema 1.2.15 Structura (P/,,, NEG, O, I ) este o algebră Boole. ), Dem. Trebuie să demonstrăm că, pentru orice p, q, r P/ : (B1) p p = p, p p = p, (B2) p q = q p, p q = q p, (B3) p ( q r ) = ( p q ) r, p ( q r ) = ( p q ) r, (B4) p ( p q ) = p, p ( p q ) = p, (B5) p ( q r ) = ( p q ) ( p r ), p ( q r ) = ( p q ) ( p r (B6) p O= p, p I = p, (B7) p NEG p = I, p NEG p = O. Vom demonstra prima egalitate din (B1): p p = p def p p= p egal. claselor p p p def. (p p) p este o tautologie, ceea ce este adevărat, conform primei tautologii (P1) din sistemul A 1 de tautologii. Restul proprietăţilor se demonstrează folosind, similar, restul tautologiilor din A 1. Dacă în algebra Boole P/ considerăm submulţimea P 2 = { O, I }, atunci structura (P 2,,, NEG, O, I ) este o subalgebră a algebrei Boole P/, deci este la rândul ei o algebră Boole, şi anume o algebră Boole cu două elemente (deci izomorfă cu algebra Boole canonică, L 2 ). Dacă facem asocierile: O - F ALSE, I - T RUE, - OR, - AND, NEG - NOT, atunci obţinem algebra Boole cu două elemente, (P 2 = {F ALSE, T RUE}, OR, AND, NOT, F ALSE, T RUE), care este implementată în limbajul PASCAL prin tipul de date BOOLEAN. Observaţii 1.2.16 1) Am făcut o prezentare semantică, neformalizată, a calculului propoziţiilor. 2) Orice limbă este constituită dintr-un vocabular, o gramatică şi totalitatea frazelor posibile ale limbii, construite pe baza vocabularului, cu respectarea regulilor gramaticale. Prin analogie, vorbim de limbajul calculului propoziţiilor, al cărui vocabular este format din elementele mulţimii P 0, din conectorii logici (,,,, ) şi din parantezele rotunde stângă şi dreaptă, (, ), gramatica fiind dată de regulile (R1) - (R3), iar rolul frazelor este jucat de propoziţiile din P. 3) Semnul nu face parte din limbajul calculului propoziţiilor, iar afirmaţiile de forma: p q, p (q r) sunt afirmaţii despre limbajul calculului propoziţiilor; spunem că aceste afirmaţii fac parte din meta-limbajul calculului propoziţiilor.

22CHAPTER 1. CALCULUL PROPOZIŢIILOR (PREZ. NEFORMALIZATĂ) Afirmatiile de forma: dacă p q atunci p q, dacă p p şi q q, atunci (p q) (p q ) sunt afirmaţii despre metalimbajul calculului propoziţiilor; spunem că ele fac parte meta-meta-limbajul calculului propoziţiilor; deci, este greşit să notăm cuvintele dacă... atunci cu semnul din limbaj.

Chapter 2 Calculul predicatelor (Prezentare neformalizată) Calculul predicatelor este o extensie a calculului propoziţiilor. In calculul predicatelor (logica predicatelor) se studiază, în afara propoziţiilor, predicatele (= funcţii propoziţionale = propoziţii variabile = propoziţii deschise). 2.1 Predicatele Definiţie 2.1.1 Predicatul este enunţul cu sens care are printre subiectele sale cel puţin unul care este nedeterminat. Un subiect nedeterminat se numeste variabilă liberă. Predicatele se notează astfel: - cu P (x), dacă este un predicat unar (monadic) (= cu un loc liber); x este variabilă liberă. - cu P (x, y), dacă este binar (= cu 2 locuri libere), cu P (x, y, z), dacă este ternar(= cu 3 locuri libere),..., cu P (x 1, x 2,..., x n ), dacă este n-ar (= cu n locuri libere); dacă un predicat nu este monadic, se zice că este poliadic. x 1, x 2,..., x n sunt variabile libere. Exemple 2.1.2 1) Enunţurile Socrate este muritor, Platon este muritor sunt propoziţii, adevărate, iar enunţul x este muritor este un predicat unar, pe care-l vom nota cu muritor(x) sau cu P (x). 2) Enunţurile 3 < 5, 10 < 5 sunt propoziţii, prima adevărată, a doua falsă, iar enunţul n < 5 este un predicat unar, pe care-l vom nota Q(n). 3) Enunţurile 2 3, 5 1 sunt propoziţii, prima adevărată, a doua falsă, iar enunţul x y este un predicat binar, pe care-l vom nota cu F (x, y). 23

24CHAPTER 2. CALCULUL PREDICATELOR (PREZ. NEFORMALIZATĂ) Observaţii 2.1.3 1) Dacă P este un predicat care conţine, de exemplu, trei variabile libere, atunci in funcţie de situaţie, putem pune în evidenţă una, două sau toate trei variabilele, sau chiar niciuna, în care caz se scrie respectiv: P (x), P (x, y), P (x, y, z), P. 2) Propoziţiile pot fi considerate cazuri particulare (limită) de predicate şi anume: predicate cu 0 locuri. 3) Dacă într-un predicat n-ar (n 1) înlocuim toate cele n variabile libere (= subiecte nedeterminate) cu subiecte determinate(=obiecte), atunci obţinem o propoziţie. Deci, înlocuirea (=substituţia, fixarea) tuturor variabilelor libere ale unui predicat este o modalitate de trecere de la predicate la propoziţii. Vom vedea că mai există o modalitate: cuantificarea. 4) Locul variabilelor libere nu este indiferent. De exemplu, dacă P (x, y) x > y, atunci P (x, y) P (y, x). Mulţimea (mulţimile) de obiecte (domeniul) a (ale) unui predicat Definiţie 2.1.4 Fie P (x) un predicat unar. Vom spune că variabila liberă x ia valori în mulţimea D de obiecte din universul de discurs U şi vom nota: x D, dacă pentru orice obiect a D, P (a) este o propoziţie cu sens, adevărată sau falsă. Exemple 2.1.5 (1) Dacă P (x) x este muritor, atunci propoziţia Socrate este muritor are sens şi este adevărată, iar propoziţia Numarul 5 este muritor nu are sens. Deci, D este mulţimea oamenilor sau mulţimea animalelor. (2) Dacă Q(x) n < 5, atunci propoziţia 10 < 5 are sens şi este falsă, iar propoziţia Socrate < 5 nu are sens. Deci, D este N sau Q sau R. Definiţie 2.1.6 Fie P (x 1, x 2,..., x n ) un predicat n-ar (n > 1). (i) Vom spune că variabilele libere x 1, x 2,..., x n iau valori în mulţimea de obiecte D din universul de discurs U (sau, echivalent, că tuplul de variabile libere (x 1, x 2,..., x n ) ia valori în produsul cartezian D D... D = D n, generat de mulţimea de obiecte D) şi vom nota aceasta cu: x i D, i = 1, n (sau, echivalent, cu (x 1, x 2,..., x n ) D n ) dacă pentru orice obiecte a i D, i = 1, n (sau, echivalent, pentru orice tuplu de obiecte (a 1, a 2,..., a n ) D n ) avem că P (a 1, a 2,..., a n ) este o propoziţie cu sens, adevărată sau falsă. Vom spune în acest caz că predicatul P este unisort (cu un singur sort). (ii) Vom spune că variabilele libere x 1, x 2,..., x n iau valori respectiv în mulţimile de obiecte D 1, D 2,..., D n din universul de discurs U (sau, echivalent, că tuplul de variabile libere (x 1, x 2,..., x n ) ia valori în produsul cartezian D 1 D 2... D n = n i=1 D i, generat de mulţimile de obiecte D 1, D 2,..., D n )

2.1. PREDICATELE 25 şi vom nota aceasta cu: x i D i, i = 1, n (sau, echivalent, cu (x 1, x 2,..., x n ) n i=1 D i ) dacă pentru orice obiecte a i D i, i = 1, n (sau, echivalent, pentru orice tuplu de obiecte (a 1, a 2,..., a n ) n i=1 D i) avem că P (a 1, a 2,..., a n ) este o propoziţie cu sens, adevărată sau falsă. Vom spune în acest caz că predicatul P este plurisort (cu mai multe sorturi). Observaţii 2.1.7 (1) Mulţimea de obiecte D (mulţimile de obiecte D 1, D 2,..., D n ) depinde (depind) de P : D = D P (D 1 = D P 1,... D n = D P n ). (2) Semnul din scrierea: P (x) x este muritor înseamna că P (x) este o notaţie pentru x este muritor. Predicat parţial Definiţie 2.1.8 Fie P (x 1, x 2, x 3,..., x n ) un predicat n-ar (n > 1). Dacă fixăm (precizăm) variabilele x 2, x 3,..., x n într-un mod oarecare (de exemplu, prin înlocuirea lor cu obiectele a 2, a 3,..., a n din mulţimea (mulţimile) de obiecte a (ale) lui P ), atunci enunţul obţinut, P (x 1, a 2, a 3,..., a n ), este un predicat unar, conţinând doar variabila x 1, care se numeşte predicatul parţial în raport cu x 1 obţinut din P prin fixarea variabilelor x 2, x 3,..., x n. Propoziţii complexe (enunţuri complexe) Din predicate date (sau din predicate şi propoziţii) se construiesc propoziţii complexe cu ajutorul operatorilor propoziţionali (,,,, ) şi al cuantificatorilor (, ), şi anume: (1) Fie, pentru început, predicatele unare P (x) şi Q(x). Enunţurile P (x), P (x) Q(x), P (x) Q(x), P (x) Q(x), P (x) Q(x) se construiesc lingvistic ca în cazul propoziţiilor, operatorii propoziţionali afectând părţile predicative, nu şi subiectele. Aceste enunţuri sunt de asemenea predicate. Enunţurile ( x)p (x) şi ( x)p (x) se construiesc lingvistic astfel: se scrie întreg textul predicatului (enunţului) P (x) şi se adaugă în faţa lui textul: Oricare ar fi x,, respectiv textul există (cel puţin un )x, astfel încât. Deci, enunţul ( x)p (x) se citeşte: Oricare ar fi x, P (x), iar enunţul ( x)p (x) se citeşte: există x, astfel încât P (x). Enunţurile ( x)p (x) şi ( x)p (x) nu se mai referă la obiectul nedeterminat x, ci la mulţimea de obiecte D în care variabila x ia valori, exprimând o proprietate a lui D, şi anume: Toate obiectele din D au proprietatea P, respectiv

26CHAPTER 2. CALCULUL PREDICATELOR (PREZ. NEFORMALIZATĂ) există cel puţin un obiect în D care are proprietatea P. Observaţii 2.1.9 (1) Cuantificatorii lucrează asupra subiectului (subiectelor) unui enunţ. (2) Prin cuantificarea predicatului unar P (x), numărul locurilor libere din enunţul astfel obţinut s-a redus la 0. Deci, enunţurile ( x)p (x) şi ( x)p (x) sunt propoziţii, în care x se numeşte variabilă legată. Deci, cuantificarea este a doua modalitate de trecere de la predicate la propoziţii. (3) Cuantificatorii şi nu sunt independenţi (după cum nici şi nu sunt independenţi). (2) Fie acum P (x, y) şi Q(x, y) două predicate binare (sau unul unar şi celălalt binar). Construcţiile lingvistice ale enunţurilor: P (x, y), P (x, y) Q(x, y), P (x, y) Q(x, y), P (x, y) Q(x, y), P (x, y) Q(x, y) sunt evidente. Toate aceste enunţuri sunt predicate. Construcţiile lingvistice ale enunţurilor: (a) ( x)p (x, y), ( y)p (x, y), ( x)p (x, y), ( y)p (x, y), (b) ( x)( y)p (x, y), ( x)( y)p (x, y), ( x)( y)p (x, y), ( x)( y)p (x, y), ( y)( x)p (x, y), ( y)( x)p (x, y), ( y)( x)p (x, y), ( y)( x)p (x, y) sunt evidente, cele grupate în (a) fiind predicate, cele grupate în (b) fiind propoziţii. (3) Construcţiile propoziţiilor complexe în cazul predicatelor ternare,..., n-are se generalizează într-un mod evident. Observaţii 2.1.10 (1) Fie P (x 1, x 2,..., x n ) un predicat n-ar (n > 1). Prin o cuatificare, numărul locurilor libere din predicat scade cu o unitate. Deci, enunţurile: ( x 1 )P (x 1, x 2,..., x n ), ( x 1 )P (x 1, x 2,..., x n ), ( x 2 )P (x 1, x 2,..., x n ), ( x 2 )P (x 1, x 2,..., x n ) s.a.m.d. sunt predicate (n 1)-are, enunţurile: ( x 1 )( x 2 )P (x 1, x 2,..., x n ), ( x 1 )( x 2 )P (x 1, x 2,..., x n ), ( x 1 )( x 2 )P (x 1, x 2,..., x n ), ( x 1 )( x 2 )P (x 1, x 2,..., x n ) ş.a.m.d. sunt predicate (n 2)-are, ş.a.m.d., iar enunţurile: ( x 1 )( x 2 )... ( x n )P (x 1, x 2,..., x n ), ( x 1 )( x 2 )... ( x n )P (x 1, x 2,..., x n ),... ( x 1 )( x 2 )... ( x n )P (x 1, x 2,..., x n ), ş.a.m.d. sunt predicate 0-are, adică sunt propoziţii.

2.1. PREDICATELE 27 Variabila care apare lângă un cuantificator (= aflată în aria de cuprindere a unui cuantificator) dispare din predicat, nu mai este liberă, ci legată. Evident, aceeaşi variabilă nu poate fi legată de mai multe ori într-un predicat. (2) Avem deci două modalităţi de trecere de la predicate (= propoziţii deschise) la propoziţii (= propoziţii închise), numite şi modalităţi de închidere a unui predicat: MOD1 - prin înlocuirea tuturor variabilelor libere cu obiecte, MOD2 - prin cuantificarea (legarea) tuturor variabilelor libere. (3) Dacă D, mulţimea de obiecte a unui predicat unar P (x), este finită: D = {a 1, a 2,..., a n }, atunci ( x)p (x) (P (a 1 ) P (a 2 )... P (a n )), ( x)p (x) (P (a 1 ) P (a 2 )... P (a n )), adică cuantificatorul universal coincide cu o conjuncţie, iar cuantificatorul existenţial coincide cu o disjuncţie. (4) Rezultătul unei cuantificări nu depinde de notaţia (numele) variabilei în raport cu care se face cuantificarea, adică, de exemplu: ( x)p (x) ( y)p (y) şi ( y)p (x, y, z) ( u)p (x, u, z) (este corect), dar ( x)p (x, y) ( y)p (x, y) şi ( u)p (x, u, z) ( x)p (x, x, z) (greşit). (5) In cazul unei cuantificări repetate nu putem înlocui variabila unei cuantificări cu o variabilă care intervine în altă cuantificare. Deci, ( x)( y)p (x, y, z) ( x)( u)p (x, u, z) (este corect), ( x)( y)p (x, y, z) ( x)( x)p (x, x, z) (este greşit). Convenţii de scriere (1) Vom scrie: ( x)p (x) în loc de: xp (x) şi vom scrie: ( x)p (x) în loc de: xp (x). Dar scrierea: ( )xp (x) este greşită, ca şi scrierea: ( )xp (x). (2) Pentru a uşura scrierea unei propoziţii complexe, vom presupune următoarele: (i) cuantificatorii (, ) au prioritate în faţa operatorilor propoziţionali (leagă mai tare), ei având aceeaşi prioritate (leagă la fel de tare); (ii) operatorii propoziţionali au priorităţile următoare: (I): ( leagă cel mai tare), (II):, (III):, (IV):, (V): ( leagă cel mai slab).

28CHAPTER 2. CALCULUL PREDICATELOR (PREZ. NEFORMALIZATĂ) 2.2 Valoarea de adevăr a unui predicat Un predicat unar, P (x), poate fi adevărat, fals, sau ambivalent. predicat n-ar (n > 1). La fel un Definiţie 2.2.1 Fie P (x) un predicat unar şi D mulţimea sa de obiecte. Spunem că P (x) este adevărat dacă pentru orice a D, propoziţia P (a) este adevărată. Spunem că P (x) este fals dacă pentru orice a D, propoziţia P (a) este falsă. Spunem că P (x) este ambivalent dacă există a D, astfel încât propoziţia P (a) este adevărată şi există b D, astfel încât propoziţia P (b) este falsă. Exemple 2.2.2 Fie D = N şi fie predicatele unare următoare care au pe D ca domeniu: (1) P (n) n 0 - este un predicat adevărat; (2) P (n) n < 0 - este un predicat fals; (3) P (n) n 5 - este un predicat ambivalent. Fie P (x) un predicat unar oarecare. Enunţurile ( x)p (x) şi ( x)p (x) sunt propoziţii, a căror valoare de adevăr se defineşte astfel: Definiţie 2.2.3 (i) Propoziţia ( x)p (x) este adevărată dacă şi numai dacă predicatul P (x) este adevărat; propoziţia ( x)p (x) este falsă dacă şi numai dacă predicatul P (x) este fals sau ambivalent. (ii) Propoziţia ( x)p (x) este adevărată dacă şi numai dacă predicatul P (x) este adevărat sau ambivalent; propoziţia ( x)p (x) este falsă dacă şi numai dacă predicatul P (x) este fals. Fie P (x 1, x 2,..., x n ) un predicat n-ar (n > 1) oarecare. El poate fi adevărat, fals sau ambivalent, definiţiile fiind evidente. Exercitii (1) Fie P (x) un predicat unar. Să se demonstreze că următoarea propoziţie este întotdeauna adevărată: Dem. h [( x)p (x)] ( x)[ P (x)]. h ( [( x)p (x)] ( x)[ P (x)]) ( [( x)( P (x))] [( x)p (x)]). Să notăm cei doi termeni ai conjuncţiei astfel: h 1 [( x)p (x)] ( x)[ P (x)] ( x)p (x) x)[ P (x)], deoarece p p şi h 2 [( x)( P (x))] [( x)p (x)].

2.2. VALOAREA DE ADEVĂR A UNUI PREDICAT 29 h este atunci adevărată dacă şi numai dacă h 1 este adevărată şi h 2 este adevărată. Să notăm p ( x)p (x). Să arătăm că propoziţia h 1 este adevărată: - dacă propoziţia p este adevărată, atunci h 1 este adevărată; - dacă propoziţia p este falsă, atunci predicatul P (x) este fals sau ambivalent; rezultă că predicatul P (x) este adevărat sau ambivalent; deci propoziţia ( x)[ P (x)] este adevărată; rezultă că h 1 este adevărată. Să arătăm că propoziţia h 2 este adevărată: - dacă propoziţia p este adevărată, atunci predicatul P (x) este adevărat; atunci predicatul P (x) este fals; deci propoziţia ( x)[ P (x)] este falsă; rezultă că propoziţia [( x)( P (x))] este adevărată şi, deci, h 2 este adevărată; - dacă propoziţia p este falsă, atunci propoziţia p este adevărată şi deci h 2 este adevărată. Deci, h este adevărată întotdeauna. (2) Fie P (x) un predicat unar oarecare. Să se demonstreze că predicatul următor este adevărat: H(y) ( x)p (x) P (y). Dem. Conform definiţiei, predicatul H(y) este adevărat dacă şi numai dacă, pentru orice obiect a D H (D H este domeniul lui H), H(a) este o propoziţie adevărată. Fie atunci a D H un obiect oarecare, fixat, altfel arbitrar; să arătăm că H(a) este o propoziţie adevărată: H(a) ( x)p (x) P (a) [( x)p (x)] P (a). Să notăm p ( x)p (x) ; atunci - dacă propoziţia p este adevărată, atunci P (x) este un predicat adevărat, deci P (a) este o propoziţie adevărată şi, prin urnare, H(a) este o propoziţie adevărată; - dacă propoziţia p este falsă, atunci propoziţia p este adevărată şi, deci, propoziţia H(a) este adevărată. Deci, în ambele cazuri posibile, H(a) este o propoziţie adevărată. Rezultă, conform (PG), că pentru orice obiect a D H, propoziţia H(a) este adevărată, deci H(y) este un predicat adevărat. (3) Fie p o propoziţie şi Q(x) un predicat unar oarecare. Să se demonstreze că următoarea propoziţie este întotdeauna adevărată: h [( x)(p Q(x))] [p ( x)q(x)]. Dem. h [( x)( p Q(x))] [ p ( x)q(x)] ( x)[ ( p Q(x))] [ p ( x)q(x)] ( x)[p Q(x)] [ p ( x)q(x)], conform primului exerciţiu, faptului că p p şi conform legilor De Morgan.

30CHAPTER 2. CALCULUL PREDICATELOR (PREZ. NEFORMALIZATĂ) - Dacă p este falsă, atunci p este adevărată şi deci h este adevărată. - Dacă p este adevărată, atunci să notăm: h 1 ( x)[p Q(x)], h 2 [ p ( x)q(x)]. - dacă predicatul Q(x) este adevărat, atunci propoziţia ( x)q(x) este adevărată, deci h 2 este adevărată; rezultă h adevărată; - dacă predicatul Q(x) este fals, atunci predicatul Q(x) este adevărat; rezultă că p Q(x) este un predicat adevărat, de unde obţinem că h 1 este adevărată, deci h este adevărată; - dacă predicatul Q(x) este ambivalent, atunci predicatul Q(x) este ambivalent; rezultă că p Q(x) este un predicat ambivalent, de unde obţinem că h 1 este adevărată, deci h este adevărată. Deci, h este întotdeauna o propoziţie adevărată. Definiţie 2.2.4 Se numeşte lege logică orice enunţ complex (adică format cu ajutorul operatorilor propoziţionali (,,,, ) şi al cuantificatorilor (, ) din alte enunţuri, numite enunţuri componente) care are proprietatea că este adevărat independent de valorile de adevăr ale enunţurilor componente. O lege logică care se construieşte fără cuatificatori se numeşte tautologie. O lege logică în construcţia căreia intervin şi cuantificatorii nu are un nume special în literatura de specialitate; noi o vom numi tautologie cuantificată. Un enunţ complex care este fals, oricare ar fi valorile de adevăr ale enunţurilor componente, se numeşte antilogie - dacă nu conţine cuantificatorii, şi antilogie cuantificată - dacă conţine cuantificatori. Exemple 2.2.5 Exemple de antilogii cuantificate 1. ( x)p (x) ( x)[ P (x)], 2. ( x)p (x) ( x)[ P (x)]. Exemple 2.2.6 Exemple de tautologii cuantificate Vom grupa exemplele de tautologii cuantificate în opt grupe: (I) echivalenţele cuantificatorilor: 1. [( x)p (x)] [( x)( P (x))], 2. [( x)p (x)] [( x)( P (x))], 3. [( x)p (x)] ( x)[ P (x)], (vezi exerciţiul 1) 4. [( x)p (x)] ( x)[ P (x)]. (II): 1. ( x)p (x) ( x)[ P (x)], 2. ( x)p (x) ( x)[ P (x)]. (III):

2.2. VALOAREA DE ADEVĂR A UNUI PREDICAT 31 1. [( x)p (x) ( x)( P (x))], 2. [( x)p (x) ( x)( P (x))]. (IV): 1. ( x)p (x) P (y), (vezi exerciţiul 2) 2. P (y) ( x)p (x). (V) (o consecinţă a (IV)): ( x)p (x) ( x)p (x). (VI) Fie p o propoziţie şi Q(x) un predicat unar: 1. [( x)(p Q(x))] [p ( x)q(x)], Regula ( ) (vezi exerciţiul 3) 2. [( x)(q(x) p)] [( x)q(x) p], Regula ( ). (VII): 1. ( x)[p (x) Q(x)] [( x)p (x) ( x)q(x)], 2. ( x)[p (x) Q(x)] [( x)p (x) ( x)q(x)], 3. ( x)[p (x) Q(x)] [( x)p (x) ( x)q(x)], 4. ( x)[p (x) Q(x)] [( x)p (x) ( x)q(x)]. (VIII): 1. ( x)( y)p (x, y) ( y)( x)p (x, y), 2. ( x)( y)p (x, y) ( y)( x)p (x, y), 3. ( x)( y)p (x, y) ( y)( x)p (x, y). Observaţie 2.2.7 Toate regulile de deducţie sunt consecinţe a trei reguli fundamentale: modus ponens,,. Se poate arăta că pentru nevoile unei teorii deductive ne putem rezuma doar la două reguli: modus ponens şi una din celelalte două. Observaţie 2.2.8 Semnificaţia scrierilor din matematică x > 0, P (x) şi x > 0, P (x) este urmatoarea: x > 0, P (x) ( x)(x > 0 P (x)), x > 0, P (x) ( x)(x > 0 P (x)). In consecinţă, dacă le negăm, obţinem respectiv: ( x > 0, P (x)) (( x)(x > 0 P (x))) ( x) (x > 0 P (x)) ( x) ( (x > 0) P (x)) ( x)(x > 0 P (x)) x > 0, P (x).

32CHAPTER 2. CALCULUL PREDICATELOR (PREZ. NEFORMALIZATĂ) ( x > 0, P (x)) (( x)(x > 0 P (x))) ( x) (x > 0 P (x)) ( x)( (x > 0) P (x)) ( x)(x > 0 P (x)) x > 0, P (x). Calculul predicatelor prezentat se mai numeşte calculul predicatelor de ordinul I. Dacă variabilele libere x, y, z,... din predicate sunt mulţimi, atunci calculul predicatelor corespunzător se zice de ordinul II; dacă ele sunt mulţimi de mulţimi, calculul se zice de ordinul III ş.a.m.d.

Chapter 3 Latici 3.1 Mulţimi (pre)ordonate Definiţii 3.1.1 Fie A o mulţime nevidă. O relaţie binară R pe A se numeşte relaţie de ordine (parţială) dacă sunt verificate următoarele axiome: pentru orice x, y, z A, (O 1 ) xrx (reflexivitatea), (O 2 ) dacă xry şi yrx, atunci x = y (antisimetria), (O 3 ) dacă xry şi yrz, atunci xrz (tranzitivitatea). Dacă R mai verifică şi axioma: (O 4 ) pentru orice x, y A, xry sau yrx (x şi y sunt compatibile), atunci R se numeşte relaţie de ordine totală. O relaţie binară R pe A se numeşte relaţie de preordine dacă verifică (O 1 ) şi (O 3 ). O pereche (A, R) se numeşte - mulţime (parţial) ordonată, dacă R este o relaţie de ordine (parţială) pe A, - mulţime total ordonată sau mulţime liniară (liniar ordonată) sau lanţ, dacă R este o relaţie de ordine totală pe A, - mulţime preordonată, dacă R este o relaţie de preordine pe A. Exemple 3.1.2 (1) Mulţimile (R, ), (Q, ), (Z, ), (N, ) sunt lanţuri. (2) Dacă X este o mulţime nevidă, atunci (P(X), ) este o mulţime ordonată; ea este total ordonată dacă şi numai dacă X este formată dintr-un singur element. (3) Dacă X este o mulţime nevidă, atunci (X, =) este o mulţime ordonată (în acest caz R este = {(x, x) x X}). (4) Dacă pe mulţimea N = N\{0} definim, pentru orice x, y, x y x y (x este divizibil cu y), atunci (N, ) este o mulţime ordonată, dar nu total ordonată. 33

34 CHAPTER 3. LATICI (5) Dacă pe mulţimea C definim relaţia binară astfel: pentru orice z 1 = a 1 + ib 1, z 2 = a 2 + ib 2 C, z 1 z 2 (a 1 a 2, b 1 b 2 ), atunci (C, preced) este o mulţime ordonată, dar nu total ordonată. (6) Relaţia x y x y, definită pe Z, este o relaţie de preordine, care nu este relaţie de ordine. (7) Fie A mulţimea ofiţerilor dintr-o unitate militară. Pentru x, y A, spunem că x y dacă gradul lui x este mai mic sau egal cu gradul lui y. Atunci (A, ) este o mulţime preordonată, care nu este ordonată. 3.1.1 Principiul dualităţii. Diagrama Hasse Principiul dualităţii pentru mulţimi (pre)ordonate este următorul: Orice enunţ cu privire la mulţimea (pre) ordonată (A, ) rămâne valabil dacă peste tot în cuprinsul său schimbăm relaţia de (pre) ordine cu relaţia de (pre) ordine inversă, (y x x y, pentru orice x, y A). Structura (A, ) astfel obţinută este tot o mulţime (pre) ordonată, numită duala lui (L, ). Diagrama Hasse O relaţie binară pe o mulţime finită A se va reprezenta grafic prin diagrama Hasse astfel: elementele mulţimii sunt reprezentate prin puncte, iar faptul că x < y (adică x y şi x y) şi nu există z cu x < z < y se reprezintă printr-o linie care leagă cele doua puncte, y fiind situat mai sus ca x: y x Diagrama Hasse este utilă pentru recunoaşterea proprietăţilor relaţiei binare. Exemplu de diagramă Hasse. Dacă A = {a, b, c, d} şi R = {(a, a), (b, b), (c, c), (d, d), (a, b), (a, c), (a, d), (b, c), (b, d)}, atunci (A, R) este o mulţime ordonată, ce va fi reprezentată grafic de diagrama Hasse din Figura 3.1. Convenţie. O relaţie de (pre)ordine arbitrară pe o mulţime A va fi notată de acum înainte prin.

3.1. MULŢIMI (PRE)ORDONATE 35 c d b a Figure 3.1: Diagrama Hasse a mulţimii ordonate (A, R) 3.1.2 Reprezentarea unei relaţii binare pe o mulţime finită prin matrice booleană Să observăm că oricărei mulţimi finite, concrete {x 1, x 2,..., x n } îi putem asocia o singură mulţime finită, abstractă {1, 2,..., n}, abstracţie făcând de un izomorfism, şi că oricărei mulţimi finite abstracte {1, 2,..., n} îi putem asocia o infinitate de mulţimi finite concrete {x 1, x 2,..., x n }. Fie o mulţime finită A = {x 1, x 2,..., x n } (A = {1, 2,..., n}) şi R o relaţie binară pe A. Vom asocia lui R o matrice booleană M R = (m ij ) i,j {1,2,...,n} astfel: m ij == { 1, dacă (xi, x j ) R ((i, j) R) 0, dacă (x i, x j ) R ((i, j) R). Se observă că mulţimea relaţiilor binare pe o mulţime finită cu n elemente este în corespondenţă biunivocă cu mulţimea matricilor booleene de ordinul n. Deci, o relaţie binară pe o mulţime finită cu n elemente poate fi dată, alternativ, printr-o matrice booleană de ordin n. De exemplu, relaţia R, definită mai sus pe mulţimea A = {a, b, c, d}, are următoarea matrice booleană asociată: M R = 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 1 Condiţiile (O 1 ) - (O 4 ) din Definiţiile 1, verificate de o relaţie binară R pe o mulţime A finită cu n elemente, pot fi reformulate echivalent pentru matricea booleană asociată, M R, astfel: (O 1) pentru orice i {1, 2,..., n}, m ii = 1, (O 2) M R este o matrice antisimetrică (pentru orice i, j {1, 2,..., n}, m ij = 1 implică m ji = 0), (O 3) pentru orice i, j, k {1, 2,..., n}, m ij = 1 şi m jk = 1 implică m ik = 1, (O 4) pentru orice i, j {1, 2,..., n}, m ij = 1 sau m ji = 1. Exerciţiu 3.1.3 1. Să se scrie un program pentru determinarea tuturor relaţiilor de ordine pe o