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 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.
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.
O sea de lenguaje simbolico a coloquial?
Pero para transformarlo a lenguaje natural se necesita saber el significado correspondiente de cada proposición atómica.
Numero = x siguiente = x + 1 (x + 1) / 3 - 40.
Espero que lo entiendas y te sirva.