La lógica proposicional trata sobre enunciados, que son frases u oraciones que pueden ser verdaderas o falsas. Los enunciados abiertos contienen variables y pueden evaluarse como verdaderos o falsos dependiendo del valor de esas variables. Las variables son cantidades que pueden variar en un campo determinado. Por lo tanto, cualquier expresión o oración que contenga variables se considera un enunciado abierto en lógica proposicional.

1. LOGICA proposicional
Incluye un Enunciado: es toda
frase u oración que se te viene en
la mente, algunos enunciados
pueden ser verdadero. o falso.
Un enunciado abierto: son expresiones que
contienen variables y que contienen la
propiedad de ser verdadero o falso-
una variable: es una cantidad
susceptible de variar en cierto campo.
En conclusión: toda expresión y toda oración es una
oración en este caso es enunciado abierto.