En un letrero de la UNAD, se presenta el siguiente argumento en lenguaje simbólico.
((p→q)Λ(¬r→p)Λ(qVs))→(¬q→s)
((p→q)Λ(¬r→p)Λ(qVs))→(¬q→s)
More Questions From This User See All
" Life is not a problem to be solved but a reality to be experienced! "
© Copyright 2013 - 2024 KUDO.TIPS - All rights reserved.
¬[(¬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