Question

simplificar (p→q)→[(p^~q)v(pvq)] ​

Answer 1

Respuesta:

V. 2.- [(~ p ν q) ^ (~ q → p)] ν (p ^ ~ q). * Solución. Justificaciones. [(~ p ν q) ^ (~ q → p)] ν (p ^ ~ q). Definición ... [(q → p) ^ (~ p → q)] → ~ (p ν ~ q) Definición Condicional y Doble Negación. ~ [(~ q ν p) ... p v [ q ^ (~ r v ~ p)]} ^ [(~ p ^ ~ q) v (p v q)]

Explicación paso a paso: