MatemáticasBásico1 respuestas

En un letrero de la UNAD, se presenta el siguiente argumento en lenguaje simbólico?

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

En resumen

Imagino que hay que resolverlo por propiedades.

Mejor respuesta

Oscartigeres
4

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.