dinero

Tautología
Para otros usos de este término, véase Tautología (retórica).
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 deverdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.2
Tablas de verdad[editar · editar código]
Artículo principal: Tabla 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 enlas asignaciones de valores de verdad que hacen. Una tautología es una fórmula bien formada que bajo cualquier interpretación de 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 interpretaciones de las fórmulas atómicas, y calcular el valor de verdad del todo. Esto selogra mediante una tabla de verdad. Por ejemplo, considérese la fórmula p ∧ q. Como a cada fórmula atómica puede asignársele uno 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 medianteuna simple tabla:

Para cada una de estas interpretaciones, puede calcularse el valor de verdad de la fórmula p ∧ q. Los resultados 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 que ambas fórmulas atómicas son verdaderas. Una tautología es una fórmula cuyovalor de verdad es 1 para todas las interpretaciones posibles de las fórmulas atómicas. Por lo tanto, p ∧ q no es una tautología. En cambio, la siguiente tabla de verdad muestra una fórmula que sí lo es:

Si una fórmula tiene n fórmulas atómicas, entonces tiene 2n interpretaciones posibles. En muchos casos, por lo tanto, las tablas de verdad pueden ser muy grandes. Lo importante, sin embargo, esque dado que la lógica proposicional no admite fórmulas infinitas, el número de interpretaciones posibles siempre será un número finito, y por lo tanto siempre será posible decidir si una fórmula cualquiera es una tautología o no.
Véase también[editar · editar código]
Cálculo lógico
Lógica proposicional
Tabla de verdad
Verdad lógica
ArgumentoPrincipio del formulario
ACTIVIDADES RAP  449923: Implementar acciones de mejora en el intercambio de información para transacciones comerciales y eventos pasados de acuerdo con los resultados obtenidos en el proceso de aprendizaje.   
Fecha para realizar actividades RAP  5 del 4 al 8 de octubre   
ACTIVIDADES A ENTREGAR PARA APROBAR ESTE  RAP  (Recuerda que debe superar el 71% paraaprobar el RAP 5)   
Ingresar al botón Activities, luego ve a la carpeta RAP 5, clic en: Consolidation  Activity. Para revisar el contenido del curso ingresa al link Consolidation Activity HTML Version, revisa el material correspondiente dando clic en start up o usando las flechas de desplazamiento y finalmente realiza las Communicative Tasks (tareas):  
Task 1:  Imagina que debes viajar a otropaís del mundo, por cuestión de trabajo estudio o para vivir allá.  Escribe un reporte de tu vida tomando en cuenta los siguientes puntos:  Escoge una la ciudad a la que viajarías, busca información sobre ella en internet, describe los cambios de clima que puedan ocurrir en la ciudad que escogiste durante ese año. Calcula cuanto dinero podrías gastar comprando ropa para esa estación, dibuja una...