Ejercicio 2: Identificación de las reglas de la inferencia lógica
Expresión simbólica:
Ley de inferencia de la expresión:
Modus Tollendo Ponens (MTP)
Proposiciones simples:
r: me iré de paseo a la playa
s: podre matricular el próximo semestre
Lenguaje Natural:
No me iré de paseo a la playa, a menos que pueda matricular el próximo
semestre.
Expresión simbólica:
Ley de inferencia de la expresión:
Silogismo hipotético (SH)
Proposiciones simples:
r: si no pago la factura
q: incumpliría el contrato
t: me cortarían los servicios
Lenguaje Natural:
Si no pago la factura entonces incumpliría el contrato, si no cumplo el
contrato entonces me cortarían los servicios, por lo tanto si no pago la
factura me cortarían los servicios.
Expresión simbólica:
