Logica predicatelor

Un predicat este un enun care depinde de una sau mai multe

variabile i care are proprietatea c pentru anumite valori ale
variabilelor (valori care pot fi de exemplu numere sau, n general,
elemente ale unei mulimi) devine o propoziie. Un predicat care
depinde de n variabile se numete predicat n-ar.
n particular, pentru n = 1, 2, 3, avem predicate unare, binare i
respectiv ternare.

Exemple
Enunul:
a(n) = "3 este un divizor al lui n"
este un predicat care depinde de variabila n. Pentru fiecare numr
ntreg n, a(n) este o propoziie. i anume, dac n este un numr
ntreg de forma 5k, k numr ntreg, atunci a(n) este o propoziie
adevrat i pentru toate celelalte valori ale lui n, a(n) este o
propoziie fals.

Enunul:
a(x, y) = "x + y = 2"
este un predicat binar. Pentru orice dou numere reale x i y, a(x, y)
este o propoziie. Propoziia a(1, 1) obinut dnd lui x i y valorile x
= 1, y = 1 este o propoziie adevrat, n timp ce propoziia a(0, 1)
obinut dnd lui x i y valorile x = 0, y = 1 este o propoziie fals.
S considerm dou predicate unare a(x) i b(x). Cu ajutorul
operatorilor logici putem construi i alte predicate unare, anume:
a(x), a(x) b(x), a(x) b(x), a(x) b(x), a(x) b(x)
De exemplu, predicatul a(x) b(x) este acel predicat c(x) care,
pentru fiecare valoare a variabilei x coincide cu propoziia a(x) b(x).
De asemenea, putem forma predicatele binare:
a(x) b(y), a(x) b(y), a(x) b(y), a(x) b(y)

Consecin logic
Predicatul b(x) se numete consecin. logic a predicatului a(x) i
scriem a(x) b(x) dac pentru orice valoare a variabilei x, propoziia
a(x) b(x) este adevrat.
innd. seama de definiia implicaiei, avem a(x) b(x) dac i
numai dac pentru orice valoare a variabilei x, propoziia b(x) este
adevrat de fiecare dat cnd propoziia a(x) este adevrat.

Exemplu
Considernd predicatele:
a(x) = "x > 0" i b(x) = "x2 > 0"
care au sens pentru x numr real, avem:
a(x) b(x)

Echivalen logic
Predicatele a(x) i b(x) sunt echivalente logic i scriem a(x) b(x)
dac pentru orice valoare a variabilei x propoziia a(x) b(x) este
adevrat.
Conform definiiei echivalentei, avem a(x) b(x) dac i numai
dac pentru orice valoare a variabilei x, propoziiile a(x) i b(x) au
aceeai valoare de adevr.

Exemplu
Considernd predicatele:
a(x) = "x < 0" i b(x) = "x 0"
care au sens pentru x numr real, avem:
a(x) b(x) i a(x)

b(x)

Relaiile de consecin logic i echivalen logic pot fi definite i

ntre predicate n-are, unde n > 2, ntr-un mod evident. De exemplu,
dac considerm predicatele:

x > y, y > 0 i x2 > y2

care au sens cnd x i y sunt numere reale, avem:
x > y, y > 0 x2 > y2
De asemenea:
(x y = 2) x y 2.
n matematic, orice teorem se formuleaz de regul spunnd
c un anumit predicat este consecin logic a unui alt predicat, deci
are forma:
a(x1, x2, ..., xn) b(y1, y2, ..., yn)

Exemple
Teorema "nlimile unui triunghi sunt concurente" are forma:
a(x, y, z) b(x, y, z)
unde a(x, y, z) este predicatul "x, y, z sunt nlimile unui triunghi" i
b(x, y, z) este predicatul "x, y, z sunt concurente".
Teorema "Diagonalele unui romb sunt perpendiculare"are forma:
a(x, y) b(x, y)
unde a(x, y) este predicatul "x, y sunt diagonalele unui romb" i b(x,
y) este predicatul "x, y sunt perpendiculare".

Propoziii universale i existeniale

Propoziii universale
Fie a(x) un predicat unar. Propoziia "pentru orice valoare permis a
variabilei x, a(x) este o propoziie adevrat" se numete propoziia
universal asociat predicatului a(x) i se noteaz (x)a(x).
De exemplu, dac a(x) i b(x) sunt dou predicate, avem:
a(x) b(x)
dac i numai dac propoziia:

