Lo que un enunciado afirma o establece. La verdad es una propiedad de las proposiciones, no de las oraciones. Las oraciones pueden carecer de sentido o ser significativas (y no necesitan ser asertivas, es decir, proposiciones).
Diferentes oraciones pueden afirmar una misma proposición. Las proposiciones pueden ser 1) simples (o atómicas), o 2) compuestas (o moleculares) dependiendo de si no tienen o tienen otras proposiciones como partes componentes.
Entre las proposiciones simples, los tipos más importantes son las proposiciones categóricas y las proposiciones relacionales (afirmando o negando que una relación se mantenga). Las instancias de proposiciones compuestas son las proposiciones disyuntivas y condicionales.