ALGEBRA I PROFESORA: VERÓNICA DÍAZ L.
Enviado por Moises Aguilera Martinez • 23 de Abril de 2016 • Ensayo • 1.110 Palabras (5 Páginas) • 154 Visitas
ALGEBRA I
PROFESORA: VERÓNICA DÍAZ L.
TABLAS DE VERDAD
- Identificar todas proposiciones simples o atómicas de la proposición compuesta o molecular. Por ejemplo, en una proposición se identifican p, q y r, es decir tres.
- Para calcular el número 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.
- Las negaciones no se consideran en el cálculo de numero de filas, si se consideran en las columnas.
- En la parte superior de la tabla, es decir, en cada columna debe ir, desde la proposición simple en orden hasta la molecular, en orden de desarrollo.
- Es importante identificar el conector principal de la proposición molecular y de cada proposición que la compone, respetar el orden de los paréntesis.
- Para el análisis de los valores de verdad de una proposición es importante recordar lo siguiente:
- Una conjunción sólo es verdad V si ambos son V, para todos los demás casos debe ser F.
- En una disyunción sólo es falso F si ambos son F, para todos los demás casos debe ser V.
- Una implicancia sólo es F, cuando el antecedente es V y el consecuente es F, para todos los demás casos debe ser V.
- Una bicondicionalidad sólo es V, cuando ambos valores de verdad son iguales, para todos los demás casos debe ser F.
- Una disyunción excluyente sólo es V, cuando uno de sus valores es V, pero no ambos, para todos los demás casos es F.
p | q | p ^ q | p v q | p=> q | p <=> q | p ∇ q |
V | V | V | V | V | V | F |
V | F | F | V | F | F | V |
F | V | F | V | V | F | V |
F | F | F | F | V | V | F |
- Si tengo n filas, n/2 valores de V y n/2 valores de F le asigno a la primera proposición, a la segunda proposición le asigno la mitad de los valores asignados a la primera proposición y la mitad de los F. alternándolos hasta completar las filas. A la tercera proposición le asigno la mitad de los valores V asignados a la proposición que le antecede así como también la mitad de valores F alternándolos hasta completar las filas.
Sea la siguiente proposición: Distributividad de la conjunción:
(p v q ) ^ r => (p ^ r) v (q ^ r)
- Se identifican 3 proposiciones simples: p, q y r, por lo tanto n=3, 23=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 |
[pic 1][pic 2][pic 3][pic 4]
[pic 5][pic 6][pic 7][pic 8][pic 9]
( p v q ) ^ r => (p ^ r) v (q ^ r)[pic 10][pic 11][pic 12][pic 13]
[pic 14][pic 15][pic 16]
[pic 17][pic 18]
[pic 19]
- Analizando la proposición 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 proposición.
- Asignaremos los valores de verdad para cada proposición 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 vendría siendo 1. Es decir para r tendremos un valor de V y uno F, se irán 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 proposición parte con valores V, todas proposiciones simples deben comenzar con el valor V, es decir el mismo valor.
- A continuación, comenzaremos a asignarle los valores a la columna 4, que corresponde a una disyunción formada por la columna 1 y 2, de dónde sabemos que la única forma que sea F es que ambos valores sean F, para todos los demás 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[pic 20] | F | F | V | F | |||||
8[pic 21] | F | F | F | F |
- Asignaremos los valores de verdad a la columna 5, lo primero identificamos que el conector principal es una conjunción de la columna 4 y 3, por lo tanto, sabemos que la única forma que sea V una conjunción es que ambos valores sean V, para todos los demás 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[pic 22] | V | V | ||||
2 | V | V | F | V | F | ||||
3 | V | F | V | V | F | ||||
4 | V | F[pic 23] | 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 conjunción, entre la columna 1 y 3, y volvemos con el planteamiento utilizado para la conjunción: la única forma que sea V es que ambos valores sean V, para todos los demás 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[pic 24] | V | V[pic 25] | V | V | V | V | |||
2 | V | V | F | V | F | F | |||
3[pic 26] | V | F[pic 27] | 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 conjunción de las proposiciones q y r, es decir, de la columna 2 y de la columna 3. Aplicamos el planteamiento para la conjunción: la única forma que sea V es que ambos valores sean V, para todos los demás casos debe ser F.
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | |
p[pic 28] | 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[pic 29] | 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 disyunción 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 disyunción, es decir, la única forma que sea F es que ambos valores sean F, para todos los demás 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[pic 30] | F | F | F | |
3 | V | F | V | V | F | V | F | V | |
4 | V | F | F | V | F[pic 31] | F | F | F | |
5 | F | V | V | V | V | F | V | V | |
6 | F | V | F | V | F[pic 32] | F | F | F | |
7 | F | F | V | F | F[pic 33][pic 34] | F | F | F | |
8 | F | F | F | F | F | F | F | F |
...