Republica Bolivariana de Venezuela

Universidad Nacional Experimental “Francisco de Miranda”

Área Ciencias de la Salud

Programa Ingeniería Biomédica

Integrantes:

TSU. Erneris Martinez

TSU. Jesus Lugo

TSU. Maryvic Reyes

Santa Ana de Coro; 15 de Julio de 2018.

 Taller lógico

1. Dado el valor inicial de cada proposición, evalué las siguientes expresiones

(detalle todos los pasos para obtener la solución).

P= F

q= V

 ˜ (p ̬ q) <-> ˜ p ̂ ˜ q

V V F

F F

V
p= V
q= F
r= F
 (p -> q) ̂ (q -> r) -> (p->r)

F V F

F
p= F

q= V

r= F

 ( p -> q ) ̂ (q -> r) -> ( p -> r)

V F V

V
2. Efectué la tabla de la verdad de cada una de las siguientes expresiones
proposicionales, y resalte cuales son los valores resultantes finales.

Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis,

juega al futbol; no juega al futbol, por tanto, Eduardo juega al baloncesto.

Eduardo baloncesto: p
Eduardo tenis: q
Eduardo futbol: r

 (( ˜ p -> q) ̂ (q -> r)) ̂ ˜r -> p

X Y Z
p q r ˜p ˜r ˜p->q q->r ˜r->p X ̂Y XY Ẑ
V V V F F V V V V V
V V F F V V F V F F
V F V F F V V V V V
V F F F V V V V V V
F V V V F V V V V V
F V F V V V F F F F
F F V V F F V V F F
F F F V V F V F F F

Jaime se come el polo o se le derretirá; no se derrite el polo; por tanto, Jaime se

come el polo.

p: Jaime se come el polo

q: el polo se derrite

 ( p ̬q) ̂ ˜ q -> p
p q p ̬q ˜q ˜q->p X ̂Y
V V V F V V
V F V V V V
F V V F V V
F F F V F F