Sunteți pe pagina 1din 5

Un semestru de logic

Prof. Dr. George Georgescu


La Facultatea de Matematic i Informatic, n primul semestru al anului I se
pred un curs de logic matematic i computaional. Destinat studenilor informaticieni,
un astfel de curs ar putea avea dou obiective generale:
(a) O nvare corect a ceea ce este logica matematic (la nivelul unor elemente de
calcul propoziional i de calcul al predicatelor);
(b) O deschidere a logicii matematice ctre unele discipline ale informaticii.
Primul obiectiv se ndeplinete prin tratarea logicii matematice ca subiect n sine, cu
teme i metode proprii. Problemele logicii matematice provin din matematic, din
informatic, din alte tiine, dar pot fi i rezultatul unui mers interior al domeniului. Rolul
su nu se limiteaz la a fundamenta i a formaliza diferite teorii ale matematicii sau ale
altor tiine.Este din ce in ce mai manifest intervenia sa n obinerea unor rezultate noi
n aceste teorii.
Realizarea primului obiectiv are un impact decisiv asupra celui de-al doilea. Ar fi o
eroare capital s gndim cursul de logic ca un ir de reete, de modele, de algoritmi, de
calcule ce vor fi folosite cndva la unul din cursurile de informatic. Desigur c pentru
cel de-al doilea obiectiv este indicat s gsim motivaii ale noiunilor i propoziiilor de
logic i n disciplinele informatice, iar unele exemple s fie sugerate de acestea. O schi
a perspectivelor de aplicare a logicii la celelalte cursuri de matematic i informatic va
ntri motivaia auditoriului i va nlesni nsuirea cunotinelor.
Pentru secia de informatic, o variant maximal a programei acestui curs ar putea
cuprinde urmtoarele capitole:
Cap. I : Relaii binare
1. Relaii binare i matrici booleene
2. Operaii cu relaii binare
3. Proprieti ale relaiilor binare
4. Calculul nchiderilor (reflexiv, tranzitiv, etc)
5. Operatori de nchidere i conexiuni Galois
Cap. II : Latici i algebre Boole
1. Relaii de ordine. Latici
2. Algebre Boole. Proprieti generale. Exemple
3. Implicaia i echivalena boolean
4. Inele Boole
5. Filtre si congruene. Algebre Boole ct
6. Ultrafiltre. Teorema de reprezentare a lui Stone
7. Structura algebrelor Boole finite
8. Funcii booleene
Cap.III: Sistemul formal al calculului propoziional

1.
2.
3.
4.
5.
6.
7.
8.
9.

Dimensiuni ale unui sistem logic


Sintaxa: limbaj, demonstraii formale, deducia sintactic
Proprieti sintactice. Teorema deduciei
Algebra Lindenbaum - Tarski
Semantica calculului propoziional. Interpretri
Teorema de completitudine (demonstraie algebric)
Sisteme deductive. Mulimi consistente
Teorema de completitudine tare
Tablouri semantice

Cap.IV: Sistemul formal al calculului cu predicate


