Propoziție logică: definiție

O propoziție logică este un enunț despre care se poate spune fie că este adevărat, fie că este fals, dar nu ambele în același timp. Se notează cu p, q, r, iar valoarea ei de adevăr se scrie v(p) = 1 (adevărat) sau v(p) = 0 (fals).

Exemplu: „Numărul 17 este prim” este adevărată; „Numărul 91 este prim” este falsă, pentru că 91 = 7 × 13.

Vezi și: Predicat, Legile lui De Morgan