Eugen Balaban

Nicolae Calistru

Ctlin

LOGIC
COMPUTAIONAL

Editura POLITEHNIUM

Capitolul 1.

Introducere

Logica este cuvnt derivat din termenul elin logos).

(
n limba greac veche expresia logos avea urmtoarele
nelesuri: cuvnt, idee, raiune, ordine.
Heraclit din Efes utiliza termenul logos cu nelesul de
ordine necesar, proprie att cosmosului, lumii materiale
ct i gndirii omeneti n forma ei superioar.
Filosofii stoici elini au dat cuvntului logos un sens
idealist, nelegnd prin logos raiunea cosmic, divin.
Mai trziu filosoful Filon Iudeul a utilizat cuvntul logos
desemnnd prin el raiunea divin ca for mijlocitoare ntre
Dumnezeu i lume.
Teologii cretini au utilizat cuvntul logos pentru a
desemna raiunea divin ca for mijlocitoare ntre
Dumnezeu i lume, identic cu Iisus.

Geneza logicii s-a produs n antichitate n lumea Greciei

sclavagiste. Necesitatea studierii raionale a gndirii a fost
determinat de intensificarea preocuprilor de cunoatere
tiinific a lumii faptuite de nvaii elini.
Astfel, Democrit, aproximativ ntre anii 460-370 .e.n.
pornind de la cercetrile naturii a fost determinat s
studieze inducia, analogia, ipoteza i a formulat legea
raiunii suficiente.
n continuare, la constituirea logicii i-au adus contribuia
filosofii sofiti prin practica demonstraiei.
Gnditorul Socrate aproximativ ntre 469-399 .e.n. prin
centrarea refleciei pe suflet a adncit preocuparea pentru
modurile de gndire.
Discipolul lui Socrate, Platon aproximativ ntre anii 427347 .e.n. ocupndu-se de studiul genurilor supreme ale
ideilor a ncercat o clasificare a categoriilor i formularea
unor legi ale logicii.
Logica a fost structurat, sintetizat i expus ntr-o form
durabil de ctre filozoful Aristotel (circa 384-322 .e.n.).
Aristotel a revizuit i generalizat cunotinele de pn la el
despre formele gndirii fiind primul gnditor care a scris o
oper centrat special pe studiul gndirii omului. A
considerat c formele centrale ale gndirii sunt noiunea,
judecata i raionamentul. Filozofii stoici au contribuit la
dezvoltarea logicii prin apropierea ei de retoric i
gramatic.
Prin tradiie, logica este studiat ca disciplin filozofic,
fiind una dintre cele trei discipline ale clasicului trivium,
alturi de gramatic i retoric.
Logica este o specie a cunoaterii exacte. Obiectul
cunoaterii sale este forma abstract a gndirii umane.

n studiul formelor gndirii umane logica separ forma de

coninutul informaional, afectiv i volitiv precum i de
mijlocul exteriorizrii formei gndului adic limba natural
lund n cercetare numai forma intelectiv, cognitiv,
raional, obiectiv a gndirii considernd mijlocul de
comunicare ca element convenional.
Odat fcut aceast prim separaie logica efectueaz a
doua operaie: separarea formelor corecte de cele incorecte
adic a celor valide de cele nevalide. n continuare se ocup
preponderent de cercetarea formelor valide de gndire.
Scopul final este practic, deoarece exist nevoia individual
i social de eficien a gndirii aplicate.
n prezent logica exist pe mai multe nivele de structurare.
Se practic logica de baz n care coexist logica
tradiional, aristotelic sau general i logica modern,
matematic sau simbolic numit i logistic.
Alturi de logica de baz s-au iniiat i dezvoltat cercetri
speciale de logic n conexiune sau n baza altor discipline
tiinifice dnd natere unor logici speciale. Asupra
sistemelor logice tradiionale i moderne n special s-au
dezvoltat cercetrile logice care le depesc sub aspectul
generalitii, cercetri reunite sub numele de metalogic.
Refleciile cele mai generale asupra logicii actuale se fac
asupra conceptelor logice fundamentale, asupra condiiilor
i metodelor formale i asupra finalitii logicii, reflecii ce
poart denumirea de filozofia logicii sau logic filozofic.
Logica formal i celelalte tiine
Logica studiind forma gndirii se deosebete de toate
celelalte tiine care rein coninutul gndirii. Pe fizician, pe
chimist, pe biolog, pe sociolog l intereseaz n primul rnd
ce anume se afirm sau se neag ntr-un act de gndire.
Un raport aparte exist ntre psihologie i logic.

Psihologia studiaz fenomenele psihice printre care exist i

gndirea. Ea cerceteaz gndirea ca proces psihic n
complexitatea lui intern i extern adic n legile sale de
proces psihic de cunoatere normal i patologic i n
relaiile sale cu condiiile i factorii externi gndirii cum ar fi
memoria, afectivitatea, imaginaia, strile neurofiziologice, cu
evoluia individual.
Logica se ocup numai de condiiile gndirii normale, corecte
lund n considerare formele eronate doar n vederea
delimitrii i prescrierii formelor corecte de gndire. n
aceast situaie logica nu este n conflict cu psihologia, ci n
colaborare, pentru c nformaiile privitoare la condiiile
preliminare ale unei gndiri normale sunt necesare pentru
accesul la formele corecte de gndire urmrite de cercetarea
logic. n aceast faz logica nc mai are de a face cu
psihologia deoarece o categorie de cauze ce determin
abaterea gndirii de la corectitudine este de natur
extralogic cauze denumite paralogisme ce sunt de
competen comun psihologiei i logicii. Dup detaarea de
factorii paralogici, logica i preia mai deplin obiectul mai
avnd de luptat cu a doua categorie de factori care in ntradevr de corectitudinea formelor i operaiilor gndirii,
anume cu grupul sofismelor adic a erorilor logice propriu
zise. ns odat obinute condiiile normalitii gndirii i
realizat trecerea la formele corecte, logica se afl pe
trmul ei unde poate opera distinciile proprii ntre
genurile i speciile formelor corecte i celor incorecte. n
acest stadiu logica nu mai are de a face de loc cu fenomene
afective, volitive sau de alt natur preocupndu-se exclusiv
de
aspectul
obiectiv
al
formelor
gndirii.
O alt disciplin care se intersectez cu logica este
lingvistica. Cauza care face ca lingvistica s se ntlneasc
cu logica este strnsa legtur dintre limbaj i procesul
gndirii. Pentru ca o form de gndire s existe ea are
nevoie de o materializare fie i n forme interiorizate,

subiective. Fr aceast materializare nu pot fi executate

operaii nici asupra formelor nici asupra coninutului
informaional al gndirii.
Lingvistica a descoperit c ntre materializarea formelor
gndirii i formele sale pure nu este o dependen absolut,
ci una relativ, astfel nct o form de gndire i un
coninut se pot materializa n moduri diferite putndu-se
exprima de exemplu aceeai judecat cu acelai coninut n
limbi diferite.
Deci raportul dintre forma mental a gndirii i
materializarea sa lingvistic este totodat necesar i
convenional. Nu exist o relaie de identitate ntre semn i
neles. Totui raportul dintre forma gndirii, coninutul
informaional al ei i materializarea acestora este de
subordonare. Gndirea subordoneaz limbajul. Datorit
acestor relaii lingvistica prin cercetarea i adecvarea
limbajului ca vocabular i gramatic are o contribuie
substanial la elucidarea problemelor calitii actului de
gndire.
Metod
Pentru logic, metoda este un ansamblu de prescripii
obinute prin transformarea propoziiilor unei teorii n reguli
de aciune practic i intelectual n scopul rezolvrii
problemelor de logic.
Logica de baz (logica tradiional, aristotelic sau general
i logica simbolic modern, matematic sau simbolic) se
caracterizeaz
prin
trei
metode
fundamentale:
standardizarea, simbolizarea i formalizarea.
Standardizare logic
Standardizarea logic este transformarea enunrilor din
limba natural, fr a le altera coninutul, n expresii din care
poate fi detaat structura lor logic.
Simbolizare

Simbolizarea se materializeaz prin introducerea de

simboluri speciale -constante i variabile-cu ajutorul crora
forma logic a acestor enunuri este fixat n formule
specifice. Se utilizeaz numai parial n logica general i
extins n logica simbolic.
Formalizare
Formalizarea este finalizarea teoriei logice ntr-o form
calculatorie. Se utilizeaz numai n logica simbolic fiind un
criteriu eficace de deosebire ntre logica general i logica
simbolic.
n contemporaneitate logicienii dispun de mai multe clase
de metode de cunoatere logic datorit potenialului
generalizator al metodelor matematice moderne pe care
logica le-a preluat foarte productiv n planul cunoaterii.

Filosofii greci

Heraclit din Efes (Greac: Herakleitos) (aproximativ 535 475 .Hr.), cunoscut ca "Obscurul" (Skoteinos), a fost un filozof grec
presocratic. El nu a fost de acord cu Thales, Anaximandru i Pitagora n
legtur cu substana fundamental i considera c elementul
fundamental din care deriv toate celalalte este focul, n locul apei,
aerului sau pmntului, cum considerau filozofii care l-au precedat .
Acest lucru a dus la convingerea c schimbarea este un lucru real i c
stabilitatea e iluzorie. Pentru Heraclit, totul este "ntr-un flux", dup cum
spune binecunoscutul su aforism "Panta Rei":

Totul curge, nimic nu rmane neschimbat.
De asemenea a ajuns cunoscut pentru c a spus: "Nici un om nu poate s
intre n apa aceluiai ru de dou ori, deoarece nici rul i nici omul nu
mai sunt la fel." Aceast afirmaie exemplific punctul culminant al
credinei materialiste. Materia lucrurilor se transform tot timpul, i
singurul lucru constant este forma, care poate fi exprimat n limbajul
atemporal al formulelor matematice.
Punctul de vedere al lui Heraclit, prin care explicarea schimbrii ar trebui
s fie baza oricrei teorii naturale se opunea foarte puternic lui
Parmenide, care considera c schimbarea este o iluzie i c totul este
static.
Unica sa scriere care s-a pstrat, creia posteritatea i-a dat titlul de Peri
physeos (Despre natur), nu este o lucrare sistematic, ci mai degrab un
jurnal n care autorul i-a consemnat, sub form de maxime, concluziile
asupra unor probleme-cheie ale filosofiei. Interpretarea celor 130 de
fragmente rmne i astzi subiect de disput. Totul n univers i societate
se supune unei ordini necesare, desemnate de Heraclit cu numele logos.
Gndirea lui Heraclit a avut n antichitate o puternic influen asupra
stoicilor; a exercitat o constant fascinaie pentru Hegel, Marx, Engels i
Lenin.
8

Referitor la limbajul lui Heraclit, Socrate i-ar fi spus lui Euripide: "Partea
pe care am neles-o e minunat i ndrznesc s cred c e la fel i cea pe
care n-am neles-o; dar este nevoie de un cufundtor din Delos spre a
nelege totul" (Diogene Laeriu, II, 22)

Filon din Alexandria ( ori () ,

Filon Iudeul, n ebraic , Filon Ha'alexandroni sau Yedidia
Ha'alexandroni; n. 25 .Hr. d. 40 d.Hr.) a fost un filosof mistic evreu de
limba greac din Egipt, eful colii iudeo-alexandrine. A ncercat s
combine religia iudaic cu platonismul, pitagorismul i stoicismul. A
recurs n acest scop la interpretri alegorice ale dogmelor religioase
tradiionale n spiritul acestor concepii filosofice. Concepiile sale au
avut un rol important n formarea teologiei cretine.

Democritos (greac: ) (c. 460 - c.370 .Hr.), a fost filosof

grec presocratic. Democrit este un important filozof grec, descendent al
unei bogate familii din Abdera, Tracia. Democrit a cltorit mult (Grecia,
Egipt, Persia), a revenit apoi n cetatea natal unde a devenit celebru prin
vastitatea i enciclopedismul cunotinelor sale. Democrit a preluat teoria
atomist a dasclului su, Leucip, dezvoltnd-o ntr-un adevrat sistem
filosofic, conform cruia la baza lumii se afl atomii, care coincid cu
realul - plinul (to on), i vidul, neantul - golul (to menon). Atomii sunt
particule solide, indivizibile, imperceptibile, necreate i eterne, n
continu micare; din combinarea lor, iau natere toate lucrurile care
alctuiesc universul (att corpurile materiale ct i sufletul uman).
Spre deosebire de ali filosofi care credeau ntr-o lume unic, avnd
pmntul n centru, Democrit formuleaz teza lumilor infinite. Democrit
a fost primul care a afirmat c fora motrice a istoriei omenirii este nevoia
(chreia), necesitile oamenilor. Democrit a emis ideea dezvoltrii
ascendente a societii omeneti. Poziia lui Democrit era anti-teza
mitului despre epoca de aur i decderea permanent a umanitii. Opera
sa, extrem de bogat i variat (peste 50 de tratate), se distinge prin
claritatea lingvistic i elegana stilului, Cicero comparndu-l pe
Democrit cu Platon n aceast privin. Diogene Laeriu menioneaz
titlurile a 12 tratate ale lui Democrit despre matematic (Geometrika,
Arithmoi - Numere etc), 16 de fizic (Cosmographie, Perton planeton Despre plante), 8 de etic (Peri andragathias e Peri aretes - Despre
brbie sau despre virtute; Peri euthymies - Despre bucurie), 8 de
muzic (Peri rythmon kai harmonies - Despre ritmuri i armonie),
grupate n tetralogii.
Gndirea lui Democrit, cel mai de seam filosof materialist al lumii
antice, a exercitat o puternic influen de la Epicur i Lucreiu pn la
Francis Bacon, Galileo Galilei i Leibniz.
Eleaii au pregtit drumul spre atomismul materialist, prin viziunea lor
despre o materie constant i imobil, care nu poate fi sesizat dect de
gndire, aceasta fiind singura modalitate care este exist cu adevrat i
care se deosebete de schimbarea neltoare a aparenelor senzoriale.
Pitagoreii au pregtit de asemeni drumul spre ideea c toate calitile
senzoriale trebuie s fie reduse la anumite relaii numerice ntre formele
corpurilor. Atomitii au putut s formuleze, datorit acestor idei, un
concept clar despre cum trebuie gndit materia ca ultimul fundament al
tuturor apariiilor. Cu formularea acestui concept, materialismul a fost
desvrit ca teorie consecvent a apariiei lucrurilor din materie. Pasul
acesta a fost ndrzne i cu urmri importante pentru istoria filozofiei i a
tiinei. Este pasul pe care l-a fcut Democrit.

10

Socrate (n. cca. 470 .Hr. d. 7 mai 399 .Hr.) (Greac:

Skrts) a fost filosof al Greciei Antice. Socrate s-a nscut la Atena n
dema Alopex, n 470 .Hr., adic la sfritul rzboaielor medice. Mama
sa, Phainarete, era moa; tatl su, Sophroniscos, era sculptor. Probabil
c Socrate a primit educaia de care aveau parte tinerii atenieni din
vremea sa: a trebuit s nvee muzic, gimnastic i gramatic, adica
studiul limbii bazat pe comentarii de texte. Printre maetrii a cror
frecventare ar fi contribuit la formarea gndirii lui Socrate, Maximus din
Tyr citeaz doua femei: Aspasia din Milet, o curtezan, i Diotima din
Mantineea, o preoteas. Despre prima, Platon vorbete n Menexenos, dar
este evident ironia lui Socrate atunci cnd face din ea un profesor de
elocin; i Xenofon vorbete de Aspasia n legatur cu Socrate, iar dup
Eschine, ea l-ar fi nvat pe Socrate doctrina dragostei care-i face pe
oameni mai buni. Ct despre Diotima, ea este cunoscut mai ales datorit
celebrului pasaj din Banchetul, unde preoteasa din Mantineea povestete
naterea lui Eros.
Asupra vieii de familie a lui Socrate posedm cteva amnunte nu
ntotdeauna concordante; cert este c el s-a cstorit cu Xantippe. Socrate
a avut trei copii, Lamprocles, primul nscut, Sophroniscos i Menexene.
La nceputul rzboiului peloponesiac l gsim la asediul Potideei, n
Chalcidica, ntre anii 432 i 429. L-a avut ca tovar de arme pe
Alcibiade, pe care-l salveaz atunci cnd acesta, rnit, e ct pe ce s cad
n minile dumanului. n 424, cinci ani dup ciuma abtut asupra
Atenei, l regsim pe Socrate n btlia de la Delion, unde trupele
ateniene sunt zdrobite de ctre tebani. Acolo el i salveaz viaa lui
Xenofon, prins sub calul care czuse peste el. n 422, Socrate particip la
expediia pentru cucerirea oraului Amfipolis.
Curajul lui Socrate merge mn n mn cu o rbdare, o simplitate i o
stpnire de sine capabile s nfrunte orice ncercare; la banchete era un
11

conviv vesel i agreabil, care bea la fel de mult ca tovarii si, dar fr a
se cufunda vreodat n beie, aa cum li se ntmpl acestora, isprav ce-l
umplea de admiraie pe Alcibiade. Mnia, ieirile violente, dumnia i
sunt necunoscute. Primind de la cineva o lovitur de picior, iar oamenii
mirndu-se de resemnarea sa, Socrate se justifica: "Dac un mgar m-ar
fi lovit cu copita, l-a fi dat n judecat?"
mbrcmintea lui Socrate era ntotdeauna modest, att din cauza
srciei, ct i a simplitii sale; niciodat n-a fost vzut afisnd o
neglijen vestimentar, cum o vor face cinicii. Unii i afecteaz
zdrenele, de aceea i-a i spus Socrate filosofului cinic care-i etala
gurile hainei: "i vd deertciunea prin mantie". Lui Socrate nimic nui este mai strin dect arogana iar atunci cnd vede n agora Atenei
obiectele de tot felul expuse de negustori admiraiei i lcomiei
cumprtorilor, se mulumete s spun: "Cte lucruri de care eu nu am
nevoie exist!".
S-a zis c Socrate era deosebit de urt; chel, purtnd barb, cu nasul
borcanat. Alcibiade dup ce afirma n Banchetul c Socrate seamn cu
satirul Marsyas, el precizeaz c este asemeni acelor statui de sileni care
se deschid i conin nuntru imaginile unor diviniti, chipul lui Socrate
ascuznd cel mai frumos dintre suflete, la fel cum discursurile sale
aparent naive i glumee ascund cea mai mare profunzime. Figura lui
Socrate nu putea s nu-i scandalizeze pe atenieni, ntruct pentru ei
frumuseea fizic era simbolul frumuseii luntrice i nimic nu prea a fi
mai incompatibil dect urenia lui Socrate i puritatea sa moral.
O personalitate de anvergur ca a lui Socrate nu putea s nu ajung s fie
urt de vanitoi i, mai ales, neneleas de spiritele mrginite, care
vedeau n el doar un parazit ce se slujea de ironie, i atrgea simpatia
tinerilor i constituia un pericol pentru ordinea social. n 398, Socrate a
fost acuzat de ctre Meletos, Anytos i Lycon. Actul de acuzare era astfel
ntocmit: "Eu, Meletos, fiul lui Meletos, din dema Pitthea, acuz sub
jurmnt pe Socrate, fiul lui Sophroniscos, din dema Alopex. Socrate se
face vinovat de crima de a nu recunoate zeii recunoscui de cetate i de a
introduce diviniti noi; n plus, se face vinovat de coruperea tinerilor.
Pedeapsa cerut: moartea".
Meletos era un poet obscur, iar Lycon era retor; sufletul procesului pare
s fi fost Anytos, un tbcar bogat care reprezenta interesele
comercianilor, fiind aadar puternic i influent. Socrate i-a reproat
public faptul de a nu se gndi la educaia fiului su dect pentru a face din
el un tbcar capabil s preia afacerile printelui, de unde, conform lui

12

Xenofon, dorina de rzbunare a lui Anytos. Dup toate aparenele,

Anytos era sincer convins c vede n Socrate un personaj periculos.

Moartea lui Socrate pictat de Jacques-Louis David; Metropolitan Museum of Art,

New York

Procesul lui Socrate nu este doar un eveniment istoric singular, irepetabil;

procesul lui Socrate este procesul intentat gndirii care cerceteaz,
dincolo de mediocritatea cotidian, adevaratele probleme. Socrate este
acela care, uimindu-ne, ne interzice s gndim potrivit unor obinuine
dobndite. Socrate se situeaz aadar la antipozii confortului intelectual,
ai contiinei mpcate i ai senintii blajine.
Adus n faa tribunalului, Socrate refuz ajutorul lui Lysias, avocat de
meserie. Textul lui Platon Aprarea lui Socrate reproduce probabil
ndeaproape aprarea prezentat de Socrate judectorilor. Aceast
pledoarie se mparte n trei pri:

Socrate spune cine este i le va nfia judectorilor misiunea

ncredinat lui de ctre divinitate: s detepte contiina
contemporanilor si. Nu reueste s-i conving pe judectori;
limbajul minciunii se dovedete mai convingtor dect cel al
adevrului. Judectorii delibereaz i 281 de voturi l declar pe
Socrate vinovat, contra a 278 (sau 221 dup alte manuscrise).
Acuzatorii ceruser moartea, dar acuzatul era liber s fac o
contrapropunere iar judectorii urmau s aleag una ori alta dintre
pedepse.
13

Socrate cere s fie hrnit n pritaneu. Iat ultimul act al serioasei

ironii a lui Socrate, faptul de-a cere o recompens pentru felul cum
s-a purtat nu este din partea sa sfidare, ci sinceritate. Fiindc
trebuia stabilit o sanciune va propune o amend de o min, adic
ntreaga lui avere. Rspunsul lui Socrate le-a prut probabil
judectorilor o insult adus magistrailor, aa nct la urne
condamnarea la moarte a avut 80 de voturi mai mult dect avusese
vinovia sa.

Socrate le spune adio judectorilor si, fcndu-i responsabili pe

vecie pentru moartea sa

Socrate a stat nlnuit 30 de zile, dar n fiecare zi primea vizita

prietenilor i se ntreinea cu acetia. Ei n-au stat degeaba i-au pregtit
un plan de evadare pe care Socrate l refuza. La data executrii sentinei,
toi prietenii lui Socrate erau de fa cu excepia lui Aristippos, a lui
Xenofon, aflat n Asia i a lui Platon, bolnav. Socrate i dedic ultimile
clipe conversaiei cu prietenii si pe tema nemuririi sufletului, iar
cuvintele-i ne-au fost pstrate de Platon n Phaidon. Socrate se mbiaz
pentru ultima oar i refuz s atepte ca soarele s fi disprut cu totul la
orizont nainte de a bea otrav. Apucnd cu o mn sigur vasul cu
cucut, el sorbi fr ezitare sau repulsie butura mortal. Criton, i sunt
dator lui Asclepios un coco, v rog s nu uitai s i-l dai, acestea au fost
ultimile sale cuvinte. Trebuie s nelegem aici, urmnd sugestia lui
L.Robin, c Socrate l roag pe Criton s aduc o jertf zeului medicinei
drept mulumire c i-a vindecat sufletul de boala de-a fi fost unit cu un
trup.
Gndirea socratic graviteaz n jurul cunoaterii de sine - Gnothi se
auton. (Cunoate-te pe tine nsui). Esenial pentru om este capacitatea
sa de a intra n relaie de dialog, Socrate punnd pe prim plan sufletul iar
nu corpul. Pentru Socrate, cunoaterea propriei noastre fiine i a
destinului acesteia se realizeaz pe dou ci:

mediat, pe cale oracular, prin metode mantice, divinatorii

direct, prin cunoaterea de sine, care invit la contemplarea

interioar, la introspecie, aciune posibil datorat interveniei
daimonului

Socrate a fost primul gnditor care a luat ca obiect al meditaiei sale fiina
uman. ncepnd cu Socrate, omul devine n mod exclusiv o problem
pentru el nsui. "Persoana ta este sufletul tu" spunea Socrate (Platon,
Alcibiade)

14

Platon (Greac: ; Pltn) (n. cca. 427 .Hr. d. cca. 347 .Hr.) a
fost un filozof al Greciei antice, student al lui Socrate i nvtor al lui
Aristotel. mpreun cu acetia, Platon a pus bazele filozofice ale culturii
occidentale. Platon a fost de asemenea matematician, scriitor al
dialogurilor filozofice i fondatorul Academiei din Atena, prima instituie
de nvmnt superior din lumea occidental.
S-a nscut ntr-o familie aristocratic, la Atena sau pe insula Egina, avnd
ca tat pe Ariston (descendent al regelui Codros) i ca mam pe
Perictione (dintr-o familie nrudit cu Solon). Numele de natere al su
era Aristocles; Platon a fost o porecl primit datorit pieptului su lat.
Copilria este marcat de rzboiul peloponesiac i luptele civile ntre
democrai i aristocrai. La 20 de ani devine discipol al lui Socrate,
rmnnd alturi de el vreme de 8 ani, pn la moartea acestuia.
nclinaiile poetice, talentul n domeniul teatrului le-a nnbuit i s-a
dedicat total filosofiei. La moartea lui Socrate (399 .Hr.) nu a putut fi de
fa, fiind bolnav. Condamnarea nedreapt a maestrului l-a ndemnat s-l
reabiliteze (Apologia lui Socrate), dialogurile de tineree purtnd marca
puternic a filosofiei socratice. Refugiat o vreme la Megara, se bucur de
prezena lui Euclid, alt discipol al lui Socrate. Realizeaz mai multe
cltorii: n Egipt se familiarizeaz cu matematica; n Cirene intr n
legtur cu matematicianul Teodor; n coloniile din Italia de Sud face
cunotin cu pitagoreicii; n Sicilia, la Siracuza este invitat de tiranul
Dionysios cel Btrn. O tradiie spune c Dyonisios cel Btrn l-a vndut
pe Platon ca sclav n Egina deoarece i considera suprtoare prezena,
dar prietenii l-au cumprat i eliberat din sclavie. Acest fapt ar putea
explica hotrrea lui Platon de a se retrage din politic i de a deschide o
coal filosofic la Atena, lng gimnaziul nchinat lui Heros Akademos,
de unde i numele Academia. Organizarea colii era asemntoare
societilor pitagoreice, cu o ierarhie bine structurat. coala va funciona
15

aproape 1000 de ani; unul dintre obiectivele cele mai importante fiind
acela de a contribui la pregtirea politic a oamenilor politici. Academia
lui Platon este nchis n 529 d.Hr. la ordinul mpratului Iustinian. Dup
ce mplinise deja 60 de ani, Platon a mai efectuat dou cltorii la
Siracuza, n sperana de a-l influena pe Dionysios cel Tnr pentru
proiectele sale de reform politic i filosofic. Din pcate proiectul
eueaz definitiv. S-a stins din via cum spune Cicero, cu condeiul n
mn (scribens mortuus est).
Este cel dinti filosof de la care au rmas scrieri complete: 35 de scrieri i
13 scrisori (dintre care doar una, a aptea, pare a fi autentic). El a creat
specia literar a dialogului, n care problemele filosofice sunt abordate
prin discuia dintre mai muli interlocutori, Socrate fiind cel mai adesea
personajul principal. Lewis Campbell a fost primul cercettor care a
demonstrat prin studiul stilometric c dialogurile Philebos, Critias,
Legile, Timaios i Omul politic pot fi grupate i sunt clar distinse de
Parmenides, Phaidros, Republica i Theaitetos. Studiile recente
demonstreaz imposibilitatea stabilirii ordinii cronologice a dialogurilor,
care tradiional sunt grupate dup criterii tematice i ncearc s
urmreasc o evoluie a gndirii lui Platon. Cronologia dialogurilor nu
mai poate fi stabilit astzi dect n linii mari.
Dialoguri de tineree
Aceste dialoguri sunt unite prin prezena lui Socrate i reprezint cea mai
veridic surs despre personalitatea i filosofia sa, de aceea sunt
supranumite dialoguri socratice. Majoritatea l prezint pe Socrate
discutnd un subiect de natur etic (prietenia, pietatea) cu un prieten sau
cu cineva pe care l crede expert n domeniu. Cu ajutorul unui ir de
ntrebri interlocutorii si neleg c ale lor cunotine sunt superficiale i
nu sunt adevrate.

Aprarea lui Socrate ( )

Euthyphron ()

Criton ()

Protagoras ()

Ion ()

Laches ()

Lysis ()

Charmides ()

16

Republica (), cartea I

Dialoguri de tranziie
n unele din dialogurile din tineree Socrate este prezentat de Platon ca
oferind rspunsuri clare la ntrebrile interlocutorilor, punnd baza unei
doctrine filosofice. n discuiile inute de Socrate intervine i Platon, care
ncepe s promoveze ideile proprii, cum ar fi c buntatea este
nelepciune, i c nimeni nu face rul cu bunvoin. Aceste idei probabil
aparineau lui Socrate, dar sunt preluate de Platon i ulterior elaborate.
Specifice acestui grup de dialoguri sunt ideile platonice despre
imortalitatea sufletului, justiie, i cunotine. Pentru prima dat, Platon
exprim idea c cunotinele vin din nelegea formelor (sau esenelor)
neschimbtoare ale lucrurilor, astfel elabornd binecunoscuta teorie a
formelor.

Gorgias ()

Menon ()

Euthydemos ()

Hippias Minor ( )

Cratylos ()

Hippias Maior

Menexenos ()

Dialoguri de maturitate

Banchetul ()

Phaidon ()

Phaidros ()

Republica (), crile II X

Dialoguri de btrnee

Theaitetos ()

Parmenide ()

Sofistul ()

Timaios ()

17

Omul politic ()

Philebos ()

Critias

Legile

Doctrina
Dialectica este metoda prin care se ajunge la cunoaterea ideii, obiectul
cunoaterii adevrate (episteme); procedeul prin care ne ridicm din
lumea sensibil n lumea suprasensibil, metafizic; n cunoaterea
metafizic intervine intelectul analitic (dianoia) i intelectul pur (nous).
Mitul peterii este o imagine alegoric a lumii i a modului cum poate fi
cunoscut.

Platon i Aristotel de Raphael

Metafizica
Platonismul este un termen folosit de savani pentru a se referi la
consecinele intelectuale ale negrii realitii lumii materiale. n unele
dialoguri, cel mai remarcabil, n Republica, Socrate inverseaz intuiia
oamenilor despre ce se poate cunoate i ce este realitate. n timp ce toi
oamenii accept realitatea obiectelor, care sunt perceptibile simurilor lor,
Socrate are o atitudine dispreuitoare fa de oamenii, care cred c pentru
a deveni reale lucrurile trebuie s fie palpabile. n Theaetetus, el i
numete eu mousoi: ad literam fericii fr muze(Theaetetus 156a).
Cu alte cuvinte, aceti oameni triesc fr inspiraia divin, care i d lui,
i altor oameni ca el, accesul la nelesuri superioare despre realitate.

18

Ideea lui Socrate, c realitatea nu este disponibil celor ce folosesc

simurile, a creat divergene cu locuitorii Atenei i cu simul comun.
Socrate credea c cel care vede cu ochii este orb, i aceast idee este cel
mai des amintit n legtur cu alegoria peterii. Alegoria peterii
(Republica 7. 514a) este o asemnare paradoxal prin care Socrate
argumenteaz c lumea invizibil este cea mai inteligibil (noeton) i
c lumea vizibil ((h)oraton) este cel mai puin posibil pentru
cunoatere, i cea mai obscur.
Teoria ideilor
Teoria ideilor reprezint nucleul filosofiei platonice ce se regsete n
Phaidon, Republica (crile VI VII), Banchetul i Phaidros.
Distincia existena sensibil/existena inteligibil este baza teoriei
ideilor; planul existenei sensibile este acela al realitii aparente,
accesibil cunoaterii prin simuri, lumea Peterii care fundamenteaz
opinii (doxa); planul existenei inteligibile este acela accesibil doar
cunoaterii de tip raional, lumea din afara Peterii, lumea Formelor Pure,
a Ideilor, lumea metafizic a realitii eseniale.
Ideile se caracterizeaz prin:

Desemneaz o existen absolut (sunt simple)

Sunt o existen substanial (exist n sine i prin sine)

Reprezint o existen etern

Desemneaz o existen universal (ideea nchide n sine toate

calitile particulare)

Desemneaz o existen imuabil (neschimbtoare)

Lumea sensibil este o copie palid a lumii Ideilor; corpurile fizice nu au

realitate dect dac particip (methexis) la Idei ca prototipuri
(paradigma) ale lucrurilor.
Mitul Peterii (Republica, cartea a VIIa):

simboluri:
o

petera lumea sensibil (a realitii aparente);

ntunericul peterii ignorana omului incult, limitat;

lanurile prejudecile, simurile care ne limiteaz;

focul lumina cunoaterii;

19

umbrele de pe peretele peterii imaginile corpurilor fizice,

aparenele care genereaz opinii ntmpltoare (preri, rodul
percepiilor i al imaginaiei);

corpurile purtate prin faa focului aparenele adevrate,

realitatea fizic, genereaz opiniile adevrate (orthe doxa),
suiul greu spre ieirea din peter drumul iniiatic spre
cunoaterea esenial, cunoaterea prin intelectul analitic;

contemplarea lumii din afara peterii cunoaterea

metafizic, prin intelectul pur (episteme, cunoaterea
adevrat prin intelect i raiune)

Soarele Ideea Binelui (Perfeciunea)

Sufletul se aseamn cu Ideile pentru c este simplu, nemuritor, cunoate

lumea inteligibil printr-un proces de conversiune a crui for o
constituie erosul (iubirea are ca efect uitarea, n vederea dobndirii
puritii primare); cunoaterea Ideilor este doar o reamintire
(anamnesis) a sufletului ncarcerat n corpul fizic (ideea corpului
nchisoarea este o reminescen a orfismului); menirea sufletului este s
pregteasc omul pentru moarte (eliberarea sufletului nemuritor i
ntoarcerea n lumea ideilor); condiia eliberrii definitive a sufletului este
o via virtuoas; filosofia este pregtirea sufletului pentru recunoaterea
imortalitii sale.
Teoria formelor
Teoria formelor se refer la ncrederea lui Platon precum, c lumea
material care ne nconjoar nu este una real, ci numai o umbr a lumii
reale. Platon vorbea despre forme cnd ncerca s explice noiunea de
universalii. Formele, dup Platon, sunt prototipuri sau reprezentri
abstracte a unor tipuri sau proprieti (adic universalii) a lucrurilor pe
care le vedem n jurul nostru.
Statul ideal

Este statul n care domnete dreptatea (oikeiopragia), o virtute

conform creia fiecare tip uman se ocup de ceea ce-i este ornduit
prin funcia sufleteasc dominant: cei capabili de practicarea
virtuii raiunii (nelepciunea) elaboreaz legi, cei capabili de
practicarea virtuii prii pasionale (curajul) se ocup cu aprarea,
iar cei nzestrai cu posibilitatea practicrii virtuii corespunztoare
prii apetente a sufletului (cumptarea) sunt responsabili de
20

asigurarea resurselor. Exist astfel o ierarhie a unor clase sociale

determinate natural: nelepii, militarii, respectiv agricultorii i
meteugarii.
O alt condiie a oikeiopragiei (n afar de practicarea de ctre
fiecare tip uman a acelor activiti care i se potrivesc) este pstrarea
ierarhiei claselor.
Scopul statului este realizarea binelui tuturor:

Clasele sociale, ornduite ierarhic, corespund celor trei pri ale

sufletului: clasa meteugarilor (demiurgii) corespunde prii
apetente, clasa rzboinicilor (aprtorii, phylakes) corespunde
prii pasionale, clasa conductorilor (archontes, filosofii sau
nelepii) corespunde prii raionale.

Comunismul aristocratic lupttorii i conductorii, pentru a nu fi

ispitii de putere sau de preocupri care nu sunt proprii virtuilor
lor, nu vor poseda nimic personal (proprieti, bani, femei) ci totul
va fi n comun (cas, avere, femei, copii).

Femeile au aceleai drepturi i obligaii ca i brbaii.

Este o aristocraie a raiunii, neleas de unii exegei drept

teocraie laic, dei statul raiunii i a contemplrii Ideilor la Platon
are i un sens religios.

Armonia statului se realizeaz numai cnd conductorii sunt

filosofi, demiurgii i hrnesc pe aprtori i conductori, iar
aprtorii se ocup numai de sigurana statului.

Formele degenerate (imperfecte) ale statului:

o

timocraia conducerea de ctre soldai

oligarhia conducerea exercitat de cei bogai

democraia conducerea poporului (periculoas pentru c

ncurajeaz ignorana neleas de cei ignorani drept
gndire liber, promovarea scopurilor personale, egalitatea
cu sensul de prsire a oikeiopragiei, alegerea capricioas
a conductorilor)

despotismul cea mai rea form de corupere a puterii (un

individ acapareaz puterea i conduce de dragul propriei
mriri)

21

Cetatea sau statul ideal conceput n dialogul Republica nu este un

proiect politic, ci o analogie utilizat de Platon pentru a putea
rspunde la ntrebarea ce indic tema dialogului: Ce este
dreptatea?. Astfel, teoria facultilor i virtuilor sufletului,
precum i proiectarea ei asupra ideii de stat, reprezint un model
pentru identificarea formei dreptii ca oikeiopragia. Nici statul
ideal, nici sufletul perfect armonizat n acord cu dreptatea, nu
exist n lumea sensibil. n domeniul sensibil, al lucrurilor
corporale, exist numai formele corupte ale Ideilor sau paradigelor
(fie c este vorba de Ideea de Cetate, fie de altele).

22

Logica
formal
Capitolul 2

2.1. Obiectul logicii. Istorie

Denumirea logic provine din grecescul logos, care
semnific cuvnt, idee, raiune, ordine. n Biblie se afirm
c la nceput a fost cuvntul, iar unii autori consider c, de
fapt, la nceput a fost raiunea. Termenul logos a fost
folosit pentru prima dat de ctre Heraclit din Efes, cu
nelesul de ordine necesar, proprie att Cosmosului, lumii
materiale, ct i gndirii omeneti n forma ei superioar.
Ca disciplin, logica studiaz formele i legile generale ale
raionrii corecte. Raionamentul const ntr-o succesiune
de judeci, prin care gndirea, pornind de la cunotinele
date, obine altele noi.
Istoria oricrei discipline este interesant prin faptul c
relev ntregul ei proces de evoluie, frmntrile i fazele
prin care a trecut pn a ajuns la stadiul actual. Exist
tiine care pot fi cunoscute i utilizate foarte bine fr s li
se cunoasca istoria. Cercetarea micrii astrelor cu ajutorul
mecanicii newtoniene sau einsteiniene nu necesit
cunoaterea mecanicii cereti a celor vechi, teoria
hipocicloidelor sau sistemul geocentric.
Logica are ns o situaie cu totul deosebit. Ea nu se
reduce la ultimele legi stabilite n acest domeniu, ci
nseamn tot ce s-a fcut din antichitate pn n prezent.
Logica este ntreaga ei devenire, este nsumarea tuturor
23

momentelor istoriei sale. neleas astfel, ea i pstreaz

ntregul dinamism, nervul motor, caracterul de tiin care
ia natere i crete odat cu cercetarea ei. Logica i capt
astfel o unitate perfect, integrnd critic tot ceea ce s-a
realizat n domeniu, pstrnd totodat proprietatea de
perfectibilitate continu.
Preocupri asupra formelor i legilor raionrii corecte au
aprut la oameni din cele mai vechi timpuri. Se consider
ns c ntemeietorii logicii au fost grecii antici, iar dac
geniul filosofic al Greciei i-a gsit n Aristotel expresia lui
universal i perfect, acesta poate fi considerat printele
logicii, descoperitorul silogismului ca tip fundamental de
raionament.
n antichitate, logica era considerat o art a artelor sau
tiin a tiinelor, neputnd s se prezinte, n construcia
ei, ca o tiin ntre alte tiine. n acest caz, ar fi nsemnat
ca ea s fie, n acelai timp, i gen (al tuturor tiinelor) i o
specie a acestui gen (o tiin). Se poate spune c pentru
filosofii greci, ca i pentru scolasticii de mai trziu, logica
era o teorie, n sensul etimologic al termenului, care provine
din limba greac. Termenul teoria provine din verbul
teorein= a contempla, a vedea direct, avea sensul originar
de contemplaie, viziune, i numai cu timpul a fost
confundat cu termenul episteme= tiin sau cunotin.
Iniial, denumirea de teorie s-a dat acelor cunotine
imediate, obinute direct de intuiia intelectual. n
concepia anticilor, logica putea fi o teorie, un corp de
adevruri nedemonstrate, obinute direct, contemplate sau
reflectate n oglinda intelectului omenesc, aa cum se
gsesc esenial n realitate. Acest sens a fost pstrat pentru
logic pn la sfritul Evului Mediu, logicienii repetnd
mereu c logica nu este o tiin, ci modul tiinelor
(modus-mod, procedeu, principiu). Logica era considerat
ca fiind aceea ce ofer principiile tuturor tiinelor, i nu o

24

tiin. n Metafizica sa, Albertus Magnus scrie c logica

i propune s ne nvee principiile.
Termenul episteme (tiin) provine din verbul isteme= a
stabili, a ordona, i de la particular epi, care are aici,
sensul n sus. Prin urmare, tiina nseamn ordonare
ierarhic de adevruri sau propoziii adevrate. O asemenea
construcie ierarhic pleac de la un grup de principii i
apoi, pe cale de demonstraie, se obin celelalte adevruri
sau teoreme ale tiinei respective. Logica nu era o astfel de
construcie, nu era conceput ca o ierarhie de adevruri, ci
i propunea s nvee principiile. La Aristotel se ntlnete
expresia de tiin apodictic, dar o utilizeaz n sensul de
tiina silogismului, deci de cunotin a demonstraiei.
Aceast ide despre logic se pierde ns treptat i, dup
Evul Mediu, tratatele de logic priveau logica n sensul de
tiin, fr a preciza definiia tiinei. Mai mult dect att,
printr-o schimbare de optic, logica ajunge un simplu
sistem, un sistem logico-matematic.
Denumirea de sistem este folosit mai ales n timpul
Renaterii, fiind preluat tot de la greci. Sensul etimologic al
termenului provine din verbul stao= a sta n picioare i de
la particula sin=cu. Cu alte cuvinte, sistemul nseamn a
sta n picioare, a fi coordonat ntr-un ansamblu cu alte
pri. Prin urmare, nu mai este vorba de o construcie
ierarhic, care ncepe de la principii i coboar la
adevrurile tiinei, ci de o juxtapunere de propoziii sau
adevruri, de o structur coerent a corpului de propoziii
adevrate.
Ideea de sistem, fr a fi definit cu precizie, se adopt
pentru logic, care ajunge n prezent un sistem matematic
formal, un ansamblu de formule construite dup anumite
reguli i juxtapuse n mod coerent.

25

Cei care au considerat logica o tiin moart au redus-o la

cteva reguli de manual. Kant aprecia c, de la Aristotel,
logica nu a mai fcut niciun pas nainte i niciunul napoi,
considernd-o terminat i desvrit. A fost de-ajuns s
apar Fichte, Schelling i mai ales Hegel pentru ca prerea
lui Kant s fie total infirmat, iar logica s fie pus ntr-o
valoare cu totul nou i creatoare. Cercetrile de logic
matematic din ultimele decenii nu numai c nu au negat
nimic din ceea ce s-a realizat nainte, dar au scos la iveal o
alt faet a logicii, n care se regsesc o serie de descoperiri
ale logicienilor stoici i scolastici. Unitatea logicii cu istoria
ei apare evident.
Mult timp, s-a crezut c evoluia omului de la primele
licriri ale contiinei pn la stadiul modern de cultur i
civilizaie este liniar i c, oriunde ar fi nceput, n Africa,
Asia sau America, dezvoltarea inteligenei omului s-ar face
n sens unic, avnd ca scop final tipul de cultur i
civilizaie al europeanului actual. Aceast concluzie facil se
datoreaz unei simplificri a problemei, care, prin chiar
datele ei, nu poate primi acest rspuns. Evoluia spiritual
a Chinei sau a Indiei nu a dus, n trecut, la chipul
intelectual European, dar niciun cercettor serios nu a
putut afirma c un chinez sau un indian sunt inferiori
europenilor din punct de vedere intelectual. Realizrile
culturii chineze sau indiene n domeniile artei, poeziei,
filosofiei, demonstreaz c inteligena popoarelor respective
nu este cu nimic inferioar europenilor. Rezult c exist
evoluii diferite ale inteligenei umane, care, progresnd
permanent, sunt orientate diferit i au structuri diferite,
care in de gradul sau modul de organizare social, de
tradiie, de alte condiii.
n prezent, logica este conceput ca un sistem matematic
formal, construit dup anumite reguli i juxtapus n mod
coerent.

26

O analiz mai detaliat a tiinei logicii i sistemului

matematic formal este prezentat n cele ce urmeaz.
n orice domeniu tiinific, faptele care aparin acestui
domeniu sunt puse ntr-o anumit ordine, cu ajutorul unui
grup de concepte; fiecrui obiect individual din cadrul
domeniului tiinific i corespunde un concept, iar fiecrui
fapt i corespunde o relaie logic ntre concepte. Grupul de
concepte nu este altceva dect teoria domeniului tiinific
(D. Hilbert).
Problema grupului de concepte i a ordinii din interiorul
su a condus la separarea riguroas a prilor din care ea
este compus. O serie de concepte i de propoziii sunt
acceptate n fruntea unei stiine, fr a fi definite i,
respective, fr a fi demonstrate; alte concepte sunt
introduse cu ajutorul primelor; o serie de propoziii sunt
derivate, prin procedee date, din propoziiile date fr
demonstraie. Descrierea complet i explicit a diferitelor
pri ale unei tiine, a procedeelor de definiie i descriere
utilizate n cadrul ei, a condiiilor pe care trebuie s le
ndeplineasc axiomatica, formeaz obiectul metodei
axiomatice.
David Hilbert susine c tot ceea ce poate constitui obiect al
gndirii tiinifice, de ndat ce se afl n pragul constituirii
teoriei, revine metodei axiomatice i prin aceasta revine
nemijlocit matematicii. Metoda axiomatic ne face s
sesizm esena gndirii tiinifice i ea este de fapt metoda
matematic.
n evoluia ei, metoda axiomatic a prsit treptat
coninutul conceptelor i propoziiilor cu care se
construiete o tiin i a abandonat orice fel de intuiie
(dac e posibil). Aceasta nseamn trecerea de la tiina
material la cea formal. Unii consider c progresul
axiomaticii const tocmai n eliminarea crescnd a
intuiiei.
27

Ladrire distinge patru stadii n evoluia axiomaticii,

corespunztoare gradului de intuitivitate admis.
1.Axiomatica intuitiv. Conceptele fundamentale sunt
considerate date n mod intuitiv, iar enunurile
fundamentale sunt date ca fiind evidente. Procedeele de
deducie sunt date ca fiind evidente (de exemplu, geometrul
Euclid).
2.Axiomatica
abstract.
Coninutul
conceptelor
fundamentale este precizat i se rein doar unele proprieti,
enunate explicit. Conceptele capt astfel o oarecare
nedeterminare i sunt aplicabile tuturor obiectelor care
verific axiomele (exemplu, teoria grupurilor).
3.Axiomatica formal. Coninutul conceptelor nu joac
niciun rol, sensul lor este determinat numai de relaiile
stabilite ntre ele de axiome. Aceste concepte fac, ns, apel
la expresii din limbajul curent, al caror sens este dat de
intuiie (de exemplu, sistemul de axiome al lui Peano).
4.Sistemul formal pur. Orice referin la un domeniu
exterior sistemului este eliminat prin utilizarea unui limbaj
simbolic precis definit; procedeele de deducie sunt date n
mod complet.
La nceput se disting clar propoziiile imediate,
nedemonstrabile, de teoreme; se poate observa aici uor de
care principii depinde fiecare teorem. Ulterior, prin
abstractizare nu se mai admit entiti a caror realitate sau
posibilitate ar preceda de drept stipularea axiomelor i
definiiile explicite sunt nlocuite prin definiii implicite.
Metoda axiomatic descrie o tiin, relev legturile ei
logice. Pe de alt parte, dac partea axiomatic a teoriei, cu
regulile de derivare respective rmne dat pentru

28

totdeauna, complet i intangibil, atunci tiina n cauz

nu este dect explicitarea conceptelor i propozitiilor
cuprinse n aceast parte. Totul ar trebui s se reduc la
cteva noiuni i adevruri iniiale.
Dac partea axiomatic este parial, urmnd s se
introduc noi concepte i noi axiome nauntrul tiinei
respective, atunci stiina considerat se completeaz i
evolueaz.
Dinamica unei stiine se datorete - dup Bourbaki interveniei intuiiei, care nu este un rezultat derivat prin
axiome.
Logica a fost formalizat i studiat ca atare prin metoda
axiomatic. Dup David Hilbert, logica nu va studia un
obiect sau nite obiecte particulare, ci nsei propoziiile
care se pot forma cu privire la aceste obiecte. Hilbert
degajeaz sistemul propoziional n care se exprim o teorie
oarecare de coninutul lui i-l studiaz n el nsui. Altfel
spus, unul este limbajul n care vorbim ntr-o tiin dat i
altul este limbajul n care vorbim despre aceast tiin.
Hilbert a luat limbajul matematic separat i l-a desfcut n
elementele sale, pentru a ridica edificiul logicii noi, creia ia dat la nceput numele de metamatematic.
n logica formalizat, trebuie s considerm propoziiile
golite de orice coninut, vide de orice substan; obiectele
unei asemenea logici vor fi doar nite simple simboluri, nite
litere x, y,Propoziiile i legturile dintre ele vor exprima
relaii ntre aceste simboluri, iar aceste relaii vor fi
exprimate tot simbolic, prin litere.
Logica nou este un angrenaj de simboluri, o articulaie
ntre diverse semne, iar a raiona nseamn a constitui un
schelet simbolic dup anumite reguli. Un exemplu simplu
arat c acest lucru este foarte posibil.
29

Fie silogismul de manual:

(1)

Toi oamenii sunt muritori.

Socrate este om.
(2)
Deci: Socrate este muritor.

bc
ab
ac

Raionamentul (1) nu este dect o aplicare a formei (2) de

raionament, form independent de orice coninut. Logica
este deci un joc de simboluri, un joc de forme pure, cci din
datele primitive nu se consider dect capacitatea lor de a fi
ordonate n cutare sau cutare mod.
Eliminarea oricrui coninut din logic prin introducerea
semnelor (simboluri sau variabile) duce la concluzia c
niciun semn nu are nicio legtur nici cu realitatea
obiectiv, nici cu inteligena, care nu gndete nimic prin
acest semn. Relaiile care apar ntre simboluri sau grupuri
de simboluri arat numai cum stau acestea unele lng
altele. Noiunea de sistem formal are nelesul etimologic al
termenului grecesc sisteim. Un sistem formal este o simpl
coordonare de simboluri, care nu are de-a face, n el nsui,
nimic cu cunoaterea sau realitatea.
Astfel, logica nu mai este o tiin a principiilor gndirii sau
a legilor ei. Lukasiewicz afirm: Nu este obiectul logicii s
cerceteze cum gndim efectiv, sau cum ar trebui s gndim.
Prima sarcin aparine psihologiei, i a doua unei arte
practice precum mnemonicii.
Evoluia axiomaticii n sensul formalizrii apare nu numai
ca o consecin natural, dar i necesar. Noiunea de
demonstraie nu poate fi precizat dect printr-un
ansamblu de reguli i acesta nu este posibil dect prin
formalism. Noiunea de sistem formal corespunde unei
perfecionri a metodei axiomatice, gradului suprem de
abstracie.

30

Un sistem formal poate fi definit ca un grupaj ierarhic de

asamblri de semne sau de formule complete, aa c,
plecnd de la unele din ele (n numr finit sau infinit),
considerate ca valabile, s se poat obine altele, pe baza
unor procedee fixate odat pentru totdeauna.
Un sistem formal este determinat de cinci mulimi:
-o mulime de simboluri primitive (variabile, constante
i simboluri auxiliare) sau vocabularul primitiv. Acesta
poate fi finit (simboluri date pe liste) sau infinit (eventual
numai foarte mare) cnd apartenena unui simbol la
vocabular se stabilete prin mijloace inductive.
-o mulime de termeni determinai prin reguli. Orice
ir de simboluri va fi numit expresie, termenii formnd
submulimi ale mulimii expresiilor.
-o mulime de formule (submulime
expresiilor) determinate prin reguli efective.

mulimii

-o mulime de axiomesubmulime a mulimii

formulelor. Dac aceast mulime este infinit, axiomele pot
fi date prin axiome-scheme.
- o mulime de reguli de inferen, dup care o formul
este derivabil imediat ca o concluzie dintr-o mulime finit
de formule, convenabil aleas (premis).
Regulile care determin apartenena la primele trei mulimi
se numesc reguli de formare; regulile care determin
apartenena la ultimele dou mulimi se numesc reguli de
transformare.

31

Un sistem formal poate fi considerat deci ca un cvintuplu

ordonat de mulimi care ndeplinesc anumite condiii.
Deoarece simbolurile utilizate sunt lipsite de orice
semnificaie, de orice legtur cu un fapt exterior lor,
stabilirea unor prioriti ale unora asupra altora este total
arbitrar i relativ.
Simbolurile i formulele sunt legate numai lateral, fr
niciun fundament n adncime, aa cum de altfel arat
nsi noiunea de sistem.
n principiu, orice grup de enunuri poate fi considerat grup
de axiome. Singurul lucru care intereseaz este s se poat
deduce din acest grup ntreaga teorie.
Construcia sistemului de semne, cu indicarea tuturor
componentelor, a rolului lor i a modului de stabilire de noi
componente se numete prezentarea sistemului formal.
Se disting n prezentare dou pri: partea morfologic i
partea axiomatic.
Morfologia sistemului descrie constituenii i arat:
a)componentele, lista de operaii asupra lor, regulile de
formare a noi componente;
b)agregatele de componente care sunt propoziii (adevrate
sau false).
Partea axiomatic cuprinde o list de propoziii considerate
valabile i regulile de derivare prin care se indic propoziiile
antecedente, separate prin linie orizontal de propoziiile
consecvente (derivate).
Un sistem formal odat constituit, se pot da componentelor
primitive semnificaii determinate, punndu-le ntr-o
legtur de coresponden cu o anumit clas de obiecte
determinate. Aceast coresponden biunivoc se numete

