Tablas de Verdad

Las tablas de verdad es una estrategia de la lgica simple que permite establecer
la validez de varias propuestas en cuanto a cualquier situacin, es decir, determina
las condiciones necesarias para que sea verdadero un enunciado propuesto,
permitiendo clasificarlos en tautolgicos (resultan verdaderos durante cualquier
situacin) contradictorias (son enunciados falsos en la mayora de los casos) o
contingentes (enunciados que no pueden ser tantos verdaderos como falsos no
existen tendencia a un solo sentido).

Permite diferentes aspectos del enunciado como las condiciones que lo hacen
verdadero y cules son sus conclusiones lgicas, es decir, si el enunciado propuesto
es verdadero o falso. Esta tabla fue ideada por Charles Sander
Peirce aproximadamente en 1880, pero la ms utilizada es el modelo actualizado
de Luidwin Wittgenstein en 1921.
La construccin de la tabla est fundamentada en la utilizacin de un letra para las
variables del resultado y las mismas se cumplen se dicen que son verdaderas, en
el caso contrario de que no se cumpla se les asigna el apelativo de falsas, por
ejemplo: Enunciado: Si nos mudamos, mi perro se muere. Variables: A: Si se
muda- B: el perro se muere.
Si se dice que es verdadero a ambas variables se les asigna la letra (V) y representa
la positividad del enunciado, si algunas de las variables no se cumple se les asigna
la letra (F) esto no representa la falsedad del enunciado ya que con cumplirse una
sola variable se puede designar como verdadero, eso depender del enunciado.
Cuando ambos valores resultan verdaderos en todas las ocasiones se dice que
existe una conjugacin en el enunciado, en cambio s se obtiene dos resultados
verdaderos y luego uno verdadero y el otro falso se dice que existe una disyuncin.