Tarea 1: Aplicacin 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.
a. Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos Hipottico
1Modus Ponendo Ponens
Es una regla tambin conocida como mtodo (afirmando-afirmo) esta regla establece que
dado un condicional y el antecedente de un condicional podemos concluir el consecuente del
mismo condicional.
Se tiene como primera premisa p q y como segunda premisa p, entonces se pueda aplicar
la regla M.P y se obtiene q.
1. p q p
2. p p
C q Mp
Ejemplo 1:
1. Si 10 es un numero par, entonces es divisible por 2 p
2. 10 es un numero par p

C 10 es divisible por 2 MP1.2

Ejemplo 2:
1. Si estudio y no gano las materia, entonces me desmotivo y me retiro P
2. Es el caso que estudio y no gano las materias P
C por lo tanto me desmotivo y me retiro MP1.2

1
Cardona Torres, Sergio Augusto. Lgica matemtica para ingeniera de sistemas y computacin. Madrid, ES:
Ediciones Elizcom, 2010. ProQuest ebrary.
2Modus Tollendo Tollens
Es una regla que se aplica a las expresiones condicionales, y la cual es conocida como
(negando-niego). Esta regla determina que dado un condicional y la negacin de su
consecuente, es posible concluir la negacin del antecedente.
Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos
conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha
podido darse
En la regla del Tollendo Tollens, se tiene como primera premisa p q y como segunda
premisa p, entonces se pueda aplicar la regla TT y se obtiene p
1. p q p
2. p p
C p TT1.2

Ejemplo 1:
Si x es un nmero par, entonces es divisible por 2, se puede aplicar Tollendo Tollens de la
siguiente manera:
1. Si x es un nmero par, entonces es divisible por 2 P
2. X no es divisible por 2 P
C x no es un numero par TT1.2

Ejemplo 2:
Se tiene la premisa si el invierno se prolonga, entonces los ros se salen del cauce. Y la
formalizamos se puede aplicar Tollendo Tollens de la siguiente maner
1. si el invierno se prolonga, entonces los ros se salen del cauce P
2. El rio no se sale del cauce P
C por lo tanto, el invierno no se prolonga TT1.2

3Silogismos Hipottico

2
Cardona Torres, Sergio Augusto. Lgica matemtica para ingeniera de sistemas y computacin. Madrid, ES:
Ediciones Elizcom, 2010. ProQuest ebrary.

3
Cardona Torres, Sergio Augusto. Lgica matemtica para ingeniera de sistemas y computacin. Madrid, ES:
Ediciones Elizcom, 2010. ProQuest ebrary.
Esta regla establece que dados dos condicionales donde el consecuente de una proposicin
coincide con el antecedente de otra proposicin, se obtiene una proposicin condicional que
tiene como antecedente el antecedente del primer condicional y como consecuente el
consecuente del segundo condicional.
1. p q p
2. p h p
C ph S.H1.2
Ejemplo 1:
Si paso vacaciones en Santa Marta, entonces me bronceare en el hotel; si me bronceo me
pondr moreno; por lo tanto si paso vacaciones en Santa Marta me pondr moreno
1. Si paso vacaciones en Santa Marta, entonces me bronceare en el hotel P
2. me bronceare en el hotel entonces me pondr moreno P
C Si paso vacaciones en Santa Marta, entonces me pondr moreno SH1.2

Ejemplo 2:
1. Si y es un numero par entonces el cuadrado de y es un numero par P
2. Si el cuadrado de y es un numero par entonces es divisible por 2 P
C si y es un numero par entonces es divisible por 2 SH1.2
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.
a. El programa Ser Pilo Paga est dirigido a los mejores bachilleres del pas, con
menores recursos econmicos para que accedan a Instituciones de Educacin Superior
acreditadas en alta calidad. El secretario de educacin en determinado municipio ha
informado al alcalde como fue la premiacin, de acuerdo a los resultados obtenidos en la
prueba Saber 11, el primer lugar recibir una beca completa 100% para ingresar en la
universidad que desee, el segundo lugar recibir una beca que cubre el 50% de los costos
acadmicos en la universidad que desee y el tercer lugar recibir un porttil ltima
generacin; para dicho fin el secretario hizo el siguiente razonamiento: Si Gabriela gan la
beca del 100% entonces Juan recibi la beca del 50% o Daniela fue quien recibi la beca del
50%. Si Daniela fue quien recibi la beca del 50%, entonces Gabriela no obtuvo como premio
la beca del 100%. Si Pedro fue quien gan la beca del 50% entonces Daniela no fue quien
recibi la beca del 50%. Gabriela se gan la beca del 100%. Por lo tanto, Pedro no fue quien
recibi la beca del 50%.
p: Gabriela gano la beca del 100%
q: Juan recibi la beca del 50%
r: Daniela recibi la beca del 50%
s: Pedro gano la beca del 50%

