Question

En un letrero de la UNAD, se presenta el siguiente argumento en lenguaje simbólico.
((p→q)Λ(¬r→p)Λ(qVs))→(¬q→s)

Answer 1

Imagino que hay que resolverlo por propiedades.

¬[(¬pVq)Λ(qVs)]V(¬(¬)qVs) : Implicación
[(pΛ¬q)V(¬qΛ¬s)]V(qΛs) : Morgan
[pΛ(¬qV¬q)Λ¬s]V(qΛs) : Asociativa
[pΛ1Λ¬s]V(qΛs) : Indentidad
[pΛ¬s]V(qΛs ) : Commutativa
(pΛ¬s)V(sΛq) : Asociativa
pΛ(¬sVs)Λq : Complemento
pΛ1Λq : Absorción
pΛq