¿Cuáles son?
Las reglas para construir nuevas expresiones a partir de una o dos expresiones previas, añadiendo paréntesis y conectivas si fuera necesario, son:
- Si X es un símbolo proposicional (⊥,⊤ o pk) entonces X es ya una fórmula
- Si X es una fórmula entonces (¬X) es una fórmula
- Si X e Y son fórmulas entonces (X∧Y), (X∨Y), (X→Y) y (X↔Y) son fórmulas
- Nada más es una fórmula proposicional
Cualquier Fórmula Proposicional producida puede ser posteriormente considerada como componente de una nueva fórmula, generada por otra aplicación de estas reglas.
El proceso de generación descrito requiere la existencia de fórmulas previas para producir otras, más complejas. Pero este proceso no sería realizable sin una base de partida: se necesita disponer de unas fórmulas iniciales, cuya construcción no dependa de otras.