Evaluación: paso 4- Aplicación del pensamiento lógico

Katya Macea Gómez

Código: 32930628

Grupo: 200611_87

Tutor: Hilder Moscote

Pensamiento lógico y matemático

Diciembre de 2017
 Objetivos

- Comprender y aplicar adecuadamente los elementos y las propiedades de la

teoría de conjuntos en la solución de problemas de la cotidianidad.

- Interpretar y relacionar expresiones del lenguaje simbólico y del lenguaje natural,

permitiéndole el desarrollo de proposiciones, expresiones matemáticas, argumentaciones
y síntesis para que pueda aplicarlo a los diferentes escenarios de mi vida profesional.

- Identificar y utilizar en forma clara las reglas de inferencia lógica por inducción y
deducción en formulaciones y demostraciones de razonamientos válidos en
situaciones específicas del mundo real.
 Introducción

El presente trabajo consiste en la resolución de tres situaciones problemáticas

,contextualizadas en nuestro futuro profesional, de cada uno de los temas
centrales del curso, los cuales son la teoría de conjuntos, la lógica proposicional y
las reglas de inferencia lógica. Lo largo de este trabajo desarrollo los ejercicios
usando todos los conocimientos vistos en el curso que son la base de la
matemática moderna de hoy día y de los métodos de demostración de la verdad
usadas por científicos, investigadores del crimen y profesionales que sistematizan
el conocimiento.
 SITUACION PROBLÉMICA DE LA OPERATIVIDAD ENTRE CONJUNTOS

3. En una encuesta a 200 estudiantes Unadistas se encontró que 68 habían

tomado cursos de Lógica, 138 habían tomado cursos de Inglés y 160 cursos de
Álgebra; 120, cursos de Inglés y de Álgebra; 20 cursos de Lógica pero no de
Inglés; 13 cursos de Lógica pero no de Álgebra; 15 cursos de Lógica y de Álgebra
pero no de Inglés. ¿Cuántos de los entrevistados no tomaron cursos de Lógica ni
de Álgebra ni de Inglés?

Sean los conjuntos

A= Curso de ingles
B= Curso de lógica
C= Curso de algebra
U= estudiantes Unadistas

A B

A ∩ B=120

(C U B)-A=20
 (A U B)-C=13

(B ∩ C)-A=15

C
(A U B U C) =32
U-(AUBUC)= 32

32 estudiantes no matricularon inglés, algebra y lógica

 SITUACION PROBLÉMICA DE LA LÓGICA PROPOSICIONAL

7. “¿Por qué estamos estudiando en la universidad? Solemos creer que estamos

estudiando en la universidad para tener un empleo. Si tenemos dinero, entonces
podemos adquirir bienes. ¿Son los bienes materiales lo que más deseamos?
Cuando compramos mejores equipos electrónicos, lo que deseamos es
comunicarnos mejor, escuchar y ver mejor a otros seres humanos, esto es así,
porque lo que más deseamos es el cariño sincero y la compañía inteligente. ¿Qué
es lo que ha llevado al ser humano a la construcción de nuevo conocimiento? La
respuesta es: solucionar problemas para mejorar la calidad de vida de los seres
humanos. Con este fin estamos estudiando en la universidad. Estudiamos para
servir.”

Si estudiamos en la universidad entonces podemos adquirir bienes. Si

compramos mejores equipos electrónicos entonces podemos escuchar y ver mejor
a otros seres humanos, si deseamos cariño sincero y la compañía inteligente
entonces nos comunicamos mejor. El ser humano construye nuevo conocimiento
para solucionar problemas y para mejorar la calidad de vida de los seres humano
si estamos estudiando en la universidad. Estudiamos para servir.

Sean las siguientes proposiciones compuestas:

1-Si estudiamos en la universidad entonces podemos adquirir bienes= p →q

2- Si compramos mejores equipos electrónicos entonces podemos escuchar y ver

mejor a otros seres humanos=z→ (w ^ r)
3- si deseamos cariño sincero y la compañía inteligente entonces nos
comunicamos mejor= (u^o) →c

4- El ser humano construye nuevo conocimiento para solucionar problemas y para

