LOGICA PROPOZITIONALA

http://www.scritube.com/stiinta/matematica/LOGICA-PROP...

Username / Parola inexistente

email Login Am uitat parola x Creaza cont nou

Home
Administratie Arta cultura Biologie Casa gradina Diverse Economie Geografie Gradinita Istorie Jurnalism Limba Literatura romana Management Medicina Personalitati Profesor scoala Sociologie Stiinta
Arhitectura constructii Astronomie Chimie Drept Fizica Informatica Matematica Stiinte politice Tutorials

Exploreaza

Upload

LOGICA PROPOZITIONALA
Matematica Agoda - Hotels worldwide
Special rates on hotels worldwide. Book now!
Agoda.com/Hotels

n capitolul precedent am avut n vedere rationamentele care exprima raporturi ntre termeni n calitate de elemente ale propozitiilor: ntre doi termeni, S si P, n cazul inferentelor imediate, ntre trei termeni, S, P si M, n cazul silogismului categoric simplu, ntre mai multi termeni, A, B, C, D,., n cazul formelor silogistice compuse. Eram nca ntr-o logica a termenilor. Limbajul termenilor nu este suficient pentru a putea formaliza si implicit verifica validitatea rationamentelor din limbajul natural. Iata o astfel de situatie: Orice animal este vertebrat sau nevertebrat. Daca vom trata propozitia compusa ca fiind alcatuita din doua propozitii de tip categoric, adica Orice animal este vertebrat si ALTE DOCUMENTE Orice animal este nevertebrat, obtinem doua propozitii false. PLAN DE LECIE - Media aritmetica a doua sau Dificultatea este nlaturata de limbajul propozitiilor compuse n care mai multe numere propozitia si nu termenul este elementul ultim, nedecompozabil. Functia logaritmica
Elemente de trigonometrie

7. PROPOZIIILE COMPUSE[1]

Baza de numeratie Spatii liniare, spatii vectoriale FJ - Logica Bilete de examen. Modalitate

Tehnica mecanica Timp liber

forma logica a propozitiilor compuse definitia functorilor legi logice reducerea operatorilor metode de verificare a validitatii rationamentelor: metoda tabelelor decizia prescurtata
252b18c

Matlab - Pozitionarea observatorului fata de obiect Campul scalar Multimi Functiile si B ale lui Euler

Cutare

Propozitiile alcatuite din alte propozitii sunt numite propozitii compuse. Propozitia compusa (moleculara) este alcatuita din propozitii simple (atomare) asupra carora actioneaza anumiti operatori propozitionali. Propozitiile simple vor fi simbolizate cu litere mici, (p, q, r.) numite variabile propozitionale . Valoarea de adevar a propozitiilor compuse este determinata univoc de valoarea de adevar a propozitiilor simple la care se aplica operatorul respectiv, fapt pentru care propozitiile compuse sunt considerate functii de adevar.[2]

Operatorii logici pot lega un numar mare de propozitii, dar pactic au importanta doar operatiile logice cu una sau doua variabile propozitionale. Vom vorbi astfel de operatori de ordinul unu (operatori monari) si operatori de ordinul doi (operatori binari). Operatorii monari sunt afirmarea si negarea unei propozitii. Fiindca propozitia asupra careia actioneaza operatorul poate fi adevarata sau falsa, rezulta patru functii de adevar de ordinul unu: afirmarea unei propozitii adevarate, afirmarea unei propoozitii false, negarea unei propozitii adevarate si negarea unei propozitii false.

1 of 8

11/14/11 8:10 PM

LOGICA PROPOZITIONALA

http://www.scritube.com/stiinta/matematica/LOGICA-PROP...

ntruct afirmarea unei propozitii nu schimba valoarea de adevar a propozitiei respective, ne vom opri doar asupra negatiei. 2.1. NEGAIA Negatia apare n limbajul natural prin "nu", "nu este adevarat p " sau "este fals p". Vom utiliza simbolul `p (non-p)[3]. Operatiile se definesc prin tabele de adevar sau matrici logice de adevar, n care numarul de combinatii dintre valorile de adevar care formeaza liniile din tabel se calculeaza dupa formula 2n, unde 2 este numarul valorilor de adevar (adevarul notat conventional cu 1, respectiv falsul notat cu 0), iar n este numarul variabilelor propozitionale, adica numarul propozitiilor simple. n cazul negatiei, avem o singura propozitie. Iata tabelul negatiei: p `p 1 0 0 1

