Usuario:Andresgarcia87/ejercicio 3 capitulo 2 pagina 95

Verifique que cada una de las siguientes proposiciones es una implicacion lógica, mostrando que es imposible que la conclusión tenga el valor de verdad "V" mientras la hipótesis tenga el valor de verdad "F".

• a) (p$\land$q)$\Rightarrow$p

• b) p$\Rightarrow$(p$\vee \;$q)

• c) [(p$\vee \;$q)$\land$¬p]$\Rightarrow$q

• d) [(p$\Rightarrow$q)$\land$(r$\Rightarrow$s)$\land$(p$\vee \;$r)]$\Rightarrow$(q$\vee \;$s)

• e) [(p$\Rightarrow$q)$\land$(r$\Rightarrow$s)$\land$(¬q$\vee \;$¬s]$\Rightarrow$(¬p$\vee \;$¬r)