Actividad colaborativa 2

Presentado Por:

Jeimi Dayana Pico - Cdigo: 1013600544

Eliana Carolina Rodrguez Zapata - Cdigo: 1013596295

Presentado a:

Tutor: Patricia Leguizamn

Lgica Matemtica

Grupo: 90004_43

Universidad Nacional Abierta y a Distancia

08 05 2016
 2

Objetivos

Reconocer los diferentes tipos de razonamientos.

Desarrollar razonamientos deductivos e inductivos en un proceso investigado.

Interpretacin de premisas a modo lgico.

Uso de leyes de inferencia, reduccin al absurdo, y simulador Truth Table para verificar
validez o no validez de la conclusin.

Identificar cada una de las leyes de inferencia.

 3

Introduccin

En el presente trabajo el estudiante tendr lugar a la aplicacin de los conceptos estudiados, al

reconocimiento y validacin de las leyes de inferencia, as como de las formas de razonamiento
inductivo y deductivo.
Primeramente encontraremos un cuadro comparativo que da explicacin a cada una de las leyes
de inferencia para obtener el conocimiento de la frmula que maneja cada una y su correcto uso
con cada una de las premisas propuestas, por consiguiente pasaremos de modo natural a modo
lgico las premisas propuestas, comprobando con tablas de la verdad su validacin agregando una
verificacin ms con el uso del en simulador de tablas de verdad, luego en forma de buscador
utilizaremos las leyes aprendidas con su frmula correcta para darle total validez al argumento.
Tarea 1: Aplicacin de las leyes de inferencia, Cuadro comparativo

Nombre de la ley de inferencia
Modus Tollendo Ponens
(TP)
Leyes de inferencia
Conceptualizacin Ejemplo especifico
p = Armando es profesor de qumica (premisa 1)
q = Armando es profesor de Ingls (premisa 2)
pvq
Es (Negando, Afirmo). La conclusin es: - p
si un smbolo o premisa de una disyuncin _______
es negado, el otro smbolo o premisa :. q Conclusin aplicado a 1 y 2 la regla (TP)
automticamente queda afirmado.
q = Armando es profesor de Ingles

p = Armando es profesor (Premisa 1)

- p = Armando no es profesor (Premisa 2)
- ( - p ) = No ocurre que Armando no es profesor
Es (Negando, lo negado). La conclusin Por lo tanto - ( - P ) = p = Armando es profesor
es: si a un smbolo o premisa que ya est --p
Doble Negacin (DN) negada, la niegan, automticamente queda _______
afirmado. :. p Conclusin aplicando a 2, la regla (DN)

p = Armando es profesor

p = Armando es profesor (Premisa 1)

q = Diego es profesor (Premisa 2)
p
Es (Uniendo) La conclusin es: si dos q
smbolos o premisas separadas afirman lo _________
Adjuncin (A) mismo, automticamente se unen y :. p q Conclusin aplicando a 1 y 2 la regla (A)
afirman un enunciado.
p q = Armando es profesor y Diego es profesor
 5

Ejemplo 1
q r
q
Debe tener una premisa condicional y otra ______________
premisa cualquiera, donde la premisa r
Modus Ponendo Ponens antecedente debe ser igual a la premisa Ejemplo 2
=MPP cualquiera y da como resultado el pq
consecuente de la premisa condicional. (pq)s
_____________
s

Ejemplo 1
Debe tener una premisa condicional y otra pq
cualquiera donde la premisa cualquiera q
Modus Tollendo Tollens = debe ser igual a la negacion del ____________
MTT consecuente dando como resultado la p
negacion del antecedente. Ejemplo 2
qr
r
____________
r

Ejemplo 1
Se debe tener dos premisas con pq
condicional y el antecedente de una de ella qr
debe ser igual al consecuente de la otra ____________
Silogismo Hipottico =SH dando como resultado el antecedente de pr
una y el consecuente de la otra unidos por
un condicional. Ejemplo 2
r q
(s p) r
________________
(s p ) q
Tarea 2: Problemas de aplicacin I parte
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)
Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado a
travs de:
1) Premisas
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

2) Proposiciones simples
p q Premisa 1
p r Premisa 2
r s Premisa 3
_________________________
:. q s Conclusin

3 Preposicin compuesta

[[(p q) ( p r)] (r s)] ( q s)

 7

Uso de las tablas de verdad.

p q r s p q r s (p q) ( p r) [(p q) ( p r)] (r s) [[(p q) ( p r)] (r s)] ( q s) [[(p q) ( p r)] (r s)] ( q s)

v v v v f f f f v v v v v v v
v v v f f f f v v v v f f v v
v v f v f f v f v v v v v v v
v v f f f f v v v v v v v v v
v f v v f v f f f v f v f v v
v f v f f v f v f v f f f f v
v f f v f v v f f v f v f v v
v f f f f v v v f v f v f f v
f v v v v f f f v v v v v v v
f v v f v f f v v v v f f v v
f v f v v f v f v f f v f v v
f v f f v f v v v f f v f v v
f f v v v v f f v v v v v v v
f f v f v v f v v v v f f f v
f f f v v v v f v f f v f v v
f f f f v v v v v f f v f f v