Prin negarea unei propozitii p se obtine o noua propozitie `p , complementara n raport cu prima. Raportul dintre o propozitie si negatia ei este unul de contradictie: cele doua propozitii nu pot fi simultan nici adevarate, nici false. Prin dubla negatie a unei propozitii se obtine propozitia initiala: `p p (legea negarii negatiei)

Ex.: Daca nu este adevarat ca nu ninge, atunci ninge Pentru a construi negatia unei propozitii n limba naturala nu se poate proceda mecanic, prin aplicarea unei negatii, ci trebuie sa tinem seama de raportul de contradictie. Negatia propozitiei Unii studenti sunt prezenti la curs nu este Unii studenti nu sunt prezenti la curs fiindca aceste doua propozitii, fiind subcontrare, pot fi ambele simultan adevarate. Negatia propozitiei va fi Este fals ca unii studenti sunt prezenti la curs ceea ce nseamna ca Nici un student nu este prezent la curs. * Pentru operatorii binari, numarul functiilor de adevar de ordinul doi este de 16, dupa cum rezulta din urmatorul tabel[4]: p q 1 15 16 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 0 2 1 1 1 0 3 1 1 0 1 4 1 1 0 0 5 1 0 1 1 6 1 0 1 0 7 1 0 0 1 8 1 0 0 0 9 0 1 1 1 10 0 1 1 0 11 0 1 0 1 12 0 1 0 0 13 0 0 1 1 14 0 0 1 0

2.2. CONJUNCIA n limbajul natural conjunctia apare prin si, iar, dar, desi, nsa, cu toate ca, n pofida, indicnd, n toate cazurile, asocierea a doua propozitii. Conjunctia a doua propozitii p q[5] (citita p si q) este adevarata numai daca ambele propozitii (numite conjuncte) sunt adevarate. Matricea operatorului este urmatoarea: pq 11 10 01 00 p q 1 0 0 0

Rezulta ca daca un termen al conjunctiei are valoarea 0, ntreaga conjunctie este falsa (p0) = 0. Daca un termen este adevarat, conjunctia ia valoarea celuilalt termen (p1)= p. O conjunctie este valida (are ntotdeauna valoarea "adevarat") numai atunci cnd fiecare termen al sau este o formula valia. De mentionat faptul ca nu ntotdeauna prezenta lui si indica o conjunctie logica. O propozite de tipul Socrate si Platon au fost filosofi poate fi analizata ca o conjuctie logica alcatuita din propozitiile Socrate a fost filosof si Platon a fost filosof , dar o propozitie care enunta o relatie, ca propozitia Socrate si Platon au fost contemporani reprezinta o propozitie atomara care poate fi exprimata ca Socrate a fost contemporan cu Platon, ne putnd fi tratata ca o conjunctie a doua propozitii. 2.3. DISJUNCIA NEEXCLUSIVA Disjunctia neexclusiva, sau disjunctia simpla, semnalata n limbajul natural prin "sau", "fie", "ori" , simbolizata prin pvq (subntelegnd "eventual amndoua"), este adevarata daca cel putin una din componentele ei (numite disjuncte), este adevarata si este falsa numai cnd toate componentele ei sunt false. De exemplu propozitia: Dupa-amiaza o sa citesc o carte, sau o sa ascult muzica. Matricea operatorului este urmatoarea: p q 1 1 pvq 1

2 of 8

11/14/11 8:10 PM

LOGICA PROPOZITIONALA

http://www.scritube.com/stiinta/matematica/LOGICA-PROP...

1 0 0 1 0 0 Rezulta ca: pv1=1 pv0=p

1 1 0

