Documente Academic
Documente Profesional
Documente Cultură
I. Propoziii
Se numete propoziie un enun despre care tim c este sau adevrat sau fals, ns nu i
una i alta simultan.
De obicei propoziiile n sens matematic se noteaz cu literele: p, q, r,
Exemple:
Considerm enunurile:
1) p: 5 + 2 7
2) q: 3/15
3) n orice triunghi suma unghiurilor sale este egal cu 180 .
4) 2 > 5
5) Balena este un mamifer.
6) Planeta Venus este satelit al Pmntului.
7) orice numr prim este impar
Toate aceste enunuri sunt propoziii, deoarece despre fiecare putem s tim dac este
adevrat sau fals:
- 2), 3), 5) sunt propoziii adevrate;
- 1), 4), 6) i 7)(numrul 2 face excepie, este prim dar par) sunt propoziii false.
1
Exemple:
Considerm enunurile:
8) r: 5/x, x natural
9) s: x+12=13, x natural
10) + 2 = 5
11) 1 < 4
12) Deschide ua!
13) Numrul x divide numrul y.
14) Atomul de aur este galben.
Enunurile 8) 14) nu sunt propoziii, astfel:
- 8), 9), 10), 11) i 13) au un character variabil (pentru unele valori ale lui x este
adevrat, iar pentru altele este fals);
- 12) este o porunc, un ordin, despre care este lipsit de sens s afirmm c este
adevrat sau fals;
- enunul 14) este absurd, deoarece este 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.
Dac o propoziie este fals, spunem c ea are valoarea de adevr falsul i vom nota
valoarea de adevr, n acest caz, prin semnul 0 .
Numerele 1 i 0 care exprim valoarea de adevr a unei propoziii nu au neles
numeric. De altfel, vom mai nota adevrul A i falsul cu F.
2
I.2. Operatori logici
Propoziii compuse:
Se numesc propoziii compuse propoziiile noi care se pot forma cu ajutorul operatorilor
(conectorilor) logici din una sau dou propoziii date, a cror valoare de adevr depinde de
valoarea de adevr a propoziiilor iniiale.
Operatori logici: non, i, sau, implicaia, echivalena.
Valoarea de adevr a propoziiilor compuse se poate indica ntr-o tabel de adevr
care se ntocmete astfel: n partea stng a tabelei apar toate valorile de adevr posibile ale
propoziiilor date, iar n partea dreapt valoarea de adevr a propoziiilor nou formate.
Exemple:
1) Considerm propoziiile:
p: 2 | 4 , q: 4 | 21
Propoziia : 2 | 4 i 4 | 21 este adevrat, deoarece , sunt amndou
propoziii adevrate.
2) Considerm propoziiile:
p: 2 + 4 = 6 , q: Luna este satelit al Pmntului.
Propoziia : 2 + 4 = 6 i Luna este satelit al Pmntului este adevrat,
deoarece , sunt amndou propoziii adevrate.
3) Considerm propoziiile:
p: 2 + 4 6 , q: 3 | 9
Propoziia : 2 + 4 6 i 3 | 9 este fals, deoarece este o propoziie
adevrat i este o propoziie fals.
4
Exerciiu rezolvat:
S se afle valoarea de adevr a propoziiei: () (legea contradiciei).
Soluie: Avem tabela de adevr:
()
1 0 0
0 1 0
Exemple:
1) Considerm propoziiile:
p: Creta este neagr. , q: Tabla este alb.
Propoziia : Creta este neagr sau tabla este alb este fals, deoarece ,
sunt amndou propoziii false.
2) Considerm propoziiile:
p: 2 > 3 , q: Balena este un mamifer.
Propoziia : 2 < 3 sau Balena este un mamifer este adevrat, deoarece
este o propoziie fals i este o propoziie adevrat.
5
Exerciiu rezolvat:
S se afle valoarea de adevr a propoziiei: () (principiul terului exclus).
Soluie: Avem tabela de adevr:
()
1 0 1
0 1 1
6
Exemple:
1) Considerm propoziiile:
p: 2 2 = 5 , q: Balena este un mamifer.
Propoziia : dac 2 2 = 5, atunci balena este un mamifer este o
propoziie adevrat, deoarece este fals, iar este adevrat.
2) Considerm propoziiile:
p: 10 este numr natural , q: 10 este cifr
Propoziia : dac 10 este numr natural, atunci 10 este cifr este fals,
deoarece este o propoziie adevrat i este o propoziie fals.
Exerciiu rezolvat:
S se arate c urmtoarele propoziii au valoarea de adevr 1 indiferent de
propoziiile simple ce le compun:
a) () ; b) () .
Soluie: Avem tabela de adevr:
q () ()
1 1 1 1 1 1
1 0 1 0 1 1
0 1 1 0 1 1
0 0 0 0 1 1
7
2.5. Echivalena propoziiilor
Fie , dou propoziii.
Echivalena propoziiilor , este propoziia p este echivalent cu q care se noteaz
.
Propoziia este o propoziie adevrat atunci i numai atunci cnd i au
aceeai valoare de adevr. Este fals n celelelte situaii.
Valoarea de adevr a propoziiei este dat n tabela urmtoare:
q
1 1 1
1 0 0
0 1 0
0 0 1
Propoziia se mai poate citi p dac i numai dac q.
Propoziia compus ( ) ( ) se noteaz cu .
q ( ) ( ) sau
1 1 1 1 1
1 0 0 1 0
0 1 1 0 0
0 0 1 1 1
Exemple:
1) Considerm propoziiile:
p: 5 = 3 , q: 5 > 3
Propoziia : 5 = 3 dac i numai dac 5 > 3 este o propoziie fals,
deoarece este fals, iar este adevrat.
2) Considerm propoziiile:
p: 50 este multiplu al lui 10 , q: 50 este divizibil cu 2 i cu 5
Propoziia : 50 este multiplu al lui 10 dac i numai dac este divizibil cu
2 i cu 5 este adevrat, deoarece , sunt adevrate.
8
Exerciiu rezolvat:
S se afle valoarea de adevr a propoziiei: () (()()) .
Soluie: Avem tabela de adevr:
q () () (()())
1 1 0 0 1 0 0 1
1 0 0 1 0 1 1 1
0 1 1 0 0 1 1 1
0 0 1 1 0 1 1 1
Calculul propoziional studiaz din punct de vedere logic expresiile obinute din
propoziiile p, q, r, , cu ajutorul conectorilor logici , , , , , dup anumite reguli.
Expresiile logice se mai numesc i formule ale calcului propoziional.
Se noteaz cu , , ,
Exemple:
Expresiile
= , = () , = () , = ( )
sunt formule ale calcului propoziional.
Definiii:
i) O formula care are valoarea de adevr 1 indiferent de propoziiile care o compun
se numete formul identic adevrat sau tautologie.
ii) O formula care are valoarea de adevr 0 indiferent de propoziiile ce o compun se
numete formula identic fals.
9
iii) Dou formule , , n scrierea crora intr literele p, q, r, , se numesc echivalente
dac i numai dac pentru orice nlocuire a literelor p, q, r, , cu diverse propoziii
se obine aceeai valoare de adevr. Se noteaz .
Exerciii rezolvate:
1) S se arate c propoziia () este tautologie.
Soluie: Avem tabela de adevr:
q ()
1 1 1 1
1 0 1 1
0 1 1 1
0 0 0 1
2) S se arate c propoziia (() ) este identic fals.
Soluie: Avem tabela de adevr:
q () (() )
1 1 1 1 0
1 0 0 1 0
0 1 0 1 0
0 0 0 1 0
3) S se verifice echivalena formulelor: .
Soluie: Avem tabela de adevr:
q p q
1 1 0 0 1 1
1 0 0 1 0 0
0 1 1 0 1 1
0 0 1 1 1 1
10
I.4. Proprieti fundamentale ale operatorilor logici
1) () (negarea negaiei)
2) (comutativitatea conjunciei)
3) ( ) ( ) (asociativitatea conjunciei)
4) (comutativitatea disjunciei)
5) ( ) ( ) (asociativitatea disjunciei)
( )
9) ( ) (negarea implicaiei)
11
II. Predicate
II.1. Noiunea de predicat (propoziie cu variabile)
Un enun care depinde de una sau mai multe variabile i are proprietatea c pentru orice
valori date variabilelor corespunde o propoziie (adevrat sau fals) se numete predicat.
Predicatele sunt: unare, binare, ternare, , dup cum depend respective de 1, 2, 3,
variabile. Un predicat care depinde de n variabile se numete predicat n-ar.
Notm predicatele cu p(x, y, z, ), q(x, y, z, ) .
Ori de cte ori definim un predicat, trebuie s indicm i mulimile n care variabilele iau
valori.
Exemple:
1) Considerm enunul:
(): " + 2 < 3"
Dac nlocuim x cu 2, obinem propoziia fals 2 + 2 < 3 . Dac nlocuim x cu
0, obinem propoziia adevrat 0 + 2 < 3 .
Enunul (): " + 2 < 3" este predicat unar.
2) Enunul (): " 1 = 7" , unde x desemneaz un numr ntreg, este un predicat
unar.
3) Enunul (, ): x este frate cu y , unde x, y desemneaz oameni, este un
predicat binar.
4) Enunul (, , ): " = + " , unde x, y, z desemneaz un numere ntregi, este
un predicat ternar.
Exemple:
Considerm predicatele:
1) (): " 3 = 0" , x numr natural.
Propoziia () ( 3 = 0) este adevrat deoarece pentru = 3 propoziia
(3): " 3 3 = 0 este adevrat.
2) (): " 2 + 1 = 0" , x numr real.
Propoziia () ( 2 + 1 = 0) este fals deoarece nu exist nici un numr 0 real
care s verifice relaia 02 + 1 = 0 .
Exemple:
Considerm predicatele:
1) (): " 2 0" , x numr real.
Propoziia () ( 2 0) este adevrat deoarece ptratul oricrui numr real este
pozitiv.
2) (): " 2 > 0" , x numr real.
Propoziia () ( 2 > 0) este fals deoarece propoziia (0) este fals, numrul 0
face excepie.
Exemplu:
Considerm predicatele:
(): " > 0" , x numr real.
(): " 2 > 0" , x numr real.
Avem () ().
Propoziia () () nu este adevrat deoarece putem avea (2) adevrat,
dar (2) fals.
14
3.2. Echivalena logic
Exemplu:
Considerm predicatele:
(): " 2 = 9" , x numr real.
(): "2 2 18 = 0" , x numr real.
Avem () ().
15
Exemple:
1) Considerm predicatul
(): " 2 = 3" , unde x desemneaz un numr ntreg.
Propoziia () () este adevrat deaorece pentru 0 = 5 , propoziia
(0 ): "5 2 = 3" este adevrat.
Atunci propoziia () () este fals.
Pe de alt parte, predicatul () este echivalent cu predicatul " 2 3".
Propoziia () ( 2 3) este fals, deoarece pentru 0 = 5, propoziia "5
2 3" este fals.
Deci
() ( 2 = 3) () ( 2 = 3)
2) Considerm predicatul
(): " > 0" , unde x desemneaz un numr ntreg.
Propoziia () ( > 0) este fals, deoarece pentru 0 = 1 , propoziia
(0 ): " 1 > 0" este fals.
Atunci propoziia () ( > 0) este adevrat.
Pe de alt parte, predicatul () este echivalent cu predicatul " 0".
Propoziia () ( 0) este adevrat.
Deci
() ( > 0) () ( > 0)
16
II.4. Teorem, teorem direct, teorem reciproc, contrara directei, contrara
reciprocei, condiie necesar i suficient.
Reducere la absurd
O teorem este o propoziie adevrat care stabilete c unul sau mai multe obiecte
matematice posed o anumit proprietate.
De regul orice teorem se poate enuna sub forma unei propoziii construit cu ajutorul
cuvintelor dac atunci .
Deci o teorem se poate formula spunnd c un anume predicat este consecina logic a
altui predicat. Scriem:
(1 , 2 , , ) (1 , 2 , , ) .
Predicatul (1 , 2 , , ) se numete ipoteza teoremei, iar (1 , 2 , , ) se numete
concluzia teoremei.
17
Dac i predicatul (1 , 2 , , ) este consecina logic a predicatului (1 , 2 , , )
atunci are loc i torema (1 , 2 , , ) (1 , 2 , , ) numit reciproca teoremei date.
Reciproca unei teoreme se obine lund concluzia teoremei date (sau o parte din ea) ca
ipotez i ipoteza teoremei date (sau o parte) drept concluzie.
Atunci:
1) Dac teorema direct este adevrat teorema reciproc poate s nu fie adevrat.
Exemplu:
Fie predicatele:
(, ): " = " , x,y reale
(, ): " 2 = 2 " , x,y reale
Teorema direct (, ) (, ) este adevrat, dar reciproca (, ) (, )
nu eate adevrat ntotdeauna.
Exemplu:
Fie predicatele:
(, ): " = " , x,y reale
(, ): " 3 = 3 " , x,y reale
Avem (, ) (, ) , adic = 3 = 3 , x,y reale
n cazul
(1 , 2 , , ) (1 , 2 , , )
se spune c (1 , 2 , , ) este o condiie necesar i suficient pentru (1 , 2 , , ) sau
(1 , 2 , , ) este o condiie necesar i suficient pentru (1 , 2 , , ).
18
Fiind dat teorema
(1 , 2 , , ) (1 , 2 , , )
atunci putem forma:
1) teorema contrar: (1 , 2 , , ) (1 , 2 , , )
2) teorema contrar reciproc: (1 , 2 , , ) (1 , 2 , , )
Se numesc corolarii acele rezultate care se deduc imadiat dintr-o teorem sau propoziie.
Se numesc leme acele rezultate care pregtesc demonstraia unei propoziii mai dificile
sau teoreme.
19