PENSAMIENTO LOGICO Y MATEMATICO

TEORÍAS DE CONJUNTOS, PROPIEDADES Y OPERACIONES

PRESENTADO POR:

MARIA LUISA LEON RAMIREZ 1110579587

TUTORA:

LUZMILA ROJAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES

PROGRAMA DE PSICOLOGÍA

IBAGUE- TOLIMA

2015
 INTRODUCCIÓN

A través de este curso se ha ido implementando el Aprendizaje Basado en Problemas (ABP)

como técnica didáctica a facilitar el desarrollo de las actividades propuestas por el curso y a
la ayuda de estimular nuestro aprendizaje. En el desarrollo de este trabajo se incluirán
actividades desarrolladas en las anteriores unidades (I, II, III) con el objetivo de hacer repaso
y evidencia de lo aprendido y de ponerlo en práctica en nuestro contexto profesional ya que
nos brindara mucha ayuda.
 OBJETIVOS

El objetivo específico al desarrollar este trabajo es poder evidenciar lo aprendido en las

anteriores unidades (I, II, III), para poder aplicar los elementos y propiedades, interpretar y
relacionar expresiones del lenguaje simbólico, adecuadas y solicitadas para la solución de los
problemas planteados.
 EXAMEN NACIONAL

 Ejercicio 1

En los numerales (1), (2), (3), (4) y (5) aplicar las propiedades y las operaciones con
conjuntos y validar los procesos con el uso de Diagramas de Venn para la solución de
cada problema:

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?

Solución

Total estudiantes: TE

Estudiantes que tomaron curso de lógica: CL

Estudiantes que tomaron curso de inglés: CI

Estudiantes que tomaron curso de algebra: CA

Estudiantes que tomaron curso de inglés y algebra: CIA

Estudiantes que tomaron curso de lógica y de algebra pero no de inglés: CLA

No tomaron ninguno de los cursos: NC

Conjunto CL
20+15+13-68=CL
48-68=CL
20=CL

Conjunto CA
15+100+20-138= CA
135-160=CA
25=CA

Conjunto CI
13+100+20-138= CI
133-138= CI
5= CI
 Hallar NC
CL ∩CA ∩ CI - 200 = NC
198 – 200 = NC
2= NC

Respuesta: Se pudo demostrar que solo 2 estudiantes de los entrevistados no tomaron

cursos de lógica ni de algebra ni de inglés.
Ejercicio 2

En los numerales (6), (7), (8), (9) y (10) 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.

6. Si el perrito, el gato y el caballo, como mascotas son abandonados, entonces son acogidos
por la Protectora. Pero el perrito es abandonado, también el caballo. Luego, tanto el
perrito como el caballo son acogidos por la Protectora.

Solución

Preposiciones simples:

p= perrito

q= gato

r = caballo

s = son abandonados
t = son acogidos

Formula

(pΛq) Λ r →s) →t Λ (pΛr) →s Λ (pΛr) →t

p q r s t pΛq pΛqΛ pΛqΛ pΛqΛr (pΛr pΛqΛr pΛqΛr (pΛr) pΛqΛr pΛqΛr
r r →s →s→t ) →s→tΛ →s→tΛ →s→tΛ →s→tΛ
(pΛr) (pΛr) (pΛr) (pΛr)
→s →sΛ(pΛr) →sΛ(pΛr)
→t
v v v v v v v v v v v v v v v
v v v v f v v v f v f v v v f
v v v f v v v f v v v f v f v
v v v f f v v f f v f f v f v
v v f v v v f v v f f v f f v
v v f v f v f v f f f v f f f
v v f f v v f f v f f f f f v
v v f f f v f f f f f f f f f
v f v v v f f v v v v v v v v
v f v v f f f v f v f v v v f
v f v f v f f f v v v f v f v
v f v f f f f f f v f f v f f
v f f v v f f v v f f v f f v
v f f v f f f v f f f v f f f
v f f f v f f f v f f f f f v
v f f f f f f f f f f f f f f
 f v v v v f f v v f f v f f v
f v v v f f f v f f f v f f f
f v v f v f f f v f f f f f v
f v v f f f f f f f f f f f f
f v f v v f f v v v v v v v v
f v f v f f f v f v f v v v f
f v f f v f f f v v v f v f v
f v f f f f f f f v f f v f f
f f v v v f f v v f f v f f v
f f v v f f f v f f f v f f f
f f v f v f f f v f f f f f v
f f v f f f f f f f f f f f f
f f f v v f f v v v v v v v v
f f f v f f f v f v f v v v f
f f f f v f f f v v v f v f v
f f f f f f f f f v f f v f f

Es una contingencia.
Ejercicio 3

En los numerales (11), (12), (13), (14) y (15) identificar (del texto dado), 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.

15. “Si pago matrícula completa no me quedará dinero. Pero si no pago

matrícula completa no puedo matricularme en todos los cursos. Por otra parte,
no aprenderé Programación de computadores a menos que me compre un
computador, lo cual podré hacer sólo si me queda dinero. Además, si no me
matriculo en todas las clases no me compraré un computador. Como es un
 hecho que pago matrícula completa o no pago matrícula completa entonces, con