Cu alte cuvinte, daca unul dintre termenii disjunctiei este adevarat, disjunctia este adevarata; daca nici un termen al disjunctiei nu este adevarat, disjunctia este falsa. O disjunctie de variabile propozitionale este valida, daca si numai daca aceeasi variabila apare afirmata si negata. 2.4. DISJUNCIA EXCLUSIVA, notata cu pwq[6] (sau p, sau q), exclude posibilitatea ambelor. n limbajul natural disjunctia exclusiva apare ca sau/sau; ori/ori. Ex.: Ori te vei casatorii, ori vei ramne burlac ( tot vei regreta, spunea Socrate) Matricea operatorului este: p q 1 1 1 0 0 1 0 0 pwq 0 1 1 0

Se observa ca disjunctia exclusiva este falsa atunci cnd p si q au aceleasi valori de adevar si este adevarata cnd p si q au valori diferite. Revenind la cele doua disjunctii, mentionam ca diferenta dintre pvq si pwq conteaza doar atunci cnd propozitiile p si q ar putea fi si mpreuna adevarate; n caz contrar, situatia care diferentiaza cei doi operatori nu apare. 2.5. IMPLICAIA Implicatia are forma daca p atunci q si se simbolizeaza pq [7](p implica q), reprezentnd o relatie de succesiune logica ntre doua propozitii. Propozitiile implicative se mai numesc si ipotetice sau conditionale. Cele doua componente joaca roluri diferite, p este antecedentul, iar q este consecventul. Antecedentul este o conditie suficienta pentru consecvent. n limbajul natural, alaturi de "daca.atunci", se folosesc si alte moduri de exprimare: "ori de cte ori p, q", "cnd p atunci q", "deoarece..", "dat fiind faptul ca.", "n cazul ca", sau prin simpla alaturare a propozitiilor can cazul: Ai carte, ai parte. Toate aceste formulari cuprind n semnificatia lor faptul ca daca p atunci, cu necesitate, q; altfel spus, este imposibil p si `q. O astfel de propozitie va fi considerata falsa n cazul n care antecedentul este adevarat, iar consecventul fals. Tabelul de valori al implicatiei este: p q 1 1 1 0 0 1 0 0 Rezulta ca: a) daca antecedentul unei implicatii este adevarat, valoarea de adevar a implicatiei este n functie de valoarea consecventului: (1q)= q daca antecedentul este fals, atunci implicatia este adevarata: (0 q)=1 daca secventul este adevarat, implicatia este adevarata (p1)=1 daca secventul este fals, atunci implicatia ia valoarea negatiei antecedentului: (p0)=`p Orice inferenta poate fi considerata o implicatie n care antecedentul este conjunctia premiselor, iar consecventul este concluzia inferentei. O expresie de tipul "numai daca", "doar daca" reprezinta o implicatie inversa. O expresie de tipul "Daca si numai daca. atunci" este o implicatie reciproca (daca p. atunci q si daca q, atunci p). Implicatia reciproca sau biconditionala este echivalenta. 2.6. ECHIVALENA Echivalenta nseamna "aceeasi valenta "(valoare de adevar). Rezulta ca daca p si q au aceeasi valoare, echivalenta este adevarata, iar daca au valori diferite, atunci echivalenta este falsa.[8] Simbolul folosit este p q[9] (p este echivalent cu q). Matricea operatorului (coloana a saptea) este: p q 1 1 pq 1 p q 1 0 1 1

3 of 8

11/14/11 8:10 PM

LOGICA PROPOZITIONALA

http://www.scritube.com/stiinta/matematica/LOGICA-PROP...

1 0 0 1 0 0

0 0 1

