TAREA 1

Reglas de inferencia:
A medida que vallas estudiando las reglas de inferencias encontrars que stas
son usadas continuamente en el lenguaje natural. Las usamos para obtener
conclusiones que consideramos normalmente vlidas. Lo que haremos ahora, es
detenernos a analizar porqu consideramos a estas inferencias vlidas,
aprenderemos que al construir la tabla de verdad de la inferencia lgica se puede
determinar la validez de la misma, a la vez que aprendes a identificar
las diferentes inferencias lgicas en los razonamientos que hacemos
continuamente.
Poder identificar una inferencia lgica y poder clasificarla como vlida o no
mediante la construccin de la tabla de verdad te dar las bases para elaborar
argumentos slidos, presentes en todas las actividades acadmicas ya sea en la
elaboracin de ensayos o debates, como en las actividades cotidianas.
Veamos la primera regla, denominada Modus Ponendo Ponens MPP, tambin
llamada simplemente MP Modus Ponens, nombre que puedes leer como Modo
Afirmando-Afirmando, veamos:

Modus Ponens (M. P) o Modus Ponendo Ponens (MPP)

Cmo interpretar esta ley?, observa el siguiente ejemplo:

Daniel escucha la siguiente afirmacin Si llueve hace fro

En la siguiente escena, Daniel observa llover, es decir llueve
Qu puede concluir Daniel? Que har fro, es decir hace fro

Para obtener tan obvia conclusin, Daniel ha utilizado la ms comn de las

inferencias lgicas, la cual denominaremos MPP Modus Ponendo Ponens.

En este ejemplo, las proposiciones simples son:

p = llueve
q = hace fro

Ejemplo 1
Las proposiciones as declaradas, nos permiten expresar en lenguaje natural lo
expresado en lenguaje simblico as:

p q que equivale a: Si llueve hace fro

As que nuestro ejemplo puede ser representado en el lenguaje simblico de la
siguiente manera:

p q

Se lee: si p entonces q

p Se lee: ocurre p
q Se lee: de donde q
El smbolo (de donde) representa la conclusin de las premisas dadas; es
decir que la conclusin, en este caso, es la proposicin q

Modus Tollens (M.T) o Modus Tollendo Tollens (MTT)

p q Se lee: si p entonces q
~ q Se lee: ocurre ~q
... ~ p Se lee: de donde ~p

Esta regla de inferencia dice que si una implicacin es verdadera y su

consecuente es falso, entonces su antecedente ser necesariamente falso;
simblicamente se expresa as:
[(p q) ~q] ~p

Ejemplo 2
Premisa 1: Si un ngulo de un tringulo es mayor de 90, entonces la suma de los
otros dos ngulos es menor de 90.
Premisa 2: La suma de los otros dos ngulos no es menor de 90.
Conclusin: Un ngulo de un tringulo no es mayor de 90.

Simblicamente:
p: Un ngulo de un tringulo es mayor de 90.
q: La suma de los otros dos ngulos es menor de 90.
Premisa 1: p q
Premisa 2: ~ q
Conclusin: ~ p

Silogismo Hipottico (S: H)

p q Se lee: si p entonces q
q r Se lee: si q entonces r
... p r Se lee: de donde
Si p entonces r
Es un argumento que se expresa simblicamente as:

[( p q ) (q r )] ( p r )
Ejemplo 1.

Premisa 1. Si el agua se hiela, entonces sus molculas forman cristales.

Premisa 2. Si las molculas forman cristales, entonces el agua aumenta de
volumen. Conclusin. Si el agua se hiela, entonces el agua aumenta de volumen.
Simblicamente:
Sean las proposiciones p: El agua se hiela
q: Sus molculas forman cristales
r: El agua aumenta de volumen
Premisa 1. p

Premisa 2. q

Conclusin. p

Silogismo disyuntivo (S. D) o Modus Tollendo Ponens (MTP)

pq
~p
... q
Esta ley se enuncia as:
Si una disyuncin es verdadera y una de sus proposiciones simples es falsa,
entonces necesariamente la otra proposicin ser verdadera.
Simblicamente se escribe as:
[( p V q ) ~p] ~ q o [( p V q ) ~q] p
Ejemplo 1
Premisa 1: O la energa interna de un tomo puede cambiar con continuidad o
cambia slo a saltos.
Premisa 2: La energa interna de un tomo no puede cambiar con continuidad
Conclusin: La energa interna de un tomo cambia slo a saltos.

Simblicamente:
p: La energa de un tomo puede cambiar con continuidad
q: La energa de un tomo slo cambia a saltos
Premisa 1: p v q
Premisa 2: ~p
Conclusin: p

Dilema constructivo (D.C)

( p q) (r s )
pVr
... q V s

Absorcin (Abs)
pq
... p (q p)