(x)a(x) b(x)
este adevrat. De asemenea,
a(x) b(x)
dac i numai dac propoziia:
(x)a(x) b(x)
este adevrat.
Considernd predicatul: "x2 > 0", unde x este un nmnr real,
propoziia:
(x)(x2 0)
este o propoziie adevrat. Propoziia:
(x)(x2 > 0)
nu este ns o propoziie adevrat. ntr-adevr, avem predicatul:
a(x) = "x2 > 0", unde x este un numr real i propoziia a(0) nu este o
propoziie adevrat.

Propoziii existeniale
Propoziia existenial asociat unui predicat unar oarecare a(x) este
"exist cel puin o valoare x0 a variabilei x astfel ca a(x0) s fie o
propoziie adevrat" i se noteaz (x)a(x).
De exemplu, considernd predicatul: a(x) = "x + 2 = 0", unde x este
numr ntreg, propoziia:
(x)(x + 2 = 0)
este adevrat, deoarece pentru x = 2, propoziia a(2) = "2 + 2 =
0" este adevrat. Putem ns considera i predicatul: a(x) = "x + 2
= 0", unde x este numr natural. Atunci, propoziia
(x)a(x)
nu este o propoziie adevrat.
S presupunem predicatul a(x) definit numai pentru un numr finit
de valori ale variabilei x, anume x1, x2,..., xn.

Atunci:
(x)a(x) a(x1) a(x2) ... a(xn)
(x)a(x) a(x1) a(x2) ... a(xn)
innd seama de legile lui De Morgan, rezult:
(x)a(x) a(x1) a(x2) ... a(xn) (x)( a(x))
n mod analog:
(x)a(x) (x)( a(x))
Regulile de negaie stabilite mai sus, sunt valabile i n cazul
general. Deci, pentru orice predicat unar a(x), avem:
(x)a(x) (x)( a(x))
(x)a(x) (x)( a(x))
Fie a(x, y) un predicat binar. Atunci
(x)a(x, y)
este un predicat unar, care depinde de variabila y i, prin urmare,
putem forma propoziiile:
(y)(x)a(x, y)
(y)(x)a(x, y)
i In mod analog,
(x)a(x, y)
este un predicat unar care depinde de variabila y, deci, putem forma
propozitiile:
(y)(x)a(x, y)
(y)(x)a(x, y)
Exemplu
S consideram predicatul binar a(x,y) = "x < y", unde x, y sunt
numere reale.
Propoziia:

(y)(x)a(x, y)
este o propoziie fals deoarece, de exemplu, a(2,1) este o
propoziie fals.
Propoziia:
(y)(x)a(x, y)
este o propoziie fals deoarece pentru o valoare oarecare y = y0 a
variabilei y0, propoziia
a(y0 + 1, y0)
sunt ns propoziii adevrate.
Regulile de negaie pentru propoziiile de tip universal-existenial
asociate predicatelor binare se obin din regulile de negaie pentru
predicatele unare. De exemplu:
((y)(x)a(x.y)) (y)( (x)a(x.y)) (y)(x)( a(x.y))
((y)(x)a(x.y)) (y)( (x)a(x.y)) (y)(x)( a(x.y))
Majoritatea definiiilor din matematic sunt predicate care se
construiesc cu ajutorul altor predicate deja definite. Astfel, dac x | y
sunt numere ntregi, predicatul x | y (adic "x divide pe y") nseamn
(q)(y = qx). Spunem c predicatul x | y este echivalent prin definiie
cu predicatul (q)(y = qx) i scriem:

Analog, dac x i y sunt numere naturale, avem definiia:

Pentru a exemplifica regulile de negaie stabilite mai sus, s

explicitm i negaia predicatelor x | y i "x este numr prim", adic,
s explicitm ce nseamn c "x nu divide pe y" (se scrie x y) i "x nu
este numr prim":
x y (q)(y qx)
"x nu este numr prim" x (x = 1) (y)(y | x y 1
y x).

Teorem direct
n matematic, 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
condiionale (din punct de vedere gramatical) construit cu ajutorul
cuvintelor "dac... atunci...".
Exemplu
Teorema lui Pitagora: "ntr-un triunghi dreptunghic suma ptratelor
catetelor este egal cu ptratul ipotenuzei" se poate pune sub forma:
"dac x este ipotenuza i y, z catetele unui triunghi dreptunghic,
atunci x2 = y2 z2". Aa cum am mai vzut, forma general a unei
teoreme este:
a(x1, x2,..., xn) b(x1, x2, ..., xn)
unde a(x1, x2, ..., xn) i b(x1, x2, ..., xn) sunt predicate n-are. Predicatul
a(x1, x2, ..., xn) se numete ipoteza teoremei, iar b(x1, x2, ..., xn) se
numete concluzia teoremei.
Prin demonstraia unei teoreme:
a(x1, x2, ..., xn) b(x1, x2, ..., xn)
nelegem un ir de propoziii adevrate de forma:
ai(x1, x2, ..., xn) ai+1(x1, x2, ..., xn)
cu i = 1, 2, ..., k 1, unde ai = a i ak = b. Aceste propoziii sunt
teoreme deja demonstrate sau axiome (teoreme care se accept
fr demonstraie) sau sunt propoziii adevrate n virtutea legilor
calculului propoziional (raionamente logice).
Teorema iniial
a(x1, x2, ..., xn) b(x1, x2, ..., xn)

