Sunteți pe pagina 1din 5

1. ELEMENTE DE CALCULUL PROPOZIIILOR Noiunea de propoziie.

Se numete propoziie un enun despre care tim c este advrat sau fals, ns nu i una alta simultan. Exemple. Considerm enunurile: 1)n orice triunghi suma unghiurilor sale este egal cu 180 ; 2) 3+2=5; 3)2>5 4) Balena este un mamifer ; 5) Planeta Venus este satelit al Pmntului. Toate aceste enunuri sunt propoziii, deoarece despre fiecare putem s tim dac este adevrat sau fals. De exemplu 1),2) i 4) sunt propoziii adevrate, iar 3) i 5) sunt propoziii false. Observaie. O clas foarte larg de propoziii adevrate o constituie teoremele din matmatic. S considerm enunurile 1),,x+2=5 ; 2)x-1<4 3)Deschide ua! ; 4)Numrul x divide numrul y ; 5)Atomul de aur este galben. Se observ c 1), 2), 3), 4) i 5) sunt enunuri pentru care condiia de mai sus(de afi adevrat sau fals) nu este ndeplinit. Mai exact enunurile 1), 2) i 4) au caracter variabil, enunul 3) este o porunc despre care este lipsit de sens s afirmm c este adevrat sau fals, enunul 5) este absurd, deoarece e lipsit de sens s vorbim despre culoarea unui atom. Valoare de adevr. Dac o propoziie este adevrat, spunem c ea are valoarea de adevr adevrul i vom nota valoarea de adevr, n acest caz, prin semnul 1 sau A; cnd propoziia este fals spunem c ea are valoarea de adevr falsul i vom nota valoarea de adevr prin semnul 0 sau F. Observaie. 0 i 1 sunt aici simboluri fr neles numeric. Vom nota propoziiile cu literele p, q, r... sau p1, p2,, p3 ... . Acestea se pot compune cu ajutorul aa-numiilor conectori logici non , i , sau dnd propoziii di ce n ce mai complexe. Negaia propoziiilor. Negaia propoziiei p este propoziia non p care se noteaz p i care este adevrat cnd p este fals i fals cnd p este adevrat. Valoarea de adevr a propoziiei p este dat in tabelul urmtor: p 1 0 p 0 1

De exemplu, considerm propoziia p: Balena este un mamifer. Negaia p este propoziia : Non balena este un mamifer sau, n limbajul obinuit : Balena nu este un mamifer. n acest caz p este o prpoziie fals Conjuncia propoziiilor. Conjuncia propoziiilor p, q este propoziia care se citete p i q, notat p q i care este adevrat atunci i numai atunci cnd fiecare din propoziiile p, q este adevrat. p q pq 1 1 1 1 0 0 0 1 0 0 0 0 De exemplu, s considerm propoziiile p: 2+4+6 i q: Luna este satelit al Pmntului. n acest exemplu p q este o propoziie adevrat deoarece p, q sunt amndou adevrate. Deseori n loc de p q se mai folosete notaia p&q. Disjuncia propoziiilor. Disjuncia propoziiilor p, q este propoziia care se citete p sau q, notat p v q, i care este adevrat atunci i numai atunci cnd este adevrat cel puin una din propoziiile p, q. p 1 1 0 0 q 1 0 1 0 pvq 1 1 1 0

De exemplu considerm propoziiile p: 2>3 i q: balena este un pete. Propoziia p v q este o propoziie fals deoarece ambele propoziii sunt false. Propoziiile care se obin din prpoziiile p, q, r..., numite propoziii simple, aplicnd de un numr finit de ori conectorii logici , , v se vor numi propoziii compuse. Calculul propoziiilor studiaz propoziiile compuse din punctul de vedere al adevrului sau falsului n raport cu valorile logice ale propoziiilor simple care le compun. Implicaia propoziiilor. S considerm propoziia compus ( p) v q a crei valoare de adevr rezult din tabela urmtoare: p p q ( p) v q 1 1 0 1 1 0 0 0 0 1 1 1 0 0 1 1 Observm c propoziia compus ( p) v q este fals atunci i numai atunci cnd p este adevrat i q fals, n celelalte cazuri fiind adevrat.

