Sunteți pe pagina 1din 1

Colegiul Tehnic T.F.

,,Anghel Saligny - Simeria

Prof. Cosma Teodora Propoziie, predicat, cuantificatori

Noiuni Aplicaii
1. Propoziia este un enun adevrat sau fals, ns nu
ambele simultan. Notaia: p, q, r, s etc. 1. Se dau propoziiile p: ,,Orice paralelogram este romb i
1, p propozitie : ( A) adevdevrat q: ,,Orice dreptunghi este paralelogram.
v(p) = Stabilii valoarea de adevr a propoziiilor:
0, p propozitie : ( F ) fals
Compunerea propoziiilor se face cu ajutorul p; q; p ; q ; p q ; p q ; p q ; p q .
conectorilor logici:negaia, conjuncia, disjuncia,
implicaia, echivalena, definii prin tabele de adevr:

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
numrului 4 x este 6.
Determinai valoarea de adevr a propoziiilor:
p(2), p(36), p(135), p(200), p(300), p(420),
2. Predicatul este o propoziie dependent de una sau
mai multe variabile, adevrat sau fals n funcie de
p(500), p(600), p(1000).
valorile atribuite variabilei, respectiv, variabilelor.
Notaia: 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 mulime precizat, n care realizm
procesul de cuantificare, utiliznd cuantificatorii logici
,, - ecuantificatorul existenial i ,, - cuantifica-
torul universal. 3. Se consider predicatul p(x, y): ,,x 5y = 10, x,y Z.
Reguli de negaie a predicatelor : Stabilii valorile de adevr pentru propoziiile:
x, p( x) x, p( x) i x, p( x) x, p( x) , unde
p(-40, 6)
.
3. Tautologia este o formul propoziional adevrat, p(-10,-2)
notat ( p1 , p 2 ,..., pi ,.., p n ), n 1, n N , oricare ar fi
valoarea de adevr a propoziiilor componente: (y ) p(100, y)
pi , i 1, n, n N * .
Exemple: xy 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 negaii: p( x) p( x); xy p(x, y).
3) Principiul teriului exclus: p( x) p( x);
4) Principiul contradiciei: p( x) : p( x) p( x) (F)
5) Principiul noncontradiciei: p( x) p( x) .

S-ar putea să vă placă și