seguridad, no aprenderé Programación de computadores”.

Solución

El razonamiento lógico identificado en el texto es de tipo inductivo ya que parte de categorías

generales para hacer negaciones sobre casos particulares. Se infiera la conclusión a partir de
las premisas planteadas en el texto.

Preposiciones simples:

p= pago matricula completa

q= me queda dinero

r = matricular en todos los cursos

s = aprender programación de computadores

t = compre un computador

Formula:

(p→ ¬ q) Λ (¬ p→ ¬ r) → ¬ s V t↔q) Λ (¬ r→ ¬ t) Λ (pV ¬ p) →s

p q r s t ¬p ¬q ¬r ¬s ¬t (p→¬ q) (¬p→¬ r) (p→¬q)Λ(¬p→¬ r)

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

(p→¬q)Λ(¬p (t↔ (p→¬q)Λ(¬p (¬r→ (p→¬q)Λ(¬p (pV¬ (p→¬q)Λ(¬p (p→¬q)Λ(¬p

→¬ r) →¬s q) →¬ r) →¬s V ¬t) →¬ r) →¬s V p) →¬ r) →¬s V →¬ r) →¬s V
(t↔q) (t↔q) Λ(¬ (t↔q) Λ(¬ (t↔q) Λ(¬
r→ ¬ t)
 r→¬t)Λ(pV¬ r→¬t)Λ(pV¬
p) p) →s
f v v f f v f v
f f f v f v f v
v v v f f v f f
v f v v v v v f
f v v f f v f v
f f f v f v f v
v v v f f v f f
v f v v v v v f
f v f f v v v v
f f v v v v v v
v v v f f v f f
v f v v v v v f
f v f f v v v v
f f v v v v v v
v v v f f v f f
v f v v v v v f
f v v f f v f v
f f f v f v f v
v v v f f v f f
v f v v v v v f
f v v f f v f v
f f f v f v f v
v v v f f v f f
v f v v v v v f
f v v f v v v v
f f f v v v v v
v v v f f v f f
v f v v v v v f
 f v f f v v v v
f f v v v v v v
v v v f f v f f
v f v v v v v f

Es una contingencia por lo tanto el razonamiento no es válido.

Ejercicio 4

En los numerales (16), (17), (18), (19) y (20) seleccionar uno de los siguientes enunciados e
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.

Solución

r = Todas las proteínas son compuestos orgánicos (premisa mayor)

s = Todas las enzimas son proteínas (premisa menor)

t = Todas las enzimas son compuestos orgánicos (conclusión)

P = proteínas

O = compuestos

E = enzimas
↔ Toda P es O

↔ Toda E es P
↔ Todo E es O

(r Λ s) → t
Ejercicio 5

Dados los numerales (21), (22), (23), (24) y (25), identificar, clasificar y explicar las diversas falacias
de lenguaje contenidas en las siguientes expresiones y el tipo de razonamiento que se utiliza

21. El profesor de guardia sorprende a Silvia fumando un cigarro, y la pide que lo tire,
puesto que no se puede fumar en el instituto. Silvia contesta indignada, que no hay
derecho a obligarla a apagar el cigarro, ya que muchos profesores fuman. ¿Está
justificada la indignación de Silvia? ¿Está razonando falazmente? Si es así, indica en
qué tipo de falacia se basa su indignación.

Solución:

Es Una versión de la falacia Ad hominem, la falacia Tu quoque.

“muchos profesores fuman”, es la justificación de Silvia, lo que hace que razone de forma
incorrecta, ya que está tratando de clasificarse en un conjunto al que no pertenece, ya que
Silvia es una estudiante, mas no una profesora. Además, el hecho de que “muchos “profesores
fumen, no implica que TODOS deban fumar.
 CONCLUSIONES

En el desarrollo de esta actividad logre los objetivos propuestos en la guía aplicando todos
los temas vistos en las anteriores unidades.

Logre fortalecer lo aprendido, y pude evidenciar que tuve claro con algunas dificultades los
temas vistos.
 REFERENCIAS BIBLIOGRÁFICAS

Rincón del vago (1998), argentina, resumen de lógica. Recuperado el 26 de noviembre del
2015 de http://html.rincondelvago.com/logica_26.html

Rincón del vago, Razonamiento: tipos. Silogismo. Teoría de los modelos. Analogía.
Inductivo. Transitivo. Deductivo, España. Recuperado el 26 de noviembre del 2015 de
http://html.rincondelvago.com/razonamiento.html

Definición .de (2008), razonamiento inductivo. Recuperado el 25 de noviembre del 2015

de http://definicion.de/razonamiento-inductivo/

Lógica matemática (2011) Tautologías, Contradicción y Contingencia. Recuperado el 27 de

noviembre del 2015 de https://angelarendon.wordpress.com/2011/10/20/3-1-4-tautologias-
contradiccion-y-contingencia-2/