1

TRABAJO FINAL

EVALUACIN NACIONAL POR ABP

INTEGRANTE
SENAIDA QUIROZ AVENDAO

CODIGO CURSO: 200611A_224

CODIGO GRUPO: 330

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE INGENIERA INDUSTRIAL

PENSAMIENTO LGICO Y MATEMTICO

28/11/2015.

INTRODUCCION
En el desarrollo de este trabajo se conocer la diferencia entre una oracin y una
preposicin, adems de esto conoceremos cada una de las clases de
proposiciones as como tambin los conectores lgicos y las tablas de verdad.
De igual manera se resolver problemas calculando la unin e interseccin de
varios conjuntos por medio del autoaprendizaje determinando falacias y tipos de
silogismo.

OBJETIVOS

1. Comprender y aplicar adecuadamente los elementos y las propiedades

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

2. Interpretar y relacionar expresiones del lenguaje simblico y del lenguaje

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

3. 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.

3. En una encuesta de 200 estudiantes unadistas se encontr que 68 haban

tomado cursos de lgica, 138 haban tomado cursos de ingls y 160 cursos de
lgebra; 120, cursos de ingls y de lgebra; 20 cursos de Lgica pero no de
Ingles; 13 cursos de lgica pero no de lgebra; 15 cursos de Lgica y de lgebra
pero no de Ingls. Cuntos de los entrevistados no tomaron cursos de Lgica
ni de lgebra ni de Ingls?
Respuesta
L: 68
I: 138
A: 160

Los estudiantes que no tomaron cursos de Lgica ni de lgebra ni de Ingls

fueron: 17

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.

PROPOSICIONES SIMPLES
Variables:
P: perrito
Q: caballo
R: son abandonados
S: acogidos por la protectora
La variable gato no se repite en el texto, no hay manera de relacionarle en las
proposiciones simples y compuestas:
P1: si el perrito, el gato y el caballo como mascotas son abandonados =(p^q)r
P2: son acogidos por la protectora=(s)
P3: el perrito es abandonado tambin el caballo (el perrito y el caballo son
abandonados) ((p^q)r)
P4: tanto el perrito como el caballo son acogidos por la protectora Lenguaje
simblico =(p^q) s
EXPRESION PARA SIMULADOR DE TABLAS DE VERDAD

{[(pq)(r)]s}{[(pq)(r)][(pq)s]}

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

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

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

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

[(pq)(r
(pq)
)]
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F

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

[(pq)
s]
V
F
V
F
V
V
V
V
V
V
V
V
V
V
V
V

{[(pq)(r)]
s}
V
F
V
V
V
F
V
F
V
F
V
F
V
F
V
F

{[(pq)(r)][(pq)
s]}
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V

{[(pq)(r)]s}{[(pq)(r)][(pq)s]}
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

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.

Solucin:
Razonamiento lgicos deductivos:
Si pago matricula completa no me quedara dinero.
Pero si no pago matricula completa no puedo matricularme en todos los cursos.
Razonamiento lgicos Inductivos:
No aprender Programacin de computadores a menos que me compre un
computador, lo cual podr hacer slo si me queda dinero.
Si no me matriculo en todas las clases no me comprar un computador.
Conclusin:
Se puede concluir que;
Como es un hecho que pago matrcula completa o no pago matrcula completa
entonces, con seguridad, no aprender Programacin de computadores
Tipo de razonamiento: Es un razonamiento Inductivo
Se verifica la conclusin propuesta? Y presentar argumentos que permitan
respaldar veracidad a la respuesta dada.
Si pago la matricula completa no me quedar dinero y no poder comprarme un
computador, si no me compro el computador no aprender programacin en
computadores.
Pero si no pago la matricula completa no podr matricular todos los cursos y no
comprare un computador y no aprender programacin en computadores.
Entonces se verifica y concluimos que: Como es un hecho que pago matrcula
completa o no pago matrcula completa entonces, con seguridad, no aprender
Programacin de computadores.

Premisas:

p= Si pago matricula completa

q= No me queda dinero
r= Me matriculo en todas los cursos
s= No aprender programacin de computadores
t= Comprare un computador
v= Como es un hecho que pago matrcula completa o no pago matrcula completa
entonces, con seguridad, no aprender Programacin de computadores
Lenguaje Simblico:
1. (p>q)
2. (~p>~r)
3. [(s>~t)= ~q]
4. (~r>~t)
5. V

{(p>q)&(~p>~r)& [ (s>~t)= ~q]& (~r>~t)}>v

Tabla de la Verdad:

10

11

Pantallazo Simulador:

12

16.
Ningn hroe es cobarde.
Algunos soldados son cobardes.
Por lo tanto algunos soldados no son hroes.
Respuesta:
SILOGISMO VLIDO
Un silogismo, es vlido cuando la representacin de las premisas contiene
necesariamente a la conclusin. Con diagramas de Venn podemos determinar la
validez o invalidez de un silogismo. Si representas la premisa universal y despus la
particular, observa el rea de la interseccin .
entre S y P. Si es igual al rea representada en la conclusin, el silogismo ser vlido.
De lo anterior se determina cada trmino de silogismo:
El modo de un silogismo de forma estndar est determinado por las formas de las
proposiciones categricas de forma estndar que contiene. Es decir, el silogismo se
representa por tres letras, la primera de las cuales nombra la forma de la premisa
mayor del silogismo, la segunda la de la premisa menor y la tercera la de la
conclusin. Por ejemplo, en el caso del silogismo precedente, puesto que su premisa
mayor es una proposicin E, su premisa menor es una proposicin I y su conclusin
una proposicin O; el modo del silogismo es EIO.

Soldados (Sujeto) (premisa menor) (proposicin I)

Hroes (Predicado) (premisa mayor) (proposicin E)
Cobarde (No aparece en la conclusin) (trmino medio) (proposicin O)

13

Diagrama de Venn inicial

14

15

25. Miguel Indurain, que ha sido el mejor deportista espaol de todos los tiempos,
afirma en un anuncio publicitario, que los productos de repostera de los Hermanos
Ortiz son como hechos en casa.

Las falacias son razonamientos errneos o falsos, puede incurrirse en ellos por
ignorancia o voluntariamente, como un modo de convencer mediante la razn.
1). A la autoridad de una persona: se utiliza el prestigio de una persona conocida o
famosa. Ejemplo: esta dieta es muy saludable. Lo dice Nicole kidman. Nicole Kidman
puede verse saludable (y bella), pero no es una entendida en nutricin.

16

CONCLUSION
Mediante esta actividad se pudo Comprender y aplicar adecuadamente los
elementos y las propiedades operativas de la teora general de conjuntos en la
solucin de problemas debidamente contextualizados. Permitiendo el desarrollo
estructural de proposiciones, expresiones matemticas, argumentaciones y
sntesis en forma clara de las reglas de inferencia lgica por induccin y deduccin
en formulaciones y demostraciones de razonamientos vlidos en situaciones
especficas del mundo real.

17

REFERENCIAS BIBLIOGRAFICAS

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

de: http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_AVA_
2015-01/Lectura-1.pdf
Senz, I., Arrieta M. & Pardo E. (2000). Por los Caminos de la Lgica: Lgica y
Conjuntos en E.G.B. Madrid: Sntesis.