¿Qué es?
Es un proceso que se aplica a una Fórmula Proposicional X.
Esta consisten en:
- Descomposición de X. Se puede determinar cuál es la última conectiva (Conectiva principal) utilizada en su producción, así como las Subfórmula inmediatas utilizadas en ese paso.
- Análisis de las subfórmulas inmediatas de X. Estas subfórmulas inmediatas de X son a su vez fórmulas, susceptibles de ser analizadas de la misma manera: detectando su Conectiva principaly sus componentes inmediatas.
- Análisis de cada subcomponente encontrada. Lo mismo ocurre con cada componente que se va detectando en este proceso de descomposición, a cualquier nivel: es una nueva fórmula que admite este mismo análisis.
La fórmula X inicial es siempre una expresión finita. Y esta propiedad garantiza que el proceso finaliza siempre. Así, este proceso acaba en todas sus líneas de análisis porque se llega necesariamente a componentes atómicas, donde se finaliza la descomposición.
Ejemplo usando un Árbol sintáctico:
arbol-sintactico.excalidraw
⚠ Switch to EXCALIDRAW VIEW in the MORE OPTIONS menu of this document. ⚠ You can decompress Drawing data with the command palette: ‘Decompress current Excalidraw file’. For more info check in plugin settings under ‘Saving’
Excalidraw Data
Text Elements
((p2 → ¬p3) ^ (¬(p1 v p2)))
Embedded Files
1a0a31ea991b6f5d61b9daeaa1448805cff9cad7: arbol-sintactico-y-conectivas.svg
Enlace al original
