I.1. Noiunea de propoziie Definiia I.1.1. Se numete propoziie un enun despre care se poate spune c este adevrat sau fals, adr nu i adevrat i fals simultan. Se noteaz cu p,q, P, Q Ex: 1) Q : acesta este un enun care exprim un adevr, deci o propoziie adevrat. 2) x + 5 = 3, xN este o propoziie fals, pentru c nu exist nici un numr natural astfel ca x + 5 = 3 3) x y, x,yN este un enun despre care nu se poate spune nimic. Deci nu este o propoziie. Valoarea logic sau valoarea de adevr a unei propoziii. Dac o propoziie p este adevrat se spune c are valoarea logic sau valoarea de adevr: adevrul; aceast valoare de adevr se noteaz cu simbolul 1 sau a i scriem v(p) = 1 sau (v)p = a. Daca o propoziie q este fals, se spune c are valoarea de adevr: falsul; aceast valoare de adevr se noteaz cu simbolul 0 sau f i scriem v(q) = 0 sau v(q) = f.
I.2. Operatori logici Negaia Definiia I.1.2. Negaia unei propoziii p este propoziia care este fals cnd p este adevrat i este adevrat cnd p este fals. Se noteaz: non p, p, p . Tabela de adevr a propoziiei non p se ntocmete be baza relaiei v(non p) = 1 v(p).
p non p 1 0 0 1
Conjuncia Definiia I.2.2. Conjuncia a dou propoziii p i q este propoziia care este adevrat dac i numai dac fiecare propoziie p i q este adevrat. Se noteaz: p q