Simplificacin (Simp.)
p q
... p

Conjuncin (Conj)
p
q
... p q

Adicin (Ad.)
p

... p V q

TAREA 2
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 leyes de Inferencia.
a. Estudiar en la modalidad a Distancia en la UNAD es una metodologa
educativa que realmente forma profesionales competentes, pues se debe ser
muy disciplinado con los hbitos de estudio adquiridos para cumplir con las
actividades acadmicas, pero con la ventaja de que al usar las tecnologas
facilita la comunicacin entre los diferentes protagonistas del proceso de
formacin acadmico. Carolina se ha esforzado por mantener un slido hbito
de estudio, pero hay momentos en que el cansancio la vence, el siguiente
relato es algo que le ocurri un da:
Si me mandas la gua de actividades por mensajera interna del curso,
entonces terminar de realizar las demostraciones. Si no me mandas la gua de
actividades por mensajera interna, me ir a la cama temprano. Y si me voy a
la cama temprano, me levantar descansada. Por lo tanto, si no acabo de
realizar las demostraciones, me levantar descansada. (Gmez, 2015)
Planteamiento de las proposiciones:
P: Si me mandas la gua de actividades por mensajera interna del curso,
Q: terminar de realizar las demostraciones.
R: me ir a la cama temprano.
S: me levantar descansada.
C: si no acabo de realizar las demostraciones, me levantar descansada.
Elaboracin de las premisas:
Hipotesis:
P1: pq
P2: ~pr
P3: rs

Tesis
P4: ~qs
Demostracin por leyes de inferencia:
P5: ~ps por SH entre p2 y p3
P6: s Por SD entre p3 y p5.
P7: p~s Contraposicion p5.
P8: ~p por TT entre p7 yp6.
P9: p(q ^ ~p)
P10.~( q ^ ~p)
P11.~q v p.
P12. ~q. TP p8 y p11
P13.~qs p6 yp12.
Planteamiento.
(pq)^( ~pr)^( rs)( ~qs)
Tabla de verdad. Parte de la tarea 2.

b. Johanna est planteando una situacin problmica para su ensayo del curso
de Matemticas financiera de la UNAD, para lo cual hace la siguiente cita
bibliogrfica:
Si hay una situacin de crisis econmica, el ndice de natalidad disminuye. Si
avanza la medicina, las expectativas de vida sern mayores. Si el ndice de
natalidad disminuye y las expectativas de vida se hacen mayores, entonces la
sociedad ir envejeciendo rpidamente. La crisis econmica es un hecho y los
avances en la medicina son constantes. Luego, la sociedad envejecer con
rapidez. (Gmez, 2015).1
Proposiciones:
P: Si hay una situacin de crisis econmica
Q: el ndice de natalidad disminuye.
R: Si avanza la medicina
T: las expectativas de vida sern mayores.
U: sociedad ir envejeciendo rpidamente
Premisas para realizar el razonamiento:
P1: pq.
P2: rt.
P3: (q^t)u.
P4: p^r
P5: p por S en p4.
P6: r por S en P4
P7: (~qv~t) v u
P8 q

MPP p1 y p5

P9 t

MPP entre p2 y p6

P10 q^t Adjuncin p8 y p9

C: u por

TP entre p7 y p10

Tabla de verdad.
[( pq)^( rt)^ ((q^t)>u)^(p^r)]u

Parte de la tarea 3.

Tarea 3
Reduccin al absurdo.

(Esta parte debe escribirla con su letra y escanearla para enviaarla en el

trabajo)
TAREA 4
((pq)(rp)(qVs))(qs)
Lenguaje natural.
Si no eres estudiante de la Unad entonces debes tener ms clases presenciales
y si no tienes trabajo para pagarte tus estudios entonces la Unad tiene
convenio con el icetex y puedes estudiar o trabajar entonces si no tienes clases
presenciales entonces puedes trabajar.

Premisas para usar las leyes de inferencia.

P1:pq
P2:rp
P3: qVs
P4: ~qs Ley de contraposicin contraria de p3.
C: qs
Reduccioin al absurdo.

(Esta parte debe escribirla con su letra y escanearla para enviaarla en el

trabajo)
El grupo colaborativo debe convertir el anterior argumento en lenguaje natural
de tal forma que la informacin o el mensaje que deseen expresar tenga
sentido lgico (Es decir deben hacer lo contrario de la tarea 2 y 3, ya que las
anteriores tareas, se presentaban en lenguaje natural y el propsito es
convertirlo en lenguaje simblico).
Finalmente, deben demostrar que el anterior argumento es vlido a travs de:
Uso de las tablas de verdad. Uso de las leyes de inferencia. Uso del
mtodo de reduccin al absurdo. Uso del simulador Truth Table