Professional Documents
Culture Documents
TABLAS DE VERDAD
1. Identificar todas proposiciones simples o atmicas de la proposicin compuesta o
molecular. Por ejemplo, en una proposicin se identifican p, q y r, es decir tres.
2. Para calcular el nmero de filas que tendr la tabla, debemos aplicar 2n , donde n es el
numero de proposiciones identificadas. Por ejemplo, 23=8, quiere decir que la tabla de
verdad para tres proposiciones identificadas tendr 8 filas.
3. Las negaciones no se consideran en el clculo de numero de filas, si se consideran en las
columnas.
4. En la parte superior de la tabla, es decir, en cada columna debe ir, desde la proposicin
simple en orden hasta la molecular, en orden de desarrollo.
5. Es importante identificar el conector principal de la proposicin molecular y de cada
proposicin que la compone, respetar el orden de los parntesis.
6. Para el anlisis de los valores de verdad de una proposicin es importante recordar lo
siguiente:
Una conjuncin slo es verdad V si ambos son V, para todos los dems
casos debe ser F.
En una disyuncin slo es falso F si ambos son F, para todos los dems
casos debe ser V.
Una implicancia slo es F, cuando el antecedente es V y el consecuente es
F, para todos los dems casos debe ser V.
Una bicondicionalidad slo es V, cuando ambos valores de verdad son
iguales, para todos los dems casos debe ser F.
Una disyuncin excluyente slo es V, cuando uno de sus valores es V, pero
no ambos, para todos los dems casos es F.
(p v q ) ^ r => (p ^ r) v (q ^ r)
Se identifican 3 proposiciones simples: p, q y r, por lo tanto n=3, 2 3=8. La tabla tendr 8
filas.
En la parte superior se comienzan a poner las proposiciones simples en orden.
La implicancia es el conector principal.
p q r
1
2
3
4
5
6
7
8
1 2 3 Conector Principal
(pvq) ^ r => (p ^ r) v (q ^ r)
4 6 7
5 8
9
Analizando la proposicin compuesta detectamos que existen 9 proposiciones. Por lo
tanto la tabla tendr 9 columnas.
1 2 3 4 5 6 7 8 9
p q r (pvq) (pvq)^r (p^r) (q^r) (p^r)v(q^r) (pvq)^r => (p^r)v(q^r)
1
2
3
4
5
6
7
8
Identificamos el conector principal de cada proposicin.
Asignaremos los valores de verdad para cada proposicin simple.
Primero asignaremos los valores a p. Son ocho filas por lo tanto le corresponden 4 valores
de V y 4 valores de F.
1 2 3 4 5 6 7 8 9
p q r (pvq) (pvq)^r (p^r) (q^r) (p^r)v(q^r) (pvq)^r => (p^r)v(q^r)
1 V
2 V
3 V
4 V
5 F
6 F
7 F
8 F
Segundo asignaremos los valores a q, que serian la mitad de los valores V asignados a p,
esto es asignaremos a q dos valores de V y dos valores de F y los alternaremos hasta
completar la columna.
1 2 3 4 5 6 7 8 9
p q r (pvq) (pvq)^r (p^r) (q^r) (p^r)v(q^r) (pvq)^r => (p^r)v(q^r)
1 V V
2 V V
3 V F
4 V F
5 F V
6 F V
7 F F
8 F F
Tercero para asignar los valores a r, vemos cuantos valores de V tiene q, q tiene dos
valores de V, por lo tanto a r le corresponde la mitad, que vendra siendo 1. Es decir para r
tendremos un valor de V y uno F, se irn enlistando alternadamente hasta completar la
columna.
1 2 3 4 5 6 7 8 9
p q r (pvq) (pvq)^r (p^r) (q^r) (p^r)v(q^r) (pvq)^r => (p^r)v(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
1 2 3 4 5 6 7 8 9
p q r (pvq) (pvq)^r (p^r) (q^r) (p^r)v(q^r) (pvq)^r => (p^r)v(q^r)
1 V V V V
2 V V F V
3 V F V V
4 V F F V
5 F V V V
6 F V F V
7 F F V F
8 F F F F
Asignaremos los valores de verdad a la columna 5, lo primero identificamos que el
conector principal es una conjuncin de la columna 4 y 3, por lo tanto, sabemos que la
nica forma que sea V una conjuncin es que ambos valores sean V, para todos los dems
casos debe ser F.
1 2 3 4 5 6 7 8 9
p q r (pvq) (pvq)^r (p^r) (q^r) (p^r)v(q^r) (pvq)^r => (p^r)v(q^r)
1 V V V V V
2 V V F V F
3 V F V V F
4 V F F V F
5 F V V V V
6 F V F V F
7 F F V F F
8 F F F F F
1 2 3 4 5 6 7 8 9
p q r (pvq) (pvq)^r (p^r) (q^r) (p^r)v(q^r) (pvq)^r => (p^r)v(q^r)
1 V V V V V V
2 V V F V F F
3 V F V V F V
4 V F F V F F
5 F V V V V F
6 F V F V F F
7 F F V F F F
8 F F F F F F
1 2 3 4 5 6 7 8 9
p q r (pvq) (pvq)^r (p^r) (q^r) (p^r)v(q^r) (pvq)^r => (p^r)v(q^r)
1 V V V V V V V
2 V V F V F F F
3 V F V V F V F
4 V F F V F F F
5 F V V V V F V
6 F V F V F F F
7 F F V F F F F
8 F F F F F F F
La columna 8 es una disyuncin entre las proposiciones compuestas por la columna 6 y
por la columna 7. Para asignar los valores de verdad a la columna 8, aplicamos el
planteamiento para la disyuncin, es decir, la nica forma que sea F es que ambos valores
sean F, para todos los dems casos debe ser V.
1 2 3 4 5 6 7 8 9
p q r (pvq) (pvq)^r (p^r) (q^r) (p^r)v(q^r) (pvq)^r => (p^r)v(q^r)
1 V V V V V V V V
2 V V F V F F F F
3 V F V V F V F V
4 V F F V F F F F
5 F V V V V F V V
6 F V F V F F F F
7 F F V F F F F F
8 F F F F F F F F
1 2 3 4 5 6 7 8 9
p q r (pvq) (pvq)^r (p^r) (q^r) (p^r)v(q^r) (pvq)^r => (p^r)v(q^r)
1 V V V V V V V V V
2 V V F V F F F F V
3 V F V V F V F V V
4 V F F V F F F F V
5 F V V V V F V V V
6 F V F V F F F F V
7 F F V F F F F F V
8 F F F F F F F F V
CONCLUSIN: COMO TODOS LOS VALORES DE VERDAD DE LAS 8 FILAS SON VERDADEROS
PODEMOS CONLUIR QUE SE TRATA DE UNA TAUTOLOGA O TABLA TAUTOLOGICA.
CUANDO LA TABLA DA COMO RESULTADO SOLO VALORES FALSOS, DECIMOS QUE SE TRATA DE
UNA CONTRADICCIN.