Examen Nacional por ABP

Pensamiento Lógico y Matemático

Fabian Brand

Grupo: 634

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Sociales, Artes y Humanidades

Programa de Psicología

10 diciembre de 2016
 INTRODUCCIÓN

La lógica matemática es muy importante, ya que nos sirve para poder demostrar
con exactitud si un argumento es realmente lógico o válido; esta podemos aplicarla en
matemáticas, para poder demostrar cosas coherentes que tengan una razón concreta,
es decir resultados que sean específicos. Se practica usando nuestras destrezas
mentales lo que nos permitirá resolver los ejercicios más rápido, propiciando una
actitud crítica frente a la realidad.

En el presente trabajo desarrollaremos diferentes ejercicios relacionados con la

teoría de conjuntos, tipos de razonamiento y falacias y demostración de problemas por
leyes de inferencia y tablas de verdad para dar validez o no a los ejercicios propuestos.
 OBJETIVOS

Identificar en forma clara, la estructura y fundamento conceptual que tipifica los

métodos de inferencia lógica por inducción y deducción, por medio de
demostraciones y razonamientos válidos.
Aplicar adecuadamente los elementos de la teoría general de conjuntos en la
solución de problemas.
Poner en práctica los conocimientos adquiridos durante el curso.
 Solución de Problemas

- Aplicar las propiedades y las operaciones con conjuntos y validar los procesos con el
uso de Diagramas de Venn para la solución del ejercicio.

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?

U= 200 I ∩ A= 120

L= 68 L ∩ A –I= 15

I= 138 L –I= 20

A= 160 L –A= 13

Fueron 17 los entrevistados que no tomaron cursos de Lógica ni de Álgebra ni de Inglés

- Identificar todas las expresiones que considera son proposiciones lógicas simples y
también las expresiones que no son proposiciones. El siguiente paso es identificar
proposiciones compuestas. Para lograr esta identificación, conviene reescribir el texto
resaltando los conectivos lógicos que no están explícitos en la expresión. Declarar las
proposiciones simples, asignando una de las últimas letras del alfabeto para
identificarlas. Finalmente, expresar en lenguaje simbólico las proposiciones simples,
compuestas identificadas; y construir sus tablas de verdad. Determinar si la tabla de
verdad es tautología, contradicción o contingencia. Además adjuntar pantallazo del uso
del simulador de Tablas de Verdad.

9. Si acepto este trabajo o dejo de practicar el deporte que me apasiona por falta de
tiempo, entonces no realizaré mis sueños. He aceptado el trabajo y he dejado de jugar
ajedrez. Por lo tanto, no realizaré mis sueños

Si acepto este trabajo o dejo de practicar el deporte que me apasiona por falta de
tiempo, entonces no realizaré mis sueños. He aceptado el trabajo y he dejado de jugar
ajedrez. Por lo tanto, no realizaré mis sueños.

*Proposiciones simples:

p= acepta el trabajo

q= deja de practicar ajedrez

r= realizará sus sueños

*Proposiciones compuestas:

Premisa 1= Si acepto este trabajo o dejo de practicar el deporte que me apasiona por
falta de tiempo, entonces no realizaré mis sueños= (p V q → ¬r)

Premisa 2= He aceptado el trabajo y he dejado de jugar ajedrez= (p Λ q)

Conclusión= Por lo tanto, no realizaré mis sueños= (→¬r)

Planteamiento simbólico= [((p V q) → ¬r) Λ (p Λ q)] → ¬r

 Demostración por tablas de verdad

< Evidencia uso del

Simulador Truth

Demuestra que es una

Tautología

Tabla manual

p q r ¬r pVq (p V q) → ¬r (p Λ q) ((p V q) → ¬r) Λ (p Λ q) [((p V q) → ¬r) Λ (p Λ q)] → ¬r

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

 La tabla de verdad nos demuestra que es una Tautología, por lo cual el

razonamiento es válido

- Identificar, los razonamientos lógicos inductivos y deductivos, y en ellos el tipo de

razonamiento. A partir de los razonamientos propuestos para el texto, responder la
pregunta: ¿Se verifica la conclusión propuesta? Y presentar argumentos que permitan
respaldar veracidad a la respuesta dada. Es decir, a partir de las tablas de verdad y las
leyes de inferencia demostrar la validez o no del razonamiento. Además adjuntar
pantallazo del uso del simulador de Tablas de Verdad.
11. En una actividad lúdica para los estudiantes de un colegio, realizan la búsqueda de
un tesoro, la idea es que el estudiante que participe descubra una nota escrita por el
profesor, quien por su sentido creativo estructura los acertijos lógicos para la prueba.
En la nota dice que ha escondido un tesoro en algún lugar de la casa campestre donde
se encuentran. El profesor enumera cinco enunciados todos ellos verdaderos y reta a
los estudiantes a que descubran dónde está el tesoro.

