Notas
- Alfabeto proposicional alternativo
- Alfabeto Proposicional
- Análisis sintáctico de una fórmula
- Árbol sintáctico
- Conectiva principal
- Conjunto de subfórmulas
- Descomposición única
- Fórmula Proposicional
- Lenguaje Proposicional
- Notación prefija
- Número de nodos
- Producción de fórmulas proposicionales con notación de tipo Backus-Naur
- Rango del árbol sintáctico de una fórmula proposicional
- Reglas de generación de fórmulas proposicionales
- Reglas de precedencia
- Secuencia de generación de una fórmula X
- Subfórmula inmediata