Logica propoziiilor

n logic, prin propoziie nelegem un enun care poate fi ori

adevrat ori fals. Oricrei propoziii i se asociaz o valoare de
adevr: este sau adevrat i atunci spunem c are valoarea de
adevr 1 sau este fals i atunci spunem c are valoarea de
adevr 0. Nici o propoziie nu este n acelai timp i adevrat i
fals.
Exemple de propoziii:
! " # $%
&ucureti este capitala 'om(niei%
) este numr prim%
*rima din aceste propoziii are valoarea de adevr 0, celelalte dou
au valoarea de adevr 1.
*ropoziiile interogative sau e+clamative ale lim,ii nu sunt propoziii
n logic. -e asemenea, definiiile nu sunt propoziii. -e e+emplu,
enunul "un numr ntreg divizibil cu 2 se numete numr par" nu este o
propoziie. ns enunul orice numr par este divizibil cu 2 este
propoziie i are valoarea de adevr 1.
Operatori logici
.u a/utorul operatorilor logici, din una sau dou propoziii date se
pot forma noi propoziii a cror valoare de adevr depinde numai de
valoarea de adevr a propoziiilor date. 0om indica aceast valoare
de adevr cu a/utorul unor ta,ele: n partea st(ng a ta,elului apar
toate valorile de adevr posi,ile ale propoziiilor date iar n partea
dreapta, valoarea de adevr a propoziiei nou formate.
Operatorii logici sunt: 1negaia2, 1dis/uncia2 1con/uncia2,
1implicaia2, 1ec3ivalena2.
Negaia
a b a
Negaia unei propoziii a este propoziia "non
a" sau "nu este adevrat c a" care se noteaz
1
4 5 4
5 4 5
a. *ropoziia a este adevrat dac i
numai dac propoziia a este fals. 0aloarea
de adevr a propoziiei a n este indicat n
ta,elul alturat 1ta,la de adevr a negaiei2:
Exemplu
*ropoziia b = "nu este adevrat c 9 este numr par" care coincide cu
"9 nu este numr par" este negaia propoziiei
a = "9 este numr par"
*ropoziia a este fals i propoziia b = a este adevrat.
Disjuncia propoziiilor
a b a b
4 4 4
4 5 4
5 4 4
5 5 5
-is/uncia propoziiilor a i b este propoziia "a
sau b" care se noteaz a b. *ropoziia a b
este fals dac i numai dac am,ele
propoziii a i b sunt false. 6a,la de adevr a
dis/unciei este prezentat n ta,elul alturat.
Exemplu
*ropoziia: "7 este numr prim sau $ este numr impar" este adevrat.
fiind dis/uncia a dou propoziii dintre care una este adevrat.
Conjuncia propoziiilor
a b a b
4 4 4
4 5 5
5 4 5
5 5 5
.on/uncia propoziiilor a i b este propoziia
"a i b" care se noteaz a b. *ropoziia a b
este adevrat dac i numai dac am,ele
propoziii a i b sunt adevrate. 6a,la de
adevr a con/unciei este prezentat n ta,elul
alturat.
Exemplu
2
*ropoziia: "7 este numr prim i $ este numr impar" este o propoziie
fals fiind con/uncia a propoziiilor: "7 este numr prim" i "$ este
numr impar, prima fiind adevrat iar a doua fals.
Implicaia propoziiilor
a b a b
4 4 4
4 5 5
5 4 4
5 5 4
8mplicaia propoziiilor a i b este propoziia "a
implic b" care se mai poate citi "dac a atunci
b" sau "din a rezult b" i se noteaz a b.
*ropoziia a b se mai numete i implicaia
de surs a i capt b, 9a este o propoziie
fals, dac i numai dac sursa este o
propoziie adevrat, iar captul o propoziie
fals. 6a,la de adevr a implicaiei este
prezentat n ta,elul alturat.
Exemple
*ropoziia: "dac ) este numr prim atunci $ ! # :" este o propoziie
fals fiind o implicaie a crei surs este o propoziie adevrat, 8n
timp ce captul este o propoziie fals.
*ropoziia "dac ! # ) atunci $ este numr impar" este adevrat
fiind o implicaie a crei surs este o propoziie fals.
-ac propoziia a b este adevrat, scriem a b i spunem. c,
b este o consecin logic a lui a.
-e e+emplu avem:
" ! # ) "$ este numr impar"
dar nu avem 1nu este adevrat c2 ") este numr prim" "$ ! #
:".
Echivalena propoziiilor
a b a b
4 4 4
9c3ivalena propoziiilor a i b este propoziia
"a ec!ivalent cu b" care se mai poate citi "a
dac i numai dac b" i se noteaz a b.
*ropoziia a b este o propoziie adevrat
3
4 5 5
5 4 5
5 5 4
dac i numai dac propoziiile a i b au
aceeai valoare de adevr. 6a,la de adevr a
ec3ivalenei este prezentat n ta,elul
alturat.
Exemplu
*ropoziia: ": ; ) dac i numai dac 4 ! 4 # "" este o propoziie
adevrat, fiind ec3ivalena a dou propoziii am,ele false.
-ac propoziia a b este adevrat, scriem a b i spunem c
propoziiile a i b sunt ec3ivalente logic.
Legile calculului propoziional
.alculul propoziional studiaz din punct de vedere logic e+presiile
o,inute din literele p, ", r, ..., cu a/utorul operatorilor logici:
, , , , dup anumite reguli. <iterele p, ", r, ..., se numesc
varia,ile propoziionale sau formule elementare iar e+presiile
o,inute din ele cu a/utorul operatorilor logici se numesc formule,
regulile de formare a formulelor fiind urmtoarele:
varia,ilele propoziionale p, ", r, ..., sunt formule=
dac # i $ sunt formule, atunci #, # $. # $, # $ i #
$ sunt formule.
Exemple
9+presiile:
p, 1 p2. 11r s2 1 p22, 1r 1s 1 p22, 11p 1 "2 1p "22
sunt formule ale calculului propoziional.
-eoarece a,undena parantezelor n unele formule devine greoaie,
perec3ea de paranteze e+terioare nu se mai scrie, iar ordinea n
care se aplic operatorii logici este urmtoarea: , , , , .
>stfel, e+presiile date ca e+emple mai sus se scriu astfel:
p, p. r s p, r 1s p2, p " 1p "2
4
-ac ntr?o formul n scrierea creia intr varia,ilele propoziionale
p, ", r, ... nlocuim aceste varia,ile cu diverse propoziii, o,inem o
nou propoziie a crei valoare de adevr depinde numai de
valoarea de adevr atri,uit varia,ilelor propoziionale componente.
O formul a calculului propoziional se numete lege, tautologie sau
formul identic adevrat dac orice valoare de adevr ar avea
varia,ilele propoziionale care intr n compunerea sa, valoarea de
adevr a propoziiei o,inute este 1.
*entru a demonstra c o anumit formul a calculului propoziional
este o tautologie, atri,uim varia,ilelor propoziionale care intr n
compunerea ei valori de adevr n toate modurile posi,ile i
calculm de fiecare dat, pe ,aza ta,elelor de adevr ale
operatorilor logici, valoarea de adevr a formulei= dac de fiecare
dat valoarea de adevr o,inut este 1, nseamn c formula
respectiv este o tautologie.
Exemple:
<egea terului e+clus
a a
a
a
4 5 4
5 4 4
<egea negrii implicaiei:
a b
a
b
b
1a
b2
a b
1a b2 a
b
4 4 4 5 5 5 4
4 5 5 4 4 4 4
5 4 4 5 5 5 4
5 5 4 4 5 5 4
<egea silogismului:
5
a b c
a
b
b
c
1a b2 1b
c2
a
c
1a b2 1b c2
1a c2
4 4 4 4 4 4 4 4
4 4 5 4 5 5 5 4
4 5 4 5 4 5 4 4
4 5 5 5 4 5 5 4
5 4 4 4 4 4 4 4
5 4 5 4 5 5 4 4
5 5 4 4 4 4 4 4
5 5 5 4 4 4 4 4
n virtutea acestor tautologii putem scrie:
1p "2 p "
1p "2 1" r2 1p r2
>lte e+emple de tautologii, ale cror demonstraii se pot realiza n
mod analog, sunt:
p "
1legea de
refle+ivitate2=
p " p
p " p
1legile de
idempoten2=
p " " p
p " " p
1legile de
comutativitate2=
p 1" r2 1p "2 r
p 1" r2 1p "2 r
1legile de
asociativitate2=
p 1" r2 1p "2 1p r2
1legile de
distri,utivitate2=
6
p 1" r2 1p "2 1p r2
p p
1legea du,lei
negaii2=
1p "2 1" p2
1p "2 1 " p2
1p "2 1 p "2
1p "2 1p "2 1" p2
p 1p "2 "
1p "2 1p r2 1p r2

1p "2 p "
1p "2 p "
legile lui -e @organ
1p r2 1" r2 1p " "2

<egile calculului propoziional i n special cele date mai sus ca
e+emple sunt importante deoarece pe ,aza lor se fac
raionamentele logice i deci demonstraiile n matematic.
7