Usando la Tautologia \[p \vee \neg p\]

demostrar que

\[p \Rightarrow q \vee \neg (\neg q \wedge p)\]

es una Tautologia.

Intente hacerlo pero no llego a que sea una Tautologia. Llego a esto:

(...)

\[p \Rightarrow q \vee p \Rightarrow q\]

Debo estar resolviendo algo mal...

Ese ejercicio no es una tautologia, esta mal copado

Si q = false y p= true

p → q es falso
¬(¬q ^ p) es falso

disyuncion entre falsos es falso
ya no es tautologia

Tiene razón gonnza:

(p => q) v ¬ (¬q ^ p)
(¬p v q) v (q v ¬p)
(¬p v ¬p) v (q v q)
¬p v q

Y eso no es tautología.

Gracias a todos. En la actual guia de Mat. Discreta, ejercicio 1.4 a) del TP 1 (calculo proposicional y calculo de predicados) dice esto. Si no es una tautologia, es un error de la guia.

Hola, sin dudas debe ser un error de la guía, ya que no es un tautologia. Saludos!

va pero tautologia es cuando toda la fila te da verdadera ,pero como hicieron para simplificar eso?