PENSAMIENTO LGICO Y MATEMTICO

EVALUACIN NACIONAL POR ABP

(APRENDIZAJE BASADO EN PROBLEMAS)

Presentado por:
CARLOS ALFONSO ANGARITA CORREA
200611 117

Tutor:
FABIO OSSA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

29 de Noviembre de 2015
Bogota

INTRODUCCIN
Este trabajo tiene como fin la aplicacin de los conceptos de la materia adquiridos durante
el semestre, especialmente los conceptos y procedimientos relacionados a la teora de
conjuntos, la simbologa y anlisis de tablas de la verdad de acuerdo a la lgica
proposicional.
La lgica proposicional es un sistema formal cuyos elementos ms simples representan
proposiciones, y cuyas constantes lgicas, llamadas conectivas representan operaciones
sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
La lgica proposicional trata sobre la verdad o la falsedad de las proposiciones y de cmo
la verdad se transmite de unas proposiciones (premisas) a otras (conclusin).

OBJETIVOS

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

teora general de conjuntos en la solucin de problemas debidamente contextualizados.

Interpretar y relaciona expresiones del lenguaje simblico y del lenguaje natural,

permitiendo el desarrollo estructural de proposiciones, expresiones matemticas,
argumentaciones y sntesis para aplicarlo a los diferentes escenarios formativos y de uso
en el contexto profesional.

Identificar y utilizar en forma clara las reglas de inferencia lgica por induccin y
deduccin en formulaciones y demostraciones de razonamientos vlidos en situaciones
especficas del mundo real.

DESARROLLO:
Aplicar las propiedades y las operaciones con conjuntos y validar los procesos con el
uso de Diagramas de Venn para la solucin de cada problema:
2. En una encuesta realizada a 150 personas, sobre sus preferencias de tres productos A, B y
C, se obtuvieron los siguientes resultados: 82 personas consumen el producto A, 54 el
producto B, 50 consumen nicamente el producto A, 30 solo el producto B, el nmero de
personas que consumen solo B y C es la mitad del nmero de personas que consumen solo
A y C, el nmero de personas que consumen solo A y B es el tripe del nmero de las que
consumen los tres productos y hay tantas personas que no consumen los productos
mencionados como las que consumen solo C.
Determina:
a) el nmero de personas que consumen solo dos de los productos,
b) el nmero de personas que no consumen ninguno de los tres productos,
c) el nmero de personas que consumen al menos uno de los tres productos.
U: 150 personas
A: 82 solo A: 50
B: 54 solo B: 30
C: ?
BC: (AC)
AB: 3(ABC)
U:
50

51
C

2
30

6
2
3

a) el nmero de personas que consumen solo dos de los productos = 15

b) el nmero de personas que no consumen ninguno de los tres productos = 2
c) el nmero de personas que consumen al menos uno de los tres productos = 131

Identificar todas las expresiones que considera son proposiciones lgicas simples y
tambin las expresiones que no son proposiciones. El siguiente paso es identificar
proposiciones compuestas. Para lograr esta identificacin, conviene reescribir el texto
resaltando los conectivos lgicos que no estn explcitos en la expresin. Declarar las
proposiciones simples, asignando una de las ltimas letras del alfabeto para
identificarlas. Finalmente, expresar en lenguaje simblico las proposiciones simples,
compuestas identificadas; y construir sus tablas de verdad. Determinar si la tabla de
verdad es tautologa, contradiccin o contingencia.
6. Si el perrito, el gato y el caballo, como mascotas son abandonados, entonces son
acogidos por la Protectora. Pero el perrito es abandonado, tambin el caballo. Luego, tanto
el perrito como el caballo son acogidos por la Protectora.
Presuposiciones simples:
p: Si el perrito, el gato y el caballo, como mascotas son abandonados
q: entonces son acogidos por la Protectora
r: el perrito es abandonado, tambin el caballo
s: tanto el perrito como el caballo son acogidos por la Protectora
Presuposiciones compuestas:

Si el perrito, el gato y el caballo, como mascotas son abandonados, entonces son

acogidos por la Protectora.
Pero el perrito es abandonado, tambin el caballo. Luego, tanto el perrito como el
caballo son acogidos por la Protectora.
p

v
v
f
f

v
f
v
f

p
q
V
F
F
f

R
V
V
F
F

s
v
f
v
f

r
s
v
f
f
f

Identificar los razonamientos lgicos 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 conclusin 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.
15. Si pago matrcula completa no me quedar dinero. Pero si no pago matrcula completa
no puedo matricularme en todos los cursos. Por otra parte, no aprender Programacin de
computadores a menos que me compre un computador, lo cual podr hacer slo si me
queda dinero. Adems, si no me matriculo en todas las clases no me comprar un
computador. Como es un hecho que pago matrcula completa o no pago matrcula completa
entonces, con seguridad, no aprender Programacin de computadores.
Preposiciones simples:
p1: Si pago matrcula completa no me quedar dinero.
p2: Si no pago matrcula completa no puedo matricularme en todos los cursos.
p3: No aprender Programacin de computadores a menos que me compre un computador.
p4: Si no me matriculo en todas las clases no me comprar un computador.
p5: Como es un hecho que pago matrcula completa o no pago matrcula completa
entonces, con seguridad, no aprender Programacin de computadores.
Premisas:
1 Si pago matrcula completa no me quedar dinero.
2. Si no pago matrcula completa no puedo matricularme en todos los cursos.
3. No aprender Programacin de computadores a menos que me compre un computador.
Conclusin: Como es un hecho que pago matrcula completa o no pago matrcula completa
entonces, con seguridad, no aprender Programacin de computadores.

Identificar en dicho silogismo las diferentes proposiciones categricas, y proponer una

representacin mediante Diagramas de Venn de las diferentes relaciones entre las
clases implicadas, segn las proposiciones categricas.
18. Todos los artistas son eglatras.
Algunos artistas son indigentes.
Por lo tanto, algunos indigentes son eglatras.
Premisa A: artistas eglatras
Premisas B: artistas indigentes
Conclusin: algunos indigentes son eglatras
Artistas

Indigentes

Eglatra

Indigent
es
eglatra

Identificar, clasificar y explicar las diversas falacias de lenguaje contenidas en las

siguientes expresiones y el tipo de razonamiento que se utiliza.
23. Juan ha prometido a su novia, que no va a beber alcohol, para no meterse en los. Sus
amigos le dicen que beba, para no aburrirse, insistiendo en que se lo monta muy bien,
cuando bebe. Qu tipo de falacia estn usando los amigos de Juan, para convencerle de
que beba?
La falacia se encuentra en la afirmacin de que que beba para no aburrirse, si esto fuera
verdad Juan la pasara bien pero se metera en los y tendra problemas con su con su novia,
por lo que es mejor no beber alcohol. Este tipo de falacia puede ser informal ya que no
atiende a la forma o estructura del argumento.

CONCLUSIONES

Dada la importancia de los conjuntos podemos concluir que la teora de conjuntos y la

lgica, constituye la base fundamental de las matemticas modernas.

Tanto la teora de conjuntos como la lgica proposicional tienen cierta similitud, pues
las operaciones de unin, interseccin de la teora de conjuntos son similares a las
operaciones de conjuncin y disyuncin de la lgica proposicional.

A partir del razonamiento deductivo o inductivo, podemos usar la lgica proposicional

para determinar si ciertas afirmaciones son correctas o se contradicen.

BIBLIOGRAFIA

Acevedo, G. (2012). Mdulo Lgica Matemtica. Medelln, Antioquia. Recuperado de:

http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_AVA_201501/Lectura-1.pdf
http://profe-alexz.blogspot.com/2014/01/diagramas-de-venn-con-3-conjuntos.html
http://conferencia2.unad.edu.co/p67o5mbvfj7/
http://conferencia2.unad.edu.co/p59acgyik63/
http://www.milejemplos.com/lenguaje/ejemplos-de-falacias.html
https://prezi.com/jsxeueu1vdch/leyes-de-inferencias-logicas-i/