Usuario:Alvaro Otero/ejercicio 8

Demostrar que las siguientes proposiciones son tautologias sin utilizar tablas de verdad

(¬p$\vee \;$q)$\Rightarrow$(q$\vee \;$¬p)

SOLUCION

(¬(¬P$\Rightarrow$q)$\Rightarrow$(q$\vee \;$¬p)
(p$\Rightarrow$q)$\Rightarrow$(q$\vee \;$¬p)
(¬q$\vee \;$¬p)$\Rightarrow$(q$\vee \;$¬p)
(q$\vee \;$¬p)$\Rightarrow$(q$\vee \;$¬p)

y apartir de las proposiciones anteriores (q$\vee \;$¬p)$\Rightarrow$(q$\vee \;$¬p) podemos concluir que son una tautologia