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

Es una regla de Inferencia y se abrevia con las letras PP, esta solo
se puede aplicar cuando predomina una condicional.

Tenemos una premisa P y una condicional Q y una segunda

premisa P.

1. P -> Q P (Antecedente de la condicional de la premisa)

2. P_____ P (Segunda Premisa)
Q PP 1,2 Q (Se baja el consecuente de la premisa que es
la conclusin)
Se baja el consecuente
 Ejemplo 1:

Demostrar B,

1. G - E P
2. E -K P
3. G P
4. K - L P
5. L - M P
6. M B P
________
7. E PP 1,3
8. K PP 2,7
9. L PP 4,8
10.M PP 5,9
11.B PP 6,10 Al bajar el consecuente B, esta es la respuesta.

Ejemplo 2:

La biologa estudia la vida, entonces estudia las clulas de todos los

seres vivos = P ---> Q

La biologa estudia la vida

= P

Por lo tanto, La biologa estudia las clulas de los seres vivos

= Q
 Modus Tollendo Tollens

Es una regla de inferencia y se puede ver como la negacin del

ponendo ponens, se abrevia con las letras TT y se representa as:

P ---> Q (si P entonces Q)

Q (No tienes Q)
_________
P (Por lo tanto no tienes P)

Ejemplo 1:

Tienes que comer si tienes hambre, no tienes hambre, por lo tanto

no tienes que comer.

1. Tienes que comer si tienes hambre = P ----->Q

2. No tienes hambre = Q
3. Por lo tanto no tienes que comer =P (TT) 1, 2

Ejemplo 2:
Demostrar A

1. A ----> B
2. B
3. A TT 1, 2
4. A Doble Negacin de 3
 Silogismo Hipottico (es el mismo Silogismo Condicional o Ley
Transitiva)

Es una regla de inferencia, se abrevia con las letras HS y solo funciona

para dos condicionales, se representa as:

1. P ---> Q (P entonces Q) J ---> K (J entonces K)

2. Q ---> R (Q entonces R) L ---> J (L entonces J)
_________ _________
P ---> R HS 1,2 L ---> K HS 1,2

Ejemplo 1:

Demostrar Z>6 v Z<Y

1. X>Y ----> X>Z P

2. (Z>6) ----> ( X>Y ----> Z<7) P
3. X>Z ----> Z<7 P
4. X>Y ----> Z<7 HS 1,3
5. (Z>6) TT 2,4
6. Z>6 v Z<Y La 5.
Ejemplo 2:

Si llueve, las calles se mojan Premisa 1

Si las calles se mojan, me resbalo Premisa 2
Luego, si llueve me resbalo Conclusin

Si llueve =P
Las calles se mojan =Q
Si las calles se mojan =Q
Me resbalo =R

P -----> Q
Q ----->R
____________
P -----> Q-----> R

Tarea 2: Problemas de aplicacin I

Solucionar los siguientes enunciados y demostrar la validez o no validez

del argumento dado a travs de:

Uso de las tablas de verdad.

Uso de las reglas de inferencia.
Uso del simulador Truth Table.

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogi, para
que no sea escogido por otro integrante)
C. La Vicerrectora Acadmica, quiere realizar una campaa motivacional
para los estudiantes y que as obtengan mejores calificaciones, por esta
razn se plantea el siguiente argumento: Si Juan estudia el fin de
semana, entonces estar preparado para el lunes, o Juan se va de
paseo. Si Juan se va de paseo, entonces no estudia el fin de semana.
Ocurre que Juan Estudi el fin de semana y llegar seguro a la
evaluacin. Por consiguiente Juan est preparado para el lunes y llega
seguro a la evaluacin.

Tarea 3: Problemas de aplicacin II

Expresar los siguientes enunciados en Lenguaje natural relacionada con

la dinmica de la Universidad de su rol como estudiante y demostrar la
validez del argumento dado a travs de:

Uso de las tablas de verdad.

Uso de las reglas de inferencia.
Uso del simulador Truth Table.

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual

escogi, para que no sea escogido por otro integrante)

a. [( ) ( ) ( )] ( )

Tarea 4: Razonamiento Deductivo e Inductivo

Identifique de los siguientes casos si el razonamiento es deductivo o

inductivo, argumentado la respuesta con sus propias palabras
(Solo selecciona uno de los 5 casos e informa en el foro cual escogi,
para que no sea escogido por otro integrante)

Explica la conclusin a la que llega el personaje, de acuerdo a la

caricatura. Explica el mtodo de razonamiento (inductivo o deductivo)
utilizado
BIBLIOGRAFIA

PONENDO PONENS

Erika Vega, Modus Ponendo Ponens (2015), tomado de:

https://www.youtube.com/watch?v=M7y5JGFN5wM

ES School Zone, Modus Ponens y Modus Tollens (2016), tomado de:

https://www.youtube.com/watch?v=MLe9flR4PsA

TOLLENDO TOLLENS

Erika Vega, Modus Tollendo Tollens (2015), tomado de:

https://www.youtube.com/watch?v=a8VmA_wTWRE

SILOGISMO HIPOTETICO

Erika Vega, Silogismo Hipottico (2015), tomado de:

https://www.youtube.com/watch?v=DivqwXjXaM8

Nini Ortiz, Silogismo Hipottico (2013), tomado de:

https://www.youtube.com/watch?v=CpZ4rJZq5lI