32

reprezentarea sistemului. Teoremele sistemului sunt

particularizate la o anumit clas de obiecte. Un sistem
formal poate avea o mulime nedeterminat de reprezentri.
Interpretarea unui sistem este o coresponden a
propozitiilor elementare ale sistemului cu o clas de
enunuri al cror adevar sau falsitate sunt independente de
sistemul considerat. n legtur cu noiunea de interpretare
apare noiunea de model.
ntre un model M i un sistem S exist urmtoarele
corespondene:
-fiecrei propoziii din S i corespunde un enun format
din elementele din M;
-enunurile formate cu elementele din M sunt
adevarate sau false independent de S;
-oricrei propoziii din S i corespunde un enun
adevrat format cu elemente din M.
Cu alte cuvinte, a da un model pentru un sistem formal nu
nseamn dect a-i da o interpretare.
Un sistem formal permite s se formeze, dup reguli precise,
anumite expresii, care pot servi ele nsele, conform acelorai
reguli, la formarea unor expresii mai complicate. Un sistem
formal este astfel un mod riguros de a vorbi i de aceea un
sistem formal se mai numete i limb formalizat. Dac
sistemul formalizat este el nsui obiect de studiu, logicienii
consider c trebuie folosit o alt limb formalizat,
numit metalimb. Metalimba sistemului
S
poate fi
construit tot ca un sistem formal S
Se poate realize o meta-metalimb .a.m.d.
Cu noiunea de metasistem se ajunge la noiunile de
sintax i semantic.