Daca una dintre componentele echivalentei este adevarata, atunci valoarea de adevar a echivalentei depinde de valoarea celeilalte componente: (p 1)= p Daca una dintre componentele echivalentei este falsa, atunci valoarea de adevar a echivalentei este aceeasi cu negatia celeilalte componente: (p 0) =`p Echivalenta este redata n limbaj natural prin propozitii biconditionale, sau prin judecati ipotetice exclusive, care redau relatii dintre o conditie necesara si suficienta si o consecinta suficienta si necesara:"daca si numai daca, atunci.", "atunci si numai atunci.". Nu de putine ori se folosesc formulari mai scurte de tipul". numai daca.", "daca, atunci." sau "cu conditia sa."; se enunta, deci, explicit, numai conditia necesara sau numai cea suficienta, cealalta fiind subnteleasa, sugerata de context.

Daca o propozitie compusa ia valoarea 1 pentru tote combinatiile valorilor de adevar ale propozitiilor atomice, ea se numeste tautologie (cazul 1 din tabel). Tautologiile sunt expresii ale legilor logice. Ele sunt adevarate indiferent care ar fi valoarea de adevar a propozitiilor componente. ntruct adevarul lor nu depinde de adevarul componentelor, ci de forma lor, ele se mai numesc si formule analitice. Daca o formula ia valoarea 0 pentru toate combinatiile de adevar ale propozitiilor componente (pozitia 16 din tabel) , atunci ea este inconsistenta sau contradictie logica. Contradictiile sunt negatii ale legilor logice. O propozitie compusa care pentru unele valori ale propozitiilor simple din componenta ei ia valoarea 1, iar pentru altele ia valoarea 0 este contingenta (realizabila). Asa sunt formulele ce definesc operatorii propozitionali binari (pozitiile 2-15 din tabel). Aceste formule depind de valoarea de adevar a propozitiilor simple, de continuturile materiale (empirice) care intra n forme si, de aceea, se mai numesc si sintetice. Tautologiile si formulele contingente sunt consistente, iar cele inconsistente si contingente sunt netautologice. * Proprietatile operatorilor sunt redate de urmatoarele legi logice:[10] 1. (p p) p 2. (p q) (q p) (idempotenta) (comutativitate)

3. [(p q) r] [ p (q r)] (asociativitate) ] ] 4. [p (qvr)] [ (p q)v(p r)] (distributivitatea) ] ] 5. (pvp) p 6. (pvq) (qvp) (idempotenta) (comutativitate)

7. [(pvq)vr][ pv(qvr)] (asociativitate) 8. [pv(q r)] [(pvq) (pvr)] (distributivitatea) 9. p p (reflexivitate) 10. (p q) (`q `p) (contrapozitia) 11. [(p q) (q r)] (p r) (tranzitivitatea) 12. (p q) (`pvq) 13. (p q) (q p) (`p `q ) (`q `p) 14. (p q) ~(pwq)[11] Urmatoarele legi, care exprima raporturile dintre conjunctie si disjunctie, sunt cunoscute sub numele de "legile lui De Morgan": 15. (p q) ~ (`p v`q) 16. (pvq) ~ (`p `q) 17. (`p v`q) ~ (p q) 18. (`p `q) ~ (pvq)

Se poate observa din matriciile celor doi operatori ca daca vom nega valorile de adevar ale propozitiilor uneia si negam, deasemenea, operatia se obtine matricea celuilalt operator. Negatia unei conjunctii este o disjunctie de negatii, iar negatia unei disjunctii este o conjunctie de negatii. Aceste formule au mai fost numite sugestiv "ruperea liniei de negatie". Ex: Nu este adevarat ca aceasta figura este un cerc sau o elipsa = Aceasta figura nu este nici cerc, nici elipsa. * Relatiile dintre conjunctie-disjunctie si ceilalti operatori pot fi evidentiate si prin intermediul urmatorului patrat: p q / `p `q

4 of 8

11/14/11 8:10 PM

LOGICA PROPOZITIONALA

http://www.scritube.com/stiinta/matematica/LOGICA-PROP...

pvq

`p v`q

Pe diagonalele patratului exista relatii de contradictie, pe latura de sus relatii de contrarietate (incompatibilitate), pe cea de jos, relatii de subcontrarietate, iar pe verticala relatii de subalternare (implicatie) cobornd pe patrat si de implicatie cu termenii negati urcnd pe patrat.[12]