He aquí los enunciados:

a. Si la casa está cerca de una piscina, el tesoro no está en la cocina.

b. Si el árbol de la entrada es un pino, el tesoro está en la cocina.

c. La casa está cerca de una piscina.

d. El árbol de la entrada es un pino o el tesoro está enterrado debajo de la bandera.

e. Si el árbol de la entrada es un eucalipto, el tesoro está en el garaje.

¿Dónde está el tesoro? El estudiante ganador será quien responda que está enterrado
debajo de la bandera.

*Proposiciones simples:

p= la casa está cerca de una piscina s= el tesoro está enterrado debajo de la

bandera
q= el tesoro está en la cocina
t= el árbol de la entrada es un eucalipto
r= el árbol de la entrada es un pino
u= el tesoro está en el garaje

-Tipo de Razonamiento: es un Razonamiento Deductivo ya que las premisas

proporcionan evidencia terminante para su conclusión. Entonces se afirma que la
conclusión es consecuencia lógica de las premisas o que las premisas implican la
conclusión, porque si las premisas son verdaderas se asegura que la conclusión también
lo es.

*Planteamiento simbólico= [(p → ¬q) Λ (r → q) Λ p Λ (r V s) Λ (t → u)] → s

p q r s t u ¬q (p → ¬q) (r → q) (p → ¬q) Λ (r → q) Λ p (r V s) (t → u) (r V s) Λ (t → u) (p → ¬q) Λ (r → q) Λ p Λ (r V s) Λ (t → u) [(p → ¬q) Λ (r → q) Λ p Λ (r V s) Λ (t → u)] → s

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

 La tabla de verdad nos demuestra que es una Tautología, por lo cual el razonamiento es válido
 PREMISA 1 PREMISA 2 PREMISA 3 PREMISA 4 PREMISA 5 CONCLUSIÓN

p q r s t u ¬q (p → ¬q) (r → q) p (r V s) (t → u) [(p → ¬q) Λ (r → q) Λ p Λ (r V s) Λ (t → u)] → s

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

 La anterior tabla muestra que no existe el caso en que las premisas sean
verdaderas y la conclusión sea falsa, por lo tanto el razonamiento es
válido.

Demostración por leyes de Inferencia

1. p → ¬q
2. r → q
3. p
4. r V s
5. t → u hallar s
6. ¬q → ¬r Contra Recíproca (2)
7. p → ¬r SH (6) (1)
8. ¬r MPP (7) (3)
9. s MTP (4) (8) CONCLUSIÓN
 < Evidencia uso del Simulador Truth

Demuestra que es una Tautología

- Identificar en dicho silogismo las diferentes proposiciones categóricas, y proponer una

representación mediante Diagramas de Venn de las diferentes relaciones entre las
clases implicadas, según las proposiciones categóricas:

20. Todas las proteínas son compuestos orgánicos.

Todas las enzimas son proteínas.
Por lo tanto, todas las enzimas son compuestos orgánicos.

P1= Todas las proteínas son compuestos orgánicos: Universal Afirmativa

P2= Todas las enzimas son proteínas: Universal Afirmativa
C= Todas las enzimas son compuestos orgánicos: Universal Afirmativa
S= compuestos orgánicos
P= proteínas
M= enzimas

Todo S es P

Todo M es P

Por lo tanto: Todo M es S

- Clasificar y explicar las diversas falacias de lenguaje contenidas en las siguientes

expresiones y el tipo de razonamiento que se utiliza.

25. Miguel Induráin, que ha sido el mejor deportista español de todos los tiempos,
afirma en un anuncio publicitario, que los productos de repostería de los Hermanos
Ortiz son como hechos en casa.
Tipo de Falacia

Falsa Analogía: se demuestra en el razonamiento situaciones diferentes como si se

tratara de la misma. Es cuando un argumento pretende tener validez sin realmente
poseerla, aunque tal argumento contiene algún elemento que nos puede llevar a
engaños, y por ello, nos lleva a pensar que son válidos.
Tipo de Razonamiento:

Razonamiento Inductivo: Es el que supone que si las premisas son ciertas la

conclusión también lo será; sin embargo, la conjetura puede ser verdadera o falsa.

REFERENCIAS
(s.a). (s.f). Leyes y Reglas de la Inferencia. Recuperado de:
https://sites.google.com/site/matediscretasdelacruzgarcia/unidad-2-logica-
matematica/2-4-leyes-y-reglas-de-la-inferencia

Acevedo, G. (2012). Módulo Lógica Matemática. Medellín, Antioquia. Recuperado

de: http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_A
VA_2015-01/Lectura-1.pdf