Logica propoziţiilor
În logică, prin propoziţie înţelegem un enunţ care poate fi ori adevărat ori fals. Oricărei propoziţii i se asociază o valoare de adevăr: este sau adevărată – şi atunci spunem că are valoarea de adevăr 1 – sau este falsă – şi atunci spunem că are valoarea de adevăr 0. Nici o propoziţie nu este în acelaşi timp şi adevărată şi falsă.
Exemple de propoziţii:
“2 + 3 = 6”
“Bucureşti este capitala României”
“5 este număr prim”
Prima din aceste propoziţii are valoarea de adevăr 0, celelalte două au valoarea de adevăr 1.
Propoziţiile interogative sau exclamative ale limbii nu sunt propoziţii în logică. De asemenea, definiţiile nu sunt propoziţii. De exemplu, enunţul "un număr întreg divizibil cu 2 se numeşte număr par" nu este o propoziţie. Însă enunţul “orice număr par este divizibil cu 2” este propoziţie şi are valoarea de adevăr 1.