Categoría: Definiciones En el ámbito de la lógica, una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula de un sistema de lógica proposicional que resulta verdadera para cualquier interpretación. En otras palabras, se trata de una expresión lógica que es verdadera para todos los posibles valores de verdad de sus componentes atómicos. Se debe construir una tabla de verdad, que es un método efectivo para determinar si una fórmula cualquiera es una tautología o no. No debe confundirse con la tautología en la retórica.
Categoría: Definiciones En el ámbito de la lógica, una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula de un sistema de lógica proposicional que resulta verdadera para cualquier interpretación. En otras palabras, se trata de una expresión lógica que es verdadera para todos los posibles valores de verdad de sus componentes atómicos. Se debe construir una tabla de verdad, que es un método efectivo para determinar si una fórmula cualquiera es una tautología o no. No debe confundirse con la tautología en la retórica.