¿Qué es?
No se ha añadido ninguna twiki todavía.
Toda fórmula compuesta de un lenguaje formalizado construida según las reglas sintácticas del lenguaje, que no sea una fórmula atómica, o simple
es la expresión molecular de lógica de enunciados, que equivale, por ejemplo, a «si el sol sale cada día, podemos dormir tranquilos»
es una fómula molecular,o compuesta,de lógica de predicados que equivale, por ejemplo a «Todos participan».