33

Sintaxa logic studiaz modul cum este construit un

sistem formal, care sunt condiiile corectitudinii formulelor
lui i posibilitile deductive. Metalimbajul folosit pentru a
studia sistemul din acest punct de vedere se numete limbaj
sintactic.
Semantica studiaz sistemul formal n legtur cu
noiunile de adevr i fals, obiectul ei fiind cercetarea unor
formule n ce privete valoarea lor de adevr. Semantica este
legat de interpretarea sistemului.
Un sistem formal trebuie s ndeplineasc anumite
condiii:
-coerena (noncontradicia): Un sistem este coerent dac
nu se poate deriva n interiorul lui o propoziie i n acelai
timp negaia ei.
-saturaia: Un sistem este saturat dac orice propoziie
formulabil corect este derivabil n sistem.
-rezolubilitatea: Un sistem este rezolubil dac se poate
da un procedeu efectiv prin care se poate deduce dac o
propoziie din sistem este derivabil sau nu. Problema
rezolubilitii a luat o importan deosebit, fiind cunoscut
i ca problema deciziei.
-categoricitatea: sistemul este categoric dac toate
modelele sistemului sunt izomorfe.
n rezumat, un sistem logic formal trebuie
ndeplineasc
condiiile
de
noncontradicie,
independen i de suficien.
*

*
*

34

s
de

A raiona corect este desigur util pentru oricine. Forma

fundamental de raionament este silogismul, i la grecii
antici exemplul clasic de silogism era urmtorul:
Toi oamenii sunt muritori, Socrate este om, n concluzie
Socrate este muritor.
Din dou cunotine date (premise) rezult o concluzie, ceva
diferit de ceea ce s-a dat.
Au existat logicieni care negau silogismul. Referindu-se la
exemplul menionat, acetia considerau c de fapt concluzia
era cunoscut odat cu afirmaia Toi oamenii sunt
muritori. Dac ar exista vreo ndoial c Socrate este
muritor, prima premis nu poate fi valabil.
Folosirea corect a silogismelor forma fundamental de
raionament, formularea corect a definiiilor, clasificarea
corect i n general raionamentul corect nu constituie
probleme simple, care s poat fi rezolvate numai intuitiv.
De aceea, cunoaterea principiilor logicii, a mecanismului
de raionare sunt necesare n orice domeniu al tiinei i
tehnicii. Pentru cei ce lucreaz n domeniul automaticii i
calculatoarelor, studiul logicii prezint un interes n plus,
legat de aplicaiile foarte importante, n acest domeniu, al
logicii propoziiilor, ale logicilor clasice. Printre aceste
aplicaii se pot meniona analiza i sinteza circuitelor logice,
semantica limbajelor de programare, demonstrarea
automat a teoremelor, programarea logic, sistemele
expert, comanda roboilor industriali.
Logica nu este nici arta de a inventa i nici un instrument al
adevrului; ea este ns util i indispensabil n calitate de
critic a cunoaterii, ca mijloc de apreciere a raiunii
comune, ca i a raiunii speculative, nu pentru a le nv,
ci pentru a le corecta i a le pune de acord cu ele nsele.
Principiul logic al adevrului rezid n concordana
intelectului cu propriile sale legi generale.
35

2.2 Judeci i propoziii

Istoria logicii coincide cu istoria efortului uman de a elucida
mecanismul prin care, din anumite enunuri sau propoziii
adevrate (corecte) se pot deduce alte propoziii adevrate
(corecte). n strduina milenar de a elabora regulile
raionamentului corect, n funcie numai de forma i nu de
coninutul enunurilor, ce devin astfel formule, se poate
percepe o aspiraie spre automatizare. nainte de a crea
maina de calcul, omul a formalizat maina deductiv n
general.
Dup Aristotel, judecata este un act semnificativ, prin
care se afirm sau se neag un anumit raport ntre
idei, prin idee nelegndu-se aici reprezentarea n
intelect a ceea ce exist. Exprimarea verbal a unei
judeci se numete propoziie.
Judecile se pot clasifica dup calitate, dup cantitate
sau dup modalitatea lor.
Din punctul de vedere al calitii, judecile, deci i
propoziiile, pot fi afirmative sau negative.
Din punctul de vedere al cantitii, judecile pot fi
generale sau universale i particulare.
ntre judecile particulare se numr i cele individuale
(Exemplu: Toi oamenii sunt muritori. Unii oameni sunt
nelepi. Socrate este nelept).
Dup modalitatea lor, Aristotel distinge trei tipuri de
judeci: asertorice, care se raporteaz la ceea ce este real,

36

apodictice, care raporteaz la ceea ce este necesar, i