Utiliznd legile logice, operatorii pot fi redusi unul la celalalt. Exemplificam mai jos una din multiplele posibilitati de reducere. stim ca disjunctia exclusiva este negarea echivalentei, deci (pwq) (p q); stim, deasemenea, ca echivalenta este implicatie reciproca (pq) [( pq)(qp)]; dar implicatia, pq, poate fi tradusa ca `pvq. Prin legile lui De Morgan, disjunctia se poate transforma n conjunctie, etc. Cu setul de operatori putem sa realizam reduceri ale unuia la celalalt, chiar daca nu cunoastem toate legile logice ale propozitiilor compuse. Orice inferenta deductiva poate fi considerata o implicatie logica ntre premise si concluzie. Silogismul categoric simplu poate fi nteles acum ca o conjunctie a celor doua premise care implica o concluzie: (pq)r ; se ntelege acum validitatea silogismului: un silogism este nevalid numai daca din premise adevarate (conjunctia este adevarata numai daca ambele conjuncte sunt adevarate) rezulta concluzie falsa. Inferentele cu propozitii compuse primesc denumirea dupa forma premise initiale, respectiv dupa operatorul principal. Distingem, astfel, ntre rationamente ipotetice, n care operatorul principal este implicatia si rationamente disjunctive, n care operatorul principal este disjunctia. n inferentele ipotetice premisele sunt propozitii conditionale. Daca e marti, sunt doua ceasuri rele. E marti, deci sunt doua ceasuri rele. p q p q Pentru astfel de inferente s-a ncetatenit denumirea de moduri, pentru cazul de fata, modus (ponendo-) ponens[13] Daca e marti, sunt doua ceasuri rele. Nu sunt doua ceasuri rele, deci nu e marti p q `q `p modus (tollendo-) tollens[14] n inferentele disjunctive apar cu rol de premise propozitii disjunctive: a)pvq `p q `q p p `q `p b) pvq q p q c) pwq `q p d) pwq e) pwq f) pwq .