este adevrat n virtutea regulii silogismului. De obicei acest ir de

propoziii nu se indic explicit (demonstraiile ar deveni prea greoaie
i dificil de urmrit), ns el trebuie avut n vedere.
Exemplul 1:
S considerm teorema: "Dac d este numr ntreg ireductibil i
divide produsul a dou numere ntregi x, y, atunci d divide cel puin
pe unul dintre ele".
Ipoteza teoremei este predicatul:
a(d, x, y) = "d este numr ntreg ireductibil i d | xy"
iar concluzia este:
b(d, x, y) = "d | x sau d | y"
Pentru demonstraie, constatm mai nti c, datorit faptului c
formula:
(p q r s) (p q r s)
este o tautologie. Deci propoziia p q r s este adevrat cnd
p q r s este adevrat. Astfel, este suficient s demonstrm
teorema:
"Dac d este numr ntreg ireductibil, d | xy i d x d | y".
Lum:
p = "d numr ntreg ireductibil";
q = "d | xy";
r = "d | x";
s = "d | y".
n virtutea proprietilor numerelor ntregi ireductibile i a celui mai
mare divizor comun avem:
"d este numr ntreg ireductibil i d x" (d, x) = 1
(k)(l)(kd + lx = 1) (k)(l)(kyd + Ixy = y).
Lum:
p = "d este numr ntreg ireductibil i d x";
q = "(k)(l)(kyd + Ixy = y)";

r = "d | xy"
Conform celor de mai sus, avem p q i deoarece formula:
(p q) (p r q r)
este o tautologie, avem p r q r, adic d este numr ntreg
ireductibil i d x i d | xy (k)(l)(kyd + Ixy = y) i d | xy. Evident,
avem:
(k)(l)(kyd + Ixy = y) i d | xy d | y
Din legea silogismului rezult:
d este numr ntreg ireductibil i d x i d | xy a | y
i teorema este demonstrat.
Bineneles, uzual nu mai facem apel la tautologiile indicate aici n
mod explicit, acestea fiind subnelese.
Forma a(x1, x2, ..., xn) b(x1, x2, ..., xn) a unei teoreme trebuie avut n
vedere i n cazurile cele mai simple. De exemplu, teorema: "2 este
numr prim" are forma
a(x) b(x)
unde a(x) este predicatul: "x = 2" i b(x) este predicatul: "x este numr
prim".

Exemplul 2:
Egalitatea:
este o teorem de forma:

a(x) b(x)
unde:

b(x) = "x = 2"

Pentru a demonstra teorema, observm c:

x3 = 14 3x x3 + 3x 14 = 0 (a 2)(x2 + 2x + 7) = 0 x = 2,
deoarece x este numr real i ecuaia x2 + 2x + 7 = 0 nu are rdcini
reale.
Din acest motiv, un raionament de forma: "ridicm la cub ambii
membri ai egalitii

i obinem:

adic:

ceea ce este evident", este greit.

Teorem reciproc
S considerm teorema:
a(x1, x2,..., xn) b(x1, x2, ..., xn)
care exprim faptul c predicatul b(x1, x2, ..., xn) este consecin
logic predicatului a(x1, x2, ..., xn). Dac i predicatul a(x1, x2,..., xn) este
consecin logic a predicatului b(x1, x2, ..., xn), are loc i teorema:
a(x1, x2,..., xn) b(x1, x2, ..., xn),
teorem care se numete reciproca teoremei date. Deci, teorema
reciproc a unei teoreme se obine lund concluzia teoremei date
ca ipotez i ipoteza teoremei date drept concluzie. Bineneles,
dac teorema direct este adevrat, nu este necesar ca i teorema
reciproc s fie adevrat.
Dac avem:

a(x1, x2,..., xn) b(x1, x2, ..., xn)

i
b(x1, x2,..., xn) a(x1, x2, ..., xn)
adic, dac i teorema direct i teorema reciproc sunt adevrate,
atunci predicatele a(x1, x2, ..., xn) i b(x1, x2, ..., xn) sunt echivalente
logic, deci avem:
a(x1, x2, ..., xn) b(x1, x2, ..., xn)
Exemplu
Considerm teorema: "Dac a = b, atunci a3 = b3" unde a i b sunt
numere reale. Ea are forma:
x = y x3 = y3
Reciproca acestei teoreme este:
x3 = y3 x = y
adic, "dac a3 = b3 atunci a = b". Bineneles i teorema direct i
teorema
reciproc sunt adevrate. Avem deci:
x = y x3 = y3
Astfel, teorema direct i teorema reciproc se pot contopi ntr-un
singur enun: "a = b dac i numai dac a3 = b3".
Demonstraiile teoremei directe i a teoremei reciproce se pot face
simultan printr-un ir de echivalene logice.
Condiie necesar i suficient
n cazul n care:
a(x1, x2,..., xn) b(x1, x2, ..., xn)
se mai spune c a(x1, x2,..., xn) este condiie necesar pentru b(x1,
x2, ..., xn) i c b(x1, x2, ..., xn) este condiie suficient pentru a(x1,
x2,..., xn).

De multe ori apar enunuri care afirm echivalena logic a dou

sau mai multe predicate. De exemplu: fie x i y numere reale.
Urmtoarele afirmaii sunt echivalente:

Demonstraia complet a unui astfel de enun (a unei astfel de

teoreme) se poate face fie demonstrnd i) ii) i i) iii), fie
demonstrnd i) ii) iii) i).
Teorem contrar
S considerm teorema:
a(x1, x2,..., xn) b(x1, x2, ..., xn)
care exprim faptul c predicatul b(x1, x2, ..., xn) este consecin
logic a predicatului a(x1, x2, ..., xn). Dac i predicatul b(x1, x2, ..., xn)
este conse-cin logic a predicatului a(x1, x2, ..., xn), atunci are loc
teorema:
a(x1, x2,..., xn)

b(x1, x2, ..., xn)

care se numete contrara teoremei date. Deci, teorema contrar a

unei feoreme se obine nlocuind ipoteza i concluzia teoremei date
prin negaiile lor.

Exemplu
Considerm teorema:
"Dac produsul a dou numere reale este zero, atunci cel puin unul din
ele este zero". Ea are forma:
"xy = 0 x = 0 y = 0"
Contrara acestei teoreme este:
"xy 0 x = 0 y 0"
adic,

"Dac produsul a dou numere reale este diferit de zero, atunci ambele
numere sunt diferite de zero".
Metoda demonstraiei prin reducere la absurd
Fiind data o teorem: a(x1, x2,..., xn) b(x1, x2, ..., xn)
putem, forma:
teorema reciproc:

a(x1, x2,..., xn) b(x1, x2, ..., xn)

teorema contrar

a(x1, x2,..., xn) b(x1, x2, ..., xn)

teorema
contrar
reciprocei
teorema reciproc contrarei

b(x1, x2,..., xn) a(x1, x2, ..., xn)

Datorit tautologiei:
(p q) ( p q)
din calculul propoziional, teorema direct:
a(x1, x2,..., xn) b(x1, x2, ..., xn)
este adevrat dac i numai dac contrara reciprocei sale
x2, ..., xn) a(x1, x2, ..., xn) este adevrat.

b(x1,

Pe aceast observaie se bazeaz metoda demonstraiei prin

reducere la absurd, prin care, n loc s demonstrm teorema
direct, demonstrm contrara reciprocei. Metoda demonstraiei prin
reducere la absurd este foarte util n matematic, deoarece de
multe ori demonstraia teoremei directe este foarte dificil.

Exemplu:
S considerm teorema:
"Dac x i y sunt numere reale astfel nct x2 + y2 = 0, atunci x = 0
i y = 0".
Ea are forma:
x2 + y2 = 0 x = 0 y = 0
Contrara reciprocei este teorema:

x 0 y 0 x2 + y2 0
adic:
"Dac x i y sunt numere reale i cel puin unul din ele este
diferit de zero, atunci x2 + y2 0".
Am numit teorem orice propoziie adevrat care stabilete c unul
sau mai multe obiecte matematice posed o anumit proprietate.
Dar, de obicei, astfel de rezultate se numesc propoziii i numai
rezultatele cele mai importante, cu o semnificaie deosebit poart
numele de teoreme.
De regul, propoziiile care rezult imediat din alte teoreme sau
propoziii se numesc corolarii.
Rezultatele care pregtesc demonstraia unei propoziii mai
complicate sau a unei teoreme se numesc leme.