O propoziie este o succesiune de cuvinte dintr-o limb oarecare,

vie sau moart, care conine o idee mai mult sau mai puin
complet, formulat conform regulilor gramaticale ale limbii
respective. n acest sens de obicei este vorba de o propoziie
gramatical.

n general, n toate limbile moderne se consider c propoziiile

trebuie s conin mcar un subiect i un predicat, dar ocazional
ele pot conine i numai un singur cuvnt, ca de exemplu n
propoziiile: "Mergi!", "Bine.", "Plou.", "Da.", "Att.". Propoziiile
fr subiect sau predicat se numesc "eliptice de subiect",
respectiv "eliptice de predicat".

Propoziiile se pot mpri n afirmative, negative, interogative,

imperative i exclamative. Cele afirmative sunt enuniative sau
declarative. n cazul propoziiilor negative, cel care vorbete (sau
scrie) face opusul unei afirmaii. n cazul propoziiilor interogative
vorbitorul folosete o ntrebare, de exemplu cu scopul de a afla
ceva nou. Ca orice propoziie, propoziiile interogative pot conine
variabile cu valori neprecizate sau necunoscute, reprezentate de
cuvinte interogative ca adverbe (unde, cnd, cum, ct) i
pronume interogative (cine, care, ce,ci). n sfrit, i un
exemplu de propoziie exclamativ: "Ce repede ai alergat!".

n matematica:
n sens matematic, o propoziie matematic este o succesiune de
afirmaii care ori se poate demonstra, ea fiind atunci
"demonstrabil", ori nu trebuie a fi demonstrat, fiind atunci
"axiomatic".

n logic:
n logica boolean propoziia (aseriunea) este un enun
declarativ cruia i se atribuie una din cele dou valori de adevr
"adevrat" sau "fals". O propoziie "adevrat" are drept valoare
"adevrul". n aceast logic, cele dou valori "adevr" i
"falsitate" se noteaz de obicei cu adevrat sau fals cel mai
simplu.

Deseori valoarea de adevr a unei propoziii nu este cunoscut.

De exemplu, propoziia "Negru Vod a fost primul domnitor al
rii Romneti." este o propoziie n sens logic. Dei nu se
cunoate exact valoarea de adevr a acestei propoziii, ea este cu
siguran ori adevrat, ori fals.

Exist i alte logici matematice, care pe lng "adevrat" i "fals"

permit:

mai multe valori situate ntre "adevrat" i "fals" = logica

polivalent;
sau chiar o infinitate de valori intermediare i continue, situate
ntre "adevrat" i "fals".
Alte logici, complementare, au ca obiect enunurile nedeclarative
ca de exemplu ntrebrile (logica interogativ), instruciunile
(logica imperativ), etc.

n general enunurile care exprim emoii i sentimente (ca

instruciuni, comenzi, dorine, rugmini) nu sunt propoziii logice
declarative; ele sunt numite n general "atitudini propoziionale".