Expresión simbólica:
{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)
Premisas:
P1: p→(q→r)]
P2: rΛp
P3: sVq
P4: ¬q
es urgente
Respuestas
Expresión simbólica:
{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)
Expresión simbólica:
{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)
Premisas:
P1: p→(q→r)]
P2: rΛp
P3: sVq
P4: ¬q
Conclusión: sΛ(q→r)
Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en un contexto, el que se solicita es un contexto académico, ejemplo:
p: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública
r: La UNAD da la carrera que Carlos quiere estudiar.
s: Carlos estudia lo que quiere
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
p→(q→r)]: Si Carlos estudia en la UNAD, entonces La UNAD es una universidad pública entonces la UNAD da la carrera que Carlos quiere estudiar
rΛp : La UNAD da la carrera que Carlos quiere estudiar y Carlos estudia en la UNAD
sVq : Carlos estudia lo que quiere o La UNAD es una Universidad Pública
¬q : La UNAD no es una Universidad Pública
sΛ(q→r): Carlos estudia lo que quiere y La UNAD es una Universidad Pública entonces La UNAD da la carrera que Carlos quiere estudiar.
Generar una tabla de verdad para:
{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)
Ver más en Brainly.lat - https://brainly.lat/tarea/10906145#readmore