É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.
Fórmula lógica compuesta por una sucesión de símbolos lógicos en la que hay variables de enunciado, de manera que, sustituyendo las variables por enunciados, se obtiene un enunciado (compuesto). Una misma forma proposicional puede dar lugar a muchos enunciados con la misma forma lógica (ver ejemplo).
Hay formas proposicionales cuya verdad es necesaria, por razón de la misma forma. Así sucede con las verdades lógicas o las tautologías.