Reglas de inferencia y administracin

Modus ponendo ponens considerando algunos ejemplos del uso de esta regla en la deduccin de conclusiones a partir de premisas. Ejemplo 1: Premisa 1: Si est en el partido de futbol, entonces el est en el estadio. Podemos concluir que Premisa 2: l est en el partido de futbol. Que podemos concluir l est en el estadio Ejemplo 2: Premisa 1: si no hace frio entonces el lago no se helara Premisa 2: no hace frio Conclusin: entonces el lago no se helara REPRECENTACION DEL EJEMPLO 1 P: esta en el partido de futbol Q: esta en el estadio Simbologa

Ejemplo de negacin :

EJERCICIOS A RESOLVER P1: Si usted est en Madrid, entonces su reloj seala la misma hora que en Barcelona. Usted est en Madrid Conclusin: nuestro reloj seala la misma hora que en Barcelona al estar en Madrid P2: si nos despedimos ahora, entonces no cumpliremos nuestro plan. No nos despedimos ahora. Conclusin: el plan no se cumple ya que no nos despedimos. Son las cinco si son las cinco, entonces la oficina est cerrada. Conclusiones: la oficina est cerrada porque son a las cinco.

MODUS TOLLENDO TOLLENS Premisa 1: si tiene lus propia, entonces el astro es un estrella Premisa 2: el astro no es una estrella. Conclusin: por lo tanto no tiene luz propia. P: tiene luz propia Q: El astro no es una estrella Premisa: P Q Q P

Premisa 1: Si es por la maana entonces el sol estar en el este Premisa 2: El sol no est en el este P: es por la maana Q: el sol no estar en el este P Q Q p

DEMUESTRE CON UNA TABLA DE CERTEZA CUAL DE LOS EJEMPLOS DE INFERENCIA ES VALIDO. 1.- Si Isabel se retrasa, entonces cristina es puntual, si Isabel no se retrasa, entonces cristina no es puntual, por lo tanto o Isabel se retrasa o cristina no es puntual. P: Isabel se retrasa. Q: cristina es puntual. P P V V F F Q, P Q, P v Q Q F F V V P F F V V Q V V F F PvQ F V V F

2.- Si tengo 18 aos entonces soy mayor que pablo, si no tengo 18 aos, entonces soy ms joven que Jorge, por lo tanto o tengo 18 aos o soy ms joven que Jorge.

P: tengo 18 aos Q: soy mayor que pablo , P V V F F R, P v R Q F F V V P F F V V R V V F F PvR V V V V

3.- o Karen no entrega la mercanca o el contrato se considera legal, por lo tanto, si Karen entrega la mercanca el contrato se considera legal. P: Karen entrega la mercanca. Q: El contrato se considera local. P v Q, P V V F F Q F F V V P F F V V F F F F

4.- o AB es mayor que BC o AB no es igual a CD por lo tanto AB no es igual a CD P: AB es mayor que BC Q: AB no es igual a CD PvQ P V V F F Q F F V V q F F F F