TRABAJO COLABORATIVO 3

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD

POR:

JULIÁN ESTEBAN ARIAS SALCEDO

JUAN CAMILO OBREDOR

GRUPO 200611_50

PRESENTADO A:

TUTORA LUZMILA ROJAS

PENSAMIENTO LÓGICO Y MATEMÁTICO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

INGENIERIA DE TELECOMUNICACIONES

BOGOTÁ COLOMBIA

15 DE MAYO DE 2016
 CONTENIDO

GENERAL ...................................................................................... …… INDICE

.............................................................................................................................
Pág.

ÍNDICE GENERAL ................................................................................ III III

INTRODUCCIÓN ...................................................................................... IIIII
OBJETIVOS…………………………………………………………………… IV

PROBLEMA DE INFERENCIA LÓGICA GRUPAL.......................................................... 5

PLANTEAMIENTO....................................................................................................... 5
DEMOSTRACIÓN POR TABLA DE LA VERDAD ....................................................... 6
DEMOSTRACIÓN POR LEYES DE INFERENCIA ...................................................... 9
DESARROLLO DE PROBLEMAS DE CADA INTEGRANTE ........................................ 10
Aporte de Julián Arias ................................................................................................ 10
Aporte de Juan Camilo Obredor ................................................................................ 13
CONCLUSIONES.......................................................................................................... 15
 INTRODUCCIÓN

El razonamiento lógico es un proceso mental en el cual interviene la aplicación

de formas, métodos y principios enmarcados en la validez de algunas premisas que
llevan a una conclusión que puede identificarse como verdadera o no. Este puede
convertirse en inductivo o deductivo donde la conclusión presenta un grado de
probabilidad determinado por su validez.

En el siguiente trabajo se ponen de manifiesto una serie de conceptos y

temáticas desarrolladas a lo largo del curso de pensamiento lógico y matemático, entre
las cuales se aplica la transición del lenguaje natural al lenguaje simbólico, la
identificación de las premisas simples, la elaboración de las tablas de verdad, el uso de
software simulador como el Truth Table. La demostración de la validez o no validez de
un planteamiento por medio de las leyes de inferencia y las formas de razonamiento
(inductivo y deductivo) para proponer una formalización y resolución a las situaciones
problémicas.
 OBJETIVOS

OBJETIVO GENERAL

 Fortalecer los conceptos y temas adquiridos en las unidades de lógica

matemática.

OBJETIVOS ESPECIFICOS

 Dar uso a las formas básicas de las tablas de verdad.

 Demostrar la validez o no validez de situaciones problémicas por medio de los

principios de lógica.

 Demostrar la validez o no validez de situaciones problémicas por medio de las

leyes de inferencia lógica.

 Analizar y plantear una solución grupal a la situación problémica sugerida en la

guía.
 PROBLEMA DE INFERENCIA LÓGICA GRUPAL

Ana revisa las notas que lleva hasta el momento en el curso de Pensamiento
Lógico y Matemático, y se da cuenta que debe realizar muy bien las tareas faltantes
para alcanzar a ganar el curso, observa que está a punto de abrirse el foro del trabajo
Colaborativo Tres y entonces se hace la siguiente autorreflexión: “Si soy disciplinada en
mis estudios entonces entrego mis aportes significativos a tiempo o resuelvo mis
inquietudes del tema con mi tutor. Si me dedico a rumbear, pasear, entonces no
entrego mis aportes significativos a tiempo. Si en las noches veo video-tutoriales del
tema entonces no necesito resolver mis inquietudes del tema con mi tutor. Soy
disciplinada en mis estudios y en las noches veo video-tutoriales del tema. Por lo tanto
entrego mis aportes significativos a tiempo.

PLANTEAMIENTO

IDENTIFICACIÓN DE PROPOSICIONES SIMPLES:

p: Soy disciplinada en mis estudios

q: Entrego mis aportes significativos a tiempo
r: Resuelvo las inquietudes del tema con mi tutor
s: Me dedico a rumbear, pasear
t: En las noches veo video-tutoriales del tema

PREMISAS

Premisa 1. p → (q ∨ r)
Premisa 2. s → ~q
Premisa 3. t→~r
Premisa 4. p∧t
Conclusión: q

5
 DEMOSTRACIÓN POR TABLA DE LA VERDAD

Debe verificarse que al generar un condicional con las premisas enlazadas en

una conjunción como antecedente, y la conclusión como el consecuente; se obtiene
una tautología. De modo que:

[(p → (q ∨ r)) ∧ (s → ¬q) ∧ (t → ~ r) ∧ (p ∧ t)] → q

La tabla nos permite evidenciar que es una tautología, por lo cual el razonamiento es
válido.

p q r s t ~q ~r p∨q q∨r s→~q t→~r p∧t (p →(q ∨ r))∧ (s → ~q) ∧ (t→ ~r) ∧ (p ∧ t) [(p→(q ∨ r)) ∧ (s →~q) ∧ (t→~r) ∧ (p ∧ t)]→q

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

6
Prueba con el simulador Truth Table:

La otra forma de usar las tablas de verdad es evaluando la existencia del caso
en que las premisas sean verdaderas y la conclusión sea falsa, eso demostraría que el
razonamiento no sería válido.

Para nuestra situación problémica la siguiente tabla muestra que las premisas
son verdaderas y la conclusión también lo es, por lo tanto el razonamiento es válido.

7
 P1 P2 P3 P4 P5 CONCLUSIÓN
p q r s t ~q ~r p∨q p → (q ∨ r) s→~q t→~r p∧t q
V V V V V F F V V F F V V
V V V V F F F V V F F F V
V V V F V F F V V F F V V
V V V F F F F V V F V F V
V V F V V F V V V F V V V
V V F V F F V V V V V F V
V V F F V F V V V V V V V
V V F F F F V V V V V F V
V F V V V V F V V V F V F
V F V V F V F V V V V F F
V F V F V V F V V V F V F
V F V F F V F V V V V F F
V F F V V V V V V V V V V
V F F V F V V V V V V F F
V F F F V V V V V V V V V
V F F F F V V V V V V F F
F V V V V F F V V F F F V
F V V V F F F V V F V F V
F V V F V F F V V V F F V
F V V F F F F V V V V F V
F V F V V F V V V F V F V
F V F V F F V V V F V F V
F V F F V F V V V V V F V
F V F F F F V V V V V F V
F F V V V V F F V V F F F
F F V V F V F F V V V F F
F F V F V V F F V V F F F
F F V F F V F F V V V F F
F F F V V V V F V V V F F
F F F V F V V F V V V F F
F F F F V V V F V V V F F
F F F F F V V F V V V F F

8
 DEMOSTRACIÓN POR LEYES DE INFERENCIA

P1. p → (q ∨ r)
P2. s → ~q
P3. t→~r
P4. p∧t
/∴ q
________________________________________

5. t Simp. (4)
6. p Simp. (4)
7. ~ r MPP (3), (5)
8. q ∨ r MPP (1), (6)
9. q SD (7), (8) Conclusión

9
 DESARROLLO DE PROBLEMAS DE CADA INTEGRANTE EN LA FASE
INDIVIDUAL

Aporte de Julián Arias

Ejercicio No. 5.

Los estudiantes que conformaron el CIPAS de Álgebra Trigonometría y

Geometría Analítica se han reunido y deben buscar bibliografía del tema de secciones
cónicas, de lo cual conversan lo siguiente: “Vamos a consultar la tarea en el edificio de
la biblioteca de la UNAD si está caluroso el día. Si no vamos a consultar la tarea en el
edificio de la biblioteca de la UNAD, entonces vamos a hacer la consulta por el portal
virtual E-Biblioteca. Si vamos a hacer la consulta por el portal virtual E-Biblioteca,
entonces vamos a descargar el libro en PDF. Por lo tanto vamos a descargar el libro en
PDF.

PLANTEAMIENTO

IDENTIFICACIÓN DE PROPOSICIONES SIMPLES:

p: Vamos a consultar la tarea en el edificio de la biblioteca de la UNAD

q: Está caluroso el día

r: Vamos a hacer la consulta por el portal virtual e-biblioteca

s: Vamos a descargar el libro en PDF

PREMISAS

Premisa 1. p→q
Premisa 2. ~p → r
Premisa 3. r→s
Conclusión: s

10
 DEMOSTRACIÓN POR TABLA DE LA VERDAD

Debe verificarse que al generar un condicional con las premisas enlazadas en

una conjunción como antecedente, y la conclusión como el consecuente se obtenga
una tautología. De modo que se realiza la tabla de verdad en el simulador Truth Table
para:

[(p → q) ∧ (~p → r) ∧ (r → s)] → s

Pero nos lleva a una contingencia, eso indica el razonamiento no es válido,

porque no es una tautología.

La otra manera de usar las tablas de la verdad es analizando que las premisas
sean verdaderas y la conclusión sea falsa. En este caso el razonamiento no es
válido.

11
 Premisa 1 Premisa 2 Premisa 3 Conclusión
p q r s p→q ~p→r r→s s
V V F F V V V F

DEMOSTRACIÓN POR LEYES DE INFERENCIA

Premisa 1. p→q
Premisa 2. ~p → r
Premisa 3. r→s
Conclusión: s
________________________________________

4. p SD (1), (2)
5. q SD (1), (4)
6. r SD (3), (4)
7. s Simp. (3)

Luego de usar las leyes de inferencia llegamos a una indeterminación, porqué

entre las premisas generadas (4), (5), (6) y (7) no es posible establecer una relación
coherente para llegar a la conclusión. Por ello comprobamos que el razonamiento no
es válido

12
Aporte de Juan Camilo Obredor
Ejercicio No 3

Todos nos sentimos afligidos por la situación ocurrida en Ecuador el día 16 de

Abril, por el Terremoto que ha generado una tragedia para los habitantes de dicha
Nación, analicemos lo siguiente: “Si hay una situación de calamidad pública, el índice
de sobrevivientes disminuye. Si llegan tardíamente las ayudas internacionales, las
esperanzas de la recuperación social serán menores. Si el índice de disminuye y las
esperanzas de la recuperación social son menores, entonces la sociedad irá
recuperándose lentamente. La calamidad pública es un hecho y las ayudas
internacionales llegan de manera tardía. Luego, la sociedad irá recuperándose
lentamente”.

PLANTEAMIENTO

P: si hay una situación de calamidad publica

Q: Índice de sobrevivientes disminuye

R: Llegan tardíamente las ayudas internacionales

S: Las esperanzas de la recuperación social son menores

T: Sociedad ira recuperándose lentamente

Premisas:

1 premisa P→ Q

2 premisa R→S

3 premisa (Q ∧ S)→T

4 premisa (P ∧ R)→T

13
 Conclusion: T

{(p→Q ∧ R→S) ∧ (Q ∧ S)→T ∧ (P ∧ R)} →T

14
 CONCLUSIONES

 Reforzamos los conocimientos adquiridos en la anterior unidad al dar uso

de las formas básicas de las tablas de verdad, los principios de lógica y los
razonamientos lógicos para demostrar la validez o no validez de las situaciones
problémicas propuestas.

 Analizamos en grupo la situación problémica sugerida en la guía por

medio de las inferencias lógicas y las leyes de inferencia planteando una
solución.

15