Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿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 (ver ejemplo).