Propoziia compus ( p) v q se noteaz pq i se citete dac p atunci q sau p implic q. Ea se numete implicaia propoziiilor p, q ( in aceast ordine).n implicaia pq , p se numete ipoteza sau antecedentul implicaiei, iar propoziia q se numete concluzia sau consecventul implicaiei Echivalena propoziiilor. Cu propoziiile p, q putem forma propoziia compus (pq) (qp), care se noteaz pq i se citete p dac i numai dac q. p q pq qp pq 1 1 0 0 1 0 1 0 1 0 1 1 1 1 0 1 1 0 0 1

Formule echivalente n calculul propoziional Aa cum n clasele mici cu literele a, b, c, ... i simbolurile +, ,-, : , putem forma expresiile algebrice, aa i n calcul propoziional cu literele p, q, r, ... (sau p1 , p2 ,p3 ,...) i cu simbolurile conectorilor logici: , ,, , putem s formm diverse expresii numite formule ale calculului proporional. Formulele calculului proporional le notm cu literele , , , , ... . Exemple: p q, (p q) r, (pq) (pq) , (p r) p, p q sunt formule ale calculului propoziional. Dat o formul = ( p, q, r, ...) n scrierea creia intr literele p, q, r, ... ori de cte ori nlocuim literele p, q, r, ..., cu diverse propoziii obinem o nou propoziie ( adevrat sau fals ) care se va numi valoarea formulei pentru propoziiile p, q, r, ...date. Observaie. Cititorul poate s fac imediat legtura cu valoarea unei expresii algebrice pentru diverse valori numerice date literelor ce o compun. O formul ( p, q, r, ...) care are valoarea o propoziie adevrat indiferent cum sunt propoziiile p, q, r, ... se numete formul identic adevrat sau tautologie. Dou formule, i , n scrierea crora intr literele p,q, r, ... se zic echivalente dac i numai dac pentru orice nlocuire a literelor p, q, r,... cu diverse propoziii, valorile celor dou formule sunt propoziii (compuse) care au aceeai valoare de adevr. Cnd dou formule i , sunt echivalente scriem .

ELEMENTE DE CALCULUL PREDICATELOR

Noiunea de predicat are o importan deosebit n matematic.. Fr a exagera, aproape orice teorem din matematic este un enun ce conineunul sau mai multe predicate.

