Professional Documents
Culture Documents
Usamos tablas de verdad, en el apartado 2.1 de la unidad II, para determinar el valor
de verdad de una proposicin compuesta.
En este apartado explicaremos ms detenidamente qu son las tablas de verdad,
cmo elaborarlas y emplearlas para evaluar la validez de un argumento.
funcin de verdad.
Tabla de verdad
Es un que permite determinar los posibles valores de ver-
dad de una proposicin compuesta, a partir de las combinaciones de los valores
de verdad de sus proposiciones simples componentes.
p
1 V
2 F
p q p q
1 V 1 V V
2 F 2 V F
3 V 3 F V
4 F 4 F F
p q r p q r p q r
V V V V V V
F V F V V F
V F V V F V
F F F V F F
V V V F V V
F V F F V F
V F V F F V
F F F F F
Resolucin de la tabla de verdad. Antes de empezar a resolver, la proposicin
compuesta deber estar bien formada, distinguiendo la conectiva principal del resto de
conectivas. La conectiva principal une a dos partes como un todo, pero, estas partes a
su vez, pueden tener tambin partes simples o compuestas. Se empieza a calcular el
valor de verdad de las partes, porque el todo depende de las partes.
p q r (p q) r
1 V V V
2 V V F
3 V F V
4 V F F
5 F V V
6 F V F
7 F F V
8 F F F
Empezar a resolver los valores de las proposiciones compuestas.
p q r (p q) r
V V V V V V
V V F V V F
V F V V F V
V F F V F F
F V V F V V
F V F F V F
F F V F F V
F F F F F F
1 2 3 4 5 6 7 8
1 2 3
p q r (p q) r
V V V V V V V
V V F V F V F
V F V V V F V
V F F V V F F
F V V F V V V
F V F F V V F
F F V F V F V
F F F F V F F
1 2 3 4 5 6 7 8
1 4y6 2 3
3. Determinar el valor de verdad de la , y anotarlos debajo del
smbolo de la conectiva. En este caso la (C7) es resultado de aplicar la tabla
de verdad de la a (C5) y (C8).
p q r (p q) r
V V V V V V V V
V V F V V V F F
V F V V F F V V
V F F V F F V F
F V V F F V V V
F V F F F V V F
F F V F F F V V
F F F F F F V F
1 2 3 4 5 6 7 8
1 4y6 2 5y8 3
p q r [p (q r)] p
1 V V V
2 V V F
3 V F V
4 V F F
5 F V V
6 F V F
7 F F V
8 F F F
Empezar a resolver los valores de las proposiciones compuestas.
p q r [p (q r)] p
V V V V
V V F F
V F V V
V F F V
F V V V
F V F F
F F V V
F F F V
1 2 3 4 5 6 7 8 9 10
2y3
p q r [p (q r)] p
V V V V V V
V V F V F F
V F V V V V
V F F V V V
F V V F F F
F V F F F F
F F V F F V
F F F F F V
1 2 3 4 5 6 7 8 9 10
1 4y7 2y3
3. Por ltimo, se determina el valor de verdad de la , en este
caso, la (C9), la cual resulta de aplicar la tabla de de verdad la conjuncin
a los valores de la (C5) y los de (C10).
p q r [p (q r)] p
V V V V V V V V
V V F V F F V V
V F V V V V V V
V F F V V V V V
F V V F F V F F
F V F F F F F F
F F V F F V F F
F F F F F V F F
1 2 3 4 5 6 7 8 9 10
4y7 1y2 5 y 10 1
Actividades de aprendizaje
Ejercicio 4.1.
p) (p p)
3. [(p q)
Verdades formales
Tautologa Contradiccin
p q p (p q) p q (p q) ~p
V V V V V V V V F F
V F V V V V F F F F
F V F V V F V F F V
F F F V F F F F F V
Veamos un ejemplo:
p q p ~q
V V V F F
V F V V V
F V F V F
F F F F V
Actividades de aprendizaje
Ejercicio 4.2.
Instrucciones: Utilizando las tablas de verdad, determina cules de las siguientes pro-
posiciones son tautolgicas, contradictorias o contingentes.
Proposiciones compuestas
1. [(p
2. p p
3. (p p)
p) (p p)
6. ( p
Ejercicio 4.3.
Instrucciones: Utilizando las tablas de verdad, determina cules de las siguientes pro-
posiciones son tautologas.
Proposiciones compuestas
1. (p p)
2. (p p)
3. [ (p q) (q r)]
4. [ (p q) (q r)]
5. [(p (q q) (p r)]
6. [(p (q q) (p r)]
7. (p p q)
8. (p p q)
9. [ (p
(p q)
p q)
q p)
4.4 Evaluacin de la validez de un argumento
mediante tablas de verdad
Desarrollaremos un ejemplo:
1. Si estoy atento en clases, entonces entiendo o resuelvo los problemas.
2. Ni entiendo ni resuelvo los problemas.
Por lo tanto, no estoy atento en clases.
A= Estoy atento en clases.
Paso 1
E= Entiendo los problemas.
R= Resuelvo los problemas.
Paso 2 Simbolizar premisas y conclusin Forma lgica
Si estoy atento en clases, entonces entiendo o resuelvo R)
los problemas.
P1 Si A entonces E o R
R
R)
Ni entiendo ni resuelvo los problemas. 2. ~ E ~R
P2 Ni E y ni R
~E ~R
No estoy atento en clases.
C No A ~A
~A
La forma lgica resultante del argumento es la siguiente:
R)
2. ~E R
Premisa
a
Conclusin
Las premisas sern el antecedente del condicional, por lo cual primeramente, las
premisas se unen por una conjuncin y, evidentemente, debemos usas corchetes para
agrupar.
[ Premisa 1 conjuncin Premisa 2 ]
R) ~E R
R)] [~E R]
La conclusin ser el consecuente por lo cual debemos poner primero las premisas,
R)] ( ~E
Ahora, para saber si el argumento es vlido hacemos una tabla de verdad. Si la tabla
resulta ser una tautologa, es decir, si en los valores de verdad de la conectiva principal
son todos verdaderos, entonces el argumento se considera vlido.
A E R {[ A (E R) ] ( E R)} A
V V V V V V V V F F V F F V V F V
V V F V V V V F F F V F V F V F V
V F V V V F V V F V F F F V V F V
V F F V F F F F F V F V V F V F V
F V V F V V V V F F V F F V V V F
F V F F V V F F F F V F V F V V F
F F V F V F V V F V F F F V V V F
F F F F V F F F F V F V V F V V F
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
1 4y7 2 6y8 3 5 y 12 11 2 10 y 13 14 3 9 y 16 17 1
Resultado
Tabla de verdad Argumento
Tautolgica Vlido
Actividades de aprendizaje
Ejercicio 4.5.
Instrucciones: Analiza y demuestra la validez de los argumentos siguientes:
Argumento 1
1. Si el papel tornasol se vuelve rojo, entonces la solucin es un xido.
Luego, si el papel se vuelve rojo, entonces o la solucin es un xido o hay algo
que anda mal.
Condicional asociado:
Tabla de verdad:
Condicional asociado:
Tabla de verdad:
Condicional asociado:
Tabla de verdad:
Condicional asociado:
Tabla de verdad:
Ejercicio 4.4.
Instrucciones: Pasa estas formas argumentales a la forma del condicional asociado y
haz una tabla de verdad para determinar si son vlidos (tautologas).
Estructuras
Condicional asociado Es vlido?
argumentativas
1.
2. p
2.
2. q
p
3.
1. p q
2. p
4.
1. p q
2. q
5.
6.
1. p
2. q
q
7.
1. p q
8.
1. p q
9.
1. p
q
10.
3. p r
s
11.
3. q s
p r
Actividades de aprendizaje
Argumento 1
1. Si las personas son totalmente racionales, entonces, o bien todos los actos
humanos se pueden predecir con seguridad o el universo es esencialmente
determinista.
2. No todas las acciones de las personas se pueden predecir con seguridad.
Condicional asociado:
Tabla de verdad:
Condicional asociado:
Tabla de verdad: