You are on page 1of 23

4.1. Qu es una tabla de verdad?

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.

4.2. Procedimiento para elaborar tablas de verdad

columnas se anotan las literales que corresponden a las proposiciones simples y la


proposicin compuesta a resolver. En los renglones la combinacin de posibles valores
de verdad (verdadero o falso).
Veamos ahora los pasos que se siguen para construir una tabla de verdad.

Hacer tantas columnas como proposiciones simples se tengan y tantos


renglones como combinaciones de valores de verdad correspondan segn la frmula
2n, en donde n= nmero de proposiciones. Por ejemplo:

Tabla para una sola proposicin. p


1
21= 2 combinaciones
2
Ejemplo: p

Tabla para dos proposiciones p q


1
22= 4 combinaciones.
2
Ejemplo: p q; p 3
4

Tabla para tres proposiciones. p q r


1
23= 8 combinaciones.
2
Ejemplo: (p q) s 3
4
5
6
7
8

Una tabla de verdad para cuatro proposiciones, sera 2 4= 16 combinaciones, y una


de cinco proposiciones, sera de 25= 32 combinaciones.
Anotar los posibles valores de verdad de las proposiciones simples empe-
zando por la ltima columna, anotando alternadamente primero un valor verdadero (V)
y luego otro falso (F). En la siguiente columna, a la izquierda, de la anotada, se duplica
la escritura de cada valor de manera alternada y as sucesivamente, si existen ms
columnas a la izquierda, hasta llenar la tabla. Por ejemplo:

Combinaciones para una tabla de una sla proposicin.

p
1 V
2 F

Combinaciones para una tabla de dos proposiciones.

p q p q
1 V 1 V V
2 F 2 V F
3 V 3 F V
4 F 4 F F

Combinaciones para una tabla de tres proposiciones.

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.

El orden de resolucin de los valores de las conectivas.


-
tivos smbolos.
2. Se calculan los valores de verdad de las proposiciones compuestas: primero lo
que est entre parntesis, posteriormente lo que est entre corchetes, luego las llaves

fuera o de la parte al todo.


Veamos un ejemplo que muestre paso por paso cmo se determinan los valores de
verdad de una proposicin compuesta, sea: (p

Determinar columnas y renglones segn el nmero de variables, tres


en este caso (p, q y r), y el nmero de renglones segn la frmula 2 n = 23 = 2 x 2 x 2 = 8

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.

1. Transferir los valores de verdad a sus respectivas variables.

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

2. Calcular los valores de verdad de las conectivas de las proposiciones compuestas


que estn unidas por parntesis y anotarlos debajo del smbolo de la conectiva. En este
caso, la conectiva de la columna cinco, usaremos (C5) en lo sucesivo para
abreviar, que se determina aplicando la tabla de verdad de la a los valores
de verdad de (C4) y (C6).

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

Otra forma de calcular los valores de las conectivas y de ahorrarnos un paso es no


trasportar los valores de las variables simples y calcularlos directamente a partir de las
proposiciones simples. Analicemos un ejemplo que tome en cuenta este procedimiento,
sea: [p p.

Determinar columnas y renglones segn el nmero de variables, tres


en este caso (p, q y r), y el nmero de renglones segn la frmula 2 n = 23 = 2 x 2 x 2 = 8

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.

1. Determinar los valores de verdad de las conectivas de las proposiciones compues-


tas, que estn unidas por , en este caso, la condicional (C7), cuyos valores
se obtienen al aplicar la tabla de verdad de la condicional a (C2) y (C3).

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

2. Determinar los valores de verdad de las conectivas de las proposiciones com-


puestas, que estn unidas por , en este caso, la conjuncin (C5), cuyos valores
se obtienen al aplicar la tabla de verdad de la conjuncin a la (C4) y a (C7).

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.

Instrucciones: Practica la construccin de tablas de verdad con las siguientes proposi-


ciones compuestas. Despus responde lo que se te pregunta.

p) (p p)

3. [(p q)

4. Qu valores de verdad obtuviste como resultado de la primera estructura?

5. Qu valores de verdad obtuviste como resultado de la segunda estructura?

6. Qu valores de verdad obtuviste como resultado de la tercera estructura?


4.3. Verdad formal: tautologa y contradiccin

de una funcin de verdad.


Una proposicin compuesta es una , si la verdad del compuesto
est determinada por el valor de verdad de las proposiciones simples que la integran y
si su conectiva lgica es veritativo-funcional. Asimismo, la conectiva lgica es veritativo-
funcional si su expresin representa una funcin de verdad.
Pero, qu tipo de verdad es la que determina una tabla de verdad? El concepto de
verdad se utiliza en dos sentidos, el de verdad emprica y el de verdad formal.
Recordemos que la lgica slo toma en cuenta a las oraciones si stas son expre-
sin de un portador de verdad. Sin embargo, a la lgica no le corresponde investigar
la verdad emprica de las proposiciones; esto le corresponde las ciencias. La
de una proposicin simple depende de su correspondencia con la experiencia
y la fundamentacin en los hechos o datos a que hace referencia.
Las tablas no determinan el valor de verdad real de las proposiciones compuestas,
de hecho, ni siquiera toman en cuenta valores de verdad empricos, solamente los su-
ponen y hacen un clculo de las posibles situaciones de verdad o falsedad en que una
proposicin puede presentarse.
Entonces, para qu aprender a hacer tablas de verdad? Las tablas de verdad son
un mtodo lgico que permite saber si una proposicin compuesta es una verdad for-
mal o verdad lgica. Esto ser til ms adelante para determinar si la estructura de un
argumento es vlida, ya que la validez de un argumento depende de su forma lgica o
de las relaciones entre premisas y conclusin.
La verdad formal depende de la pura forma lgica o del modo en que se relacionan

o refutar este tipo de verdades.


El anlisis de una proposicin compuesta mediante una tabla de verdad, puede re-
velar si esa funcin de verdad, es una verdad formal o no lo es. Si es una verdad formal
entonces es una verdad que se puede determinar por mtodos lgicos, y si esto no es
as, por mtodos empricos.
Las proposiciones compuestas que son verdades formales o verdades lgicas son
las tautologas y las contradicciones.
Una es una proposicin compuesta que en la tabla de verdad
resulta , sin importar cual sea el contenido o valor de
verdad de sus proposiciones simples componentes.
Una es una proposicin compuesta que en la tabla de
verdad resulta , sin importar cual sea el contenido o el valor de
verdad de sus proposiciones simples. Veamos un ejemplo:

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

Caracterstica esencial: Caracterstica esencial:


Siempre es verdadera Siempre es falsa.

Cuando la tabla de verdad de una proposicin compuesta resulta verdadera en unos


casos y falsa en otros, decimos que el valor de verdad de la proposicin compuesta
es , y su valor de verdad depender de los valores de
verdad reales que adopten las proposiciones simples componentes.

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

El mtodo de elaboracin de tablas de verdad, que aprendiste en el apartado anterior,


es til para determinar la validez de una argumento, si sta depende de su forma lgica.
Para determinar la validez de un argumento mediante tablas de verdad, se requiere
previamente convertir el argumento en una proposicin condicional y, posteriormente,
aplicar a la frmula resultante una tabla de verdad.
Al procedimiento o mtodo por medio del cual pasamos de una estructura argumental
a una proposicin condicional se llama .
Cmo establecer el condicional asociado de un argumento? A todo argumento es
posible asociarle un condicional si consideramos la conjuncin de sus premisas como
antecedente y a la conclusin como su consecuente.
El argumento ser vlido si el condicional que le asociemos es una tautologa, y ser
invlido si resulta ser una contradiccin, y es indeterminado si es contingente.

Pasos para demostrar la validez o invalidez de argumentos:


1. Simbolizar el argumento, distinguiendo las premisas de la conclusin.
2. Establecer el condicional asociado del argumento, para ello: Unir las premisas
con la conectiva conjuncin, y considerar esa conjuncin como antecedente y la
conclusin como consecuente.
3. Realizar la tabla de verdad, resolviendo, en primer trmino, la parte del antece-

4. Si el resultado de la tabla de verdad es tautologa, el argumento es vlido. Si es


contradictorio es invlido y si es contingente es indeterminado.

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

Para pasar de una estructura argumental a la de una condicional aplicamos el m-


todo del :

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,

las proposiciones y separar las premisas de la conclusin por medio de un corchete


{}. Nos queda as:
{ [ Premisa 1 conjuncin Premisa 2 ] } condicional conclusin
R) E R A
)] [ E R] } A

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.

Forma lgica del Argumento:

Condicional asociado:

Tabla de verdad:

Tabla de verdad: Argumento:


Argumento 2
1. Si cumplen las demandas de los terroristas, entonces ser vulnerable la legalidad.
2. Si las demandas de los terroristas no se cumplen, entonces sern asesinadas
personas inocentes.

As, o bien se vulnera la legalidad o sern asesinadas personas inocentes.

Forma lgica del Argumento:

Condicional asociado:

Tabla de verdad:

Tabla de verdad: Tautologa Argumento: Vlido.


Argumento 3
1. Si las leyes son Buenas y su cumplimiento es Estricto, disminuir el Delito.
2. Si el cumplimiento de la ley es estricto, entonces hace disminuir el delito, luego,
nuestro Problema es de carcter prctico.
3. Las leyes son buenas.
Entonces, nuestro problema es de carcter prctico.

Forma lgica del Argumento:

Condicional asociado:

Tabla de verdad:

Tabla de verdad: Contingente. Argumento: Invlido.


Argumento 4
1. Si no estudio lgica, entonces no apruebo el examen.
2. Si estudio lgica, entonces aprendo.
En consecuencia: Si estudio lgica, entonces aprendo y apruebo el examen.

Forma lgica del Argumento:

Condicional asociado:

Tabla de verdad:

Tabla de verdad: Contingente. Argumento: No valido.


Actividades de aprendizaje

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).

Demostracin de la validez de estructuras argumentativas

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.

Por lo tanto, el universo no es esencialmente determinista o las personas no son


totalmente racionales.

Forma lgica del Argumento:

Condicional asociado:

Tabla de verdad:

Tabla de verdad: Argumento:


Argumento 2
1. Si se logra la igualdad de oportunidades, entonces las personas que antes tenan
desventajas recibirn oportunidades especiales.
2. Si esas personas reciben oportunidades especiales, entonces tendrn un trato
preferencial.
3. Si algunas personas reciben un trato preferencial, entonces no se lograr la
igualdad de oportunidades.
Por lo tanto, la igualdad de oportunidades no se lograr.

Forma lgica del Argumento:

Condicional asociado:

Tabla de verdad:

Tabla de verdad: Argumento:

You might also like