1. Structuri de ordinul I. Exemple
2. Construcia limbajului: termeni, formule, enunuri
3. Semantica calculului cu predicate. Modele
4. Deducia semantic n calculul cu predicate
Cu excepia operatorilor de nchidere i a conexiunilor Galois, materialul din primul
capitol este foarte apropiat de nivelul matematicii din liceu. Teoria relaiilor este un
domeniu vechi al matematicii, util deopotriv disciplinelor matematice i informatice.
Definiiile i rezultatele din teoria relaiilor apar i n fundamentarea i dezvoltarea unor
subiecte din economie, sociologie i psihologie. De exemplu, demonstraia celebrei
teoreme de imposibilitate a lui Arrow din teoria votului se bazeaz exclusiv pe tehnici de
teoria relaiilor. n concluzie, cunotinele din acest mic capitol folosesc att cursului de
fa ct i investigrii unor viitoare teme.
Al doilea capitol este consacrat celor dou structuri algebrice principale ale cursului:
laticile i algebrele Boole. Aceste dou tipuri de algebre sunt indispensabile studierii
calculului propoziional i calculului cu predicate. n acelai timp, ele sunt n mod
esenial folosite n cea mai mare parte a cursurilor de informatic i de matematic.
Noiunea de algebr Boole este motivat prin cteva exemple remarcabile:
algebra Boole standard {0, 1};
algebra Boole a prilor unei mulimi;
algebra Boole a funciilor booleene;
algebra Boole a evenimentelor unei experiene aleatoare;
algebra Boole a prilor deschise i nchise ale unui spaiu topologic.
Algebrele Boole sunt structuri ce constitue baza algebric a sistemelor de logic studiate
n acest curs. Rezultatul central al capitolului este teorema de reprezentare a lui Stone:
orice algebr Boole este izomorf cu o subalgebr a unei algebre Boole de pri. Pentru
demonstrarea sa este folosit, direct sau indirect, aproape ntreg materialul din acest
capitol (aritmetica boolean, morfisme booleene, filtre, ultrafiltre, etc). Prin teorema lui
Stone, elementele unei algebre Boole se identific cu pri ale unei mulimi, iar operaiile
booleene se identific cu operaii cu mulimi. De aici rezult c demonstrarea unei
identiti booleene revine la un calcul n care apar numai operaii cu mulimi. O form
echivalent a teoremei lui Stone arat c orice algebr Boole este izomorf cu o algebr
Boole de funcii ce iau valori n {0, 1}. Astfel calculul boolean se reduce la verificarea
identitilor n algebra Boole standard {0, 1}.

Capitolul III studiaz n mod aprofundat cel mai simplu sistem logic: calculul propoziional (L). Este prezentat sintaxa sistemului (limbaj plus structur logic) i semantica sa.
Legtura dintre sintax i semantic este exprimat prin teorema de corectitudine (orice
teorem formal este un enun universal adevrat) i prin teorema de completitudine
(orice enun universal adevrat este teorem formal). Teorema de corectitudine rezult
printr-o simpl inducie relativ la modul de definire a enunurilor lui L. Mai complicat
este demonstraia teoremei de completitudine. Algebra Lindenbaum - Tarski este o
construcie canonic prin care unui sistem logic i este asociat o structur algebric.
Proprietile sintactice se reflect n proprieti algebrice, care sunt mai uor de
manipulat. n cazul de fa, algebra Lindenbaum - Tarski B(L) a calculului propoziional
va fi o algebr Boole. Din acest moment, ntregul aparat algebric dezvoltat n capitolul
precedent va putea fi folosit n studiul sistemului logic L. Aplicaia sa cea mai important
este demonstraia algebric a teoremei de completitudine. Demonstraia se face prin
reducere la absurd (orice enun ce nu este teorem formal nu este universal adevrat) i
const din urmtorii pai:
- se pornete cu un enun ce nu este teorem formal;
- se trece de la sintaxa lui L la algebra Lindenbaum - Tarski B(L);
- se aplic teorema de reprezentare a lui Stone algebrei Boole B(L);
- folosind pasul precedent se construiete o interpretare a lui L;
- n interpretarea obinut, enunul este fals.
Teorema de completitudine tare stabilete echivalena dintre deducia sintactic i
deducia semantic. O demonstraie nealgebric a teoremei de completitudine tare se
poate obine utiliznd rezultate asupra mulimilor maximal consistente (n special
existena i caracterizarea lor). Se poate observa un paralelism perfect ntre teoria
mulimilor maximal consistente ale lui L i teoria ultrafiltrelor. Rezult un fapt tulburtor:
demonstraia nealgebric a teoremei de completitudine a calculului propoziional este
privirea n oglind a demonstraiei teoremei de reprezentare a lui Stone.
Capitolul IV conine prezentarea limbajului calculului predicatelor de ordinul nti (CP),
dar omite structura logic (axiome, reguli de deducie etc). Se insist pe semantica lui
CP, pe noiunea de model i de deducie semantic. O tratare mai complet a lui CP (cu
demonstrarea teoremei de completitudine a lui Gdel) necesit dezvoltri tehnice pe care
lipsa de timp nu le permite n acest semestru.
Acesta ar fi coninutul cursului. Alegerea modului n care acest material poate fi predat i
revine profesorului.
Extinznd planul discuiei, vom prezenta patru modele posibile pentru predarea unui curs
de logic matematic (care poate fi i altul dect cel pus n discuie).
(a) Modelul cvartalist presupune organizarea perfect a materialului predat. La fiecare
curs, definiiile, lemele i teoremele sunt aranjate n sertare imaginare, cu o etichetare
precis; sertarele compun dulapuri imaginare dispuse perfect n ncperi imaginare;
ncperile formeaz blocuri imaginare ce gzduiesc cunotinele de logic; pe ansamblu,

