¿Qué es?
el conjunto de subfórmulas de una fórmula X es el conjunto de todas las Fórmula Proposicionales que aparecen en su Árbol sintáctico, incluida X. De forma más precisa, dada una fórmula X, su subconjunto de fórmulas Subf(X) se define recursivamente como:
conjunto-de-subformulas.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
Embedded Files
4193a37d7cc7210858dc9ee97c1621be31def8c5: conjunto-de-subformulas.png
Enlace al original
