¿Qué es?
Con los símbolos del Alfabeto Proposicional se pueden generar cualquier tipo expresión o cadena de caracteres. Sin embargo, solo algunas son de interés para tareas ejecutas en un sistema lógico. Estas son aquellas que mantienen un cierto orden relativo entre proposiciones y conectivas. Por tanto, las expresiones que respetan esas restricciones sintácticas se denominarán fórmulas proposicionales, es decir, son exclusivamente las expresiones que pueden generarse a partir de las Reglas de generación de fórmulas proposicionales