R/ Tautologa
 8

Uso de las leyes de Inferencia.

p q Premisa 1
p r Premisa 2
r s Premisa 3
:. q s Conclusin
q p Premisa 4 Contra recproca, en 1
p s Premisa 5 SH. en 2 y 3
q s Conclusin SH. en 4 y 5
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
1) Premisas
p = Hay una situacin de crisis econmica
q = El ndice de natalidad disminuye
r = Avanza la medicina
s = Las expectativas de vida sern mayores
t = La sociedad ir envejeciendo rpidamente
2) Proposiciones
p q Premisa 1
r s Premisa 2

(q s) t Premisa 3

p r Premisa 4
_________________
:. t Conclusin
3 Preposicin compuesta
[[(p q) (r s)] [(q s) t] (p r)] t
 9
p q r s t (p q) (r s) [(p q) (r s)] (q s) [(q s) t] [(p q) (r s)] [(q s) t] (p r) [[(p q) (r s)] [(q s) t] (p r)] [[(p q) (r s)] [(q s) t] (p r)] t
v v v v v v v v v v v v v v
v v v v f v v v v f f v f v
v v v f v v f f f v f v f v
v v v f f v f f f v f v f v
v v f v v v v v v v v f f v
v v f v f v v v v f f f f v
v v f f v v v v f v v f f v
v v f f f v v v f v v f f v
v f v v v f v f f v f v f v
v f v v f f v f f v f v f v
v f v f v f f f f v f v f v
v f v f f f f f f v f v f v
v f f v v f v f f v f f f v
v f f v f f v f f v f f f v
v f f f v f v f f v f f f v
v f f f f f v f f v f f f v
f v v v v v v v v v v f f v
f v v v f v v v v f f f f v
f v v f v v f f f v f f f v
f v v f f v f f f v f f f v
f v f v v v v v v v v f f v
f v f v f v v v v f f f f v
f v f f v v v v f v v f f v
f v f f f v v v f v v f f v
f f v v v v v v f v v f f v
f f v v f v v v f v v f f v
f f v f v v f f f v f f f v
f f v f f v f f f v f f f v
f f f v v v v v f v v f f v
f f f v f v v v f v v f f v
f f f f v v v v f v v f f v
f f f f f v v v f v v f f v

Uso de las tablas de verdad. R/ Tautologa

 10

Uso de las leyes de Inferencia.

p q Premisa 1
r s Premisa 2

(q s) t Premisa 3

p r Premisa 4
:. t Conclusin

p Premisa 5 S. en 4.
r Premisa 6 S. en 4.
q Premisa 7 PP. en 5 y 1
s Premisa 8 PP. en 6 y 2

q s Premisa 9 A. en 7 y 8
t Conclusin PP. en 9 y 3

Tarea 3: Problemas de aplicacin II parte

Solucionar los enunciados de la tarea 2 y demostrar la validez o no validez del argumento
dado a travs del:
Uso del mtodo de reduccin al absurdo,
Uso del simulador Truth Table.
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, 20150029
 11

Uso del mtodo de reduccin al absurdo

p q Premisa 1
v f f = f 4 paso
pr Premisa 2
f v f = v 3 paso
rs Premisa 3
f v f = v 2 paso
q s Conclusin
v f f = f 1 paso
= Argumento Valido
Porque: Primer paso, tomamos desde la conclusin y sabemos que se debe colocar falsa, nos da
falsa la condicional, colocando valores: q = v y s = f, entonces la condicional nos da falsa =
f
Segundo paso, premisa 3, la condicional es verdadera, dndole valores a r = f y s = f, entonces la
condicional es verdadera.
Tercer paso, Premisa 2, la condicional es verdadera, dando los siguientes valores p = f y r = f,
entonces la condicional es verdadera.
Cuarto paso, finalmente en la premisa 1, como ya tenemos los valores definidos de p, y q, se
coloca lo contrario nos quedara los valores as: p = v y q = f, entonces la condicional ya no dara
verdadera si no falsa, lo cual llegamos a un absurdo. Y el argumento seria valido.

Uso del simulador Truth Table.

 12

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)
Uso del mtodo de reduccin al absurdo
p q Premisa 1
v f f = f 5 paso
r s Premisa 2
v v v = v 4 paso

(q s) t Premisa 3
(f f v) v f = v 3 paso

p r Premisa 4
v v v = v 2 paso
:. t Conclusin
f = f 1 paso
= Argumento Valido
Porque: Primer paso, tomamos desde la conclusin y sabemos que se debe colocar falsa, nos da
falsa la conclusin t. t = f
Segundo paso, premisa 4, la conjuncin es verdadera, dndole valores a p = v y r = v, entonces la
conjuncin es verdadera. = v
Tercer paso, Premisa 3, la conjuncin es falsa, dando los siguientes valores q = f y s = v, y como
t = f, entonces la condicional es verdadera.
Cuarto paso, Premisa 2, como ya tenemos los valores definidos de r = v, y s = v, entonces la
condicional nos da verdadero.
Quinto paso Premisa 1, como ya tenemos los valores definidos de: p = v y q = f, entonces la
condicional nos da falsa, a lo cual llegamos a un absurdo, y esto da un argumento vlido.
 13

