tautologia
Páginas: 3 (542 palabras)
Publicado: 21 de febrero de 2014
Tautología
En lógica, una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cualquier interpretación;es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.1 2 La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquieraes una tautología o no.2
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 bajoconsideración. Diferentes interpretaciones, por lo tanto, difieren sólo en las asignaciones de valores de verdad que hacen. Una tautología es una fórmula bien formada que bajo cualquier interpretaciónde sus componentes atómicos, tiene valor de verdad 1 (verdadero). Por lo tanto, para determinar si una fórmula cualquiera es una tautología, basta con considerar todas las posibles interpretacionesde las fórmulas atómicas, y calcular el valor de verdad del todo. Esto se logra mediante una tabla de verdad. Por ejemplo, considérese la fórmula p ∧ q. Como a cada fórmula atómica puede asignárseleuno de dos posibles valores de verdad, hay en total 22 = 4 posibles combinaciones de valores de verdad. Es decir, cuatro interpretaciones posibles: o ambas son verdaderas; o p es verdadera y q falsa; op es falsa y q verdadera; o ambas son falsas. Esto puede presentarse mediante una simple tabla:
Para cada una de estas interpretaciones, puede calcularse el valor de verdad de la fórmula p ∧ q. Losresultados pueden presentarse nuevamente mediante una tabla:
Esta es la tabla de verdad de la fórmula p ∧ q. Como se ve, esta fórmula sólo es verdadera bajo una interpretación: aquella en la queambas fórmulas atómicas son verdaderas. Una tautología es una fórmula cuyo valor de verdad es 1 para todas las interpretaciones posibles de las fórmulas gatómicas. Por lo tanto, p ∧ q no es una...
En lógica, una tautología (del griego ταυτολογία, "decir lo mismo") es una fórmula bien formada de un sistema de lógica proposicional que resulta verdadera para cualquier interpretación;es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.1 2 La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquieraes una tautología o no.2
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 bajoconsideración. Diferentes interpretaciones, por lo tanto, difieren sólo en las asignaciones de valores de verdad que hacen. Una tautología es una fórmula bien formada que bajo cualquier interpretaciónde sus componentes atómicos, tiene valor de verdad 1 (verdadero). Por lo tanto, para determinar si una fórmula cualquiera es una tautología, basta con considerar todas las posibles interpretacionesde las fórmulas atómicas, y calcular el valor de verdad del todo. Esto se logra mediante una tabla de verdad. Por ejemplo, considérese la fórmula p ∧ q. Como a cada fórmula atómica puede asignárseleuno de dos posibles valores de verdad, hay en total 22 = 4 posibles combinaciones de valores de verdad. Es decir, cuatro interpretaciones posibles: o ambas son verdaderas; o p es verdadera y q falsa; op es falsa y q verdadera; o ambas son falsas. Esto puede presentarse mediante una simple tabla:
Para cada una de estas interpretaciones, puede calcularse el valor de verdad de la fórmula p ∧ q. Losresultados pueden presentarse nuevamente mediante una tabla:
Esta es la tabla de verdad de la fórmula p ∧ q. Como se ve, esta fórmula sólo es verdadera bajo una interpretación: aquella en la queambas fórmulas atómicas son verdaderas. Una tautología es una fórmula cuyo valor de verdad es 1 para todas las interpretaciones posibles de las fórmulas gatómicas. Por lo tanto, p ∧ q no es una...
Leer documento completo
Regístrate para leer el documento completo.