tautologia

Tautología 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órmulacualquiera 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 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á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; o p es falsa y q verdadera; o ambas son falsas. Esto puede presentarse mediante una simple tabla:
Esta es latabla 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 todaslas 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:Introducción de la lógica matematica
Lógica es el estudio del razonamiento; se refiere específicamente a si el 
razonamiento es correcto. La lógica se centra en la relación entre las afirmacionesy 
no en el contenido de una afirmación en particular. 
Los métodos lógicos se usan en matemáticas para demostrar teoremas y en 
las ciencias de la computación, para probar que los programasejecutan lo que  
deben de hacer. El lenguaje natural es un instrumento de comunicación humana, que se 
caracteriza por su gran flexibilidad y puede estar lleno de redundancias y 
ambigüedades.Estas características hacen que la lógica formal no esté interesada 
en el lenguaje natural. 
La lógica pretende ser una ciencia rigurosa y universal que permita realizar 
cálculos exactos. Para...