É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 fórmula universalmente válida. En lógica de enunciados, aquella que es verdadera para cualquier asignación de valor de verdad a sus letras de enunciado; una fórmula universalmente válida es también una tautología, pues su valor en una tabla de verdad es siempre verdadero, pero, en ocasiones, se llama preferentemente «válida» a una fórmula y «tautología» a un enunciado (ver ejemplo).
En lógica de predicados, es universalmente válida aquella fórmula que no puede ser falsa; pero no toda fórmula válida es una tautología (ver ejemplo).