posibile, care se refer la ceea ce este posibil.
O propoziie se constituie dintr-un subiect i un predicat.
Predicatul exprim, aici, ceea ce este subiectul, apartenena
sa la o anumit clas. n acest fel, judecata exprim un
raport ntre individual i general. Exist ns o ierarhie a
speciilor i genurilor i se disting diverse grade de
generalitate.ntr-un anume sens, definiia este i o judecat
care exprim esena unui lucru. Cautnd esena, trebuie
selectat ceea ce i aparine n mod esenial unui anume
lucru, dei poate aparine i altor lucruri. Suma
caracterelor eseniale trebuie s convin numai obiectului
definit. Pentru a se ajunge la definiie, se divizeaz genul n
specii, subspecii, pn se ajunge la indivizi.
Definiia const n stabilirea genului, dar i a ceea ce
difereniaz obiectul definit de celelalte specii ale genului.
Definitul trebuie s caracterizeze numai definitul, dar
ntreg definitul. Definiia trebuie s fie reciproc, subiectul
i predicatul trebuie s aib aceeai extensiune i deci s se
poat substitui reciproc.
Opoziia judecilor. Oricrei afirmaii i se poate opune o
negaie. Propoziiile universale opuse prin calitate sunt
contrare i nu pot fi simultan adevrate, dar pot fi simultan
false. Propoziiile particulare opuse prin calitate nu exprim
o opoziie real; ele pot fi simultan adevrate sau false.
Opoziia este n acest caz numai verbal. Negaia se poate
plasa lng subiect, lng predicat sau la ambele.
Conversiunea judecilor. nseamn a schimba ntre ele
subiectul i predicatul, propoziia rmnnd adevrat.
Conversiunea este perfect dac termenii pstreaz aceeai
cantitate.
Regulile conversiunii judecilor pure (nemodale) sunt
urmtoarele:

37

n judecile universale negative, conversiunea este necesar

(Ex.: Niciun pete nu este insect. Nicio insect nu este pete).
Judecile universale afirmative se convertesc n particulare
(Ex.: Toate mamiferele sunt vertebrate. Unele vertebrate sunt
mamifere).
Judecata particular afirmativ se convertete n mod
necesar (Ex.: Unele flori sunt obiecte roii. Unele obiecte roii
sunt flori).
Judecile particulare negative nu se pot converti (Ex.:
Unele ciuperci nu sunt comestibile).
Regulile conversiunii pot fi ilustrate comod prin
interpretarea geometric a apartenenelor de mulimi.
Ex.: Niciun A nu este B
.

Toi A sunt B.

Unii A nu sunt B.

38

Dintre judecile modale, cele necesare se convertesc ca i

cele pure.
n cazul judecilor posibile, deoarece posibilul poate fi
neles i ca non imposibil, dar i ca nonnecesar, judecile
universale negative nu se pot converti.

2.3 Principiile logice i silogistica

n cele ce urmeaz s trecem n revist cele 3 principii ale
logicii.
Identitatea: Tot ceea ce este adevrat trebuie s fie n acord
cu sine nsui. Poate fi identic, ceea ce are mai multe unice,
dar reprezint de fapt acelai lucru (Ex.: fiin raional
om). Se mai disting identitatea de specie, de gen.

39

Principiul terului exclus: Este imposibil ca dou judeci

contradictorii s fie adevrate n acelai timp din dou una
este necesarmente adevarat, cealalt fals, i nu este
intermediara posibil.
Principiul contradiciei: Este imposibil ca un acelai lucru
s fie i, n acelai timp, s nu fie.
Silogistica. Silogismul st la baza raionamentului uman.
Teoria silogismului constituie o tentativ de automatizare a
raionamentului.
Un silogism este constituit din dou premise i o
concluzie.
Premisa este o expresie care afirm sau neag ceva despre
ceva i poate fi universal, particular sau nedefinit.
Premisa, la rndul ei, este format din termeni, anume
predicatul i subiectul. Se disting termenii major, minor,
mediu.
Aristotel definete silogismul ca pe un logos (expresie,
vorbire, gndire) n care, fiind date anumite propoziii
(premise) rezult necesarmente altceva (concluzia), diferit de
ceea ce s-a dat, prin simplul fapt al acestor propoziii date
(nu se cere nimic altceva pentru a produce consecina
necesar).
Principiul silogismului: Ceea ce afirm despre tot se
afirm i despre parte i ceea ce se neag despre tot se
neag i despre parte.
n funcie de poziia termenului mediu n cele dou
premise, silogismele alctuiesc trei categorii sau figuri:
-n prima figur, termenul mediu este subiect n prima
premis i predicat n a doua;

40

-n cea de a doua figur, termenul mediu este predicat

n ambele premise;
- n cea de a treia figur, termenul mediu este subiect n
ambele premise.
Aristotel descoper patru moduri ale primei figuri, dup
cum premisele sunt universale sau particulare, afirmative
sau negative.
Toi B sunt A.
Toi C sunt B.
Toi C sunt A.
Niciun B nu este A.
Toi C sunt B.
Niciun C nu este A.

Toi B sunt A.
Unii C sunt B.
Unii C sunt A.

Niciun B nu este A.
Unii C sunt B.
Unii C nu sunt A.
Notnd judecile: universale afirmative, universale
negative, particular afirmative, respectiv particular negative
cu vocalele A, E, I, O, un sistem mnemotehnic de reinere a
celor patru moduri ale primei figuri este constituit din
cuvintele BARBARA, CELARENT, DARII i FERIO.

41

Silogismele celei de a doua i a treia figuri pot fi reduse la

silogismele primei figuri n trei moduri: direct, prin
conversia premiselor, indirect, prin transpoziia premiselor
(schimbarea locului lor) i prin reducere la absurd.
De exemplu:
CELARENT
Niciun A nu este B.
Toi C sunt B.

Niciun B nu este A.
Toi C sunt B.
Niciun C nu este A.

CELARENT
Toi A sunt B.
Niciun C nu este B.

Niciun B nu este C.
Toi A sunt B.
Niciun A nu este C.

FERIO
Niciun A nu este B.
Unii C sunt B.

Toi A sunt B.
Unii C nu sunt B.

DARII
Toi B sunt A.
Toi B sunt C.

Niciun B nu este A.
Unii C sunt B.
Unii C nu sunt A.
Concluzia se obine prin reducere
la absurd: Unii C nu sunt A.

Toi B sunt A.
Unii C sunt B.
Unii C sunt A.

Din analiza tuturor silogismelor,

urmtoarele reguli generale:

42

Aristotel

stabilete

1.Orice demonstraie se face cu numai trei termeni, nu cu mai

mult.
2.n orice silogism trebuie s existe cel puin o premis
afirmativ.
3.n orice silogism trebuie s existe cel puin o premis
universal.
4.O concluzie universal nu poate rezulta dect din dou
premise universale.
5.O concluzie afirmativ nu poate s rezulte dect din
premise afirmative.
Studiul silogismului a fost continuat de Teofrast, discipol al
lui Aristotel. Acesta a adncit silogismul model i a stabilit
c modalitatea concluziei este aceeai cu a premisei cu
modalitatea cea mai slab.
Exemplu:
Este posibil ca B s fie A.
C este B.
Este posibil ca C s fie A.

B este A.
Este posibil ca C s fie B.
Este posibil ca C s fie A.

De asemenea, Teofrast a studiat silogismul ipotetic.

Aristotel precizase: dou lucruri fiind ntre ele n aa fel
nct existena unuia atrage n mod necesar existena
celuilalt, non-existena ultimului va atrage non-existena
primului, pe cnd existena ultimului nu atrage n mod
necesar existena primului.
Vom vedea c aceast definiie corespunde implicaiei i
transpoziiei ei: dac p implic q, atunci non q implic
non p.
Teofrast mparte silogismele ipotetice n doua categorii:
43

1. Dac A este, B este.

Dac B este, C este.
Dac A este, C este.

B
C

2. Dac A este, B este.

Dac B este, C nu este.
Dac A este, C nu este.
B
A

3. Dac A este, B este.

Dac C este, B nu este.
Dac A este, C nu este.
i imaginea este similar celei de mai sus.
A doua clas de silogisme ipotetice este format din acele
raionamente care arat simplu dac ceva este sau nu este.

44

Raionament de tip modus ponens (de punere)

1. Dac A este, B este.
Dar A este.
Deci B este.
Raionament de tip modus tollens (de suspendare)
2. Dac A este, B este.
Dar B nu este.
Deci A nu este.
Silogismul modus tollens are avantajul c, pentru a
demonstra falsitatea unei cunotine, este suficient s
deducem din ea un singur consecvent fals. n cazul cellalt,
al modului pozitiv i direct, nu se poate ajunge dect la
cunotine al cror adevr este probabil i ipotetic. Nu se
poate conchide ns c dac dintr-o cunotin nu decurge
niciun consecvent fals, atunci ea este adevarat cu
certitudine.

2.4 Logica matematic

Ideea de a reprezenta matematic gndirea este foarte veche.
Adepii lui Pitagora au gndit numerele ca esen a
lucrurilor i relaiile dintre numere trebuiau s fie relaii
ntre lucruri. Ca urmare, idea i numr logos i aritmos
gndire i calcul cu numere se reduceau la acelai lucru.
Nici Platon nu era strin de concepia unei gndiri
geometrizate, pe frontispiciul Academiei sale fiind scris:
S nu intre cine nu este geometru.
Adevratul iniiator al logicii matematice este considerat
Leibnitz, conform cruia raionamentul este un calcul.
Logica matematic a mai fost dezvoltat de A. de Morgan, G.
Boole, G. Peano, Gottlob Frege, Bertrand Russell.

45

Logica matematic este un sistem deductiv formalizat,

care alege un grup de semne iniial, o serie de expresii
formate dup anumite reguli, un grup de reguli de derivare
a altor expresii din expresiile acceptate iniial. Logica se
transform astfel ntr-un calcul algebric, cu regulile sale
proprii.

2.4.1 Logica propoziiilor

Aa cum s-a mai artat, expresia verbal a unei judeci se
numete propozitie. O propoziie este compus din subiect
i predicat.
Urmtoarele enunuri sunt propoziii: Victor citete. Adrian
scrie. El exist, etc. Fiecrei propoziii i se poate asocia un
simbol:

Victor citete. q : Adrian scrie. Notaia p : arat c

propoziia Victor citete va fi reprezentat prin simbolul p.
Se impune unei propoziiin logica bivalento singur
condiie: s fie adevrat sau fals, fr s poat fi
adevrat sau fals n acelai timp. Pentru a spune c nu
este adevrat c Victor citete, se folosete un semn nou, ~,
negaia.
p:

: p : Nu este adevrat c Victor citete.

Logica bivalent sau clasic admite numai dou valori de

adevr: fals, adevrat. Ridicarea acestei restricii ne va
situa ntr-o logica neoclasic sau polivalent.
n
logica
de
tip
propoziional,
propoziiile
sunt
nedecompozabile (se mai numesc atomice).
Propoziiile simple sau atomice sunt compozabile. Ele se pot
combina, dnd natere la noi propoziii, la rndul lor
adevrate sau false.

46

Operaiile de asociere sau de combinare se realizeaz prin

conectori, simbolizai si ei prin semne, conectori ntlnii
frecvent n vorbire sau n raionament.
Se folosete simbolul pentru i, simbolul
pentru sau, simbolul pentru dac, atunci, simbolul
pentru dac i numai dac. Vom scrie:

p q : Victor citete sau Adrian scrie.

p q : Dac Victor citete, atunci Adrian scrie.

Propoziiile compuse sau moleculare sunt
propoziionale. Se noteaz obinuit cu majuscule:

formule

P:(pq ) r .
Se citete: dac Victor citete i Adrian scrie, atunci este

linite ( r : este linite).

Formula P din exemplu este format din 3 atomi. Ea poate fi
privit drept o funcie de atomii p, q, r, care se mai numesc
variabile propoziionale. Estimarea valorii de adevr a
formulei P cnd nu se cunosc valorile de adevr ale
variabilelor propoziionale p, q, r, constituie obiectul
semanticii logicii propoziionale.
n formulele cu numai 2, 3 variabile propoziionale am
putea stabili valoarea lor de adevr relativ simplu, fr a fi
necesar un aparat simbolic de calcul.
n cazul n care formulele sunt deosebit de complexe, este
necesar un mijloc de calcul adecvat, oferit tocmai de logica
propoziiilor.
Alfabet.Totalitatea
simbolurilor
logicii
constituie un alfabet: p, q, r, , , , , (,).

47

propoziiilor

Aici intervine mulimea finit sau infinit de atomi (p, q, r,

p1, p2, p3,), simbolurile pentru conectorii logici,
parantezele.
Simbolurile ce nu sunt cuprinse n alfabet se numesc
simboluri metalogice, de exemplu, simbolurile P, Q, R
utilizate pentru formule.
Limbaj. Alfabetul mpreun cu formulele formeaz limbajul.
Proprietile, legile, regulile pot fi enunate pentru atomi;
apare necesar o regul suplimentar de trecere de la atomi
la formule (regula substituiei). Acele proprieti pot fi
enunate direct pentru formule si atunci se denumesc
scheme.
p p q q
Ex.:
este o formul ntotdeauna
adevrat, oricare ar fi atomii p i q.
P P Q Q este i ea ntotdeauna adevrat oricare ar
fi formulele P i Q.
Legea enunat pentru atomi poate fi generalizat la formule
prin substituie. Aceeai lege se poate enuna ca schem n
forma general pentru formule, fr a mai meniona
substituia.
S observm c, dintre conectorii folosii n logica
propoziiilor, conectorul non : este unar adic se aplic
unui singur atom, ceilali, ( , , , ). sunt binari deci
opereaz asupra a doi atomi.
Formula se poate defini recursiv:
1.Un atom este o formul.
2.Dac P este formul, (~P ) este o formul.
3.Dac P i Q sunt formule atunci ( P Q) , ( P Q ) , ( P Q ) ,
( P Q) sunt de asemenea formule.
4. Toate formulele se obin prin regulile (1), (2), (3).
48

n mod riguros, o formul se scrie ncepnd cu o parantez

stng i sfrind cu o parantez dreapta. n practic se
omit aceste paranteze, dac absena lor nu nate echivocuri.

2.4.2 Evaluare. Funcii de adevr

Pe mulimea propoziiilor atomice se introduce o funcie v
care aplic fiecare atom pe mulimea binar (adevrat, fals).
Se asociaz falsului 0 i adevarului 1.
Pentru fiecare atom, vom avea v(p)=0 sau v(p)=1.
O logic n care se consider numai dou valori de adevr se
numete bivalent (clasic).
O problem important a logicii propoziiilor const n
determinarea valorii de adevr a unei formule n funcie de
valoarea de adevar a componentelor (atomilor).
v
Se noteaz valoarea de adevr a unei formule P cu P {0,1}
sau cu v(P).

reguli

Se stabilesc urmtoarele
evaluarea formulelor:

de

recuren

v
1.dac P este un atom, P v( P)

daca Q v 0

daca Q v 1

2.dac P este : Q atunci P

v

1 daca P v Q v 1

3. P Q
v

altfel.

49

pentru

4. P Q

5. P Q

0 daca P v Q v 0

altfel.
1
v

6. P Q

0 daca P v 1, Q v 0

altfel.
1
v

daca

Pv Qv
altfel.

Aceste reguli (convenii) se pot enuna i astfel:

1.Negaia lui P, (~P ) este adevrat cnd P este fals i este
fals cnd P este adevrat. (~P se citete non P)
2.Conjuncia ( P Q) (i) este adevrat numai cnd att P
ct i Q sunt adevrate.
3.Disjuncia ( P Q ) (sau) este adevrat dac cel puin una
din componentele P sau Q este adevrat.
4.Implicaia ( P Q) este fals numai dac P este adevrat
i Q este fals. (se citete P implic Q sau, dac P atunci Q).
5.Dubla implicaie ( P Q) este adevrat cnd ambele
componente au aceleai valori de adevr.(se poate citi dac
P, atunci i numai atunci Q).
Regulile menionate se pot prezenta i prin tabelul urmtor:

Pv

Qv

: Pv

0
0
1
1

0
1
0
1

1
1
0
0

( P Q)v
0
0
0
1

50

( P Q)v
0
1
1
1

( P Q )v
1
1
0
1

( P Q)v
1
0
0
1

n mod curent se poate renuna la notatia cu indice v,

nelegndu-se prin P valoarea de adevr a formulei
respective.
Tabelul care arat valoarea de adevr a unei formule pentru
toate valorile posibile ale atomilor se numete tabel de
adevr.
Funcia de adevr face ca fiecrei evaluri a atomilor unei
formule s corespund una din valorile de adevr 0 sau 1.
Unei formule cu n atomi, concepui ca variabile
propoziionale, i va corespunde o funcie de adevr cu n
variabile binare. Tabela de adevr va avea deci 2n linii
pentru cele 2n evaluri posibile.
Exist 22 funcii de adevr distincte pentru o formul cu 2n
n
evaluri posibile, deoarece exist 22 moduri de aranjare a
lui 0 i 1 n ultima coloan a tabelei de adevr.
De exemplu, pentru n=2 exist 16 tabele de adevr i deci se
pot defini 16 conectori binari.
n

Numrul formulelor care pot fi construite cu n variabile

binare este infinit. Rezult c diferite formule corespund
unei aceleiai funcii de adevr.
Interpretare. O evaluare (atribuire de valori) a atomilor
unei formule se numete interpretare.
O formul P este adevrat ntr-o anumit interpretare dac
este evaluat cu 1; altfel este fals n acea interpretare.
O formul cu n atomi va avea deci 2n interpretri posibile.
O interpretare I se reprezint prin mulimea atomilor care
pot avea valorile 0 sau 1. De exemplu, {p, ~q, r, s} este o
interpretare n care p=1, q=0, r=1, s=1.

51

Dac P este adevrat n interpretarea I, se spune c I

satisface pe P. Altfel, I falsific pe P. O interpretare I care
satisface pe P se numete model al lui P.
Tautologie. Validitate. Consisten.
O formul se numete valid dac i numai dac este
adevrat n toate interpretrile. Altfel, formula se numete
nevalid.
O formul se numete inconsistent dac i numai dac este
fals n toate interpretrile. Altfel, formula se numete
consistent.
Formula valid se mai numete tautologie,
inconsistent se mai numete contradicie.

iar

cea

p : p 1 indiferent de p=0 sau p=1. (tautologie).

p : p 0 indiferent de p=0 sau p=1. (contradicie).

Rezult imediat c o formul este valid numai dac negaia

ei este inconsistent i invers.
O formul este nevalid dac exist o interpretare n care ea
este fals.
O formul este consistent dac
interpretare n care ea este adevrat.

exist

cel

puin

Se mai folosesc i alte denumiri.

O formul consistent se mai numete i realizabil.
Proprietatea de formul nerealizabil este foarte important
pentru demonstrarea automat a teoremelor, n care se
utilizeaz mai ales principiul contradiciei.

52

O formul nerealizabil fiind fals n toate interpretrile nu

admite niciun model. Dac se demonstreaz c exist cel
puin o interpretare, n care formula este adevrat (admite
cel puin un model), formula se dovedete a fi realizabil.
Proprietatea de realizabilitate se poate extinde i pentru o
mulime de formule: o astfel de mulime se spune c este
realizabil (din punctul de vedere al valorii de adevr), dac
exist o evaluare v pe mulimea formulelor, astfel c P v 1
pentru toi P din mulimea respectiv; altfel, mulimea
respectiv este nerealizabil.
Caracterul de tautologie sau realizabilitate a unei formule se
poate constata din tabela de adevr. Exist i alte procedee
de constatare (metoda Quine, metoda reducerii), care
folosesc proprieti ale unor formule simple din componena
formulelor considerate.
Echivalena. Dou formule sunt logic echivalente, dac
pentru orice interpretare iau aceleai valori de adevr (au
deci aceeai tabel de adevr). Se noteaz P Q .
O definiie echivalent este: P i Q sunt echivalente dac
P Q este o tautologie.
Reguli de transformare.
Dac P i P Q sunt tautologii, atunci Q este tautologie.
Aceast regula rezult din silogismul ipotetic modus ponens
i se noteaz MP. Se poate demonstra foarte uor, prin
metoda reducerii la absurd.
Dac ntr-o formul-tautologie, atomii se nlocuiesc (se
substituie) peste tot prin alte formule, formula obinut astfel
este de asemenea tautologie.
Demonstraie:

53

F f ( p1 , p2 ,K pn ), F f ( P1 , P2 ,K Pn ) .
Pentru orice interpretare p1 , p2 ,K pn , F=1 fiind tautologie.
n aceeai interpretare rezult P1 , P2 ,K Pn , care nlocuite n F
Fie

vor evalua aceast formul tot cu 1.

