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.