TABLAS DE VERDAD
Las tablas de verdad son, por una parte, uno de los métodos más sencillos
y conocidos de la lógica formal, pero al mismo tiempo también uno de los
más poderosos y claros. Entender bien las tablas de verdad es, en gran
medida, entender bien a la lógica formal misma.
Fundamentalmente, una tabla de verdad es un dispositivo para demostrar
ciertas propiedades lógicas y semánticas de enunciados del lenguaje natural
o de fórmulas del lenguaje del cálculo proposicional.
1. Si son tautológicas, contradictorias o contingentes.
2. Cuáles son sus condiciones de verdad.
3. Cuál es su rol inferencial, es decir, cuáles son sus conclusiones lógicas
y de que otras proposiciones se siguen lógicamente.
Estas tablas pueden construirse haciendo una interpretación de los signos
lógicos: no, o y, si… entonces, si y solo si, la interpretación corresponde al
sentido que estas operaciones tienen dentro del razonamiento. Puede
establecerse una correspondencia entre los resultados de estas tablas y la
deducción lógico matemática. En consecuencia, las tablas de verdad
constituyen un método de decisión para chequear si una proposición es o
no es un teorema.
Para la construcción de la tabla se asignara el valor 1(uno) a una proposición
y 0(cero) a una proposición falsa.
Negación: el valor de la verdad de la negación es el contrario de la
proposición negada. La conjunción sirve para indicar que se cumplen las
condiciones simultáneamente, por ejemplo:
p ºP
1 0
0 1
La función es creciente y está definida para los números positivos,
utilizamos para que la conjunción p^q sea verdadera las dos expresiones
que intervienen deben ser verdaderas y solo en ese caso como se indica por
su tabla de verdad.
Disyunción: la disyunción solamente es falsa si lo son sus dos componentes.
p Q ^Q
1 1 1
1 0 0
0 1 0
0 0 0
Con la disyunción a diferencia de la conjunción, se representan dos
expresiones que afirman que una de las dos es verdadera, por lo que se
basta que con una de ellas sea verdadera para que la expresión p v q sea
verdadera.
Condicional: solamente es falso cuando el antecedente es verdadero y el
consecuente es falso. De la verdad no se puede seguir la falsedad.
p Q PVQ
1 1 1
1 0 1
1 1 1
0 0 0
Bicondicional: solamente es cierto si sus componentes tienen el mismo
valor de verdad.
p Q P@Q
1 1 1
1 0 1
1 1 1
0 0 1
Se denomina tautología una proporción que es cierta para cualquier valor
de verdad de sus componentes. Por tanto, la última columna de su tabla de
verdad estará formada únicamente por unos.
Las tablas nos manifiestan los posibles valores de verdad de cualquier
proposición molecular, así como el análisis de la misma en función de las
proposiciones que la integran, encontrándonos con los siguientes casos:
Las tablas de verdad es una estrategia de la lógica simple que permite
establecer la validez de varias propuestas en cuanto a cualquier situación,
es decir, determina las condiciones necesarias para que sea verdadero un
enunciado propuesto, permitiendo clasificarlos en tautológicos (resultan
verdaderos durante cualquier situación) contradictorias (son enunciados
falsos en la mayoría de los casos) o contingentes (enunciados que no
pueden será tantos verdaderos como falsos no existen tendencias a un solo
sentido).^
1 2 3 4 5 6 7 8
P q R ¬q ¬p p ¬q ¬p v r (p ¬q)
V (¬p v r)
V V V F F F V V
V V F F F F F F
V F V V F V V V
V F F V F V F V
F V V F V V V V
F V F F V V V V
F F V V V V V V
F F F V V V V V
Permite diferentes aspectos del enunciado como las condiciones que lo
hacen verdadero y cuáles son sus conclusiones lógicas, es decir, si el
enunciado propuesto es verdadero o falso.
La construcción de la tabla está fundamentada en la utilización de una 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: ´´ 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 alguna 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 hay una conjugación en el
enunciado, en cambio a si se obtiene los resultados verdaderos y luego uno
verdadero y el otro falso se dice que existe una disyunción.
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra
el valor de verdad de una proposición compuesta, para cada combinación
de valores de verdad que se pueda asignar a sus componentes.
Fue desarrollada por charles Sanders Pierce por los años 1880, pero el
formato más popular es el que introdujo Ludwig Wittgenstein en su
tratactus lógico-philosophicus, publicado en 1921.
A B c.2 A B c.1
V V V V V V
V F V V F V
F V V F V V
F F F F F V
En realidad toda la lógica está contenida en las tablas de verdad, en ella se
nos manifiesta todo lo que implican las relaciones sintácticas entre las
diversas proposiciones. No obstante la sencillez del algoritmo, aparecen dos
dificultades.
La gran dificultad de operaciones que hay que hacer para una proposición
con más de 4 variables. Esta dificultad ha sido magníficamente superada
por la rapidez de los ordenadores, no presenta dificultad alguna.
Que únicamente será aplicable a un esquema de inferencia, o argumento
cuando la proporción condicionada, como conclusión, sea previamente
conocida, al menos como hipótesis, hasta comprobar que su tabla de
verdad manifiesta una tautología.
Por ello se construye un cálculo mediante cadenas deductiva:
Las proporciones que constituyen el antecedente del esquema de
inferencia, se toman como premisas de un argumento.
Se establecen como reglas de cálculo algunas tautologías como tales leyes
lógicas, (pues garantizan, por su carácter tautológico, el valor V).
Se permite la aplicación de dichas reglas como reglas de sustitución de
fórmulas bien formadas en las relaciones que puedan establecerse entre
dichas premisas.
Deduciendo mediante su aplicación, como teoremas, todas las conclusiones
posibles que haya contenidas en las premisas.
Cuando en un cálculo se establecen algunas leyes como principios o
axiomas, el cálculo se dice que es axiomático.
El cálculo lógico así puede utilizarse como demostración argumentativa.
EJERCICIOS
1. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega
al tenis, juega al futbol; no juega al futbol. Por tanto, Eduardo juega
al baloncesto.
Eduardo baloncesto: p
Eduardo tenis: q
Eduardo futbol: r
((¬p - > q) & (q - >r)) & ¬r - >p
(( ¬ P -> q ) & ( q -> r )) & ¬ r -> p
F V V V V V V V F F V V V
F V V V F V F F F V F V V
F V V F V F V V F F V V V
F V V F V F V F V V F V V
V F V V V V V V F F V V F
V F V V F V F F F V F V F
V F F F F F V V F F V V F
V F F F F F V F F V F V F
TAUTOLOGIA
2. cuando viajo me mareo. siempre que me mareo, me entra un hambre
atroz. así pues, siempre que me entra un hambre atroz, viajo.
Viajo: p
Mareo: q
Hambre: r
((p -> q) & (q-> r)) -> (r -> p)
( ( p -> q ) & ) q -> r ) ) -> ) r -> P )
V V V V V V V V V V V
V V V F V F F V F V V
V F F F F V V V V V V
V F F F F V F V F V V
F V V V V V V F V F F
F V V F V F F V F V F
F V F V F V V F V F F
F V F V F V F V F V F
INDETERMINADO
OPERACIONES ENTRE CONJUNTOS
Conocida también con algebra de conjuntos, las operaciones entre
conjuntos son: unión, intersección, diferencia simétrica y
complemento.
Unión de conjuntos: al realizar esta operación estamos conformando
un nuevo conjunto, que se llama conjunto solución, que contiene
todos los elementos o miembros de los conjuntos que se estén
uniendo, sin que ninguno de sus miembros se repita en el conjunto
solución. Por ejemplo:
Dados: A= {-1, 1, 2,3} B= {2, 4,6} C= {4, 5, 7,8}
AuB= {-1, 1, 2, 3, 4, 6}
Observe que el resultado A u B no contiene elementos repetidos.
A u B u C = {-1, 1, 2, 3, 4, 5, 6, 7, 8}
Intersección de conjuntos: esta operación entre conjuntos conforma
un nuevo conjunto que contenga los elementos o miembros
comunes a los conjuntos que hagan parte de esta operación. Por
ejemplo, si consideramos los conjuntos A, B Y C arriba mencionados,
al operar; se obtiene:
A n B= {2}
AnB
B n C = {4}
A n B n C = {} puesto que no hay ningún elemento que este en los tres
conjuntos.
(A u B) n C observe que en este ejemplo se está aplicando la
operación asociativa para la operación de unión entre A y B y a su
resultado hacer la intersección con C.
(A U B) n C = {4}
Diferencia de conjuntos:
Cuando se analiza la diferencia entre A y B se obtiene como respuesta
exclusivamente los elementos del conjunto A. por ejemplo si
consideramos los conjuntos A, B, C que aparecen arriba:
A – B = {1, 1, 3}
B – C = {2,6}
B – A = {4, 6}
C – B = {5, 7, 8}
Diferencia simétrica de conjuntos:
Se presenta cuando se consideran todos los elementos que solo
pertenecen los conjuntos, si tener en cuenta lo que tiene en común.
En otras palabras, en la diferencia simétrica no se tiene en cuenta
ningún elemento de la intersección entre los conjuntos, los demás sí.
Por ejemplo, dados los conjuntos
A = {-1, 1, 2, 3} B = {2, 4, 6} C = {4, 5, 7, 8} y U = {-1, 1, 2, 3, 4, 5,
6, 7, 8} (conjunto universal o referencial)
A B = {-1, 1, 4, 6}
Complemento de conjunto:
Se buscan todos los elementos que le hagan falta a un conjunto para
convertirse o se el conjunto universal o referencial. Por ejemplo:
A´ = {4, 5, 6, 7}
B´ = {-1, 1, 3, 5, 7, 8}
C´ = {-1, 1, 2, 3, 6}
(A u B)´ = {5, 6, 7, 8}
En algunos casos, para referirse al complemento de un conjunto se
escribe con el subíndice superior C, como si fuese el exponente.
