Question

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

Answer 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