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
q: ,,Orice dreptunghi este paralelogram’’.
v(p) =
{1 ,p−propozitie:(A)−adevăratărată¿¿¿¿ Stabiliți valoarea de adevăr a propozițiilor:
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ă
x
a numărului 4 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
valorile atribuite variabilei, respectiv, variabilelor. p(500), p(600), p(1000).
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 )={ x 0 ∈ M | p( x 0 )( A ) }
- universul
predicatului; M –mulțime precizată, în care realizăm
procesul de cuantificare, utilizând cuantificatorii logici
,, ∃ ’’- ecuantificatorul existențial și ,, ∀ ’’- 3. Se consideră predicatul p(x, y): ,,x – 5y = 10’’, x,y ∈ Z.
cuantifica-torul universal.
Stabiliți valorile de adevăr pentru propozițiile:
Reguli de negație a predicatelor :
∃x , p( x)=∀ x , p( x) și ∀ x , p( x )=∃x , p( x) , p(-40, 6)
unde . p(-10,-2)
3. Tautologia este o formulă propozițională adevărată,
notată α ( p1 , p2 ,. .. , pi ,. . , p n ), n≥1 ,n ∈ N , oricare ar (∃ y ) p(100, y)
fi valoarea de adevăr a propozițiilor componente:
pi ,i=1,n ,n ∈ N ¿ . ( ∀ x )(∃ y ) p(x, y)
Exemple:
1) Legile lui De Morgan:
( ∀ y )( ∃x ) p(x, y)
p( x)∧q ( x)≡ p( x)∨q( x);
p( x)∨q ( x)≡ p( x)∧q( x); ( ∃x )( ∀ y ) p(x, y).
2) Principiul dublei negații: p( x)≡ p( x);
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) .