Ejercicio 4: Problemas de aplicación
Expresión simbólica: [(p→q)∧(p∨ s)∧(¬ s∧¬q)]→q
Premisas:
P1:(p→q)
P2: (p∨ s)
P3:(¬ s∧ ¬q)
Conclusión: q
A partir de la expresión simbólica seleccionada, el estudiante deberá:
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
Respuestas a la pregunta
Contestado por
1
Respuesta:
Explicación paso a paso:
[(p→q)∧(p∨ s)∧(¬ s∧¬q)]→q
por la ley de condicional
[(¬ pvq)∧(pvs)∧(¬ s∧¬ q)]→q
re acomodando
[( ¬ pvq)∧((pvs)∧¬s )∧¬ q)]→q
por absorción :
[( ¬ pvq)∧¬s∧p∧¬q]→q
acomodando
[((¬ pvq)∧¬q)∧¬s∧p] →q
por absorción
[¬q∧p∧¬s∧p] → q
[¬q∧p∧¬s] → q
por la ley de la condicional
q∨¬p∨s v q
quedando :
q∨¬p ∨ s
del problema :
de formula molecular a proposición :
p: Carlos estudia en la UNI
q: La UNI es una Universidad
s: UCV
expresando :
Carlos estudia en la UNI es decir La UNI es una Universidad , Carlos estudia en la UNI o UCV y sino estudia UCV o La UNI es una Universidad lo que podemos concluir que La UNI es una Universidad
Saludos
Otras preguntas