Sunteți pe pagina 1din 5

ELEMENTE DE LOGIC

Profesor Florea Adrian


coala Gimnazial ,,Avram Iancu"
Bucureti

Filosofii antici, n special Platon i Aristotel au descoperit legile gndirii logice. nc din vremea
lor s-au dat definiii, s-au fcut clasificri, s-au definit operaiile gndirii. Lumea nconjurtoare este
alctuit din obiecte materiale i fenomene. Oamenii ncearc continuu s cunoasc obiectele vzute
i nevzute ale naturii, s neleag fenomenele, s descopere legile care stau la baza producerii lor
i s le foloseasc n scopul dezvoltrii tehnologice. Formele prin care pot cunoate lumea
nconjurtoare sunt:
Senzaiile acestea sunt forma primar, direct, sub care percepem obiectele i nsuirile lor,
din mediul nconjurtor. Ele sunt imagini pe care le percepem n legtur cu un obiect sau cu un
fenomen. Aceast percepie se face prin simuri: vz, auz, tactil, miros.
Reprezentrile - sunt imagini pe care ni le facem n mintea noastr despre obiectele din lumea
nconjurtoare n absena acestora, realizate pe baza unui proces psihic n care particip memoria i
imaginaia. Cunoaterea lumii nconjurtoare se face prin senzaii i reprezentri cu ajutorul
gndirii.
Gndirea - este procesul de percepere i interpretare generalizat a realitii, avnd la baz
senzaiile i activitatea practic i social-isoric a omului. Gndirea reflect nsuirile generale,
eseniale i raporturile existente ntre lucruri (obiecte) i fenomene. Ea este a doua treapt a
cunoaterii, treapta logic, raional. Gndirea corect are proprietatea de a transmite mai departe
informaiile nedeformate. Aceast gndire este gndirea logic.
Spunem c omul este nzestrat cu raiune, adic nsuirea de a gndi logic, de a nelege
legturile i sensul interaciunilor dintre lucruri i fenomene. Legile logice sunt creaii ale geniului
uman, n dezvoltarea lui social-istoric. Contribuii deosebite au avut Aristotel, care n opera sa
Organon trateaz logica deductiv ; Teofrast, care mpreun cu ali filosofi deschide drumul logicii
matematice ; Bacon i Mill, creatorii logicii inductive.
Operaiile gndirii
1. Generalul - const din nsuirile care sunt comune tuturor obiectelor sau fenomenelor care fac
parte din aceeai categorie. Exemplu: un triunghi este gndit, n general, ca poligon cu trei
laturi,
indiferent
de
lungimile
laturilor
sau
de
msurile
unghiurilor.
2. Individualul - const din nsuirile pe care le are un obiect sau un fenomen i care l deosebesc
de alte obiecte sau fenomene. Exemplu: un triunghi are laturile cu anumite lungimi, unghiurile
cu o anumit msur, deosebindu-se de alt triunghi care are alte dimensiuni.

3. Analiza - este o oparaie a gndirii logice care const n descompunerea (mintal) a lucrurilor
sau fenomenelor, n prile lor componente pentru a fi studiate fiecare n parte, desprinznd
diferite nsuiri ale acestora.
4. Sinteza - este o operaie a gndirii logice care const n unirea (mintal) ntr-un ntreg a
nsuirilor prilor unui obiect sau fenomen, pentru nelegerea lui n ansambu.
Analiza i sinteza pun n eviden raporturile care leag ntre ele prile componente ale unui
ntreg.
n procesul gndirii, oamenii opereaz cu noiuni i cu ajutorul limbajului. Formarea
noiunilor se face prin dou operaii
logice: abstractizarea i generalizarea.
- Abstractizarea este operaia logic de punere n eviden a proprietilor generale, comune
unei mulimi de obiecte.
- Generalizarea este operaia logic prin care nsuirile comune unui grup de obiecte sunt
extinse mintal asupra tuturor obiectelor din aceeai categorie.
Dar ce este noiunea ?
- Noiunea este forma logic care cuprinde nsuirile generale i eseniale ale unei clase de
obiecte.
Orice noiune este format din dou pri: coninutul noiunii i sfera noiunii. Exprimnd o
noiune printr-un cuvnt , sfera noiunii este mulimea obiectelor care sunt denumite de acel
cuvnt, iar coninutul noiunii este totalitatea nsuirilor generale i eseniale ale obiectelor ce
poart denumirea respectiv. ntre sferele noiunilor, matematicianul Leonard Euler (17071783) a clasificat urmtoarele raporturi:

