Una anti-tautología o contradicción es una fórmula bien formada que resulta falsa para todas las interpretaciones posibles de las fórmulas atómicas. Es decir, es una fórmula que es falsa independientemente de los valores de verdad de las proposiciones que la componen. Por ejemplo, la fórmula "p y no p" es una anti-tautología, ya que siempre es falsa. En otras palabras, una anti-tautología es una proposición que es falsa por definición, es decir, que no puede ser verdadera. Las anti-tautologías son importantes en la lógica proposicional porque permiten simplificar y reducir expresiones lógicas complejas, y son útiles en la demostración de teoremas y en la resolución de problemas lógicos. Además, la negación de una anti-tautología es una tautología, es decir, una fórmula que es siempre verdadera.
No hay comentarios.:
Publicar un comentario