Inferentele a), b), e), f) se numesc modus tolendo-ponens, iar c) si d) modus ponendo-tollens. Inferentele cu mai mult de doua premise sunt numite dileme. Vom prezenta n cele ce urmeaza cteva inferente care combina modurile prezentate anterior. Daca n concluzia dilemei avem o singura propozitie, dilema se va numi simpla, iar daca sunt cel putin doua, dilema se va numi complexa. Atunci cnd concluzia este afirmativa, dilema se numeste constructiva, iar atunci cnd concluzia este negativa, dilema se numeste distructiva. dilema simpla conctructiva p r q r pvq r distructiva p q p r `q v`r `p dilema complexa constructiva p r q s pvq rvs distructiva p r q s ` r v`s `p v`q

Vom exemplifica printr-o dilema constructiva complexa, a carei validitate o vom verifica ulterior: "Daca voi spune adevarul , ma vor iubi zeii, iar daca voi spune minciuni, ma vor iubi oamenii. Cum nu pot spune dect adevarul sau minciuna, voi fi iubit fie de oameni, fie de zei."[15] Logica propozitiilor compuse este o teorie decidabila, deci exista diverse metode prin care putem stabili valoarea de adevar a unui rationament compus din astfel de propozitii. Dintre multiplele metode utilizate vom aminti doar doua dintre ele, aflate una n prelungirea celeilalte. O metoda simpla de verificare a validitatii rationamentelor cu propozitii compuse este metoda experimentata deja n definirea operatorilor, metoda tabelelor de adevar sau metoda matriciala.

5 of 8

11/14/11 8:10 PM

LOGICA PROPOZITIONALA

http://www.scritube.com/stiinta/matematica/LOGICA-PROP...

Indiferent ce metoda am adopta, prima operatie de care va depinde ntreg demersul de verificare este traducerea limbajului natural n limbaj formal. Nu exista, nici n cazul acesta, o metoda foarte riguroasa prin care sa realizam aceasta traducere. Ne vom baza n consecinta pe cele cteva reguli enuntate la definirea principalilor operatori si, desigur, pe "simtul" nostru logic. O data realizata formula logica a rationamentului, verificarea consta n realizarea combinatiilor de adevar si fals pentru propozitiile atomice care compun formula. Numarul necesar de combinatii, reamintim, se stabileste dupa formula 2n, unde n reprezinta numarul variabilelor propozitionale (propozitiilor atomice). Pasul urmator l constituie calculul propozitional. n final vom decide dupa rezultatul obtinut astfel: daca rezultatul calculului este adevar pentru toate valorile de adevar ale propozitiilor componente, rationamentul este valid; n caz contrar este nevalid. Sa luam ca exemplu urmatorul rationament prin care mama atenianului si avertizeaza fiul sa nu intre n politica fiindca: "Daca spui adevarul, oamenii te vor ur, iar daca spui minciuni, te vor ur zeii. Dar nu poti sa spui dect adevarul sau minciuni. Asadar, fiul meu, vei fi urt fie de oameni, fie de zei". Prima operatie este identificarea propozitiilor atomare: p = spui adevarul q = oamenii te vor ur `p = daca spui minciuni r = zeii te vor ur A doua operatie consta n identificarea formei argumentului: [ (p q) (`p r) (pv`p)] (qvr) ] n al treilea pas construim tabele de adevar pentru cele trei propozitii, prin combinarea tuturor valorilor de adevar, dupa formula amintita. n cazul de fata 23=8. Apoi, respectnd ordinea operatiilor, identificam valoarea de adevar a fiecarei propozitii moleculare, pentru ca n final sa calculam valorile de adevar ale operatorului principal, implicatia concluziei de catre premise p `p 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 q 1 1 0 0 1 1 0 0 r p q 1 1 0 1 1 0 0 0 1 1 0 1 1 1 0 1 `p r p v`p 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 [ ..] ] 1 1 0 0 1 0 1 0 q v r [ .] (.) ] 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1

Rezulta ca argumentul este corect ntruct pentru toate combinatiile valorilor de adevar ale propozitiilor componente formula ia valoarea adevarat. Metoda decizie prescurtate se impune ntruct metoda tabelelor de adevar, desi simpla, devine inoperabila n situatiile n care numarul propozitiilor atomice creste. Daca avem patru sau cinci propozitii, numarul liniilor devine 16, respectiv 32. Este limpede ca nu putem folosi, n aceste cazuri, metoda tabelelor. Pentru astfel de situatii se poate prescurta decizia astfel: ncercam, mai nti, sa falsificam formula, adica sa cercetam daca poate fi falsa; daca exista celputin o situatie n care formula rationamentului ia valoarea fals, atunci rationamentul este nevalid; nu stim nca daca esre reslizabil, contingent sau daca este inconsistent; pentru a afla si acest lucru, parcurgem o a doua etapa: ncercam sa adeverim formula, adica sa dovedim ca poate fi adevarata; daca exista cel putin o situatie n care formula ia valoarea adevarat, nseamna ca formula este contingenta. Pentru usurinta ntelegerii sa exemplificam pornind de la urmatoarea formula:

[ (pvs)w(q r)] [ (s q) (pvr)] ] ] a) pentru ca formula sa fie falsa ar trebui ca antecedentul sa fie adevarat si consecventul sa fie fals; antecedentul este adevarat n mai multe situatii[16], caz n care analizam acele valori n care consecventul ar putea fi fals: sq sa fie adevarat, iar pvr sa fie fals; aceasta situatie se produce numai daca s=1, q=1, p=0, r=0;pentru aceste valori, antecedentul este adevarat; rezulta 10=0, formula este nevalida; pentru a vedea daca este inconsitenta continuam cu tentativa de adeverire. b) Pentru ca formula sa fie adevarata, ar fi suficient ca pvr din consecvent sa fie adevarat ntruct x1=1; pentru aceasta este suficient ca r=1; asadar, cnd r=1 formula ia valoarea 1, indiferent de valoarea celorlalte componente. ntruct formula ia uneori valoarea 0 (cazul a), iar alteori valoarea 1, rezulta ca este o formula contingenta. c) Sa verificam prin aceasta metoda validitatea argumentului verificat prin metoda tabelelor de adevar: [ (p q) (`p r) (pv`p)] (qvr) ] Pentru ca formula sa fie falsa (xy), ar trebui ca antecedentul (x) sa fie adevarat, iar consecventul (y) fals. Consecventul (qvr) este fals numai n situatia n care q=0 si r=0. n aceasta situatie n antecedent vom avea:

6 of 8

11/14/11 8:10 PM

LOGICA PROPOZITIONALA

http://www.scritube.com/stiinta/matematica/LOGICA-PROP...

[(p0)(`p0) (p v`p ] Formula (pv`p) este adevarata, independent de valoarea lui p, fiind o lege logica; daca p=1, prima paranteza din antecedent va fi 0 si, prin aceasta, ntreg antecedentul ia valoarea 0; daca p=0, a doua paranteza din antecedent va fi 0, iar prin aceasta, ntreg antecedentul va fi 0. Rezulta ca daca vom avea un consecvent 0, atunci antecedentul nu poate fi 1 si, prin urmare, argumentul este valid. REZUMAT n logica propozitiilor compuse rationamentele sunt descompuse n propozitii simpe, tratate ca ntreg. un rationament cu astfel de propozitii este ntotdeauna o implicatie a concluziei de catre conjunctia premiselor fiind o implicatie, corectitudinea rationamentului (condensat ntr-o formula tautologica) este conditionata de imposibilitatea antecedentului adevarat si a consecventului fals; acum se ntelege mai bine si conditia generala a validitatii, discutata n prima tema: ntr-un rationament valid este imposibil ca din premise adevarate sa se ajunga la concluzie falsa. propozitiile compuse nu epuizeaza posibilitatile de formalizare a limbajului natural; insuficientele de formalizare din acest limbaj sunt depasite de limbajul propozitiilor complexe, propozitii care preiau structurile operatorii ale celor compuse dar realizeaza n acelasi timp si o analiza a termenilor.

&

APLICATII SI TEME DE EVALUARE 1. Fie argumentul: a) Daca autobuzul pleaca la ora fixata si nu are ntrzieri pe traseu, nseamna ca va ajunge la timp. ntruct autobuzul nu a ajuns la timp, rezulta ca el nu a plecat la ora fixata sau ca a avut ntrzieri pe traseu. b) Daca populatia creste n progresie geometrica, n timp ce resursele cresc n progresie aritmetica, saracia generalizata este inevitabila. Populatia nu creste n progresie geometrica. Deci, saracia generalizata nu este inevitabila. c) Daca primarul ales este un bun gospodar sau dispune de consilieri priceputi, atunci fondurile vor fi directionate spre modernizarea utilitatilor publice. Cum fondurile sunt destinate modernizarii utilitatilor publice, nseamna ca primarul ales este un bun gospodar sau dispune de consilieri priceputi si onesti.

Cerinte: 1) Identificati propozitiile componente; 2) Determinati formula acestui rationament; 3) Verificati prin metoda deciziei prescurtate corectitudinea rationamentului; 4) Construiti o formula echivalenta cu formula rationamentului dat si dovediti echivalenta lor prin metoda tabelelor de adevar. 2. Verificati validitatea urmatoarelor rationamente: a) "Daca n momentul respectiv paznicul nu era atent, masina nu putea fi observata cnd a intreat n depozit; daca depozitia martorului este adevarata, paznicul nu era atent n momentul respectiv. Fie masina a fost observata, fie soferul ascunde ceva; ntruct soferul nu ascunde nimic, rezulta ca depozitia martorului nu este adevarata." b) "Ei bine, daca mannc marul si el ma face sa cresc mai mare, pot sa ajung cheia si sa intru n gradina; daca ma face sa devin mai mica,pot sa ma strecor pe sub usa si sa intru n gradina. Oricum o fi, voi intra n gradina" (Lewis Carroll) c) "Daca exista dreptate n aceasta viata, atunci nu este nevoie de o viata viitoare. Daca, pe de alta parte, nu exista dreptate n viata noastra pamnteasca, atunci nu avem nici un motiv sa credem ca Dumnezeu este drept. Dar daca nu avem nici un motiv sa credem ca Dumnezeu este drept, atunci nu avem nici un motiv sa credem ca El ne va asigura o viata viitoare. Astfel, sau nu este nevoie de o viata viitoare, sau nu avem nici un motiv sa credem ca Dumnezeu ne va asigura o astfel de viata". (David Hume) 3. Trei persoane A, B, C, banuite de un jaf, declara sub prestare de juramnt: A: B este vinovat, dar C este nevinovat B: Daca A este vinovat, atunci si C este vinovat C: Eu sunt nevinovat, dar cel putin unul din ceilalti doi este vinovat Cerinte: a) Demonstrati daca din declaratia unuia rezulta declaratia altui suspect b) Daca cele trei persoane sunt nevinovate, care dintre ele a depus marturie falsa c) Presupunnd ca cei nevinovati au spus adevarul, iar cei vinovati au mintit, puteti preciza cine este vinovat si cine nu?

