Lógica Reglas De Inferencia

REPÚBLICA BOLIVARIANA DE VENEZUELA
UNIVERSIDAD RAFAEL BELLOSO CHACÍN
FALCULTAD DE CIENCIAS ADMINISTRATIVAS
CATEDRA: LÓGICA















DEDUCCION NATURAL
(REGLAS DE INFERENCIA)


PRESENTADO POR:HERNANDEZ MORELIA – 24375631LABARCA MICHELLE - 25406967
VALBUENA ANDREA - 25407644VILLASMIL YESELIS – 22064880


MARACAIBO, NOVIEMBRE 2015.
INTRODUCCIÓN
El estudio de la lógica y de las proposiciones nos ayudara a tener un pensamiento preciso y herramientas para argumentarclaramente situaciones de una manera más exacta.
Antes de hablar acerca de las reglas de inferencia es bueno resaltar algunos conceptos claros y básicos para el entendimiento de este; uno de ellos es lalógica.
La lógica es una rama de la filosofía y la matemática desarrollada en el siglo XIX la cual estudia la demostración e inferencia valida, es considerada como la ciencia del razonamiento.DESARROLLO

1) MODUS PONENDO PONENS.
Significa, “MODO AFIRMADO AFIRMO”.
Es una proposición implicativa, si afirman el antecedente, se afirma el consecuente.

EJEMPLO:
Si tengoapendicitis, entonces me deben extraer el apéndice y tengo apendicitis, entonces me deben extraer el apéndice.

p→q
p
q




2) MODUS TOLLENDO TOLENS.
Significa, MODO NEGANDO NIEGO”.
Es unaproposición implicativa, si niegan el consecuente, se niega el antecedente. Sólo se puede aplicar en una proposición implicativa, además de la biimplicativa.

EJEMPLO:
Si tengo apendicitis,entonces me deben extraer el apéndice y no me deben extraer el apéndice, entonces no tengo apendicitis.

p→ ᷉q
᷉q
᷉q




3) MODUS TOLLENDO PONENS.
Significa, “MODO NEGANDO AFIRMO”.
Es una...