1. REGLAS DE INFERENCIAS Y DEMOSTRACIÓN
MODUS PONENDO PONENS
CONSIDEREMOS ALGUNOS EJEMPLOS DEL USOS DE ESTA REGLA EN LA DEDUCCIÓN DE
CONJUNCIONES A PARTIR DE PREMISAS
EJERCICIOS 1
P. SI EL ESTA EN EL PARTIDO DE FUTBOL, ENTONCES EL ESTA EN EL ESTADIO
q. EL ESTA EN EL PARTIDO DE FUTBOL
RESPUESTA: EL ESTA EN ESTADIO
P → q p=está en el partido de futbol
P____ q=esta en en el estadio
q
EJERCICIO 2
P. SI NO HACE FRIO ENTONCES EL LAGO NO SE HELARA
q.NO HACE FRIO
RESPUESTA: EL HAGO NOS SE HELARA
⌐p→¬q
¬p______
¬q
EJERCICIO 1
SI USTED ESTA EN MADRID, ENTONCES SU RELOJ SEÑALA LA MISMA HORA QUE EN
BARCELONA. USTED ESTA EN MADRID
EJER. 2.
SI NO NOS DESPEDIMOS AHORA, ENTONCES NO CUMPLIREMOS NUESTRO PLAN. NO NOS
DESPEDIMOS AHORA
EJR 3
SON LAS 5. SI SON LAS 5, ENTONCES LA OFICINA ESTA CERRADA