Usuario:Juansbotero/ejercicio 6

6. DEMOSTRAR QUE (P(x) → Q(y)) ^ (Q(y) → R(z)) → (P(z) → Q(z)), NO ES VALIDA.

SOLUCION

- P(x)= V

- P(y)= V

- P(z)= F

- Q(x)= V

- Q(y)= F

- Q(z)= F

- R(z)= V

QUEDANDO ASI: (V→F) ^ (F → V) → (F → F)

F ^ V → V

F ^ V

F