É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.
O simplemente fórmula válida, o también verdad lógica, teorema lógico o tautología, o también fórmula «lógicamente verdadera» o «formalmente verdadera»: fórmula verdadera por razón de su forma. Abreviadamente, [math]\models B[/math]
En lógica de predicados, donde no siempre una fórmula válida es una tautología, una fórmula es universalmente válida si no puede ser falsa: y lo es si y sólo si es verdadera para toda interpretación (en un dominio no vacío). En lógica de enunciados, la tabla de verdad de una fórmula universalmente válida da sólo valores verdaderos, puesto que es verdadera para toda asignación de valores a sus letras de enunciado
es una fórmula universalmente válida:
