Está en la página 1de 5

ALGEBRA I

PROFESORA: VERNICA DAZ L.

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 q p^q pvq p=> q p <=> q pq


V V V V F
V V
V F F V F
F V
F V F V V F
V
F F F V F
F V

7. Si tengo n filas, n/2 valores de V y n/2 valores de F le asigno a la primera proposicin, a la


segunda proposicin le asigno la mitad de los valores asignados a la primera proposicin y
la mitad de los F. alternndolos hasta completar las filas. A la tercera proposicin le asigno
la mitad de los valores V asignados a la proposicin que le antecede as como tambin la
mitad de valores F alternndolos hasta completar las filas.

Sea la siguiente proposicin: Distributividad de la conjuncin:

(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

Si la primera proposicin parte con valores V, todas proposiciones simples deben


comenzar con el valor V, es decir el mismo valor.
A continuacin, comenzaremos a asignarle los valores a la columna 4, que corresponde a
una disyuncin formada por la columna 1 y 2, de dnde sabemos que 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
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

La Columna 6 es una conjuncin, entre la columna 1 y 3, y volvemos con el planteamiento


utilizado para la conjuncin: la nica forma que sea V 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 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

La columna 7 es una conjuncin de las proposiciones q y r, es decir, de la columna 2 y de la


columna 3. Aplicamos el planteamiento para la conjuncin: la nica forma que sea V 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 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

Finalmente, para saber los valores de verdad de la proposicin contenida en la columna 9,


identificamos el conector principal que es una implicancia entre la columna 5 y la columna
8. Para la implicancia sabemos que slo es F, cuando el antecedente es V y el consecuente
es F, para todos los dems casos debe ser V. En este caso da que son todas V.
La columna 5 es el antecedente y la columna 8 es el consecuente.

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.

CUANDO LA TABLA DA COMO RESULTADO VALORES V Y F, HABLAMOS DE UNA CONTINGENCIA.