Usuario:Andresgarcia87/ejercicio 1 capitulo 2 pagina 95

Los siguientes tres argumentos son válidos. Establezca la validez de cada uno por medio de una tabla de verdad. En cada caso, determine las filas de la tabla que son cruciales para evaluar la validez del argumento y las que pueden dejarse de lado.

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

Para poder desarrollar el ejercicio primero necesitamos denotar el orden en el que lo vamos a hacer, primeramente vamos a seleccionar las implicaciones, disyunciones y conjunciones que estan dentro de parentesis, estas mismas se pueden dejar de lado despues de que que verifiquemos su validez.

Recordemos que el criterio de validez depende cuando la tabla es completamente verdadera

1.er paso: desarrollar la tabla de p $\Rightarrow$ q

p$\Rightarrow$q
V
V
F
F
V
V
V
V

2do. Paso: desarrollar la tabla de tres variables [p$\land$(p$\Rightarrow$ q)$\land$r]

p	p$\Rightarrow$q)	r	[p$\land$(p$\Rightarrow$ q)$\land$r]
V	V	V	V
V	V	F	F
V	F	V	F
V	F	F	F
F	V	V	F
F	V	F	F
F	V	V	F
F	V	F	F

3er. Paso: desarrollar la tabla [(p $\vee \;$ q) $\Rightarrow$r]

(p$\vee \;$q)	[(p $\vee \;$ q) $\Rightarrow$r]
V	V
V	V
V	V
F	V
V	V
F	V
V	V
F	V