Uso del simulador Truth Table.

Tarea 4: Creatividad en la proposicin de situaciones de la vida cotidiana.

En un letrero de la UNAD, se presenta el siguiente argumento en lenguaje simblico.
((pq)(rp)(qVs))(qs)

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).

Lenguaje natural
Si te animas a estudiar en la universidad UNAD, sers un estudiante exitoso. Si no tienes tiempo
de estudiar en una universidad presencial, estudia en la universidad UNAD. Decide en ser ya un
estudiante exitoso o posponer tus estudios. Por lo siguiente, si no quieres ser un estudiante
exitoso, pospone tus estudios.
 14

Premisas
p = Estudia en la universidad UNAD
q = Sers un estudiante exitoso
r = Tienes tiempo de estudiar en una universidad presencial
s = Posponer estudios

Proposiciones simples
p q Premisa 1
r p Premisa 2
q s Premisa 3
_______________________
:. q s Conclusin

Preposicin compuesta
[(p q) (r p) (q V s)] (q s)
 15

Uso de las tablas de verdad.

p q r s q r (pq) ( rp) (pq) ( rp) (qVs) [(pq) ( rp) (qVs)] ( qs) [(pq) ( rp) (qVs)]( qs)
v v v v f f v v v v v v v
v v v f f f v v v v v v v
v v f v f v v v v v v v v
v v f f f v v v v v v v v
v f v v v f f v f v f v v
v f v f v f f v f f f f v
v f f v v v f v f v f v v
v f f f v v f v f f f f v
f v v v f f v v v v v v v
f v v f f f v v v v v v v
f v f v f v v f f v f v v
f v f f f v v f f v f v v
f f v v v f v v v v v v v
f f v f v f v v v f f f v
f f f v v v v f f v f v v
f f f f v v v f f f f f v

= Tautologa
 16

Uso del mtodo de reduccin al absurdo.

p q Premisa 1
v f f =f 4 paso
r p Premisa 2
v v v =v 3 paso
q s Premisa 3
f f f =f 2 paso
:. q s Conclusin
v f f =f 1 paso
= Argumento valido

Porque:
Primer paso, tomamos desde la conclusin y sabemos que se debe colocar falsa, nos da falsa la
condicional, colocando valores: q = v y s = f, entonces la condicional nos da falsa = f
Segundo paso, premisa 3, como ya sabemos los valores de q, y de s, entonces colocaremos los
siguientes valores en la premisa 3: q = f y s = f, donde vemos que con la disyuncin el
resultado es falso, debera dar verdadero, pero con esos valores falso y falso da la disyuncin
falsa, desde aqu ya podemos llegar a un absurdo, en lo cual el resultado es argumento vlido.
Pero sigamos resolviendo las dems premisas
Tercer paso, Premisa 2, la condicional es verdadera, dando los siguientes valores r = v y p = v,
entonces la condicional es verdadera.
Cuarto paso, finalmente en la premisa 1, como ya tenemos los valores definidos de p, y q, que
son p = v y q = f, la condicional nos da falsa, asi se comprueba lo absurdo y por lo tanto el
argumento es vlido.
 17

Uso del simulador Truth Table.

Uso de las leyes de inferencia

p q Premisa 1
r p Premisa 2
q s Premisa 3

q s Conclusin Condicional en 3
 18

Conclusiones

Razonamiento lgico al proceso mental de realizar una inferencia de una conclusin a partir de
argumento y premisas donde la conclusin puede ser o no ser una consecuencia lgica,
determinamos que se considera vlido un razonamiento cuando las premisas de dicho argumento
ofrecen un soporte para llegar a la conclusin, y el razonamiento es vlido cuando las verdades de
las premisas implican necesariamente la verdad de la conclusin.
 19

Referencias Bibliogrficas

Educatina. (diciembre, 2011). Tipos de razonamientos Filosofa Educatina. (Archivo de

video). Recuperado de
http://campus19.unad.edu.co/ecbti03/mod/book/view.php?id=2642&chapterid=513

Webconferencia Educativa UNAD. (2016). (en lnea). Recuperado de

http://campus19.unad.edu.co/ecbti03/mod/forum/discuss.php?d=10047

Foro UNAD. (2016). Foro de trabajo colaborativo 2. (en lnea). Recuperado de

http://campus19.unad.edu.co/ecbti03/mod/forum/discuss.php?d=14977

Entorno evaluacin y seguimiento UNAD. (20016). Evaluacin unidad 2. (archivos de videos).

Recuperado de http://campus19.unad.edu.co/ecbti03/mod/quiz/view.php?id=6358