cursul apare ca un cvartal, n care un pota imaginar poate merge cu precizie la adresa
fiecrei definiii, leme i teoreme.
(b) Modelul mioritic propune aezarea materiei ntr-un relief fr trasee abrupte, cu
treceri line de la definiii la exemple, de la leme la teoreme, astfel nct auditoriul s
ajung la captul unei teoreme sau al unei teme cu un efort aproape insesizabil. Un astfel
de procedeu impune descompunerea unui fapt n pri mai uor de explicat n mod separat
iar apoi repunerea lor la loc, dar ntr-o nou produs matematic. Eficiena modelului
depinde de metesugul profesorului de a descompune i recompune materialul, precum i
de fineea cu care ideile sunt plasate ntr-o estur general.
(c) Modelul tropical este caracterizat printr-o abunden de fapte matematice, nsufleite
prin torente de idei si de comentarii. Rezultatele expuse copleesc prin numr i prin
consisten matematic, ideile nesc n fiecare loc, iar comentariul este exploziv,
neuniform i chiar paradoxal. n aceast vegetaie matematic luxuriant, drumurile nu
sunt largi iar poienile sunt rare, dar intens luminate. Tehnica este subsumat ideilor, iar
ordonarea materialului nu este prestabilit. Modelul este eficient n cazul cnd auditoriul
are un nivel matematic ridicat i este pasionat de subiectul discutat. Aplicarea modelului
tropical ar putea avea succes mai mult n cazul studenilor de la master.
(d) Modelul catedral alege cteva fapte centrale (concepte, teoreme, teme, modele) i
materia este organizat astfel nct s serveasc demonstrrii, explicrii i aplicrii lor.
Viaa matematic a cursului graviteaz n jurul acestor construcii capitale; de aceea
semnificaia lor trebuie s fie excepional. n plus, demonstraia lor trebuie s fie o
combinaie rafinat a unui mare numr de noiuni, leme, propoziii i artificii de
raionament. i nu n ultimul rnd, este necesar stabilirea unei relaii att de profunde
ntre aceti centri vitali astfel nct ea s fie definitorie pentru ntregul curs.
Fiecare din modelele de mai sus are virtui i scderi. n multe cazuri, de fapt are loc o
mpletire a celor patru stiluri de predare. Pentru cursul de logic predat la anul I,
preferinele noastre merg spre modelul catedral. Materia se nfoar n jurul a dou
rezultate fundamentale: teorema de reprezentare a lui Stone (la capitolul de algebr
Boole) i teorema de completitudine (la capitolul de calcul propoziional). La curs nu
avem timp s tratm dect o parte a relaiei dintre ele: demonstraia teoremei de
completitudine prin teorema lui Stone. La rndul su, teorema de completitudine ofer o
demonstraie a teoremei de reprezentare a lui Stone. De fapt, ele sunt dou enunuri
matematice echivalente (ntr-o axiomatizare a teoriei mulimilor fr axioma alegerii).
Aceast relaie ntre reprezentare i completitudine poate fi extins la majoritatea
sistemelor de logic. Atunci putem vorbi de un adevrat principiu: completitudinea
sistemelor logice i reprezentarea structurilor lor algebrice se determin una pe alta. l
vom numi principiul celor dou catedrale.
Pentru studentul de anul I, la sfritul acestui semestru ideea de sistem logic este
concentrat n relaia tripartit: sintax, semantic, algebr. Ea se ncadreaz n schema
de a defini un sistem logic prin descrierea dimensiunilor sale matematice.

Mulumim domnilor profesori Sergiu Rudeanu, Drago Vaida, Mircea Sularia i Andrei
Popescu pentru sugestiile fcute n timpul scrierii acestui articol.