Documente Academic
Documente Profesional
Documente Cultură
CuzaIasi
Logic
a si teoria multimilor
de
Claudiu Volf & Ioan I. Vrabie
2005
NOTE DE CURS
CAPITOLUL 1
Elemente de logic
a
1. Introducere
1.1. Scurt a prezentare. Logica este stiinta demonstratiei, av and drept obiecte de studiu
legile generale de rationament corect. Pe scurt, logica se ocupa de studiul sistematic al
adev arului. Obiectele cu care ea opereaza sunt propozitiile si predicatele, iar mijloacele de
lucru utilizate sunt limbajul si regulile de deductie. Mai precis, logica opereaza cu definitii,
propozitii, predicate, operatori logici, cuantificatori si reguli de deductie.
Incepem prin a formula patru principii fundamentale ale logicii matematice:
Principiul identitatii
Principiul non-contradictiei
Principiul tertului exclus
Principiul ratiunii suficiente
Conform principiului identit atii, n cadrul oricarui proces de rationament, notiunile,
propozitiile, predicatele, notatiile, operatorii logici etc., trebuie utilizati ntr-o singura acceptiune
si numai una. Orice abatere de la aceasta regula este o sursa de neadevar si confuzie. Este bine-
cunoscuta replica cred c a vorbim de spre lucruri diferite pe care unul dintre participantii la
o discutie o da altuia atunci cand, cel putin aparent, pornind de la aceeasi premisa adevarat a,
ajung la concluzii contradictorii. Aceasta replica este de fapt o atentionare asupra unei posi-
bile ncalcari a principiului identitatii, nc
alcare cunoscuta drept cea mai frecvent a sursa de
contradictii. Un rationament eronat de tipul C ainele este mamifer. Mamifer este sub-
stantiv. Deci c ainele este substantiv. este bazat pe nc alcarea principiului identit atii prin
utilizarea termenului mamifer n doua acceptiuni diferite: prima de nume de notiune si cea
de-a doua de parte de vorbire. Subliniem ca acest principiu are drept consecint a ca un acelasi
simbol, n cadrul unui rationament, nu poate nota obiecte diferite. Drept consecint a, avem
regula substitutiei, care afirma ca substituirea unei variabile ntr-o expresie trebuie facut a
peste tot unde apare cu unul si acelasi simbol.
Pe de alta parte, traditia gandirii corecte ne spune ca o propozitie nu poate fi si adevarat a
si falsa, cerinta cunoscuta sub numele de principiul non-contradictiei.
Propozitiile pot fi adevarate sau false, iar logica matematica se bazeaza pe cerinta ca o a
treia posibilitate nu exist a. Acesta este principiul tertului exclus.
Logica pretinde justificari fundamentate si complete. Aceasta cerint a este formulat a
de principiul ratiunii suficiente: except and axiomele, toate afirmatiile acceptate drept
adev arate se bazeaz a doar pe demonstratii corecte, care folosesc numai adev aruri deja cunos-
cute, suficient de ntemeiate. In plus, concluziile trebuie obtinute doar pe cale deductiv a. Cu
alte cuvinte, pentru a stabili faptul ca o propozitie este adevarat a sau falsa trebuie sa ne spri-
jinim pe o argumentatie riguroasa, deductiva, bazata pe o cantitate suficient a de adev ar .
Aceasta revine la a spune ca logica nu accept a argumente care se bazeaz a pe: propozitii false,
argumente de autoritate de tipul pentru ca asa vreau, nici argumente care pot fi corecte,
dar sunt incomplete precum cele inductive.
4
1. ELEMENTE DE LOGICA
Aparitia n cadrul limbajelor naturale (mai tarziu, chiar n interiorul unor teorii matem-
atice) a unor propozitii ce nu respecta principiul necontradictiei, propozitii numite fie anti-
nomii 1 termen folosit cu precadere de filosofi fie paradoxuri 2, a impulsionat atat logica
cat si matematica spre rezolvarea cu prioritate a problemelor proprii de fundament.
Matematica este cu siguranta disciplina care, pan a la un anumit punct, s-a format, dez-
voltat si formalizat pe baza logicii, ulterior observandu-se si o inversare de roluri: logica s-a for-
malizat utilizand metode matematice. Demn de subliniat este faptul ca exista o corespondent a
perfecta ntre calculul propozitiilor si operatiile cu submultimile unei multimi nevide date. De
exemplu, disjunctiei a doua propozitii i corespunde reuniunea a doua multimi, si reciproc.
Din acest motiv, nu de putine ori, elementele de logica matematica se prezint a mpreun a cu
cele de teoria multimilor, suportul intuitiv al celei din urma fiind de un real folos n ntelegerea
si aprofundarea a numeroase constructii logice abstracte. Nu este lipsit de interes sa subliniem
ca au existat logicieni precum Bertrand Russell care au sustinut teza ca matematica este
o ramura a logicii.
1.2. Rolul limbajului. Un prim scop al cursului de Logic a si teoria multimilor este de
a trece de la limbajul natural, obisnuit, la limbajul matematic, modern. Instrumentul principal
cu care opereaza orice tip de stiinta, n particular si logica, este limbajul. In afara de limbajul
natural n cazul nostru limba roman a exista multe alte limbaje specifice diferitelor stiinte.
Aceaste limbaje au fost create din mai multe ratiuni dintre care amintim:
Evitarea problemelor de natura logica: antinomiile semantice vezi mai jos antino-
mia mincinosului si cea a lui Grelling; formul arile echivoce; utilizarea dublei negatii
cu rol de negatie simpla folosita n multe limbi naturale precum romana si franceza,
dar nu n engleza utilizare care este de natura sa perverteasc a gandirea corecta. La
ntrebarea: Ce faci ? cei mai multi prefera sa aleaga varianta de raspuns, ilogic: Nu
fac nimic!, n locul celei perfect logice: Nimic 3. Alaturarea lui nu cu nimic, vrem, nu
vrem, are drept nteles ceva. Ca urmare, Nu fac nimic! se traduce n termenii logicii
aristotelice prin Fac ceva! Ceea ce trebuie sa retinem din acest exemplu simplu este
ca, daca n limbajul comun, din motive traditionale4, nu putem renunta la unele ex-
primari care utilizeaza dubla negatie pe post de negatie simpla, n cadrul limbajului
matematic aceast a practica este interzis a cu des av
arsire. Oricum, este de dorit ca
si n limbajul de toate zilele s a evitam, prin intermediul unor formul ari echivalente
pe deplin corecte, utilizarea dublei negatii pe post de negatie simpl a. Un exemplu
de maniera exotica de utilizare a dublei negatii cu rol de negatie simpla este: In
total, o persoan a nu poate urma n acest regim nu mai mult de 50% din cursurile
unui domeniu de licent a.5 Este clar ca o asemenea formulare nu-si poate atinge
scopul (probabil) de a accentua negatia, reusind doar sa perplexeze prin ambiguitate
si confuzie.
Simplificarea si standardizarea exprimarii, e.g.6 chimia foloseste o simbolistica pro-
prie pentru a scurta expunerea si a descrie cat mai precis obiectele cu care opereaza.
In loc de termenul sare de buc atarie chimistul foloseste termenul simbolic N aCl
care descrie foarte precis si, n acelasi timp, concis compozitia chimic a a substantei
mai sus mentionate. Tot n scopul simplificarii si al standardizarii exprimarii, atat
matematica cat si logica fac apel la o multime de simboluri proprii precum: , ,
1Const and dintr-o contradictie aparent insolubila dintre dou a teze, legi sau principii care, desi se exclud
reciproc, pot fi demonstrate, fiecare n parte, la fel de conving ator.
2Termenul de paradox este utilizat n special de logica matematic a si denumeste orice propozitie corect
construit a care este adevarat
a daca si numai daca este fals
a.
3S i care, din pacate, pentru unii, exprim a un adev
ar incontestabil.
4La care s-ar putea renunta cu o foarte mare dificultate si cu pretul unor costuri educationale enorme.
5REGULAMENT PRIVIND DESFAS URAREA ACTIVITAT II DIDACTICE studii universitare de
licenta
proiect, UNIVERSITATEA AL. I. CUZA, RECTORATUL PROGRAME DIDACTICE,
2300/5.X.2005.
6Prescurtarea e.g. provine de la expresia latin a exempli gratia si nseamn a: de exemplu, ca exemplu, spre
exemplu.
1. INTRODUCERE 5
1.3. Definitii, propozitii. Logica opereaza cu definitii , propozitii (pe care le vom mai
numi si enunturi ), predicate (numite si functii propozitionale), operatori logici, cuantificatori
si reguli de deductie. O definitie este o delimitare precisa a unei familii particulare de obiecte
dintr-una mai ampla, deja cunoscuta (numit a gen proxim), prin intermediul unei proprietati
comune tuturor obiectelor nou definite si numai acestora (proprietate numit a diferenta
spe-
cifica ). Desigur, aceasta este o descriere a ceea ce se ntelege printr-o definitie si nicidecum
o definitie a definitiei. Numele generic dat unui obiect din familia nou definita este numele
conceptului (notiunii) definit(e).
In definitia: Se numeste triunghi dreptunghic un triunghi care are un unghi drept., nu-
mele conceptului definit este triunghi dreptunghic, genul proxim este triunghi iar diferenta
specifica este proprietatea de a avea un unghi drept. O cerint a esential
a pe care trebuie
sa o respecte o definitie este de a fi consistent a. Aceasta nseamn a ca genul proxim trebuie
sa contina macar un obiect care sa aiba toate proprietatile cerute de diferenta specifica. Un
astfel de obiect se numeste exemplu pentru definitia respectiva. In cazul definitiei notiunii de
grup un astfel de exemplu este grupul (Z, +).
Este usor de nteles ca, din moment ce pentru a defini un nou concept, e.g. cel de triunghi
dreptunghic, trebuie sa ne bazam pe un altul deja definit, e.g. cel de triunghi, mergand napoi,
din definitie n definitie, vom ajunge la concepte (notiuni) pentru care nu putem gasi nici un
gen proxim pre-existent la care sa ne raportam, i.e. de la care sa construim definitia. Asadar,
trebuie sa consideram n cele din urma notiuni care nu se definesc (notiuni primare); cu
ajutorul lor vom putea defini alte obiecte. Aceasta este un principiu de baza n orice teorie
axiomatica. Cele mai importante notiuni primare pe care le vom utiliza n cadrul acestui curs
sunt notiunea de multime si de relatie de apartenent a . Pentru descrierea acestora suntem
nevoiti sa apelam la intuitie.
O propozitie sau un enunt este o constatare spusa, scrisa, gandit a, sau exprimata n orice
alt mod, care este fie adevarata fie falsa. Adevarul, notat pe scurt cu a sau 1 si falsul, notat
pe scurt cu f sau 0, poarta numele de valori de adev ar ale unei propozitii. De exemplu:
Mihai are p arul blond. este o propozitie n acceptiunea logicii, a carei valoare de adevar, a
sau f , poate fi stabilita fie prin verificare directa observarea subiectului, Mihai, fie indirect
prin observarea unei fotografii color a subiectului. Dimpotriva, formul arile: Cand plou a? ,
Du-te acas a ! nu sunt propozitii n sensul logicii, desi, n acceptiunea gramatical a, prima
este o propozitie interogativ a iar cea de-a doua o propozitie imperativa. Trebuie sa mentionam
de la bun nceput ca, pentru ca o anumit a formulare sa fie o propozitie, nu este necesar sa
fim n stare a-i stabili valoarea de adevar. De asemenea, este foarte important sa subliniem
ca exista o distinctie ntre modul de exprimare, i.e. expresia unei propozitii si propozitia
nsasi. Mai precis, una si aceeasi propozitie poate fi exprimata n mai multe moduri. De
exemplu propozitia Mihai are p arul blond. admite formularea echivalent a Parul lui Mihai
7Prescurtarea i.e. provine de la expresia latin
a id est si nseamn
a: altfel spus, cu alte cuvinte, adic
a.
6
1. ELEMENTE DE LOGICA
este blond. Este usor de constatat ca, desi aceste doua formul
ari sunt distincte, ele exprima
aceeasi constatare.
Exercitiul 1.1. Pentru definitiile de mai jos sa se puna n evident a:
(i) numele conceptului definit;
(ii) genul proxim;
(iii) diferenta specifica;
si apoi sa precizeze cateva forme echivalente. Exemplu. In cazul definitiei Triunghiul
este un poligon cu trei laturi. avem
(i) numele conceptului definit:triunghi
(ii) genul proxim: poligon
(iii) diferenta specifica: cu treilaturi.
Formulari echivalente: Poligonul cu trei laturi se numeste triunghi. Numim triunghi
un poligon cu trei laturi. Aceast a din urma formulare este preferabila deoarece evidentiaz a
de la bun nceput ca avem de-a face cu o definitie si nu cu o teorema.
(1) Se numeste dreptunghi un patrulater cu trei unghiuri drepte.
(2) Se numeste functie injectiva o functie cu proprietatea ca transforma orice doua puncte
distincte din domeniu n doua puncte disticte din codomeniu.
(3) Se numeste grup comutativ un grup (G, ) cu proprietatea ca pentru orice doua
elemente x, y din G avem x y = y x.
(4) Se numeste numar prim un num ar natural, mai mare decat 1, ai carui singuri divizori
sunt 1 si numarul nsusi.
(5) Se numeste multime nchis a o multime de numere reale care este complementara unei
multimi deschise.
Exercitiul 1.2. Care dintre urmatoarele expresii sunt propozitii si care nu?
(1) Pomii sunt verzi.
(2) Fie 4ABC un triunghi isoscel.
(3) Patratul are toate laturile congruente.
(4) Patratul are exact doua laturi congruente.
(5) Cine este autorul teoremei: o paralel a dus
a la una din laturile unui triunghi deter-
min a pe celelalte dou
a laturi segmente proportionale?
(6) De ce 4ABC este echilateral?
(7) Orice functie continua este derivabila.
(8) Toate functiile continue sunt derivabile.
(9) Exista o functie continua care nu este derivabila.
(10) Nici o functie continua nu este derivabil a
(11) Nu exista o functie continua care sa fie derivabil
a.
(12) Nu exista o functie continua care sa nu fie derivabil
a.
(13) Daca x 3 atunci x10 > 10.
(14) x 3.
(15) (a + b) (a b) = a2 b2 .
(16) Pentru orice a C, (a + b) (a b) = a2 b2 .
(17) Pentru orice a, b C, (a + b) (a b) = a2 b2 .
(18) Daca x 3 atunci y 2 > 0.
(19) x x1 = 1.
sunt false. Aceasta definitie a valorii de adevar a lui p q se poate da cu ajutorul tabelului de
adev
ar:
p q pq
1 1 1
1 0 1
0 1 1
0 0 0
S-au scris pe linii toate combinatiile posibile de valori de adevar pentru p si q. Tabelul se
citeste pe linii: de exemplu, linia 3 a tabelului spune, ca, daca p are valoarea de adevar 0, iar
q are valoarea de adevar 1, atunci p q are valoarea de adevar 1.
Exemplul 2.1.
Florin nu este acasa sau telefonul lui este defect este un enunt de forma p q, unde
p este Florin nu este acasa, iar q este Telefonul lui Florin este defect.
Patrulaterul ABCD este patrat sau patrulaterul ABCD este romb. Aceasta propozitie
este adesea enuntata mai pe scurt Patrulaterul ABCD este patrat sau romb. Este
important de identificat structura logica a unei propozitii compuse de acest tip.
2.2. Conjunctia. Propozitia p q, care se citeste p si q, poarta numele de conjunctia
propozitiilor p si q, propozitie care este adevarat
a exact atunci cand ambele propozitii p si
q sunt adevarate. Deci, p q este falsa exact atunci cand macar una dintre ele este falsa.
Corespunzator, avem tabelul de adevar:
p q pq
1 1 1
1 0 0
0 1 0
0 0 0
Exemplul 2.2.
Trenul opreste si calatorii coboara.
Patrulaterul ABCD este romb si are un unghi drept.
2.3. Negatia. Data o propozitie p, putem forma propozitia p, numit a negatia propozitiei
p, care este adevarata exact atunci cand p este falsa. Deci, p este falsa daca p este adevarata.
Propozitia p se citeste non p sau nu este adev arat c
a p.
p p
1 0
0 1
Exemplul 2.3.
Negatia propozitiei Orice om este muritor este Nu orice om este muritor. Forme
echivalente: Exista un om care nu este muritor preferata si Nici un om nu
este muritor pe care o vom evita. Vezi comentariul de mai jos.
Negatia propozitiei Exista triunghiuri cu doua unghiuri drepte este Nu exista
un triunghi care sa aiba doua unghiuri drepte preferata sau formele echivalente
Orice triunghi nu are doua unghiuri drepte preferata si Nici un triunghi nu
are doua unghiuri drepte pe care o vom evita.
Comentariu. In ambele exemple, ultima forma, desi folosita si acceptata n limbajul
curent, va fi evitata n limbajul matematic tocmai pentru a nu permite utilizarea dublei
negatii cu rol de negatie simpla, utilizare av
and drept scop de a accentua caracterul negativ
al constatarii, dar generatoare de posibile ambiguit ati.
Sa analizam cateva exemple.
8
1. ELEMENTE DE LOGICA
p q r p q p r (p q) (p r) q r p (q r)
1 1 1 1 1 1 1 1
1 1 0 1 0 1 1 1
1 0 1 0 1 1 1 1
1 0 0 0 0 0 0 0
0 1 1 0 0 0 1 0
0 1 0 0 0 0 1 0
0 0 1 0 0 0 1 0
0 0 0 0 0 0 0 0
Egalitatea coloanelor (p q) (p r) si p (q r) demonstreaza echivalenta ceruta.
10
1. ELEMENTE DE LOGICA
Revenim asupra neg arii implicatiei. Intuitiv, cand spunem ca p q este falsa? Desigur,
atunci cand ipoteza p este adevarat a si totusi concluzia q este fals
a (adic
a are loc p q).
Aceasta este n acord cu urmatorul calcul propozitional:
(p q) ((p) q) (p) (q) p (q).
Am aplicat legile de negare ale lui DeMorgan. Vezi Remarca 2.2. Pentru importanta sa,
trebuie retinuta aceasta regul
a de negare a implicatiei:
(p q) p (q) .
In general, concluziile bazate pe un calcul logic formal trebuie totdeauna interpretate in-
tuitiv (conform bunului simt). Acest fapt evita aparitia unor greseli datorate aplicarii de-
fectuoase a regulilor logicii si, totodata, este un proces absolut necesar n ntelegerea unor
demonstratii (sau n gasirea unor solutii la o problema data).
Echivalenta. Pentru doua expresii propozitionale E si F, definim E F ca fiind o notatie
prescurtata a expresiei (E F ) (F E) . Simbolul poate fi deci considerat un operator
logic. Tabelul sau de adevar este (demonstrati):
p q pq
1 1 1
1 0 0
0 1 0
0 0 1
In concluzie, p q este adevarata atunci cand p si q au aceeasi valoare de adevar, si falsa
n caz contrar. Observam ca p q este acelasi lucru cu faptul ca p q este adevarat a.
Propozitia p q se citeste:
p este echivalenta cu q
p daca si numai daca q
p este o conditienecesara si suficient
a pentru q.
Definitia 2.2. Se numeste tautologie o expresie care este adevarata, indiferent de valorile
de adevar ale variabilelor propozitionale. Se numeste contradictie o expresie care este falsa,
indiferent de valorile de adevar ale variabilelor propozitionale.
Astfel, daca E, F sunt expresii, atunci: E F este o tautologie este exact acelasi lucru
cu E F . Orice echivalenta E F genereaza tautologia E F : folosind Exemplul 2.6,
obtinem tautologiile [p (q r)] [(p q) (p r)] etc.
Definitia 2.3. Fie E si F expresii. Daca propozitia E F este adevarat
a, scriem
E F. Daca propozitia E F este adevarat
a, scriem E F.
Insistam asupra distinctiei dintre E F si E F. Astfel, E F este o propozitie (care
poate fi adevarata sau falsa), pe cand scrierea E F nseamn a E F este o propozitie
adevarata, adica F este o consecinta logica a lui E.
Analog, E F poate fi adevarat a sau falsa, pe cand E F nseamn a E F este o
propozitie adevarata (adica E F ). Evident, E F nseamn a ca E F si F E.
De aceste lucruri trebuie sa se tin a cont n redactarea demonstratiilor sau n diverse
enunturi matematice: vom scrie E F doar n cazul n care F este o consecint a logica a lui
E. La fel, scriem E F doar cand E F si F E au loc simultan. O greseal a frecvent a
este folosirea abuziva a notatiei , cand ar trebui sa se foloseasca (de exemplu n cursul
rezolvarii unor ecuatii).
Exemplul 2.7. Pentru orice propozitii p, q, r, avem: ((p q) p) q.
Demostratie. Trebuie sa aratam ca propozitia ((p q) p) q este adevarat
a, indiferent
de valorile de adevar ale p, q, r. Examinand definitia operatorului , avem de aratat ca, daca
((p q) p) este adevarata, atunci q este adevarat a.
Presupunand deci ((p q) p) adevarat a, rezulta din tabela de adevar pentru ca p
este adevarata si p q adevarat a. Dar p q p q, deci p (p q) este adevarat a.
2. OPERAT
II CU PROPOZIT
II. OPERATORI LOGICI 11
3. Predicate
Sa consideram urmatoarele propozitii
22+10
23+10
2 (2) + 1 0.
Observam ca toate cele trei propozitii de mai sus sunt de forma 2 x + 1 0, unde x
este un numar care, n cazurile considerate, este din Z. Suntem condusi la a defini notiunea
de propozitie depinz and de un parametru care, n terminologia consacrata, poarta numele de
predicat de o variabil a. De fapt, un predicat este o functie definita pe multimea (clasa13) unde
se gaseste variabila (parametrul), fie aceasta , cu valori n multimea P a propozitiilor. Adica,
un predicat de o variabila este o functie p : P.
Pentru a evita confuziile, accentu am ca, daca p : P este un predicat si b , atunci
p(b) este o propozitie si nu un predicat.
Analog, se poate vorbi despre predicate de mai multe variabile. De exemplu, x2 y 2 =
(x y)(x + y), x, y R este un predicat de doua variabile.
Subliniem ca, pentru a evita confuziile, oric arui predicat trebuie s a i se precizeze clar
multimea n care se pot misca variabilele, i.e. domeniul de definitie al functiei p. Se admite
omiterea scrierii multimii doar daca aceasta este clara din context. Astfel, x2 + 1 = 0
poate fi considerat un predicat numai daca precizam x , unde este de exemplu una din
multimile N, Z, Q, R sau C. Intr-adev ar, este usor de observat ca
p(x) : x2 + 1 = 0 cu x R
este un predicat ale c
arui valori sunt toate false, n timp ce
q(x) : x2 + 1 = 0 cu x C
este un predicat pentru care q(i) si q(i) sunt adev arate, iar restul valorilor sunt false.
Prin traditie, un predicat de tipul celui prezentat, care are toate valorile (adica propozitiile)
egalitati, se numeste ecuatie. O solutie a ecuatiei este o valoare pentru care egalitatea este
satisfacuta, i.e. propozitia obtinut
a prin nlocuirea variabilei cu solutia este adevarat
a. A
rezolva o ecuatie nseamna a gasi multimea tuturor solutiilor ei. Asadar, multimea solutiilor
ecuatiei q(x) : x2 + 1 = 0 cu x C este {i, i}. Pentru simplitatea scrierii, pentru ecuatii
se renunta la notarea de tip predicatul q(x) : . . . , precizandu-se doar egalitatea si domeniul
variabilei. De exemplu, ecuatia de mai sus se nt alneste sub forma x2 + 1 = 0 cu x C.
Alte exemple de ecuatii sunt:
x0 = 2x, x {y; y : R R, cu y functie derivabil
a},
numita ecuatie diferential
a cu functia necunoscuta x. Se poate arata ca multimea solutiilor
acestei ecuatii este
{xc ; xc : R R, xc (t) = c e2t , t R, c R}.
Sa consideram acum
2 x + 3 y = 24, (x, y) Z Z,
n care variabila este o pereche (x, y) ZZ, numit a 14. Multimea solutiilor
a ecuatie diofantic
ecuatiei diofantice de mai sus este o multime de perechi de numere ntregi. O solutie este (0, 8).
Puteti gasi toate solutiile?
13O clas
a este o colectie de obiecte care nu este neap
arat multime. Orice multime este o clas
a dar nu si
reciproc. De exemplu clasa tuturor multimilor. Vezi Capitolul Teoria multimilor.
14Numele ecuatiei provine de la Diofant din Alexandria (cca. 325-410), care a studiat acest tip de ecuatie.
14
1. ELEMENTE DE LOGICA
xM y =x este casatorit cu y
I (x) =x locuieste la Iasi
D (x) =x locuieste la Dej
Folosind notatiile de mai sus, sa se scrie expresiile n limbaj formal pentru urmatoarele
propozitii sau predicate:
(1) Fiecare are un tata si o mama.
(2) x este casatorit.
(3) Fiecare este mai tanar decat parintii sai.
(4) Fiecare este mai tanar decat bunicii sai.
(5) Oricine care are un tata, are si o mama.
(6) Exista un om cu o nora mai n varst a decat el.
(7) x si y sunt frati (n sensul si de mama si de tata).
(8) Daca exista o femeie la Iasi cu un frate la Dej, atunci exista un barbat la Dej cu o
sora la Iasi.
(9) Un barbat casatorit poate sa nu locuiasca la Iasi.
(10) Nu fiecare femeie din Iasi nu are un fiu la Dej.
(11) Toti copiii lui x sunt casatoriti.
(12) Exista cineva ai carui copii sunt toti cas atoriti.
(13) Fiecare copil al lui x este cas atorit cu un copil al lui y.
(14) Exista un copil al lui x care nu este cas atorit cu un copil al lui y.
(15) Exista doua persoane astfel nc at fiecare copil al uneia dintre ele este cas
atorit cu un
copil al celeilalte.
(16) x si y sunt veri.
Sa se traduca n limbaj natural:
(17) xy [(xM y B (x)) F (y)] .
(18) xy [B (x) F (y) xM y z (zCy (zCx))] .
(19) y (F (y) xM y) z (F (z) yCz) zT x.
Exemplu de rezolvare: 5. Oricine care are un tata, are si o mama se traduce ast-
fel: mai ntai observam ca este vorba de o implicatie: Dac
a cineva are un tata, atunci
are si o mama, sau, mai precis, Pentru orice persoana x, daca x are un tata, are si o
mama. Traducem predicatul x are un tata: y (B (y) xCy) . La fel,x are o mama este
z (F (z) xCz) . In concluzie, traducerea enuntului este
4. Solutii
Exercitiul 1.1
(1) (i) numele conceptului definit: dreptunghi;
(ii) genul proxim: patrulater ;
(iii) diferenta specifica: cu trei unghiuri drepte;
(2) (i) numele conceptului definit: functie injectiv a;
(ii) genul proxim: functie;
(iii) diferenta specifica: transform a orice doua puncte distincte din domeniu n dou a
puncte disticte din codomeniu;
(3) (i) numele conceptului definit: grup comutativ ;
(ii) genul proxim: grup;
(iii) diferenta specifica: pentru orice dou a elemente x, y din G avem x y = y x;
(4) (i) numele conceptului definit: num ar prim;
(ii) genul proxim: num ar natural mai mare dec at 1;
(iii) diferenta specifica: singurii s
ai divizori sunt 1 si numarul nsusi;
(5) (i) numele conceptului definit: multime nchis a;
(ii) genul proxim: multime de numere reale;
(iii) diferenta specifica: complementara ei este deschis a;
Exercitiul 1.2 (1), (3), (4), (7), (8), (9), (10), (11), (12), (13), (17), (18) sunt propozitii iar
(2), (5), (6), (14), (15), (16) si (19) nu sunt propozitii.
Exercitiul 2.1
(1) Daca Ana este blonda atunci ea cant a frumos.
(2) Daca Ana are mere atunci ea este blonda.
(3) Ana nu este blonda.
(4) Ana nu are mere si nu este blonda.
(5) Ana nu are mere sau nu este blonda.
(6) Daca Ana canta frumos si este blonda atunci are mere.
(7) Ana canta frumos si are mere sau este blonda si are mere.
(8) Ana canta frumos si este blonda sau cant a frumos si are mere.
(9) Daca Ana canta frumos atunci ea este blonda si are mere.
(10) Daca Ana canta frumos atunci ea este blonda si are mere.
(11) Daca Ana canta frumos atunci ea este blonda si are mere.
(12) Daca Ana are mere si nu este blonda atunci ea cant a frumos si nu are mere.
Exercitiul 2.2
(1) (p) r
18
1. ELEMENTE DE LOGICA
(2) ((p) (q r)
(3) ((p) (q)) r
(4) (q p)
(5) (q) p
(6) (p q) (p (r))
(7) (p q) r
(8) rq
(9) qr
(10) r (p).
(11) (q p) (p r).
Exercitiul 3.1
(1) xyz[B(y) xCy F (z) xCz].
(2) y(xCy). Daca se admit doar cas atorii ntre indivizi de sexe diferite: y[xCy
(B(x) F (y)) (F (x) B(y)).
(3) xy(xCy xT y).
(4) xyz[(xCy yCz) xT z)].
(5) x[y(B(y) xCy] [z(F (z) xCz)].
(6) xyz[zCx B(x) F (y) zM y xT y].
(7) zt[B(t) F (z) xCt xCz yCt yCz]. Prescurt am x si y sunt frati prin xF y.
(8) x[F (x)I(x)z(B(z)D(z)xF y)] (u)[B(u)D(u)(v)(F (v)I(v)uF v)].
(9) {x[(B(x) y(xM y)) I(x)]}.
(10) {x[(F (x) I(x)) (y(yCx) B(y) D(x))]}.
(11) y[yCx z(yM z)].
(12) x{y[yCx z(yM z)]}.
(13) z[zCx t(tCy zM t)].
(14) z[zCx t(tCy zM t)].
(15) xy{z[zCx t(tCy zM t)]}.
(16) zt(xCz yCt zF t).
(17) Orice persoana casatorita cu un barbat este o femeie.
(18) Exista un barbat casatorit cu o femeie si toti copiii femeii nu sunt copii ai barbatului.
(19) Acesta este un predicat, are variabila libera x : Soacra lui x este mai tan ara decat x.
Exercitiul 2.4
(1) Patrulaterul ABCD nu este romb sau nu are aria de 2m2 .
(2) Numarul 8 nu este par sau x8 6= 2.
(3) Raza sferei nu este din [ 1, 3 ] sau baza conului nu este pe sfera
(4) Ecuatia x2 + 2x = 0 cu x N nu are solutia x = 0 sau nu are solutia x = 2.
(5) Functia f nu este pozitiva pe (0, 1) sau nu se anuleaz a n x = 0 si x = 1. O formulare
logic echivalenta este: Functia f nu este pozitiva pe (0, 1) si nu se anuleaza n x = 0
sau x = 1.
(6) Patrulaterul ABCD nu este patrat si nu este romb.
(7) Functia exponentiala nu este strict crescatoare si nu este strict descrescatoare.
(8) Sirul (an )nN nu este monoton crescator si nu este monoton descrescator.
(9) Functia f nu este continu a sau nu este monotona.
(10) ^ABC nu este drept si ^BCA nu este drept.
(13) Daca x 3 atunci x10 > 10.
Exercitiul 3.2
(1) (LM ): (a A) (f (a) = b); (N LM ): (a A) (f (a) 6= b); (N LN ): Oricare ar fi
a A avem f (a) 6= b. (Ecuatia f (x) = b nu are solutie in A.)
(2) (LM ): (y B x A) (f (x) = y); (N LM ): (y B x A) f (x 6= y); (N LN ):
Exista y B astfel ncat pentru orice x A f (x) 6= y. (Functia f : A B nu este
surjectiv
a.)
4. SOLUT
II 19
15In aceast
a propozitie, pentru a sublinia c
a x depinde de M , adic
a se poate schimba o dat
a cu M , se
utilizeaz
a formularea logic echivalenat a: (N LM ): (M R xM A) (f (xM ) > M ); (N LN ): Oricare ar fi
M R exist a xM A astfel nc
at, f (xM ) > M . Pentru propozitiile de acelasi tip care urmeaz
a vom da de
la bun nceput formularea care sa sublineaze posibila dependenta
a unor elemente de altele ori de cate ori este
cazul.
Bibliografie
21