{[ ( )] ( ~) ( ~r) } ~

Uso de las tablas de verdad.

Dos lo elevamos al nmero de proposiciones como encontramos 4 proposiciones seria: 24=16,

Ahora en la primera proposicin p ponemos la mitad del nmero resultante verdadero y la
otra mitad falso, para q ponemos la mitad de lo que pusimos en la primera proposicin:
P q r s ( p(q ~ (r~p) ~r (s~r) [p(q [p(q
) r) r)](r~p) r)](r~p)(s~r)
V V V V V V F F F F F F
V V V F V V F V F V V V
V V F V V V F F V V F F
V V F F V V F V V V V V
V F V V V V F F F F F F
V F V F V V F V F V V V
V F F V F F F F V V F F
V F F F F F F V V V F F
F V V V V V V V F F V F
F V V F V V V V F V V V
F V F V V V V V V V V V
F V F F V V V V V V V V
F F V V V V V V F F V F
F F V F V V V V F V V V
F F F V F V V V V V V V
F F F F F V V V V V V V

[p(q ~S {[ ( )] ( ~) ( ~) } ~
r)](r~p)(s~r)p

F F V
V V V
V F F
V V V
F F V
V V V
F F V
F V V
F F V
F V V
F F V
F V V
F F V
F V V
F F V
F V V
 Uso de las reglas de inferencia.

1. p(q r)
2. r~p
3. s~r
4. C. ~s

5. p
6. qr M.P (1,4)
7. ~r M.T (2,4)
8. r S. 5
9. ~s M.T (2.7)

Uso del simulador Truth Table.

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
 Uso de las tablas de verdad.

[( ) ( ) ( )] ( )

Dos lo elevamos al nmero de proposiciones como encontramos 4 proposiciones seria: 24=16,

Ahora en la primera proposicin p ponemos la mitad del nmero resultante verdadero y la
otra mitad falso, para q ponemos la mitad de lo que pusimos en la primera proposicin:

P q r s pq rs pr qs (pq)(rs) (pq)(rs)(pr) [(pq)(rs)(pr)](qs)

V V V V V V V V V V V
V V V F V F V V F F V
V V F V V F V V F F V
V V F F V F V V F F V
V F V V F V V V F F V
V F V F F F V F F F V
V F F V F F V V F F V
V F F F F F V F F F V
F V V V F V V V F F V
F V V F F F V V F F V
F V F V F F F V F F V
F V F F F F F V F F V
F F V V F V V V F F V
F F V F F F V F F F V
F F F V F F F V F F V
F F F F F F F F F F V

a) [( ) ( ) ( )] ( )
1. pq
2. rs
3. p r
C:( )
 Uso del simulador Truth Table

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

a. Se me presenta la siguiente situacin: el restaurante al que siempre acudo, encuentro

que uno y otro mircoles, aparentemente sin excepcin el plato principal del almuerzo es
arroz con pollo. Entonces decid que no almorzara ah los mircoles, porque los
mircoles sirven arroz con pollo y a m no me gusta.

Este caso es deductivo ya que va de lo general a lo particular, Es una forma de razonamiento

donde se infiere una conclusin a partir de una o varias premisas toma premisa general el
restaurante al que siempre acudo, encuentro que uno y otro mircoles, aparentemente sin
excepcin el plato principal del almuerzo es arroz con pollo y llega a una conclusin
derivada de esta, los mircoles sirven arroz con pollo y a m no me gusta