É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.
es una fórmula universalmente válida:
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.
De un enunciado como [math]\forall{x} Px[/math] puede deducirse [math]\exists{x} Px[/math], y esta deducción puede hacerse sin premisas. Por consiguiente, es posible escribir [math]\vdash \forall{x} Px \rightarrow{\exists{x} Px}[/math] y, por lo mismo, suponer que [math]\models \forall{x} Px \rightarrow{\exists{x} Px}[/math].
Pero esta última fórmula, aunque necesariamente verdadera, no es una tautología. Su verdad se demuestra sólo como conclusión de una demostración o derivación.