Tautología

13/07/2012 1.347 Palabras

En lógica, enunciado que no puede ser negado sin inconsistencia. Así, “Todas las personas solteras son varones o no varones” se sostiene para aseverar, respecto de cualquier cosa que sea una persona soltera, que es varón o no es varón. En el cálculo proposicional, se puede mostrar que incluso expresiones simbólicas complejas como [(A ⊃ B) ∧ (C ⊃ ¬ B)] ⊃ (C ⊃ ¬ A) son tautologías, desplegando en una tabla de verdad cada posible combinación de V (verdadero) y F (falso) de sus argumentos A, B, C. Una tautología puede ser puramente formal (una forma de enunciado en lugar de un enunciado), y en algunos usos sólo tales verdades formales son tautologías. Tablas de verdad En un sistema de lógica proposicional, una interpretación no es más que una función que asigna un único valor de verdad a todas las fórmulas atómicas bajo consideración. Diferentes interpretaciones, por lo tanto, difieren sólo en las asignaciones de valores de verdad que hacen. Una...

Este sitio web utiliza cookies, propias y de terceros con la finalidad de obtener información estadística en base a los datos de navegación. Si continúa navegando, se entiende que acepta su uso y en caso de no aceptar su instalación deberá visitar el apartado de información, donde le explicamos la forma de eliminarlas o rechazarlas.
Aceptar | Más información