Un enun care depinde de una sau mai multe variabile i are proprietatea c pentru orice valori date variabilei corespunde o propoziie adevrat sau fals se numete predicat sau propoziie cu variabile. Predicatele sunt unare, binare, ternare etc., dup cum depind respect de 1, 2, 3... variabile. Ori de cte ori definim un predicat trebuie s indicm i mulimile n care variabilele iau valori. Cuantificatorul existenial () i cuantificatorul universal () Strns legat de noiunea de predicat apare noiunea de cuantificator. Fie predicatul unar p(x) unde x desemneaz un element oarecare din mulimea E. Putem forma enunul: exist cel puin un x din E astfel nct p(x), care noteaz ( x)p(x). Acest enun este o propoziie care este adevrat cnd exist cel puin un element x0 din E astfel nct propoziia p(x0) este adevrati este fals cnd nu exist nici un x0 din E astfel nct p(x0) s fie adevrat. Cu predicatul p(x) putem forma i enunul :oricare ar fi x din E are loc p(x) care se noteaz (x) p(x). Acest enun este o propoziie care este adevrat dac pentru orice element x0 din E p(x0) este adevrat, fiind fals n cazul n care exist cel puin un x0 din E pentru care E p(x0) este fals. Echivalena predicatelor. Dou predicate p( x, y, z...), q(x, y, z...) se zic echivalente i scriem p( x, y, z...) q(x, y, z...) dac oricum am alege valorile variabilelor x0 , y0, z0 pentru care propoziia p(x0 , y0, z0 ...) i q(x0 , y0, z0 ...) au aceeai valoare de adevr. Dac oricum am alege valorile variabilelor x0 , y0, z0 pentru care propoziia p(x0 , y0, z0 ...) este adevratezult ci propoziia q(x0 , y0, z0 ...) este adevrat, vom scrie p( x, y, z...) q(x, y, z...) Se vede c p( x, y, z...) q(x, y, z...) atunci i numai atunci cnd p( x, y, z...) q(x, y, z...) i q( x, y, z...) p(x, y, z...) Reguli de negaie. Fie p(x) un predicat unar, unde x desemneaz un element din mulimea E. Atunci : 1) (() p(x)) (x) p(x) 2) ((x) p(x) ( x) p(x) (aici semnul desemneaz faptul c cele dou prop. au aceei valoare de adevr)

3. TEOREMA CONTRAR 1.Structura unei teoreme. O clas foarte larg de propoziii adevrate o constituie teoremele din matematic. Exemple : 1) n orice triunghi, suma unghiurilor sale este egal cu 180o 2)n orice triunghi, lungimea oricrei laturi este mai mic dect suma lungimilor celorlalte dou i mai mare ca diferena lor 3) n orice triunghi dreptunghic ptratul lungimii ipotenuzei este egal cu suma ptratelor lungimilor catetelor. Fiecare teorem stabilete c un obiect matematic sau un ansamblu de obiecte matematice posed o anumit proprietate. Cum se obin teormele? Studiind matematica elementar se poate constata c toate teoremele ei se deduc prin demonstraii, adic printr-un ir de raionamente logice, sau cum se mai spune, prin silogisme, din cteva propoziii fundamentale numite axiome, care se accept a fi adevrate fr demonstraie.

Aproape orice teorem se poate enuna sub forma ,,dac, atunci. Partea nti, care ncepe cu cuvntul dac se numete ipoteza teoremei, partea a doua, cea care ncepe cu cuvntul atunci se numete concluzia teoremei. S lum de exemplu teorema : ,, ntr-un triunghi dreptunghic ptratul lungimii ipotenuzei este egal cu suma ptratelor lungimilor catetelor. Aceast teorem se poate pune sub forma : ,,dac ABC este un triunghi dreptunghic, atunci ptratul lungimii ipotenuzei este egal cu suma ptratelor lungimilor catetelor. Aici ipoteza este ,, ABC este un triunghi dreptunghic iar concluzia este ,,ptratelor lungimii ipotenuzei este egal cu suma ptratelor lungimilor catetelor. Teoremele se pot pune sub forma implicaiei: (1) p(x, y, z) q(x, y, z...) care reprezint notaia prescurtat a propoziiei (1) (x)( y)( z).. p(x, y, z) q(x, y, z...) n implicaia (1) predicatul p(x, y, z) constituie ipoteza teoremei, iar q(x, y, z...) constituie concluzia teoremei. 2.Teorema contrar. S considerm urmtoarea teorem: ,,un patrulater este pararelogram, atunci diagonalele sale se taie n pri egale. Din aceast teorem formm urmtorul enun : dac un patrulater nu este paralelogram, atunci diagonalele sale nu se taie n pri egale. Acest enun este o propoziie adevrat, deci o teorem. Cum am obinut acest nou teorem? Se observ c ea s-a obinut din prima, nlocuind ipoteza i concluzia prin negaiile lor Dat o teorem, propoziia care se obine din teorema dat nlocuind ipoteza i concluzia ei prin negaiile lor se numete contrara teoremei date . In cazul c aceast propoziie este adevrat ea se numete teorema contrar a teoremei date. Observaie. Pentru a enuna corect contrara teoremei, este foarte important s tim s negm corect. n termeni ai calculului cu predicate dac (1) p(x, y, z) q(x, y, z...) este teorema dat, atunci contrara teoremi este propoziia (2) (x)( y)( z)..( p(x, y, z) q(x, y, z...)) n cazul c (2) este o propoziie adevrat atunci (2) se scrie sub forma (2) p(x, y, z) q(x, y, z...) i constituie teorema contrar a teoremei (1).