p : p 1
De exemplu:
(pentru orice p, formula este
evaluat 1); atunci ( p1 p2 p3 ) : ( p1 p2 p3 ) 1 .
Dac ntr-o tautologie o subformul se nlocuiete cu o
subformul echivalent, se obine de asemenea o tautologie.
Dualitate. Se numete formul restrns acea formul care
nu utilizeaz dect conectorii : , , .
Dac ntr-o formul restrns P se schimb ntre ele
simbolurile i i se nlocuiete fiecare atom prin
negaia sa, se obine o nou formul P : P .
Aceast proprietate rezult din faptul c n tabela de adevr
a conectorilor i valorile de adevr se obin una din
alta prin schimbarea ntre ele a lui 0 i 1.
Aceast proprietate se mai numete principiul dualitii.
Principiul dualitii afirm deci c un enun corect
implicnd , , 0, 1, poate fi tradus ntr-un alt enun
corect prin schimbrile ntre ele ale simbolurilor 0 i 1, i
.
Noiunile definite n termenii acestor simboluri trebuie
traduse prin dualele lor.
Astfel, dualul termenului tautologie este nerealizabil,
pentru c n primul caz toate interpretrile sunt 1, iar n al
doilea caz, 0.
Discuie despre conectori.
Calculul propoziiilor a aprut ca o formalizare a nlnuirii
corecte a propozitiilor n limbajul curent. Cei cinci conectori
54

(, , : , , ) surprind expresii gramaticale simple, care

leag propoziiile n uzul lor obinuit.
n ceea ce privete negaia i conjuncia, n folosirea lor nu
poate aprea nicio ambiguitate.
Dac p desemneaz: afar plou i q afar este frig,
atunci ~p nseamn afar nu plou sau nu este adevrat
c afar plou. p q va fi evident: afar plou i este frig.
n ceea ce privete disjuncia sau, p q afar plou sau
afar este frig, n limbajul obinuit nseamn fie una din
cele dou situaii (ori/ori), cel puin una, sau amndou.
De aceea, n logic se distinge disjuncia simpl i disjuncia
exclusiv, , cu urmtoarele tabele de adevr:
p

pq

pq

0
0
1
1

0
1
0
1

0
1
1
1

0
1
1
0

Implicaia este conectorul aspra cruia, n istoria logicii, sau purtat cele mai vii discuii: pq se citete: dac p,
atunci q. p implic q, p numai dac q i q este condiia
necesar a lui p.
Observaie. Prin faptul c implicaia este fals numai dac p
este adevrat i q este fals, se produce o ndeprtare de la
uzul curent al vorbirii.
n definiia implicaiei, falsul implic orice, iar adevrul este
implicat de orice.
Faptul c implicaia este adevrat cnd p este fals i q este
adevrat nu prea se mpac cu vorbirea curent.
Exemplu Dac

1 1 2 , Parisul e capitala Franei.

55

Dac Luna e un cacaval,

2 2 4 .

Cele dou propoziii sunt ambele adevrate. Se observ,

aadar, n propoziia a doua c falsul (Luna e un cacaval
implic un adevr exprimat de nmultirea in baza zece).
Conectori adecvai. O mulime de conectori se numete
mulime adecvat, dac orice formul poate fi exprimat
numai cu ajutorul conectorilor acestei mulimi.
Grupul

: , , ,

: , , : , , : ,

perechile

sunt

mulimi adecvate de conectori.

Consecine logice. Fie n formule P1 , P2 ,K , Pn . Formula P
este o consecin logic (tautologic) a premiselor
P1 , P2 ,K , Pn dac pentru fiecare evaluare v pentru care

P v1 P2v K Pn v 1 se obine i P v 1 .
Pentru consecina logic se folosete simbolul care mai
nseamn i tautologie: P1 , P2 ,K , Pn P. (P vom citi P este
tautologie).
Cu alte cuvinte, orice model al conjunciei premiselor
P1 , P2 ,K , Pn este i un model al concluziei.
Fie (propoziiile) formulele P1 , P2 ,K , Pn . Formula P este
o concluzie logic a premiselor P1 , P2 ,K , Pn dac i numai
dac P1 P2 K Pn : P este nerealizabil.
Demonstraie. Din definiia consecinei logice rezult c dac

P v1 P2v K Pn v 1

se

obine

P v 1 . Conjuncia
P1 P2 K Pn este tot 1, iar n conjuncie cu : P trebuie s
fie zero.
Stabilirea faptului dac o anume formul este sau nu o
consecin logic a altor formule date se poate face cu
ajutorul tabelelor de adevr.

56

Exemplu. Fie

P1 : A B ; P2 : (: B) ; P : (: A) S se

demonstreze P1 , P2 P.
A
0
0
1
1

B
0
1
0
1

A B
1
1
0
1

: B
1
0
1
0

: A
1
1
0
0

Cnd numrul de atomi ai formulei este foarte mare,

desigur metoda recurgerii la tabele de adevr devine
laborioas.
Pentru relaia de consecin logic se utilizeaz simbolul .
n loc de a spune P1 , P2 ,K , Pn P este o tautologie se scrie
P1 , P2 ,K , Pn P .
Conectorul reprezint o operaie din care rezult o
nou formul n timp ce P Q indic doar o legtur ntre
formulele P i Q care nseamn P nu poate fi adevrat i Q
fals!. Simbolul este cuprins n alfabet, iar simbolul
este un simbol metalogic.
Forme normale.
Un atom sau negaia unui atom se mai numete literal.
Definiie.O formul se spune i se prezint n forma normal
conjunctiv (FNC), dac are forma P1 P2 K Pn , unde
este o disjuncie de literale.

Pi

Definiie.O formul se spune i se prezint n forma normal

disjunctiv (FND), dac are forma P1 P2 K Pn , unde Pi

este o conjuncie de literale.
Exist o legtur imediat ntre formele normale i tabelele
de adevr.

57

Conjunciile care au proprietatea de a lua valoarea formulei

n cte o interpretare a ei se numesc se numesc
minitermeni sau clauze conjunctive iar disjunciile care au
proprietatea de a lua valoarea formulei n cte o interpretare
a ei se numesc se numesc
maxitermeni sau clauze
disjunctive.
Minitermenii

se

formeaz

scriind

interpretri o conjuncie, unde apare

dreptul

fiecrei

pi cnd ( pi ) v 1 i

: pi cnd ( pi )v 0 .
Maxitermenii

se

formeaz

scriind

interpretri o disjuncie, unde apare

dreptul

fiecrei

pi cnd ( pi )v 0 i

: pi cnd ( pi ) v 1 .
Exprimm formulrile de mai sus ntr-un tabel se obine:
Tabel cu minitermeni i maxitermeni

p1

p2

p3

Minitermeni

Maxitermeni

p1 p2 p3

p1 p2 p3

p1 p2 p3

p1 p2 p3

0
0
1
1
1
1

1
1
0
0
1
1

0
1
0
1
0
1

p1 p2 p3

p1 p2 p3

FND rezult ca o disjuncie a tuturor minitermenilor ce

corespund lui 1 n coloana de adevr, iar FNC ca o conjuncie
a maxitermenilor ce corespund lui 0 n coloana de adevr,
conform principiului dualitii.
Exemplu.

58

0
0
1
1

0
1
0
1

0
1
0
0

Minitermeni
semnificativi
-

Maxitermeni
semnificativi

ab

a b

a b

P ab

P (a b)(a b)(a b )

a b

La formele normale se poate ajunge i fr a recurge la

tabela de adevr, aplicnd diversele relaii ntre formule.
Calculul propoziional
n logica propoziiilor analizat mai sus s-a ncercat o
trecere de la abordarea intuitiv a problemei la abordarea
formalizat.
S-a pornit de la asocierea propoziiilor atomice prin
conectori utilizai i n vorbirea curent, s-a estimate
valoarea de adevr a propoziiilor compuse funcie de
conectorii folosii i de adevrul propoziiilor atomice
componente. n plus, propoziiile erau considerate numai
adevrate sau false, logica respectiv fiind bivalent.
Academicianul romn Grigore C. Moisil a reuit o
formalizare generalizat a logicilor bi- i polivalente, bazat
pe teoria congruenelor de numere.
Definiie. Dou numere ntregi se numesc congruente
de un anume modulo m dac diferena lor este un multiplu
ntreg al modulo-ului.
Se noteaz a b (mod m) . Deci a b N m, N 0,1,K
Observaie. Orice numr ntreg este congruent modulo m
cu 0, 1, 2, 3, (m-1), sau altfel spus este congruent cu
restul mpririi sale la m (clase de resturi).

59

Dac numrul respectiv se scrie n sistemul de

numeraie cu baza m, acel numr este congruent cu cifra
rangului cel mai puin semnificativ.
Calculul propoziiilor bivalente se poate efectua lucrnd cu
congruene modulo 2. Cu cele dou valori 0, 1 se pot defini
operaiile de adunare i de nmulire.

0 1
0 0 1
1 1 0

g 0 1
0 0 0
1 0 1

De fapt, 1 1 0 (mod 2) i de aceea adunarea de acest fel se

mai noteaz 1 1 0 (adunarea modulo 2).
Se poate constata uor c definiiile acestor operaii bazate
pe congruen respect proprietile de comutativitate,
asociativitate: 0+1=1+0, (0+1)+1=0+(1+1)=0, etc.
O variabil x care poate lua cele dou valori ale domeniului
(0, 1), se numete variabil binar.
Se constat cu uurin:

xx 0
x x x 2 x, x n x.
Dintre cele dou valori ale domeniului considerat (0,1) una
se numete contrara sau negata celeilalte. Se noteaz:

: 0 0 1 i : 1 1 0 . Se constat x x 1 .
O funcie de o variabil f ( x) reprezint o dependen ntre
fiecare valoare posibil a variabilei i valoarea funciei.
O funcie de o variabil binar se definete prin cele dou
valori ale ei, corespunztoare celor dou valori ale variabilei.

60

x
f ( x)

0
f (0)
1

1
f (1)
1

f(x)
1

Un grup de n variabile binare poate fi reprezentat printr-un

vector de n componente binare.
De exemplu, 3 variabile binare, x, y, z, se pot gsi n 23 8
situaii distincte.
x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

z
0
1
0
1
0
1
0
1

n general, n variabile binare se pot gsi n 2n situaii

n
distincte scriind numerele naturale 0, 1, L , 2 1 n sistemul
de numeraie cu baza 2. Geometric se mai pot reprezenta
cele
2n situaii distincte prin vrfurile unui cub ndimensional. Pentru numai 3 variabile binare obinem:
Reprezentare pe cub

61

z
(0,0,1)
(1,0,1)

(0,1,1)

(1,1,1)

(0,0,0)

(0,1,0)

(1,0,0)

y
(1,1,0)

Pentru numai 3 variabile binare se pot folosi i cercurile

lui Euler
Cercurile Euler

n fine, se mai reprezenta cele 2n situaii distincte n care

se pot gsi n variabile binare folosind tabelele VeitchKarnaugh cu 2m linii i cu 2n m coloane.

x3 x4 x5

0
0

0
0

0
1

0
1

1
0

62

1
0

1
1

1
1

x1 x2
00
01
11
10
O funcie de n variabile binare este complet definit cnd se
cunosc cele 2n valori corespunztoare celor 2n situaii
distincte ale celor n variabile binare.
Funcia de n variabile binare se poate reprezenta prin
succesiunea celor 2n valori luate ntr-o anumit ordine.
Dac se convine c cele 2n valori s fie prezentate la ordinea
crescnd a numerelor binare naturale, funcia de variabile
binare poatee fi definit de succesiunea valorilor ei, pornind
de la situaia 1111, de echivalent zecimal 2n 1 la
situaia 0000, de echivalent zecimal 0.
Exemplu
Considerm funcia

2n 1 2n 2

&
&
&
&
&
&
&
&
&1 0; n 3 , cu
f ( x, y , z ) 1 1 &
1&
1&
10

echivalentul zecimal 250.

x
y
(0) 0 0
(1) 0 0
(2) 0 1
0 1
1 0
1 0
1 1
n
( 2 1) 1 1

21 20

z
0
1
0
1
0
1
0
1

f ( x, y , z )
0
1
0
1
1
1
1
1

63

n felul acesta, n numrul binar cu 2n ranguri, bitul de pe

un anume rang, corespunde situaiei de un acelai
echivalent zecimal.
Din aceast reprezentare se poate observa c numrul total
n
de funcii distincte de n variabile este 22 adic succesiunile
de la 0000 pn la 11111, cu echivalenii zecimali de la
n
0 la 22 1 .
Diferitele funcii, exprimate n acest mod prin alte
succesiuni de
bii se mai pot exprima i prin
2n
echivalentul zecimal. n exemplul considerat echivalentul
zecimal al funciei 11111010 este 250.
Funciile de variabile binare mai pot fi definite prin
marcarea vrfului cubului n-dimensional corespunztoare
situaiilor de 1, prin haurarea ariilor constutuite cu
cercurile lui Euler corespunztoare situaiilor de 1, prin
nscrierea n tabelele Veitch-Karnaugh a valorilor din coloana
de adevr.
Pentru funcia din exemplul precedent vom avea:
z
(0,0,1)
(1,0,1)

(0,1,1)

(1,1,1)

(0,0,0)

(0,1,0)

(1,0,0)

y
(1,1,0)

64

yz

00

01

11

10

x
0
1
1
0
0
1
1
1
1
1
Pentru a putea efectua calcule cu funciile de variabile
binare este comod s putem exprim aceste funcii i pe
cale analitic, polinomial. Legtura dintre reprezentarea
tabelar i cea polinomial se obine prin formula de
interpolare Lagrange.
Fie f ( x) a x b , exprimat printr-un polinom de gradul 1.
Reamintim x x x x, x x n logica binar (puterile
superioare ale variabilei binare x se reduc la puterea ntia).
Obinem:
2

f (0) b.
f (0) b.

f (1) a b. f (1) f (0) a.

f ( x) a x b
Deci:

f ( x) f (0) f (1) x f (0)

f (0)( x 1) f (1) x f (0) x f (1) x

Polinomul care nmulete pe f (0) se numete lagrangian
de indice 0 (se noteaz L0 ( x ) ), iar ceea ce nmulete pe

f (1) se noteaz L1 ( x) i se numete lagrangian 1 de x.

Polinoamele lui Lagrange se bucur de urmtoarele
proprieti:

65

x
0 1
L0 ( x) 1 0
L1 ( x) 0 1

L ( x) 1, pentru x

L ( x) 0, pentru x

L0 ( x) L1 ( x ) 1; L0 ( x ) L1 ( x ) 0
Cu notaiile specificate: f ( x ) f (0) L0 ( x ) f (1) L1 ( x ) .
Cele 4 funcii distincte de o variabil binar se pot exprima
analitic astfel:

x
0
1

f 0 ( x)
0
0

f1 ( x)
0
1

f 2 ( x)
1
0

f 0 ( x) 0

f3 ( x)

f1 ( x) x

1 unde
f 2 ( x) x 1 x
1

f 3 ( x) 1

Pentru funciile de 2 variabile binare, dezvoltarea

lagrangian se poate obine considernd, pe rand, numai
cte o variabil i aplicnd formula valabil pentru aceast
unic variabil:

f ( x, y ) f (0, y ) L0 ( x) f (1, y ) L1 ( x) .
f (0, y ) f (0, 0) L0 ( y ) f (0, 1) L1 ( y ).
f (1, y ) f (1, 0) L0 ( y ) f (1, 1) L1 ( y ).
nlocuind:

f ( x, y ) f (0, 0) L0 x L0 y f (0, 1) L0 x L1 y f (1, 0) L1x L0 y f (1, 1) L1x L1 y .

Generaliznd obinem:

f ( x1 , x2 ,K xn )

i 0,1

f (1 , 2 ,K n ) L1 ( x1 ) L 2 ( x2 ) L
L n ( xn ) .

Pentru funcia de 3 variabile, de echivalent zecimal 250,

expresia analitic va fi:

66

f ( x, y , z ) 0 L0 x L0 y L0 z 1 L0 x L0 y L1z 0 L0 x L1 y L0 z
1 L0 x L1 y L1z
1 L1x L0 y L0 z 1 L1x L0 y L1z
1 L1x L1 y L0 z 1 L1x L1 y L1z

x y z x y z x y z x
y z x y z x y z.
Se observ c aceast expresie este o sum modulo 2 de
termeni, corespunztoare situaiilor de 1 din tabela de
adevr, fiecare termen fiind produsul variabilelor negate sau
afirmate, conform situaiei respective.
S analizm prin intermediul expresiilor lor analitice i a
tabelelor de adevr cele 16 funcii posibile de 2 variabile
binare ( 22 4 situaii distincte, 24 16 funcii):
x

f0

f1

f2

f3

f4

f5

f6

f7

f8

f9

0
0
1
1

0
1
0
1

0
0
0
0

1
0
0
0

0
1
0
0

1
1
0
0

0
0
1
0

1
0
1
0

0
1
1
0

1
1
1
0

0
0
0
1

1
0
0
1

f10

0
1
0
1

f11

1
1
0
1

f12

0
0
1
1

f13

1
1
1
1

f14

0
1
1
1

f15

1
1
1
1

Funciile plasate simetric fa de linia medie a tabelei de

adevr (pentru care suma indicilor este 15) se obin prin
nlocuirea reciproc a valorilor 0 i 1; aceste perechi de
funcii sunt una negata celeilalte.
S considerm cteva funcii reprezentative (considernd
funcia i simetrica ei):

f 0 ( x) 0 - constant; f15 ( x ) 1 - constant.

f1 ( x) x y se mai numete NICI (nici x, nici y).
f14 ( x) x y x y x y x y y x x y x y x y x
y.
Se mai numete funcie SAU (disjuncie, sau x sau y), n
englez OR. Din aceast cauz, negata funciei f1 ( x ) x y
se mai numete NOT OR sau NOR.

67

f 2 ( x ) x y xy y;
f13 ( x) x y x y xy y xy 1 y xy f 2 ( x )

f 3 ( x) x y x y x ;

f12 ( x) x. Se mai numete NOT.

f 4 ( x) x y xy x; f11 ( x) xy x 1 . Se mai numete

implicaie ( x y ) i este fals cnd antecedentul este
adevrat i precedentul fals.

f5 ( x) y ;

f10 ( x) y.

f 6 ( x) x y x y . Se mai numete nonechivalen, este egal

cu 1 cnd variabilele au valori diferite.

f 9 ( x) x y x y. Se mai numete echivalen.

f 7 ( x) x y x y x y x y 1. Se mai numete funcie
NUMAI pentru c ia valoarea 1 numai dac cel mult o
variabil este 1.

f8 ( x) x y. Se mai numete funcie I (n englez funcia

AND) sau conjuncie. Din aceast cauz negata i funcia
NUMAI se mai numete NOT AND, prescurtat NAND.
Este de remarcat c disjuncia SAU se exprim analitic prin
suma modulo 2 a fiecrei variabile i a produsului lor.
Datorit proprietii de asociativitate, disjuncia se poate
generaliza la mai multe variabile:

x y z ( x y ) z ( x y xy ) z x y z xy xz yz xyz
i de aici rezult c disjuncia este exprimat prin suma
tuturor variabilelor plus toate produseler dintre acestea.
Dac produsele sunt toate nule atunci semnul poate fi
nlocuit cu semnul i invers.

68

ntr-o dezvoltare lagrangian, toate produsele dintre termeni

sunt nule, cel puin una din variabile din componena a doi
termeni fiind negat ntr-unul i afirmat n cellalt. Aadar,
ntr-o dezvoltare lagrangian, semnul + poate fi nlocuit cu
rezultnd din ea asa numita form canonic disjunctiv
(FND).
Pentru funcia de 3 variabile binare 250 expresia va fi:

f ( x, y, z ) x y z x y z x y z x
y z x y z x y z.
Fiecare conjuncie este un minitermen (clauz conjunctiv).
Negata funciei 250, va avea numai 2 situaii de 1 i
expresia ei va fi:

f ( x, y, z ) x y z x y z
.
Mulimea valorilor binare, funciile negare, conjuncie i
disjuncie cu proprietile lor, formeaz algebra Boole.
Exist 19 proprieti ale algebrei booleene, 18 dintre
ele constituind perechi de proprieti duale:
1. Proprietile lui 0:

x 0 0.

x 0 x.

2. Proprietile lui 1:

x 1 x.

x 1 1.

3. Comutativitatea:

x y y x.

x y y x.

4. Asociativitatea:

x ( y z ) ( x y) z.

x (
y z
) ( x y) z
.

5. Idempotena:

x x x.

x x x.

6. Distributivitate:

x ( y z ) x y x z.

x (y z ) ( x y) ( x z ).

69

Inversa primei proprieti de distributivitate reprezint

scoaterea n factor.
7. Absorbia:
x ( x y ) x.
x ( x y ) x. y este absorbit.
8. Proprietile lui De Morgan:

x y x y .

x y x y .

n cuvinte: negarea conjunciei este disjuncia negatelor i

negarea disjunciei este conjuncia negatelor.
9. Noncontradicie i terul exclus:

x x 0.

x x 1.

10. Dubla negaie:

x x.

Toate aceste proprieti se pot demonstra folosind

expresiile algebrice corespunztoare sumei i produsului,
pentru congruenele modulo 2.
Orice funcie de variabile binare poate fi exprimat cu
ajutorul operatorilor negare NOT, SI, SAU. Aceti operatori
alctuiesc un sistem complet de operatori.
Exist i alte sisteme complete de operatori ca de exemplu
non, i; non, sau; .a. Se constat uor acest lucru folosind
dubla negaie i proprietile lui De Morgan.
Se poate demonstra, de asemenea, c numai NAND-urile
sau numai NOR-urile pot exprima orice funcie de variabil
binar.
Exemplu:

x y x y x y x y ( x y) ( x y ) ( x y ) ( x y )

( x y ) ( x y)
Aplicnd teorema lui De Morgan formei normal disjunctive
FND se obine forma normal conjunctiv (FNC) cu
maxitermeni sau clase disjunctive.

70

f ( x, y , z )

y z

x y z .

i 0,1

Exemplu: Considerm aceeai funcie de echivalent zecimal

250 i ne propunem s gsim FND i FNC i s le exprimm
prin NAND i NOR.
x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

z
0
1
0
1
0
1
0
1

f ( x, y , z )
0
1
0
1
1
1
1
1

FND: f ( x, y, z ) x y z x y z xy z x y z x y z x y z .
FNC: f ( x, y, z ) x y z x y z .

f ( x, y , z ) x y z x y z ( x y z ) ( x y z ).
La rndul lor, aceste forme canonice se pot exprima prin
funciile NAND sau NOR.

x
0
0
1
1

y
0
1
0
1

f ( x, y )
0
1
1
0
FND: f ( x, y ) x y x y x y / x y ( x / y ) / ( x / y ).
Exprimarea cu NAND-uri urmrete convenia de scriere

x x x x / x. x x x x x.
Exprimarea cu NAND-uri
71

xy
(xy) (xy) xy xy

x
y

x y

FNC:

f ( x, y ) ( x y ) ( x y ) ( x y ) ( x y ) ( x y ) ( x y ).
O funcie de variabil binar (ceea ce reprezint o
formul) se numete valid (tautologie) dac i numai dac
este adevrat n toate interpretrile (n tabela de adevr
este 1 peste tot) echivalentul ei zecimal fiind 2n 1 .
O funcie de variabil binar se numete inconsistent
dac i numai dac este fals n toate interpretrile
echivalentul ei zecimal fiind 0. Se mai numete n acest caz
contradicie.
Ex: x x 1 este tautologie x x 0 este contradicie.
Tautologia i contradicia sunt una negaia celeilalte.
O formul se numete consistent sau realizabil dac este
adevrat cel puin ntr-o interpretare a ei.
n demonstrarea automat a teoremelor se utilizeaz
mai ales contradicia: o formul nerealizabil fiind fals n
toate interpretrile ei nu admite niciun model. Dac se
demonstreaz c exist cel puin o interpretare n care
formula este adevrat, formula se dovedete a fi realizabil.
Proprietatea de realizabilitate se poate extinde i la un
grup de formule (funcii): dac exist o interpretare astfel
nct toate formulele din grup s fie 1, grupul respective
este realizabil.
Dou funcii se numesc echivalente, dac pentru orice
interpretare iau acelai valori de adevr.
Simplificarea (minimizarea) funciilor de variabile binare

72

Dac o tabel de adevr poate corespunde mai multor

funcii echivalente, un interes deosebit prezint acea
exprimare mai simpl, coninnd ct mai puine variabile i
ci mai puini termeni.
Operaia prin care de la o expresie mai complex se
ajunge la una mai simpl, echivalent, se numete
simplificare sau minimizare.
Exemplu: Considerm
echivalent zecimal 250:
x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

z
0
1
0
1
0
1
0
1

funcia de 3 variabile binare de

f ( x, y , z )
0
1
0
1
1
1
1
1

Forma sa normal disjunctiv este:

f ( x, y, z ) x y z x y z xy z x y z x y z x y z.
Aplicnd proprietile algebrei Boole se obine:

f ( x, y, z ) xz ( y y ) xy ( z z ) x y ( z z )
xz xy x y xz x( y y ) xz x x z.
Se observ c de la o form cu 18 literale am ajuns la una
mult mai simpl cu numai 2 literale. Aplicarea proprietilor
algebrei Boole permite simplificarea, dar necesit o oarecare
rutin, implic observarea posibilitilor de aplicare a
acestor proprieti. Exist i metode sistematice de
73

simplificare
corespunztoare
diferitelor
moduri
de
reprezentare a funciilor.
S-a putut observa c la baza simplificrilor efectuate
cu utilizarea proprietilor algebrei Boole a stat eliminarea
unor variabile (neeseniale) din doi minitermeni numii
adiaceni :

f ( x, y , z ) x y z x y z x z ( y y ) x z

Termenii adiaceni sunt aceia pentru care n-1 variabile

(eseniale) au aceleai valori, iar a
n-a
are valori
complementare: f ( x1 , x2 ,K xi , xi 1 ,K xn ) f ( x1 , x2 ,K xi , xi 1 ,K xn )
.
Variabila xi se numete neesenial i poate fi eliminat.
Majoritatea metodelor de minimizare se bazeaz pe
depistarea
adiacenelor
i
eliminarea
variabilelor
neeseniale.
Exist adiacene de ordinul 1, (cele menionate), de ordinul
2 n care exist 2 variabile neeseniale .a.m.d.
In cazul reprezentrilor geometrice ale funciei de variabile
binare, adiacenele se depisteaz direct pe figur din
alturarea situaiilor corespunztoare valorilor de 1 din
tabela de adevr.
Exemplu: Considerm funcia de 3 variabile binare de
echivalent zecimal 250, reprezentat prin alturarea
situaiilor corespunztoare valorilor de 1 din tabela de
adevr.

74

z
(0,0,1)

(0,1,1)

(1,0,1)

(1,1,1)

(0,0,0)

(0,1,0)

(1,0,0)

y
(1,1,0)

O muchie a cubului cu ambele vrfuri marcate determin o

adiacen de ordin 1, cu o variabil neesenial, care n cele
dou vrfuri are valori contrare, fr ca prin aceasta s
modifice valoarea funciei.
O fa a cubului cu toate 4 vrfuri marcate, determin o
adiacen de ordinul 2, cu dou variabile neeseniale i
precizat numai variabila ce definete acea fa a cubului;
.a.m.d.
n exemplul considerat se observ dou adiacene de
ordinul 2, (feele x=1 i z=1) care acoper toate vrfurile
marcate ale cubului. Toi minitermenii din funcia de 3
variabile binare sunt acoperii de x z , rezultat gsit i prin
aplicarea proprietilor algebrei Boole.
n reprezentarea funciei prin cercuri Euler, de asemenea
adiacenele sunt vizibile direct pe diagram

75

Cele 6 zone corespunztoare situaiilor de 1 corespund

cercurilor x=1 i z=1, obinnd astfel rezultatul x z .
Pentru funciile de mai multe variabile este recomandabil
utilizarea reprezentrilor geometrice prin hri logice
(diagrame Veitch-Karnaugh)
i de aceast dat, adiacenele sunt evideniate prin
gruparea csuelor marcate cu 1: dou csue alturate pe
linie sau pe coloan determin o adiacen de ordinul I, 4
csue alturate (4x1 sau 2x2) determin o adiacen de
ordin II cu dou variabile neeseniale, 8 csue alturate
(8x1, 4x2, 2x4 sau 1x8) determin o adiacen de ordin III
cu 3 variabile eliminabile .a.m.d.
Pentru exemplul considerat (funcia de 3 variabile 250)
yz

00

01

11

10

0
1

1
1

1
1

0
1

x
0
1

Sunt evideniate 2 zone-adiacene de ordin II: linia x=1 i

coloane caracterizate prin z=1.(att x, ct i y sunt aici
neeseniale. Rezultat: x z .
Este de menionat c prin folosirea codului ciclic de
parcurgere a interpretrilor posibile i coloane extreme sunt
adiacente.
Este de asemenea de remarcat c n rezultatul final trebuie
incluse toate interpretrile de 1 n tabela de adevr chiar
dac nu semnalm apariia vreunei zone de adiacen.
n cazul funciilor incomplet determinate pentru care nu se
precizeaz valoarea de adevr n unele situaii (arbitrare), se
va admite o valoare sau alta de adevr, funcie de
simplitatea rezultatului final.

76

O forma analitic de minimizare a funciilor logice este

Quine Mc-Klusky. Depistarea adiacenelor se realizeaz pe
baza urmtoarelor observaii:
-dou situaii adiacente sunt de aa fel c una din variabile
este 0 ntr-una din cele 2 situaii i 1 n cealalt. Deci
situaiile adiacente sunt caracterizate printr-un numr de
variabile 1 diferit cu o unitate.
Ex.: 100 i 101 (un 1 n prima situaie, 2 de 1 n a doua).
-n al doilea rand, acel 1 in plus n perechea de situaii
adiacente, trebuie s corespund unui anume rang i nu s
fie obinut prin compensarea trecerii n 0 pe alte ranguri.
Ex.: 100 i 011.
Bazndu-ne pe aceste 2 observaii, algoritmul de
minimizare Quine Mc-Klusky se desfoar n urmtoarele
etape (le vom ilustra considernd funcia de 3 variabile
binare de echivalent zecimal 250)

f ( x, y , z ) x y z
0
0 0 0 (0)
1
0

0 0 1 (1)
0 1 0 (2)

1
1
1

0 1 1 (3)
1 0 0 (4)
1 0 1 (5)

1
1

1 1 0 (6)
1 1 1 (7)

1. Se grupeaz situaiile de 1 din tabela de adevr pe grupe

de situaii cu 0 de 1, cu 1 de 1, cu 2 de 1,etc.
Aadar:

001 (1)
Grupa cu 1 de 1
Grupa cu 2 de 1
100

(4)

77

011 (3)

101 (5)
110 (6)

Grupa cu 3 de 1 111 (7) .

2.ntr-o a doua etap se compar fiecare interpretare dintr-o
grup cu toate interpretrile grupei imediat urmtoare,
comparaie fcndu-se din punctul de vedere al diferenelor
echivalenilor zecimali. Dac o asemenea diferen este o
putere a lui 2, aceasta semnific faptul c pe rangul
corespunztor acelei puteri a lui 2 apare acel 1 n plus. Pe
rangul respectiv variabila se dovedete a fi neesenial i se
elimin.

(1) (3) 21 0 1

2
(1) (5) 2 10
(1) (6)

(3) (7) 2 2 11
(5) (7) 21 1 1
(6) (7) 20 11

(4) (5) 20 10
(4) (6) 21 1 0

3.n continuare se compar perechile de interpretri obine

i se caut adiacen de ordin 2 prin existena unei aceleai
puteri a lui 2 ca diferen ntre ambele componente ale
perechilor:

(1) (3) (5) (7) 2 2 1

(1) (5) (3) (7) 21 1
(4) (6) (5) (7) 20 1

Se constat c toate cele 6 interpretri de 1 din tabela de

adevr ((1),(3),(4),(5),(6),7)) sunt cuprinse n grupurile de
cte 4 interpretri determinate ca fiind adiacene de ordin 2
i exprimate prin x i z. Rezultat: f ( x, y , z ) x z

Pentru funcii de mai multe variabile, se caut n

continuarea adiacenele de ordin 3, constituite din
compararea ntre ele a grupurilor de cte 4 interpretri
(adiacene de ordin 2) .a.m.d.
Se rein ca rezultat al minimizrii toate adiacenele
reprezentate prin variabilele eseniale care le caracterizeaz,
dar i eventualele interpretri rmase in afara lor.

78

Metoda coeficienilor nedeterminai

Fiecare minitermen din exprimarea FND (sau fiecare
interpretare posibil a variabilelor componente) se poate
exprima printr-o sum de termeni cuprinznd variabilele
luate singular, grupurile de 2 variabile, grupurile de 3
variabile etc., toi aceti termeni fiind asociai cu un
coeficient iniial nedeterminat.
Exemplu

x1 x2 x3 x4 x5 k11 x1 k20 x2 k31 x3 k 40 x4 k51 x5 k1210 x1 x2 k1311x1 x3 K

101
10101
k145
x1 x4 x5 K k12345
x1 x2 x3 x4 x5

Coeficienii se pot determina astfel: dac interpretarea

respectiv face parte dintr-o adiacen de ordin 4, cu patru
variabile neeseniale, atunci ea se reduce la unica valabil
1
esenial (de ex. x3) i deci k3 1 , restul coeficienilor putnd

fi nuli.
Dac interpretarea considerat conduce la falsitatea funciei
(0 n tabela de adevr) toi coeficienii sunt nuli.
Dac interpretarea considerat conduce la un 1 n tabela de
adevr, este suficient ca un singur coeficient s fie nenul
dar pot fi i mai muli.
Se va considera 1, acel coeficient ataat unui produs de
literale ct mai mic ca numr de factori.
Practic, metoda de minimizare a coeficienilor nedeterminai
se aplic n modul urmtor:
Se alctuiete tabelul:

79

x y z
0 0 0
0 0 1

f ( x, y , z )
0
1

0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
Se
n

C
i 1

constat
i
n

xy
xy

cn2
xz
xz

yz
yz

cn3
xyz
xyz

z
z
z

xy
xy
xy

xz
xz
xz

yz
yz
yz

xyz
xyz
xyz

z
z
z

xy
xy
xy

xz
xz
xz

yz
yz
yz

xyz
xyz
xyz

x
x

cn
y
y

z
z

0
1
1

x
x
x

y
y
y

1
1
1

x
x
x

y
y
y

numrul

coloanelor

din

tabel

este

2n 1 , n find numrul de variabile ale funciei. Nu

este necesar s fie explicitai i coeficienii, acetia fiind

subnelei.
Se taie cu o linie orizontal toi termenii care corespund
interpretrilor de zero (toi coeficienii care le sunt implicit
ataai sunt nuli).
Apoi, pe coloane se anuleaz toi coeficienii care din prima
faz au fost determinai ca fiind nuli. Se adopt n
continuare pe fiecare linie, coeficienii 1, cei care corespund
produselor ct mai scurte. Se constat uor c toate cele 6
interpretri de 1 sunt acoperite de x z .

Aplicaii ale calculului propoziiilor bivalente

Calculul circuitelor electrice.
Unui contact care poate fi nchis sau deschis I se asociaz
respective valorile 1 i 0. Contactul poate fi reprezentat

80

printr-un bloc, simbolizat x, y, iar conductibilitatea sa este o

funcie de starea contactului.
Se constat c dac acel contact este nchis,
conductibilitatea sa electric este 1 i n caz contrar 0.
Valoarea asociat conductibilitii lui este deci aceeai cu
valoarea asociat contactului.
Legturile serie i paralel ale contactelor reprezint modele
ale funciilor I, respectiv SAU.
Unui circuit complex, cu combinaii de legturi serie-paralel
i corespunde valoarea 1 cnd curentul poate trece i 0 n
caz contrar.
Exemplu:

z
y
f ( x, y, z ) x y (( x y ) z ) x y xz yz
n cazul circuitelor electronice, realizate cu tranzistoare,
conducia de curent (semnal) corespunde saturaiei, iar
neconducia corespunde blocrii tranzistorului.
n reprezentarea grafic apar aa numitele pori logice,
simbolizate ca n desenul urmtor.

81

ab

ab
SAU

b
b

a
a

aa( b)

b ab ab

ab
ba( b)

Problema de analiz const n aceea c se d circuitul i se

cere s se determine transmitana (tabela de adevr a
circuitului dat).
Problema de sintez dimpotriv pornete de la condiiile
impuse circuitului exprimate prin tabela de adevr i se cere
structura circuitului.
Problema de analiz se rezolv mai inti formula structural
a circuitului (FND), efectund apoi minimizrile i n
expresia final se constat n ce interpretri transmitana
este 1 sau 0.
82

n problema de sintez, conform tabelului de adevr se

obine forma normal disjunctiv (FND) se minimizeaz
aceast form i se implementeaz.
Circuitele electrice i electronice se clasific n dou mari
categorii:
-circuite combinaionale
-circuite secveniale
n circuitele combinaionale, ieirile sunt funcie de intrri,
neinteresnd i ali factori n transmiterea semnalelor.
La circuitele secveniale (numite i circuite cu memorie),
exist legturi inverse ntre diferite ieiri i intrri, astfel
nct chiar i fr modificarea semnalelor de intrare, ieirile
se pot modifica n timp.
n sinteza circuitelor secveniale trebuie urmrite din
aproape n aproape situaiile care apar.
S considerm drept exemplu sinteza circuitelor de stop la o
intersecie de cale ferat (reprezentat prin linia ngroat).

O
A

O STOP

83

Prezena trenului n zonele A sau B este sesizat de

contactele A, B care se nchid fie prin greutate fie prin
circuitul de cale.
Tabela de adevr se stabilete din condiii:
A
0
1
1
0
0
1
1

B
0
0
1
1
1
1
0

W
0
1
1
0
1
1
0

Se constat o dubl incompatibilitate. Pentru a o rezolva se

recurge la o variabil auxiliar, un releu intermediar X.
A
0
1
1
1
0
0
0
1
1
1

B
0
0
1
1
1
0
1
1
1
0

X
0
0
0
1
1
1
0
0
1
1

W
0
1
1
1
0
0
1
1
1
0

X
0
0
1
1
1
0
0
1
1
1

Corespunztor tabelului funciile aferente vor fi:

f (W ) AB X ABX ABX ABX AB X ( AB AB )

f ( X ) ABX ABX ABX ABX AB X ( AB AB )

Calculul propoziiilor trivalente

84

Se poate fundamenta cu ajutorul congruenelor modulo 3.

a b (mod 3)
a b N 3

Orice numr ntreg este congruent modulo 3 cu 0, 1 sau 2,

adic cu restul mpririi sale la 3.
Clasa de resturi este {0, 1, 2}.
Dac se exprim numrul respectiv n sistemul de
numeraie cu baza 3, atunci acel numr este congruent
modulo 3 cu cifra rangului su 30 .
Variabila care poate lua cele 3 valori ale clasei de resturi ),
1, 2, se numete trivalent. Cu cele trei valori se definesc
operaiile de adunare i nmulire:

0 1 2
0 0 1 2
1 1 2 0

g 0 1 2
0 0 0 0
1 0 1 2

2 2 0 1

2 0 2 1

Variabila trivalent se bucur de proprietile:

x
x2
x3

x x x 0.

0 1 2
0 1 1
0 1 2

x 3 x.
x 2 k 1 x, x 2 k x 2 .
Funcia de variabil trivalent este o corespondent ntre
fiecare valoare a variabilei i valoarea funciei. Aceasta din
urm poate fi bi- sau trivalent.
Exemplu:

x
0 1 2
;
f ( x) 2 0 1

f (0) 2; f (1) 1; f (2) 1.

85

Funcia se exprim printr-o triplet de valori bi sau

trivalente. Numrul de funcii distincte este 2 9 sau
respective 33. [000111; 000222].
Exprimarea analitic se obine prin interpolare lagrangian:

f ( x ) a x 2 bx c;

f (0) c
a 2 f (0) 2 f (1) 2 f (2).

f (1) a b c
b 2 f (1) f (2)
f (2) a 2b c
c f (0)

Deci:

f ( x) [2 f (0) 2 f (1) 2 f (2)] x 2 [2 f (1) f (2)] x f (0)

f (0)[2 x 2 1] f (1)[2 x 2 2 x] f (2)[2 x 2 x]
f (0) L0 x f (1) L1x f (2) L2 x .
Proprietile polinoamelor lui Lagrange sunt exprimate n
tabelul de mai jos:

x
L0 x 2 x 2 1
L1x 2 x 2 2 x
L2 x 2 x 2 x

0
1
0
0

1
0
1
0

2
0
0
1

L0 x L1x L2 x 1

L j ( x) Li ( x ) 0; i j

Li 2 ( x) Li ( x )

L ( x ) 1, x

L ( x) 0, x
Exemplu:

x
0 1 2
f ( x) 2 0 1

f ( x) 2(2 x 2 1) (2 x 2 x) x 2.

86

Pentru funcii de mai multe variabile trivalente:

f ( x1 , x2 ,K xn )

i 0,1,2

f (1 , 2 ,K n ) L1 ( x1 ) L2 ( x2 ) L
L n ( xn )

Este de menionat c se poate echivala calculul cu elemente