A=B

AB

AB=C, C

C
(AC)B

B
AB=

1. - Raport de identitate, A=B (noiune-concept).


2. - Raport de subordonare a lui A faa de B. AB.
De exemplu: mulimea numerelor ntregi este subordonat mulimii numerelor raionale; mulimea
trapezelor este subordonat mulimii patrulaterelor.

3. - Raport de cosubordonare (AC)B.


De exemplu: patrulaterele i triunghiurile sunt cosubordonate poligoanelor; mulimea numerelor
ntregi negative i mulimea numerelor naturale sunt cosubordonate mulimii numerelor raionale.
4. - Raport de ncruciare AB=C, C.
De exemplu: ptratul este rombul cu un unghi drept, dar i dreptunghiul cu laturile congruente;
mulimea multiplilor lui 6 este n raport de ncruciare a mulimii multiplilor lui 2 i mulimii
multiplilor lui 3.
5. - Raport de excludere AB=.
De exemplu: mulimile puterilor numerelor prime diferite sunt n raport de excludere.
Cnd se enun definiii, n special la geometrie, foarte important este cazul (2), cazul de
subordonare al sferelor.
Dac notm noiunea care are sfera A cu NA i noiunea care are sfera B cu NB i AB, atunci
noiunea NA se numete specie a noiunii NB. Noiunea NB se numete gen al noiunii NA.
Exemplu: Dreptunghiul este specie pentru paralelogram, iar paralelogramul este gen pentru
dreptunghi. La rndul su, un gen poate constitui specie pentru o noiune cu sfera mai extins. n
exemplul de mai sus, paralelogramul este specie pentru patrulater.
Pentru rigoare i eliminarea ambiguitilor n legtur cu o noiune, se folosesc definiiile.
ntr-o definiie pot aprea mai multe categorii: genul specia, diferena specific, propriul i
accidentalul.
Exemplu: Dreptunghiul este paralelogramul cu un unghi drept.
Genul- este exprimat prin cuvntul paralelogram. Genul trebuie s fie cel mai apropiat de specia
respectiv. Acest gen se numete genul proxim.
Specia- este exprimat prin cuvntul dreptunghi.
Diferena specific- este precizat prin proprietatea de a avea un unghi drept.
Prin definiie se exclude propriul (diagonale congruente) i se exclude i accidentalul (de exemplu
c laturile au o anumit lungime).
Plecnd de la definiie se demonstreaz proprietile. n cazul exemplului nostru, dreptunghiul
are toate proprietile genului (paralelogramului) i n plus are proprieti specifice (proprii), care l
difereniaz ca specie: toate unghiurile sunt congruente, diagonalele sunt congruente.
Dintre greelile care apar la reproducerea unei definiii amintim:
- omiterea diferenei specifice: Dreptunghiul este un paralelogram.
- nefolosirea genului proxim: Dreptunghiul este patrulaterul cu un unghi drept.
- folosirea unei proprieti specifice n locul diferenei specifice: dreptunghiul este paralelogramul
cu diagonalele congruente.
Poate fi acceptat ca definiie, dar n acest caz proprietatea de a avea un unghi drept ar intra n
cadrul propriului.

Pentru a stabili relaii ntre noiuni, pentru a pune n eviden i a descoperi proprieti, oamenii
fac judeci.
Judecata este forma logic prin care se afirm (sau se neag) ceva despre ceva. Judecile se
exprim prin propoziii. Propoziiile matematice au un sens mai larg dect cele n sens gramatical.
n general, propoziia n sens logic, matematic, este un enun despre un obiect sau o mulime de
obiecte, sau despre proprietile acestora, care, cu certitudine, este adevrat sau fals. Exemplu:
toate numerele naturale n care suma cifrelor este multiplu al lui trei, sunt divizibile cu trei (A);
toate numerele prime sunt impare (F); toate numerele impare sunt prime (F).
Judecile pot fi clasificate astfel:
1. Judeci universal afirmative:
Exemplu: Toate triunghiurile isoscele au dou unghiuri congruente.
2. Judeci universal negative:
Exemplu: Nici un triunghi nu poate avea dou unghiuri drepte.
3. Judeci particular afirmative:
Exemplu: Unele numere impare sunt prime.
4. Judeci particular negative:
Exemplu: Unele numere naturale nu sunt pare.
Propoziiile care sunt folosite n matematic sunt: definiiile, axiomele, postulatele i teoremele.
Axioma - este o propoziie ce exprim un adevr matematic, adevr ce a devenit evident i este
acceptat ca atare, fr demonstraie.
Exemple: i) Dac a = b i b = c, atunci a = c.
ii) Prin dou puncte distincte trece o dreapt i numai una.
Postulatul - este o propoziie care st la baza unei teorii cu ajutorul creia se pot demonstra alte
propoziii. Ca i axioma, postulatul se admite ca fiind adevrat, fr demonstraie.
Exemplu: (Postulatul lui Euclid) - printr-un punct exterior unei drepte se poate duce o singur
paralel la acea dreapt. Sau se postuleaz c exist puncte; exist drepte;
Teorema - este o propoziie care exprim un adevr matematic care trebuie demonstrat. Orice
teorem este format din dou pri:
ipoteza, care este format din ceea ce se presupune ca fiind adevrat i
concluzia, care este format din ceea ce enunul teoremei afirm c se poate deduce din ipotez (i
eventual din axiome).

Demonstraia este un ir de raionamente care se fac pornind de la datele din ipotez (folosind
definiii, axiome sau alte teoreme demonstrate anterior) i avnd ca rezultat logic final, concluzia.
Multe teoreme sunt enunate sub forma unor propoziii condiionale. Ipoteza ncepe cu cuvntul
dac, iar concluzia ncepe cu cuvntul atunci.
Exemple:
1) Dac un patrulater are dou laturi paralele i congruente, atunci el este paralelogram.
2) Dac a|b i a|c, atunci a|(b+c).
Teorem reciproc:
Dac se schimb ntre ele ipoteza i concluzia unei teoreme, atunci se obine o nou teorem, care se
numete teorem reciproc.
Reciproca teoremei (2) de mai sus este: Dac a|(b+c), atunci a|b i a|c. Aceast teorem reciproc
nu este adevrat. Pentru a arta aceasta, este suficient s gsim un exemplu pentru care concluzia
este fals: 2|(5+7), atunci 2|5 i 2|7.
Un exemplu care arat c exist cazuri n care concluzia este fals, se numete contra exemplu.
Schematic, o teorem se prezint astfel: Dac a, atunci b. Reciproca este: Dac b, atunci a.

Teorem direct
Teorem reciproc

Ipotez
a
b

Concluzie
b
a

Acum ipotez este b i concluzia este a. Pentru teoreme mai complexe, n care concluzia este
format din mai multe afirmaii, exist mai multe reciproce:
- Teorem: Dac a, atunci b i c. Aceast teorem are trei reciproce:
- Reciproca 1. : Dac b i c, atunci a.
- Reciproca 2. : Dac b, atunci a i c.
- Reciproca 3. : Dac c, atunci a i b.
Exemplu:
Dac un numr este divizibil cu 15, atunci el este divizibil cu 3 i cu 5.
- Reciproca 1. : Dac un numr este divizibil cu 3 i cu 5, atunci el este divizibil cu 15. (A)
- Reciproca 2. : Dac un numr este divizibil cu 3, atunci el este divizibil cu 5 i cu 15. (F).
- Reciproca 3. : Dac un numr este divizibil cu 5, atunci el este divizibil cu 3 i cu 15. (F).
Constatm c reciproca 1. este adevrat, iar reciprocele 2. i 3. sunt false.