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, mientras que las variables son cantidades que pueden variar. Por lo tanto, cualquier expresión o oración que contenga variables es considerada 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.