Facultad de ingeniería y ciencias aplicadas.

Demostrar los siguientes enunciados utilizando tablas de verdad:

- Eres ingeniero o matemático. No eres ingeniero, entonces, eres matemático.

(P V Q)~P)-> Q

(P v q) ~P -> q =
V V F V V
V F F F V
F V V V V
F F V F F

- El picnic del domingo no se realizará, si el tiempo no es soleado. El picnic se realizará el

domingo, entonces el tiempo es soleado.

(~P 𝖠 ~Q)-> (P v Q)

P Q ~P 𝖠 ~Q -> (P v Q) =
V F F F F V V V
V V F V V V F V
F F V F V F V V
F V V V V F F F

- Si viene corriendo, llegará antes de la 5 pm. Si viene con bicicleta, llegará antes de la 5
pm. No viene corriendo ni en bicicleta, por lo tanto, no llegará antes de la 5 pm.

(P -> Q)~P 𝖠 ~Q)->~Q

P Q P -> Q ~P 𝖠 ~Q ->~Q =
V V V F F F F F
V F F F V V V V
F V V V F V F V
F F V V V V V V