mejorar la calidad de vida de los seres humano si estamos estudiando en la
universidad. Estudiamos para servir = ((u^o) →p) →a

(p →q)^ (p →q) ^ ((u^o) →c)) ^ (((u^o) →p)) →a) es una contingencia porque no es
ni verdadera ni falsa en su totalidad
Enlace a truth

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/process.php
 SITUACIONES PROBLÉMICAS DE LA VALIDEZ DE RAZONAMIENTOS
LÓGICOS

12. Si el estudiante Unadista se enfoca siempre por su sentido de la

responsabilidad, tiene que renunciar al disfrute de muchas diversiones, y si se
guía siempre por su gusto de divertirse, a menudo olvidará su responsabilidad. O
bien el estudiante Unadista se guía siempre por su sentido de la responsabilidad,
o bien siempre se orienta por su gusto de diversión. Si el estudiante Unadista se
guía siempre por su sentido de la responsabilidad, no descuidará a menudo su
responsabilidad, y si siempre se guía por su deseo de diversión, no renunciará al
disfrute de muchas diversiones. Luego, el estudiante Unadista debe renunciar al
disfrute de muchas diversiones si y sólo si no descuida a menudo su
responsabilidad por aprender.

Sean las siguientes proposiciones compuestas

1-Si el estudiante Unadista se enfoca siempre por su sentido de la

responsabilidad, tiene que renunciar al disfrute de muchas diversiones, y si
se guía siempre por su gusto de divertirse, a menudo olvidará su
responsabilidad O bien el estudiante Unadista se guía siempre por su
sentido de la responsabilidad, o bien siempre se orienta por su gusto de
diversión = (p→-q) ^ (q→-p) v (p v q)

2-Si el estudiante Unadista se guía siempre por su sentido de la

responsabilidad, no descuidará a menudo su responsabilidad, y si siempre
se guía por su deseo de diversión, no renunciará al disfrute de muchas
diversiones= (p→-p) ^ (q→-q)

(P→-q) ^ (q→-p) ^ (p v q) ^ (p→-p) ^ (q→-q)

Sea la conclusión

Luego, el estudiante Unadista debe renunciar al disfrute de muchas

diversiones si y sólo si no descuida a menudo su responsabilidad por
aprender= (-q ↔ -p)

(P→-q) ^ (q→-p) ^ (p v q) ^ (p→-p) ^ (q→-q) → (-q ↔ -p) como el argumento

es una tautología, el razonamiento es válido.

Demostración en truth
Demostración por inferencia lógica

1: (P→-q) ^ (q→-p) ^ (p v q)

2: (p→-p) ^ (q→-q)

3: Conclusión (-q ↔ -p)

(P→-q) ^ (q→-p) ^ (p v q) ^ (p→-p) ^ (q→-q) → (-q ↔ -p)

4:1 modus tollens (q ^ p) ^ (p v q)

5:4 distribución q^ (p v q)

6:5 simplificación q

7:2 transposición (-p →p) ^ (-q →q)

8: 7 equivalencia material (-p↔-q)

9: 8 y 6 simplificación (-p↔-q)

10: 9 conmutación (-q ↔ -p) quedando demostrado

 Conclusiones

Gracias a este curso pude entender que se necesitan organizar nuestro lenguaje
para entenderlo completamente y llegar a darle validez o refutarlo, actualmente
vivimos en un mundo donde nos comunicamos mal, usando modismos o
adornando excesivamente el lenguaje donde no podemos fiarnos de lo que nos
dicen, leemos o vemos, y donde se nos cuentan verdades a medias, es por eso
que la ciencia no aprueba ningún conocimiento que no haya pasado por un
razonamiento deductivo o inductivo, por lo tanto yo como futuro profesional
académico debo aprender a demostrar mis afirmaciones para dar aportes al
campo dela psicología.
 Bibliografía

- Guerrero, S. L. M. (2005). "Fundamentos de los Conjuntos en Matemáticas". En

ProQuest ebrary (Ed). Matemáticas. Sus fundamentos en secuencia óptima.

- Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo

Proposicional". En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios
de aplicación.

-Villalpando, B. J. F. (2000). "... como observa las proposiciones p y q". En

ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios.