Usuario:Alvaro Otero/ejercicio 3

Los siguientes tres argumentos son validos. establesca la valides de cada uno por medio de una tavbla de verdad. En cada caso, determine las filas que son cruciales para evaluar la valides del argumento y las que pueden dejarse de lado

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

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

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

solucion