Colegiul Tehnic T.F.

,,Anghel Saligny’’ - Simeria

Prof. Cosma Teodora Propoziție, predicat, cuantificatori

Noțiuni Aplicații
1. Propoziția este un enunț adevărat sau fals, însă nu
ambele simultan. Notația: p, q, r, s etc. 1. Se dau propozițiile p: ,,Orice paralelogram este romb’’ și
1, p  propozitie : ( A)  adevădevărată q: ,,Orice dreptunghi este paralelogram’’.
v(p) =  Stabiliți valoarea de adevăr a propozițiilor:
0, p  propozitie : ( F )  falsă
Compunerea propozițiilor se face cu ajutorul p; q; p ; q ; p  q ; p  q ; p  q ; p  q .
conectorilor logici:negația, conjuncția, disjuncția,
implicația, echivalența, definiți prin tabele de adevăr:

2. Se dau predicatele,,x  N, p(x)’’, respectiv: p(x): ,,9 îl divide

pe x’’ și ,,x  N, q(x)’’, respectiv: q(x): ,,Ultima cifră a
numărului 4 x este 6’’.
Determinați valoarea de adevăr a propozițiilor:
p(2), p(36), p(135), p(200), p(300), p(420),
2. Predicatul este o propoziție dependentă de una sau
mai multe variabile, adevărată sau falsă în funcție de
p(500), p(600), p(1000).
valorile atribuite variabilei, respectiv, variabilelor.
Notația: p(x), q(x, y), r(a, b, c),
s(a1 , a 2 ,..., a n ), n  1, n  N .

E  S p ( x )  x0  M | p( x0 )( A) - universul

predicatului; M –mulțime precizată, în care realizăm
procesul de cuantificare, utilizând cuantificatorii logici
,,  ’’- ecuantificatorul existențial și ,,  ’’- cuantifica-
torul universal. 3. Se consideră predicatul p(x, y): ,,x – 5y = 10’’, x,y Z.
Reguli de negație a predicatelor : Stabiliți valorile de adevăr pentru propozițiile:
x, p( x)  x, p( x) și x, p( x)  x, p( x) , unde
p(-40, 6)
.
3. Tautologia este o formulă propozițională adevărată, p(-10,-2)
notată  ( p1 , p 2 ,..., pi ,.., p n ), n  1, n  N , oricare ar fi
valoarea de adevăr a propozițiilor componente: (y ) p(100, y)
pi , i  1, n, n  N * .
Exemple: xy  p(x, y)
1) Legile lui De Morgan: p( x)  q( x)  p( x)  q( x);
y x p(x, y)
p( x)  q( x)  p( x)  q( x);
2) Principiul dublei negații: p( x)  p( x); xy  p(x, y).
3) Principiul terțiului exclus: p( x)  p( x);
4) Principiul contradicției: p( x) : p( x)  p( x) (F)
5) Principiul noncontradicției: p( x)  p( x) .