Actividades a desarrollar

Tarea 1: Conceptualizacin de las reglas de inferencia.

Socializar en el Foro diseado para el desarrollo de la actividad la
conceptualizacin y dos ejemplos especficos (En caso de ser extrado
por alguna fuente bibliogrfica, se debe citar correctamente empleando
normas APA) de un grupo de las Reglas de Inferencia Lgica.

(Solo selecciona un grupo de los 5 mostrados e informa en el foro cual

escogi, para que no sea escogido por otro integrante), las cuales son:

a. Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos

Hipottico
Modus ponendo ponens: El modus ponendo ponens (en latn, modo que
afirmando afirma), tambin llamado modus ponens y generalmente abreviado
MPP o MP, es una regla de inferencia que tiene la siguiente forma:

Si A, entonces B
A
Por lo tanto, B

Ejemplo:
Si son las 6 AM, entonces ya amaneci.
Son las 6 AM.
Por lo tanto, Ya amaneci

Modus tollendo tollens: El modus tollendo tollens (en latn, modo que negando
niega), tambin llamado modus tollens y generalmente abreviado MTT o MT, es
una regla de inferencia que tiene la siguiente forma:

si A entonces B
No B
Por lo tanto, no A

EJEMPLO:
Si son las 6 AM, entonces amanecio.
No son las 6 AM.
Por lo tanto, no amanecio.
https://darkjrof.wordpress.com/2011/04/04/reglas-de-inferencia/

Silogismo hipottico: se compone de dos premisas condicionales.

La primera es una condicional y la segunda tiene como antecedente al consecuente de la primera

premisa y la conclusin se forma con el antecedente de la segunda premisa.

1 premisa: P -----> Q

2 premisa: Q ----> R

Conclusin: P---> R.

Claramente se percibe que la conclusin es una proposicin condicional y que las dos premisas
tambin son condicionales.
Un ejemplo de silogismo hipottico es:
Si no me despierto, entonces no voy a ir a trabajar.
Si no voy a trabajar, entonces no me pagan mi sueldo.
Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.