Valores de verdad de las conectivas

Una conectiva expresa un determinado valor de verdad:

a) L negación (¬) invierte el valor de verdad de lo negado: si era verdadero, pasa a

falso y si era falso, pasa a verdadero.
b) La conjunción (^) es verdadera cuando los dos elementos que suma son
verdaderos, en todos los demás casos es falsa.
c) La disyunción (v) es falsa cuando los dos elementos que suma son falsos, en
todos los demás casos es verdadera.
d) La implicación (→) es falsa cuando el primer elemento es verdadero y el
segundo falso, en todos los demás casos es verdadera.
e) La coimplicación (↔) es verdadera cuando los dos elementos que suma tienen
el mismo valor de verdad, en todos los demás casos es falsa.

Tablas de verdad

Cuando hagamos una tabla de verdad, tenemos que saber qué conectivas son menos
fuertes que otras, porque habremos de asignar valores según las conectivas de menor
a mayor fuerza. Para ello, lo que queda dentro del paréntesis vale menos que lo que
queda fuera y si no hay paréntesis, “→” y “↔” valen más que “^” y “v”; la que menos
vale es “¬”.

Una vez sabemos qué conectivas valen menos que otras:

1) Hacemos una línea horizontal y la dividimos en columnas de izquierda a

derecha de la siguiente manera: ponemos los enunciados por separado y
después, poco a poco, las conectivas, junto con lo que unen, de menor a mayor
fuerza (al final te quedará la fórmula completa).
2) Las filas de todas estas columnas ya sabes que se obtienen elevando a 2 al
número de enunciados.
3) Por último, asignaremos valores de verdad a los enunciados por separado, tal y
como explicamos en la anterior entrada, y a las conectivas, tal y como
acabamos de explicar al principio.
4) La última columna, la de la derecha, de nuestra tabla de verdad es nuestro
resultado, y en ella pueden suceder tres cosas:
I. Sólo hay signos “V”. Se llama tautología y quiere decir que nuestro
argumento es válido.
II. Sólo hay signos “F”. Se llama contradicción y quiere decir que nuestro
argumento es no válido.
III. Hay signos “V” y signos “F”. Se llama contingencia y quiere decir que
nuestro argumento a veces será válido y a veces no válido.