trivalente cu cel al elementelor bivalente, asociind fiecrui
element trivalent un grup de 3 elemente bivalente.
Fie de exemplu maneta tripoziional x. Acestei manete i se
pot asocia trei elemente bivalente x0, x1, x2, conform
tabelului:
x0
x1
x2

x
x0
x1

0 1 2
1 0 0
0 1 0

x2

0 0 1

Se observ c cele 3 elemente bivalente asociate reprezint

lagrangienele pentru variabila trivalent.
Dintre funciile posibile se distinge funcia negare a crei
valoare de adevr este v ( p ) 2 v ( p).

x x
0 2
1 1
2 0

87

Dintre funciile de 2 variabile trivalente sunt utilizate cele

denumite conjuncie i disjuncie:

x y min( x, y ) x y max( x, y ).
Tabela de adevr corespunztoare acestor 2 funcii:

x y
0 0

x y
0

x y
0

0 1
0 2

0
0

1
2

1 0

1 1
1 2

1
1

1
2

2 0

2 1
2 2

1
2

2
2

Expresiile analitice ale

interpolare Lagrange:

acestor

88

funcii

se

obin

prin

x y (2 x 2 2 x)(2 y 2 2 y ) (2 x 2 2 x )(2 y 2 y )
(2 x 2 x)(2 y 2 2 y ) 2(2 x 2 x)(2 y 2 y ) 2 x 2 y 2
2 x 2 y 2 x y 2 xy xy (2 xy 2 x 2 y 1).
x y (2 x 2 1)(2 y 2 2 y ) 2(2 x 2 1)(2 y 2 y )
(2 x 2 2 x)(2 y 2 1) (2 x 2 2 x)(2 y 2 2 y )
2(2 x 2 2 x)(2 y 2 y ) 2(2 x 2 x)(2 y 2 1)
2(2 x 2 x)(2 y 2 2 y ) 2(2 x 2 x)(2 y 2 y)
x 2 y 2 x 2 y xy 2 2 xy y x
xy ( xy 2) xy ( x y ) ( x y )
xy ( xy 2) ( x y )( xy 1).
Multe noiuni definite din logica bivalent rmn aceleai:
regulile de formare a formulelor, funciile de adevr,
tautologii (pentru orice interpretare 2), contradicii (orice
interpretare 0), echivalene.
Principalele elemente de lucru rmn tabelele de adevr i
expresiile analitice.
Cu ajutorul acestora se constat, de exemplu, valabilitatea
formulelor lui De Morgan:

x y x y

x y x y

x y

x y

xy

xy

0
0
0
1
1
1
2
2
2

0
1
2
0
1
2
0
1
2

0
0
0
0
1
1
0
1
2

0
1
2
1
1
2
2
2
2

2
1
0
1
1
0
0
0
0

2
2
2
2
1
1
2
1
0

89

n schimb, nu mai sunt valabile legile contradiciei i

terului exclus.
Astfel,

xx

xx

nu este ntotdeauna fals, pentru x=1, iar

nu ia valoarea 2.

n logica trivalent apare principiul cvartului exclus:

x x ( x 1) 2
De asemenea, principiul contradiciei se enun:

x x ( x 1) 0
0 este element neutru pentru disjuncie i 2 este element
neutru pentru conjuncie:

x0 x

x2 x

n logica trivalent, implicaia se poate define n mai multe

feluri, corespunztor diverselor forme de exprimare a ei n
logica bivalent.
Pornind de la implicaia intuitiv, se ajunge la definiia:

p\q 0 1 2
2,
pq
q,

pq

2 2 2

pq

1
2

0 2 2
0 1 2

Definiiile de mai sus ale funciilor , , , corespund

logicii intuiioniste a ndoielnicului (incertului).

90

n sistemul trivalent al lui Bochvar, pentru care valoarea

intermediar ntre adevr i fals este absurdul, funciile
respective se definesc ca n tabelul de mai jos:
p

pq

pq

pq

0
0
0
1
1
1
2
2
2

0
1
2
0
1
2
0
1
2

0
1
0
1
1
1
0
1
2

0
1
2
1
1
1
2
1
2

2
1
2
1
1
1
0
1
2

p
2

Calculul elementelor n-valente se poate efectua cu ajutorul

argumentelor modulo n , prin generalizare.
Se lucreaz cu modulo numr prim , pentru ca nmulirea s
dea rezultat nul numai daca unul din factori este nul.

Calculul ansamblelor de variabile discrete

Pentru calculul ansamblelor de variabile discrete se pot
utiliza generalizri ale calculelor variabilelor singulare,
respectiv teoria congruenelor modulo dublu.
Definiie.Generaliznd definiia
simplu, numr, se spune c un
congruent modulo dublu (numr
mpririi sale la polinomul modulo,
conform modulo numr.
Exemplu:

91

argumentelor modulo
polinom oarecare este
i polinom) cu restul
calculele efectundu-se

z3 z 1

z2 z 1

z3 z 2 z

z 1

z2 1
rest z
Se scrie:

z 3 z 1 z (mod 2, z 2 z 1)
Calculele mpririi polinomului dat la polinomul modulo sau efectuat conform definiiilor adunrii i nmulirii mod2.
Dac cele 2 modulo sunt z 2 z 1 i 2, resturile posibile
sunt: z 1, z , 1 , 0 , sau n general, polinoame de grad 1 de
tip: a z b cu a , b {0, 1} .
n clasa de resturi considerat intervin deci perechi de
valori (a, b) ca i n cazul numerelor complexe.
Coeficientul lui z ar fi similar componentei imaginare,
coeficientul liber ar fi similar componentei reale a
numrului complex.
Cele 4 resturi posibile ar putea fi notate 0, 1, , +1,
desemnnd componenta a 2-a (imaginar).
n general dac polinomul modulo este de grad n i modulo
numar este m , clasa de resturi va fi constituit din grupuri
de n variabile m-valente (corpul mn), din vectori cu n
componente, fiecare putnd avea valorile 0, 1, m-1.
Cu cele 4 resturi ale corpului 22 se definesc operaiile:

92


0
1

0
0
1

1 1

1
1

1
0
1
1 0
1

1
0
0

1
1 1
1 0 1 1

g
0
1

0
0
0
0

1
0
1

z 2 z 1; 2 1

z2 z 1
1
rest z 1
z2

O variabil n corpul 22 se bucur de proprietile: z+z=0 i

pentru puteri construim tabelul:

z
z2
z3
z4

0
0
0
0

1
1
1 1
1 1
1
1
1

z4 z
z5 z 2
z6 z3 L

O funcie de variabil n corpul 2 2 se poate exprima prin

tabel de adevr sau analitic, prin interpolare lagrangian (n
loc de 4 valori avem 4 coeficieni ai polinomului):

z
0
1

f ( z)
1
0
1

f ( z ) az 3 bz 2 cz d
f (0) d .
f (1) a b c d
f ( ) a 2b c d
f ( 2 ) a b 2 c d

Pentru a gsi coeficienii funciei f(z), a, b, c, d, summ

membru cu membru relaiile scrise mai sus multiplicate
corespunztor (de la caz la caz). Gsim:

93

f (0) f (1) f ( ) f ( 2 ) a.
f (1) f ( ) 2 f ( 2 ) b.
f (1) 2 f ( ) f ( 2 ) c.
f (0) d
f ( z ) az 3 bz 2 cz d [ f (0) f (1) f ( ) f ( 2 )]z 3
[ f (1) f ( ) 2 f ( 2 )]z 2 [ f (1) 2 f ( ) f ( 2 )]z f (0)
f (0)[ z 3 1] f (1)[ z 3 z 2 z ] f ( )[ z 3 z 2 2 z ] f ( 2 )[ z 3 2 z 2 z ].

f ( z ) f (0) L0 ( z ) f (1) L1 ( z ) f ( ) L ( z ) f ( 2 ) L 2 ( z ).
Polinoamele lui Lagrange n z se bucur de proprietile:

L ( z ) 1, z ; L ( z ) 0, z
L0 ( z ) L1 ( z ) L ( z ) L 2 ( z ) 1. L 1 ( z ) L 2 ( z ) 0, 1 2
Variabila compus z se poate exprima i prin cele dou
componente: z a b z 2 a 2b.
Polinoamele Lagrange devin:

L0 ( z ) L0 (a ) L0 (b) a b , L1 ( z ) a b , L ( z ) a b, L 2 ( z ) a b.
Componentele variabilei complexe se pot deduce din
2
2
2
variabil i ptratul ei b z z; a z z.
n problemele de sintez a circuitelor electrice se poate folosi
calculul n corpul 22 (n general mn) sau se folosete simplu
alturarea componentelor.
Exemplu. Fie un transportor cu dou seciuni A i B,
comandat cu o pereche de butoane P, O. Se impune ca la
pornire s funcioneze nti B apoi A, la oprire s se
decupleze nti A apoi B.
Se asociaz butoanelor variabila compus: u P O
contactoarelor A, B variabila compus z A B .
Conform condiiilor impuse se stabilete tabela de adevr:
94

u
0
1
1

z
0
0

0
1 2
0
2
2

2

zb
0

Folosind interpolarea Lagrange definit anterior, innd cont

de polinoamele lagrangiene respective care apar i de
operaiile n modulo 2 care reduc aceste operaii rezult
funcia definit de valoarea de adevr de mai sus:

95

zb L1u L0 z 2 [ L0u L1u ]L z 2 [ L0u L1u ]L 2 z

[ L u L 2u ]L 2 z (u 3 u 2 u )( z 3 1) 2 (u 2 u 1)( z 2 z )
(u 2 u )( z 3 2 z 2 z ) u 3 z 3 u 3 2u 2 z 2 uz 2 2 z 2 2 z
u 2 z 2 z 2 z (u 3 z 3 u 3 u 2 z 2 uz 2 z 2 z )
( P 2O)( A 2 B ) ( A 2 B) ( A B )
[ A B ( P O PO)( A B AB 1) ( A 2 B)(O )]
( P 2O)( A 2 B ) B [ A B PA PB PAB P OA OB
OAB O POA POB POAB PO AO 2OB ]
PA PB OA B OB [OA PB OB A B PA PB PAB P
OB OAB O POA POB POAB PO ]
POAB 2 [ PO PO] AB 2 [ PO PO ] AB [ PO PO ] AB
POAB 2OAB 2OAB OAB OB [ AB OA( P B )].

Pentru a efectua calcule n corpul 23 se folosesc congruene

modulo dublu z3+z2+1 i 2.
Resturile posibile la mprirea oricrui polinom la
polinomul modulo de grad 3 vor fi polinoame de grad 2 de
forma cz2+bz+a, cu a, b, c lund valorile 0 sau 1.
Corpul 33 este constituit din resturile mpririi la un
polinom z 3 z 1 dar innd seama de adunrile i nmulirile
modulo 3.
Se definesc operaiile de adunare i nmulire n corpurile
compuse, se stabilesc relaiile de interpolare Lagrange, dar
dar polinoamele Lagrange pot fi exprimate prin produsele
polinoamelor Lagrange ale componentelor.
n loc de congruene modulo dublu, pentru justificarea
calculelor cu grupuri de variabile discrete se pot utiliza
congruenele de vectori sau de matrici.

96

Doi vectori (fazori) sunt congrueni modulo m dac au

aceeai direcie i diferena lor este multiplu ntreg de
modulo.
Se regsesc definiiile adunrii i nmulirii cu cele 4 resturi
din corpul 22 pornind de la steaua fazorilor din figur:

Dou matrici se numesc congruente modulo m dac toi

componenii corespunztori sunt congrueni modulo m.
Fie, de exemplu matricea ptratic:

b
a
b a b , a, b 0, 1, m 1.

0
1

1
1

1
0

1 0
0
1 1 0 1 1 1

.
1
1 0 1 1 1 0
0
1

Pentru corpul 23 se pot folosi matrici de forma:

97

b
c
a
abc bc

M b a b c b c ; M 2
bc
a b

bc
a b
b
c
bc
ab c
M 4 c
a
b ; M 8 M .
b c b a b c

b
c ;

Din utilizarea congruenelor de matrici rezult o serie de

faciliti: necesitatea calculului numai pentru prima linie a
matricilor, ridicarea la ptrat se traduce prin deplasarea
minorului a11.

Logica probabilistic
Logica polivalent i cea modal reprezint ncercri de
modelare a raionamentului asupra incertitudinilor (fie prin
valori intermediare-ndoielnic, incert- fie modaliti-necesar,
posibil).
O alternativ de modelare a raionamentului cu
incertitudini este aceea de a ataa fiecrei formule o msur
a gradului ei de certitudine.
Poate cea mai intuitiv cale de a introduce o msur
probabilistic a enunurilor const n a asimila gradul de
certitudine a formulelor cu o msur a realizabilitii lor.
n calculul propoziional (CP), clasic interveneau, tautologii,
contradicii, consistene (realizabiliti). Unele din aceste
concepte se utilizau n abordarea sintactic, pentru
demonstraii i deducii, altele n aplicaii cum ar fi calculul
circuitelor electrice i electronice.
La ntrebarea ct de realizabil este o formul consistent
(realizabil)? se poate rspunde printr-o ncercare de
introducere a unei msuri de realizabilitate.

98

Fie R : F [0,1] o aplicaie a mulimii formulelor F pe

mulimea numerelor reale ntre 0 i 1, care satisface
urmtoarele condiii:
1. R ( A) 0.

(A este formul)

2. A B R ( A) R( B ).
Realizabilitile unor formule echivalente sunt egale.
3. A R ( A) 1.
O tautologie are msura maxim de realizabilitate.
4.Dac AB atunci R ( A B ) R ( A) R ( B ).
Condiia (4) rezult intuitiv prin faptul c A B se
realizeaz ori de cte ori se realizeaz A i ori de cte ori se
realizeaz B , A i B fiind incompatibile.
Consecin imediat (din 3 i 4):
5. R ( A) R ( A) 1 .

De aici rezult c A este o contradicie dac R ( A) 0.

6. R ( A B ) R( A) R ( B ) R ( A B ). sau
R ( A B) R( A) R ( B) R ( A B ).
Pentru a demonstra avem succesiv:
A B A AB

B AB AB
R ( A B) R ( A AB ) R ( A) R ( AB ).
R ( B) R ( AB ) R ( AB ) R ( AB ) R ( B ) R ( AB )
i nlocuind gsim:

R ( A B ) R ( A) R( B) R ( A B ). Q.E.D.

99

ntruct orice formul din calculul propoziional se poate

exprima prin FND, A

2n 1

am
i 0

unde ai sunt 1 sau 0 i mi-

minitermeni sau clauze conjuctive rezult:

2n 1

R( A) ai R (mi ), deoarece mi m j 0 (i j ).
i 0

Dac A este tautologie rezult

2n 1

a R(m ) 1.
i 0

Realizabilitatea

unei formule este dat de realizabilitatea minitermenilor si.

Un minitermen este adevrat ntr-o singur interpretare i
fals n celelalte.
Cele 2n interpretri posibile se numesc lumi realizabile.
Formula A are deci ca msur a realizabilitii sale suma
realizabilitii lumilor n care ea este adevrat.
Presupunnd -ca ipotez- c n CP lumile sunt egal
realizabile (sistem logic cu maxim entropie) se poate
considera urmtoarea msur a realizabilitii minitermilor:

1
.
2n
Un minitermen se reprezint sub forma conjunciei tuturor
celor n variabile, care pot fi afirmate sau negate.
Realizabilitatea sa este deci dependent de numrul
variabilelor (factorilor) din conjuncie.
R( Li ) R (mi )

Msura realizabilitii unei formule poate fi deci interpretat

prin numrul coeficienilor egali cu 1, adic prin numrul
lumilor posibile n care formula este adevrat, raportat la
numrul total al lumilor posibile.
Ex.:
7

1
1 3
A x1 x2 x3 x1 x2 x3 x1 x2 x3 R ( A) ai R (mi ) 3 m 3 3 .
2
2
8
0

100

Simplificnd formul:

A x1 x2 x1 x2 x3 R ( A) R ( x1 x2 ) R ( x1x2 x3 )

1 1 3
.
4 8 8

Evident, acelai rezultat.

Msura realizabilitii poate fi utilizat pentru demonstrarea
caracterului de tautologie ( R ( A) 1 ) sau de contradicie (
R ( A) 0 ) al unei formule.
Ex.:
Fie A ( P Q )(Q R ) ( P R ). (silogismul BARBARA)

A ( P Q )(Q R ) ( P R ) PQ QR P R.
R ( A) R ( PQ ) R (QR ) R ( P ) R ( R ) R ( PQR ) R ( PQR ) R ( PR )
1 1 1 1 1 1 1
1.
4 4 2 2 8 8 4
Se constat uor c proprietile realizabilitii R sunt
aceleai cu ale probabilitii P, n enunul lui Kolmogorov
pentru cazul finit:
1. p( A) 0.
2.Dac . A p ( A) 1.
3. Dac . A B p( A) p ( B ).
p( A B) 1 p( A) p( B) p ( A B)

1 p( A) p( B) p( A B).
p( A) p( B ) p( A B ) p ( B), q.e.d .
4. AB atunci p( A) p( B) p ( A B ).

Calculul propoziiilor i calculul probabilitilor

101

Conceptul de realizabilitate pare a fi una din cile naturale

pentru introducerea logicii probabilistice.
Se dobndete astfel o ide obiectiv de frecven a
adevrului, msurat de probabilitatea asociat fiecrei
formule: n cte lumi formula este adevrat din totalul
lumilor posibile.
Vom folosi p(A) n loc de R(A) . Convenim s vedem n p(A) o
msur a gradului de certitudine a formulei A. Gradul de
certitudine a tautologiilor este 1, a contradiciilor 0. Ne
situm, n continuare, n cazul finit dar prsim ipoteza
echiprobabilitii lumilor posibile.
Presupunem c relaia de ordine p( A) p ( B) dac A B ,
este o relaie de ordine liniar care satisface condiiile:

a. x x
b. x y y z x z
c. x y y x x y.
Se mai presupune c dac nlocuim formulele unei
disjuncii cu formule de probabilitate mai mic sau egal,
probabilitatea disjunciei ce rezult va fi mai mic sau egal
cu cea a formulei iniiale.
Din p( A) p( B) i p(C ) p ( D ) rezult p( A C ) p( B D )
cu condiia . BD .
Teoremele care se deduc din cele 4 axiome ale probabilitii
formeaz baza utilizrii calculului probabilittilor ntr-un
calcul propoziional:
T1 :

p ( A) 1 p( A).

T2 :

p ( A B ) p ( A) p ( B ) p ( A B ).

T3 :

p ( A B ) p ( A) p ( B).

T4 :

Dac . A B p ( A) p ( B ).
102

T5 :

p ( A) p ( A B ).

T6 :

p ( AB ) p( A).

T7 :

p ( AB ) p ( A) p ( B) 1.

T8 :
T9 :
T10:

Dac . AB C ,
2n 1

atunci

Dac . A ai mi ,
0

p ( A) p ( B ) 1 p (C ).

atunci

2n 1

p ( A) ai p (mi ).
0

p ( A B ) p ( A) 1 p ( B ) p ( A B ).

Deoarece pentru o tautologie p ( A) 1 , se poate demonstra

c o formul este sau nu este o tautologie.
Fie formula : ( A B ) (( B C ) ( A C )).

p ( A B ) p ( A) p( B ) p ( AB ) 1 p ( A) p ( AB ).
p ( B ) p( AB ) p( AB )
A B X . (B C ) ( A C) Y
p ( X Y ) p ( XY ) 1 p ( X )
XY ( A B )[( B C ) ( A C ))] ( A B )( BC A C )
( A B )( B A C ).
XY AB A AC B AB BC A B X
p ( XY ) p ( X ), p( X Y ) p ( X ) 1 p ( X ) 1
Prin urmare formula considerat este tautologie.
Problema lui Boole.
Pentru ilustrarea problemei s considerm un exemplu
simplu.

103

Problema. Fie g ( x, y ) x y o funcie boolean (o formul

propoziional). Se cunosc (sunt date) probabilitile lui x i
y. ntre ce limite inferioar i superioar- se va ncadra
probabilitatea disjunciei p ( g ) p ( x y ) ?
Tinnd seama c probabilitatea unei formule este suma
probabilitii lumilor n care este adevrat, se concentreaz
n form matricial ceea ce se cunoate despre x, y , x y .
Se noteaz cu p1 , p2 , p3 , p4 probabilitatea celor 4 lumi
posibile n cazul a 2 variabile, cu 1 , 2 , 3

respectiv

probabilitaile lui x, y, g ( x y ) .
Elementele matricei sunt valorile de adevr ale lui x (linia I),
y (linia II) i x y (linia a 3-a) n cele 4 lumi posibile.
Obinem:

p1
p
2
p3

p4
1 3 1 2 .
0 0 1 1
0 1 0 1

0 1 1 1

p3 p4
p p
2
4

p2 p3 p4

1
.

2 3 1 2 .
Deci:

p ( x ) p ( x y ) p ( x ) p( y ).
p ( y ) p ( x y ) p ( x ) p( y ).
Pentru cazul a n funcii de m variabile, formula matriceal
va fi:
V P ,
matricea V avnd ca linii valorile de adevr ale celor m
funcii, P-vectorul coloan al probabilitilor lumilor
posibile, - vectorul coloan al probabilitii funciilor.
Sub form matriceal se poate reprezenta i exprimarea
normal disjunctiv a unei funcii de m variabile:

104

 m0

g ( x1 , x2 , K , xm ) ai mi a0 ,K , a2n 1 M A M .
i 0
mn
2 1
2n 1

Atunci:

2n 1

p ( g ( x1 , x2 , K , xm )) ai p (mi ) A P,
i 0

cu P- vectorul coloan al probabilitii minitermenilor

lumilor posibile, ntruct p (mi ) pi .
Pentru o tautologie

2n 1

p(m ) 1 i
i

i 0

p ( g ( x1 , x2 , K , xm )) 1 .

Problema lui Boole se poate enuna astfel:

fi ( x1 , x2 , K , xm ) cu probabilitile cunoscute
i p( f i ( x1 , x2 , K , xm )) i o funcie g ( f1 , f 2 , K , f n ) se cere s
se determine marginile inferioar i superioar ale lui p ( g ) :
Fiind date

M INF g p ( g ) M SUP g .
Aceast problem conduce la o programare liniar, n care
datele cunoscute devin restricii.
i

Cunoscnd
condiia

2m 1

p
j 0

2m 1

a
j 0

ij

pi A P i

p ( g ) A P,

adugnd

1 prin completarea matricei A cu vectorul

unitate ( A f ), problema devine:

A f P i p( g ) DP .
Ca problem de programare liniar, problema Boole se
enun: s se gseasc min q DP i max q DP , unde q este
o form liniar , cu restriciile A f P .

Exemplu:

105

f1 P,

f 2 P Q, g Q.

p1 p( PQ );

p2 p( PQ);

p3 p ( PQ );

p4 p ( PQ ).

p( f1 ) p3 p4 1.
p1
p1
0 0 1 1
p
p
p ( f 2 ) p1 p2 p4 2 .
P 2 ; A f 1 1 0 1 2 ;
p3
p3
p1 p2 p3 p4 1.

1
1
1
1
Fie

p
p ( g ) p (Q ) p2 p4 .
p4
4
0 0 1 1 p1 1
0 1 0 1 p

2 3
1 1 0 1 p3 2

1 1 1 1 p4 1
Deci trebuie s se gseasc max q p2 p4 i min q p2 p4
cnd sunt date p ( P) p3 p4 1 i p ( P Q) p1 p2 p4 2 .
Din relaiile scrise mai sus se deduc uor, succesiv:

p3 1 2 ;

p1 p2 1 1 ;

p4 1 (1 2 ) (1 1 ) 1 2 1.
Apare evident:

3 p (Q ) p2 p4 p4 1 2 1.
p (Q ) p2 p4 p1 p2 p4 2

Deci:

1 2 1 3 2

sau:

p ( P) p( P Q) 1 p(Q ) p ( P Q ). (Teorema T10)

n cazul probabilitilor celor 4 lumi posibile avem:
1
1
3
p ( P ) , p(Q ) , p( P Q) i,prin urmare,
2
2
4
1 3
1 3
1 1 3
1 sau .
2 4
2 4
4 2 4

106

Probabiliti condiionate i condiionalul logic

Se atribuie unei premise H, probabilitatea apriori p(H). n
urma unui nou eveniment numit eviden E, probabilitatea
lui H n condiiile producerii lui E:
p ( H E )
p( H / E )
.
p( E )
De aici: p ( H E ) p ( E ) p ( H / E ) p ( E / H ) p ( H ) i:
p( E / H )
p( H / E ) p( H )
(formula lui Bayes)
p( E )
unde p ( H / E ) este o probabilitate aposteriori.
Se permite astfel aducerea la zi a probabilitilor atribuite
unei ipoteze, pe msura apariiei de noi evidene.
n cazul general al mai multor evidene mutual exclusive i
exhaustive E1 ,K , En sunt valabile formulele:
n

p( H ) p( H Ei )
j 1

n
1
p( H / Ei ) p( H Ei )
p ( H ) p ( H / E j ) p ( E j )
p ( Ei )
j 1

p( Ei / H ) p( Ei ) n

p ( H / Ei )

p( H / E ) p( E )
j 1

, i 1,K n.

(ultima formul se numete formula generalizat a lui Bayes)

Folosirea probabilitii condiionate n logic, unde
formulele iau locul evenimentelor poate crea confuzii.Notaia
H / E se interpreteaz att H cnd E, ct i dac E,
atunci H ca i implicaia.
Teorema p ( A B ) 1 p( A) p ( AB ) arat c bara dintre H
i E exprim o legatur diferit de implicaie:

p ( E H ) p ( HE ) p ( E ) 1.
Deoarece: p ( H / E )

p ( HE ) p ( E H ) p ( E ) 1

rezult
p( E )
p( E )
107

p ( E H ) p ( H / E ) p ( E ) p ( E ) 1.
Exemplu:
Fie urmtoarele dou propoziii referitoare la un joc cu
zaruri:
A: rezultatul va fi un numr mai mic dect 3
B: rezultatul va fi un numr par
Avem:
2 1
1
1
p( AB) 1
p( A) ; p ( B ) ; p( AB ) ; p ( B / A)
.
6 3
2
6
p( A)
2
Se ntocmete tabelul complet al rezultatelor posibile i se
calculeaz implicaia A B .

B 1 2 3 4 5 6
A
1 1

0 1 0 1 0 1
0 1 0 1 0 1

0 1 0 1 0 1

1 1 1 1 1 1

4
5

0
0

1 1 1 1 1 1
1 1 1 1 1 1

1 1 1 1 1 1

Implicaia este adevrat n 30 de cazuri din cele 36 deci

30 5
i se verific formula:
36 6
11 1
5
p ( A B ) p ( B / A) p ( A) p( A) 1
1 .
23 3
6
p( A B)

Vom simboliza B/A i vom citi A condiioneaz pe B. Baza se

numete condiional (A condiioneaz nu implic pe B).
n consecin p ( B / A)

p ( AB )
.
p ( A)

Deosebirile dintre implicaie i condiional sunt evideniate

i din tabelul de adevr:

108

A
0
0
1
1

B
0
1
0
1

AB
1
1
0
1

B/ A

0
1

Din definiia condiionalului, a teoremelor calculului

probabilitilor n CP, se pot deduce proprieti ale
condiionalului:
1. p ( B / A) 0.
2.Dac A B, p ( B / A) 1.
3.Dac

A ( B C ), p( A / C ) p ( B / C ).

A (B C ) ( A B) ( A C ) .
4.Dac B C , atunci p ( A / B ) p ( A / C ).
5.Dac C AB, atunci p ( A B / C ) p ( A / C ) p ( B / C ).
6. p ( AB / C ) p ( A / C ) p ( B / AC ).
Inferene inductive.
Inferena deductiv opereaz de la general la particular iar
inferena inductiv opereaz de la particular la general.
Cunotinele particulare sunt incomplete dar se presupune
c sunt suficient de certe pentru a sta la baza unor
inferene.
n inferena inductiv, condiionalul joac rolul implicaiei
din inferena deductiv.
n cele ce urmeaz vom desemna prin E o eviden sau o
cunotin de care dispunem, iar gradul de certitudine a
condiionrii de ctre E a unui enun A va fi p ( A / E ) . Dac
un alt enun C este o concluzie a lui E i A, gradul de
certitudine a condiionrii de ctre E a lui C este dat de
urmtoarele reguli:

109

R1

E , A, B C.

p ( A / E ) 1 1 , p ( B / E ) 1 2 .
p (C / E ) 1 (1 2 ).

Demonstraia:
E A B C . (premisa)
p ( AB / E ) p (C / E ). (prop. 3)

p ( AB / E ) p ( A / E ) p( B / E ) 1.
p ( A / E ) p ( B / E ) (1 1 ) (1 2 ) 1 1 (1 2 ).
p ( AB / E ) 1 (1 2 ).
p (C / E ) 1 (1 2 ).
p ( A / E ) 1 1 , p (( A C ) / E ) 1 2 .
R2
p (C / E ) 1 (1 2 ).
R3

E , A | C.
p (C / E ) 1 (1 2 ).

R4

E , A | C , p(C / E ) 1; p( A / E ) 0.
p ( A / EC ) p ( A / E ).

Inferena inductiv domin raionamentul uman curent,

este caracteristic investigaiei tiinifice experimentale i se
utilizeaz din ce n ce mai mult n inteligena artificial.

110

Silogismul deductiv al calculului propoziiilor

Demonstraie i deducie
n abordarea semantic a calculului propoziiilor, se
rspunde la ntrebarea: este o formul dat tautologie au
nu?.
n rezolvarea acestei probleme se ncepe prin a reprezenta
propoziiile vorbirii curente prin simboluri atomice, li se
atribuie acestora dou valori de adevr (1 i 0) i se
formeaz cu ajutorul unor conectori formule, a cror valoare
de adevr se deduce din valoarea de adevr a atomilor
componeni.
Spre deosebire de abordarea semantic, abordarea
sintactic are drept scop demonstrarea logic i rspunde
la ntrebarea: este o formul dat o teorem (demonstrabil
n cadrul sistemului) sau nu?.

111

Abordarea sintactic se preteaz la un grad nalt de

formalizare. Se renun i la ipoteza c simbolurile p1 , p2 ,K
in locul unor propoziii sau enunuri. Simbolurile sunt
iniial neinterpretate, servesc la construirea unui sistem
deductiv abstract, i dezvluie structura i numai n final,
prin interpretarea cu propoziii se obin consecine noi
despre logica acestora.
Un sistem formal este definit prin:
1.un alfabet de simboluri
2.o mulime de formule bine formate
3.o mulime de axiome
4.reguli de deducie.
Sistemul formal L este definit astfel:
1.Alfabetul simbolurilor este infinit: : , , ( , ), p1 , p2 , K ; .
2.O formul bine format (fbf) se definete recursiv:
a). pi este o fbf.
b).dac A i B sunt fbf, (: A) i ( A B ) sunt fbf;
c).mulimea fbf este generat numai prin regulile a) i b).
3.Oricare ar fi formulele bf A, B, C , urmtoarele fbf sunt
axiomele lui L:
L1. ( A ( B A)).
L2. ( A ( B C )) (( A B) ( A C )).
L3. (((: A) ( : B)) ( B A)).
4.Regula de deducie (inferen) este modus ponens (MP):
oricare ar fbf A, B, din A i ( A B ) rezult B.
Definiie. Se numete demonstraie, secvena de formule

A1 , A2 ,K , An astfel ca:
1. Ai , (1 i n) este axiom sau
2. Ai urmeaz din A j , Ak ( j i , k i ) prin aplicarea MP.

112

Ultima formul

An

este o teorem n

L,

iar secvena

A1 An este demonstraia lui An n L.

Exemplu: A1 ( A ( B C )) (( A B ) ( A C )).
cu C A .

A1 ( A ( B A)) (( A B ) ( A A)).
A2 ( A ( B A)) din L1 cu
A3 ( A B) ( A A) MP din A2 , A1.

Noiunea de demonstraie este lrgit de noiunea de

deducie.
Definiie. Se numete deducie din ( fiind o mulime de
formule de formule n L) o secven A1 , A2 ,K , An astfel c:
1. Ai ,

(1 i n) este o axiom n L,

2. Ai este un element al lui .

3. Ai urmeaz prin

MP

din doi membri antecedeni ai

irului Aj , Ak ( j i, k i ) .
Ultimul termen este denumit deductibil din sau consecin
a lui . Se noteaz L An .
S ne reamintim c din punct de vedere semantic, An . este o
consecin logic a unei mulimi de formule A1 , A2 ,K , An 1 ,
cnd A1 A2 ,K , An 1 An este o tautologie, fapt care se
noteaz An . (pentru fiecare interpretare pentru care

A1 A2 K An 1 1 se obine i An 1 ).
Orice demonstraie este deci o deducie n care este o
mulime vid i deducia se face numai din axiome.
O asemenea demonstraie produce o teorem (pentru o
teorem L A sau pe scurt L A .)
Observaii asupra sistemului L.

113

Din motive de economicitate a sistemului formal se accept

un numr minimal de simboluri. Dintre cei 16 conectori
binari posibili n abordarea semantic am folosit conectorii
, , , la care am adugat operatorul monadic : .
Perechea operatorilor (: , ) este o pereche adecvat
(complet), ceilali conectori putnd fi definii prin acestea.
n vocabularul iniial nu sunt incluse simbolurilor , .
Orice formul care conine un asemenea simbol, nu
este o formul a sistemului L, ci este o propoziie despre
sistemul L. Simbolurile, enunurile, teoremele, care nu fac
parte din system, dar se utilizeaz la descrierea lui, sunt
desemnate de prefixul meta (dup; n afar). Logica ce ne
permite s analizm logica este o metalogic, iar matematica
ce se ocup de structurile matematicii este o
metamatematic.
Orice formul trebuie scris ntre paranteze. Riguros
(: A) este o formul, : A -nu. n practic se omit aceste
paranteze atunci cnd nu se ajunge la echivocuri.
Simbolurile A, B, C ,K nu figureaz n alfabetul L. Ele
sunt utilizate pentru a putea vorbi despre sistemul L i
desemneaz formule scrise cu simbolurile sistemului,
deci
A
poate
fi
nlocuit
cu
orice
fbf:
p1 p2 , ( p1 p2 ) ( : p3 p1 ) etc. Aceste simboluri se
mai numesc variabile metalogice, avnd ca domeniu
formulele sistemului. L este un limbaj obiect, n timp ce
limbajul construit cu metasimboluri este un metalimbaj.
Sistemul L este construit astfel ca atunci cnd va fi
interpretat adecvat (se d un sens simbolurilor sale) s se
regseasc acel calcul al propoziiilor analizat din punct de
vedere semantic. Pn la acea interpretare, niciun simbol
(inclusiv : , ) nu are vreo alt proprietate n afara celor
coninuter n definiia lui L, rezultate din efectele lor n
formarea de fbf, prin axiome i prin deducerea de fbf noi.
Expresiile de tipul A B se numesc scheme pentru a le
distinge de formule propriu-zise. Prin nlocuirea acestor

114

variabile metalogice cu (alte) formule bine formate se obin

fbf.
De exemplu:

A : ( p1 p2 ) p3 , B : p1 p3 ,
A B : (( p1 p2 ) p3 ) ( p1 p3 ).
sau { A, ( B ( A C ))} L ( B C ).
Aceasta nu este o fbf deoarece conine simboluri A, B, C, { },
L , care nu aparin alfabetului. Ea este o formul a
metalimbajului, prin cvare se descrie gramatica sau sintaxa
sistemuljui L. Este o formul care ne spune ceva despre
sistemul L i anume c ( B C ) este dedus (nu este obinut
prin demonstraie din axiome), el reprezint totui un enun
valabil pentru fbf din L. Acest rezultat se numete
metateorem.
Axiomele sistemului formal L sunt n realitate o infinitate
cci ele sunt enunate n variabile metalogice care pot fi
nlocuite printr-o infinitate de fbf. Denumirea corect a
acestora ar fi scheme de axiome.
Din schema L1: ( A ( B A)). avem axiomele:

p1 ( p2 p1 ), p2 ( p3 p2 ), ( p1 p2 ) ( p3 ( p1 p2 ))

etc.
Se poate proceda i astfel: se anun o axiom n limbajul

sistemului L1: p1 ( p2 p1 ) i se instituie o regul de

substituie care se include n definiia lui L, conform creia
fiecare simbol se poate nlocui cu aceiai formul peste tot
unde apare. Se obine astfel o fbf cu acelai caracter ca i
formula iniial, deci tot o axiom.
Axiomele sunt fbf care genereaz toate teoremele. Geneza lor
provine din abordarea semantic a calculului propoziiilor.
Acolo, n prezena unui numr infinit de tautologii se nate

115

ntrebarea: cte tautologii pot fi alese ca un nucleu minimal,

astferl c n cazul introducerii unor reguli de deducie, care
pstreaz caracterul de adevr, s obinem celelalte
tautologii? Pentru a putea racorda sistemul formal L la
calculul semantic al propoziiilor, axiomele trebuie s
aparin acestui nucleu. Alegerea axiomelor urmrete s
satisfac criteriul numrului minimal de axiome.
Regulile de deducie.
Regulile de deducie adoptate de cele mai multe sisteme
formale sunt substituia i modusul ponens MP.
Ambele pstreaz caracterul de tautologie pentru propoziia
obinut prin aplicarea lor.
Aceast proprietate este asigurat i de alte reguli numite de
inferen.
Astfel, prin adjuncie se obine o nou tautologie prin
conjuncia a dou tautologii.
Prin compoziie se obine tautologia A BC din A B i
AC.
Substituia prin echivalen const n substituia unei
variabile propoziionale cu o formul echivalent (fiecare
apariie a unei variabile poate fi substituit prin alt
formul, cu condiia ca aceste formule s fie echivalente cu
acea variabil).
Toate regulile de obinere de noi propoziii se numesc
inferene. Regulile de deducie sunt reguli de inferen.
Aproape toate sistemele formale au ncorporat substituia i
MP. Ele se scriu, ca i axiomele, cu ajutorul unor scheme,
folosind variabile metalogice:
1. Modus ponens:

A B.
A.
B

sau { A, A B} B.

2. Substituia:

116

A( p1 , p2 ,K pn ).
A( p1 , p2 ,K pn ) este deductibil
A( B1 / p1 , B2 / p2 ,K Bn / pn ). adic dac
din sistem atunci i A( B1 / p1 , B2 / p2 ,K Bn / pn ) este deductibil

Bi/pi nsemnnd substituia variabilei pi cu fbf Bi.

Sisteme ale calculului propoziional clasic
S-au construit mai multe sisteme formale definite pe alte
mulimi de axiome.
Sunt cunoscute i utilizate sistemul lui Frege (asemntor
celui al lui Lukasiewicz, dar avand inc 3 axiome care nu
sunt independente), sistemul Hilbert-Ackermann, al lui
Church, Nicod, Russel.
Sistemul lui Russel, de exemplu, se bazeaz pe urmtoarele
axiome, numite principii:
R1 p p p - principiul tautologiei
R2 p ( p q) - principiul aditivrii
R3 ( p q) (q p) - principiul permutii
R4.

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

BIBLIOGRAFIE
1.Moisil Gr.C., Elemente de logic matematic i de teoria
mulimilor, Editura tiinific, Bucureti, 1967.

132

2.Enescu Gh., Introducere n logica matematic, Editura

tiinific, Bucureti, 1965.
3.Freudenthal H, Limbajul
tehnic, Bucureti, 1973.

logicii

matematice,

Editura

4.De Palma R., Algebra binar a lui Boole i aplicaiile ei n

informatic, Editura tehnic, Bucureti, 1976.
5.Moisil Gr.C., ncercri vechi i noi de logic neclasic,
Editura tiinific, Bucureti, 1965.
6.Malia Mihaela, Malia Mircea, Bazele inteligenei
artificiale. Logici propozitionale, Editura tehnic, Bucureti,
1987.
7.Calistru C.N., Logic computaional. Introducere n
limbajul Prolog i aplicaii n inteligena artificial, Editura
Politehnium, Iai, 2007.
8.Cocan M., Pop B., Logic computaional, Editura
Albastr, Cluj Napoca, 2006.
9.Moisil Gr., Teoria algebric a mecanismelor automate,
Editura Tehnic, Bucureti, 1959.
10.Dumitriu A., Teoria logicii, Editura Academiei RSR,
Bucureti, 1973.
11.Dumitriu A., Istoria logicii, Editura didactic i
pedagogic, Bucureti, 1969.
12.Cocan M., Pop B., Logic computaional, Editura
Albastr, Cluj Napoca, 2006.
13.Ore Oystein, Grafele i aplicaiile lor, Editura
Enciclopedia de Buzunar, Bucureti, 1968.
133

14.Berge Claude, Teoria grafurilor i aplicaiile ei, Editura

Tehnic, Bucureti, 1969.

134

135

136

137

138