Question

Simplificar la expresión [p→~(q→p)] →~q ayuden en esto porfas​

Answer 1

Respuesta:

Explicación:

1.- (p ↔ q) ν (p ν q)

* Solución Justificaciones

(p ↔ q) ν (p ν q) Definición Bicondicional

[(p → q) ^ (q → p)] ν (p ν q) Definición de Implicación

[(~ p ν q) ^ (~ q ν p)] ν (p ν q) Ley Distributiva

[(~ p ν q) ν (p ν q)] ^ [(~ q ν p) ν (p ν q)] Ley Asociativa

[q ν (~ p ν p)] ^ [p ν (~ q ν q)] Condición de Negación

(q ν V) ^ (p ν V) Condición de Tautología

v