[1] Logica propozitiilor ncepe cu propoztiile compuse care au drept elemente nu termenii, ca n cazul propozitiilor categorice, ci propozitiile neanalizate. nceputul logicii
propozitionale l-au facut filosofii stoici si megarici, dar ideea unui calcul logic apare n lucrarile lui R. Lullus (1235-1315) si G. W. Leibniz (1646-1716). Bazele calculului logic vor fi puse de catre G. Boole (1815-1864).

[2] altfel spus, valoarea de adevar a propozitiei compuse care rezulta prin aplicarea operatorului este functie de valoarea de adevar a propozitiilor componente. [3] alte simboluri pentru negatie: ~p, p

7 of 8

11/14/11 8:10 PM

LOGICA PROPOZITIONALA

http://www.scritube.com/stiinta/matematica/LOGICA-PROP...

[4] n general, numarul functiilor de adevar (N), presupunnd ca exista n variabile si m valori de adevar, se calculeaza astfel: N= (mm)n [5] alte simboluri utilizate pentru desemnarea conjunctiei fiind: p&q, pq [6] se mai simbolizeaza p q [7] sau p q,
pq, pq

[8] n cazul propozitiilor categorice am vorbit de echivalente ntre aceste preopozitii si am constatat atunci ca obvertenda si obversa sunt echivalente: Toti oamenii
sunt muritori si Nici un om nu este nemuritor; Sap Se`P.

[9] sau pq, pq [10] n logica propozitionala exista un numar imens de legi logice, practic, orice formula valida poate fi considerata lege logica. Noi ne rezumam aici la prezentarea celor mai
importante legi care ne pot fi utile n verificarea validitatii unor inferente.

[11] Parantezele au acelasi rol ca n algebra, indicnd ordinea operatiilor; pentru simplificarea formulelor complexe, ce continmulte paranteze, se introduc conventii de prioritate astfel,
ordinea operatiilor va fi: echivalenta, implicatie, disjunctie, conjunctie, negatie; parantezele sunt inevitabile cnd n foemula se repeta acelasi operator

[12] Raporturile sunt aceleasi cu cele de la propozitii categorice, respectiv, contrarele nu pot fi ambele adevarate, subcontrarele nu pot fi ambele false, etc. [13] de la ponere = a pune, a afirma [14] de la tollere = a suprima, a nega [15]Este rationamentul unui tnar atenian care vrea sa intre n politica. [16] cnd pvs este adevarat, iar q r este fals, cnd pvs este fals si q r este adevarat; pentru fiecare di aceste situatii exista mai multe cazuri: pvs este adevarat n trei situatii, cnd p=1
si s=1, p=1 si s=0, cnd p=0 si s=1, etc.

Document Info
Accesari: 2407 Apreciat:

A fost util?
Daca documentul a fost util si crezi ca merita sa adaugi un link catre el la tine in site

Copiaza codul
in pagina web a site-ului tau.
<a href="http://www.scritube.com/stiinta/matematica/LOGICAPROPOZITIONALA85211.php" target="_blank" title="LOGICA PROPOZITIONALA

Comenteaza documentul:
Nu esti inregistrat Trebuie sa fii utilizator inregistrat pentru a putea comenta Creaza cont nou

Copyright Contact (SCRIGROUP Int. 2011 )

8 of 8

11/14/11 8:10 PM