Con enunciato o proposizione si intende una frase alla quale è associato un valore di verità, della quale si può dire cioè se è Vera o Falsa.

Sono enunciati:  le frasi del tipo Luigi abita a Parma, 2 +1=4,  il testo di un teorema,ecc.

Se al posto del soggetto inserisco una variabile allora le frasi

x abita a Parma ,
x è un numero primo
x < 6

ottengo delle frasi che hanno la stessa struttura sintattica degli enunciati  precedenti, ma alle quali non è più possibile attribuire un valore di verità. Tali frasi vengono dette Enunciati aperti.

Le equazioni e le disequazioni si possono pensare come enunciati ( o frasi) aperte il cui predicato e rispettivamente "essere uguale" oppure "essere maggiore"  o "essere minore"....

Altro esempio:
la definizione di un insieme mediante proprietà caratteristica.