Uso de las tablas de verdad

Geiner Arnaldo Prez Castro

Grupo_200611_203

Tutora
Luzmila Rojas

Universidad nacional abierta y a distancia

Pensamiento Lgico y Matemtico
2016
 Leyes De Morgan

Muestra que ~(p q) (~p) (~q).

Solucin
Nuevamente construimos una tabla de verdad para ~(p q) y (~p) (~q).
Mismos valores

p q p q ~(p q) ~p ~q (~p) (~q)

V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V
Desde la columna ~(p q) y (~p) (~q) de acuerdo a las columnas, concluimos que son
equivalentes.
Antes de seguir...
La proposicin ~(p q) se puede leer como "No es el caso de que p y q son verdaderas" o
"p y q no son las dos verdaderas." Slo hemos demostrado que esto es equivalente a "p es
falsa o q es falsa."

Ejemplo 7 Aplicacin de la ley DeMorgan

Si p: "El Presidente es un Demcrata," y q: "El presidente es un Republicano." Por lo tanto
~(p q): "El Presidente no es un Demcrata y tambin Republicano." Es lo mismo que
decir: "El presidente no es un Demcrata, o no es un Republicano, o el no es ninguno,"
que es (~p) (~q).
Antes de seguir...
Esto no es lo mismo que "El Presidente es un Republicano o un Demcrata," que sera q
p.

Aqu estn la dos equivalencias conocidas como la ley DeMorgan:

Ley De Morgan
Si p y q son proposiciones, entonces
~(p q) (~p) (~q)
~(p q) (~p) (~q)
Hablando mecnicamente, esto significa que, cuando distribuimos un signo de negacin,
invierte y , y la negacin se aplica a ambas partes.

Ejemplo 7 Prctica con la ley De Morgan

a) p: "Hay vida en Marte." ~(p q): no hay vida en marte ni en jupiter

q: "Hay vida en Jpiter."
 ANEXO 3

Para todos es preocupante la situacin econmica actual que vivimos y que

infortunadamente todo est muy costoso y el dinero no alcanza. Clemencia
reflexiona acerca de su proceder con su propia economa y su esposo reflexiona lo
siguiente: Clemencia mi esposa escribe su lista de gastos y ella consigue un
trabajo alterno en otra universidad. Mi esposa viaja en bicicleta a su trabajo por lo
cerca que queda o ella se desplaza caminando. Si Clemencia escribe su lista de
gastos, entonces ella ahorra mucho dinero. Por consiguiente, mi esposa ahorra
mucho dinero. Es claro lo que expresa el esposo de Clemencia? Para dar la
respuesta es necesario elaborar la tabla de verdad de lo que comenta el esposo
de Clemencia, si es tautologa es afirmativo el comentario, si da contradiccin hay
falsedad en lo expresado, y si da contingencia, es porque hace falta informacin
para tener asertividad del comentario hecho.

Tabla de verdad.

[ (pr) (qr)][(pq)r]

(pr) [ (pr) (qr)]

p Q r (pr) (qr) (pq) pr
(qr) [(pq)]r]
V V V V V V V V V
V V F F F V F F V
V F V V V V V V V
V F F F V V F F V
F V V V V V V V V
F V F V F V F F V
F F V V V F V V V
F F F V V F V V V