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...