UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Curso: PENSAMIENTO LGICO Y MATEMTICO

TRABAJO FINAL

Estudiante:

Tutora:
MARTHA FABIOLA CONTRERAS HIHUERA

24 DE MAYO DE 2015

INTRODUCCIN

En este trabajo se puede evidenciar la aplicacin de mtodos como

diagrama de venn, tabla de verdad, leyes de la inferencias y conocer los
diferentes tipos de proposiciones los cuales son de gran importancia para el
desarrollo de las problemticas que se presentaron en cada una de las
unidades, las cuales tienen como objetivo llegar a las conclusiones
pertinentes y de forma correcta dependiendo cada enunciado.

OBJETIVOS

Aplicar cada uno de los mtodos propuestos en cada unidad para dar
solucin a los problemas que se presentan en nuestra vida cotidiana.
Utilizar el diagrama de venn como mtodo para dar respuesta a
interrogantes de una forma grfica y en conjunto.
Aplicar la tabla de verdad o las leyes de la inferencia de una forma
correcta y la cual podamos llegar a una conclusin y podamos saber si el
argumento es vlido o no.

BANCO DE PROBLEMAS En los numerales (1), (2) y (3) 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:

1. En un grupo de 165 estudiantes del programa de Psicologa de la UNAD, 8 matricularon el

curso de Clculo Diferencial, Fundamentos de Psicologa y Herramientas Digitales; 33
matricularon Clculo Diferencial y Herramientas digitales; 20 matricularon Clculo
diferencial y fundamentos de Psicologa; 24 matricularon Fundamentos de Psicologa y
Herramientas Digitales; 79 matricularon Clculo Diferencial; 83 matricularon Fundamentos
de Psicologa y 63 matricularon Herramientas Digitales.

U = {x estudiantes del programa de Psicologa de la UNAD}

A = {x estudiantes que matricularon el curso de Clculo Diferencial}

B = {x estudiantes que matricularon el curso de Fundamentos de

Psicologa}
C = {x estudiantes que matricularon el curso de Herramientas

Digitales}

U
B

18 Estudiantes

20
Estudiantes

31 Estudiantes

8 Estudiantes

33
Estudiantes

1.1.

24
Estudiantes

C
Cuntos estudiantes matricularon solamente
dos cursos?
A B = {20}
A C = {33}
B C = {24}
20+33+24 = 77

Rta. 77 estudiantes matricularon solamente dos cursos.

1.2.

Cuntos estudiantes no matricularon ninguno de estos cursos?

U A B C = {31}

Rta. 31 estudiantes no matricularon ninguno de estos cursos.

31
Estudiantess

2. Se consult a un grupo de 10 estudiantes del curso Pensamiento Lgico y Matemtico sobre

sus preferencias por dos modalidades de acompaamiento sincrnico en el curso, Skype y Chat
del Curso y se obtuvieron los siguientes resultados: todos admitieron que les gusta alguno de
los dos modos de comunicacin sincrnica, 3 estudiantes manifestaron que les gusta Skype
pero no Chat del Curso, 6 dijeron que no les gusta Chat del Curso.
U = {x 10 estudiantes del curso Pensamiento Lgico y Matemtico}
A = {x estudiantes que prefieren Skype}
B = {x estudiantes que prefieren el Chat del Curso}

U
A

3 Estudiantes

1 Estudiante

Se desea saber:
cuntos de los encuestados prefirieron Chat del Curso?
B A = {6}
Rta. 6 encuestados prefirieron Chat del Curso.

Cuntos de los encuestados prefirieron Skype?

A B = {3}

6 Estudiantes

Rta. 3 encuestados prefirieron Skype.

Cuntos de los encuestados prefirieron Skype o Chat del Curso?

A B = {1}
Rta. 1 encuestado prefiri Skype o Chat del Curso.

3. Un grupo de docentes de la UNAD que comparten la empata por el deporte y consta de 78

personas, de las cuales 50 juegan al futbol, 32 al baloncesto y 23 al voleibol. Seis figuran en los tres
deportes y 10 decidieron no practicar deporte alguno. Cuntas personas practican solo un
deporte? Cuntas practican solo dos deportes? Cuntas practican al menos dos deportes?
Cuntas practican a lo sumo dos deportes?

U = {x 70 docentes de la UNAD que comparten la empata por el deporte }

A = {x docentes que juegan futbol}
B = {x docentes que juegan baloncesto}
C = {x docentes que juegan voleibol}

45 Docentes

U
B

Docentes s
26 Docentes

44 Docentes
6 Docentes

Docentes

26 Docentes

10 Docentes
17 Docentes

En los numerales (4), (5) y (6) 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.

4. Martha se est preparando para el desarrollo del Examen Nacional de Pensamiento Lgico y
Matemtico, para lo cual requiere sacar una nota sobresaliente para poder aprobar el curso. Ella
hace el siguiente anlisis: he hecho todos los ejercicios del Mdulo y he obtenido un sobresaliente
en la nota definitiva del Curso y en el Examen Nacional. Para obtener un sobresaliente en la nota
definitiva del Curso, es necesario obtener un sobresaliente en el Examen Nacional. Conseguir un
sobresaliente en el Examen Nacional y realizar todos los ejercicios del Mdulo, entonces es
suficiente para obtener un sobresaliente en el curso de Pensamiento Lgico y Matemtico.
Proposiciones lgicas simples:
Realizar todos los ejercicios del Mdulo
Obtener un sobresaliente en la nota definitiva del Curso
Obtener un sobresaliente en el Examen Nacional

Expresiones que no son proposiciones

Martha se est preparando para el desarrollo del Examen Nacional de Pensamiento Lgico
y Matemtico
Para lo cual requiere sacar una nota sobresaliente para poder aprobar el curso.
Ella hace el siguiente anlisis

Proposiciones compuestas

He hecho todos los ejercicios del Mdulo y he obtenido un sobresaliente en la nota

definitiva del Curso y en el Examen Nacional.
Para obtener un sobresaliente en la nota definitiva del Curso, es necesario obtener un
sobresaliente en el Examen Nacional.
Conseguir un sobresaliente en el Examen Nacional y realizar todos los ejercicios del Mdulo,
entonces es suficiente para obtener un sobresaliente en el curso de Pensamiento Lgico y
Matemtico.

Identificacin de Proposiciones Lgicas Simples:

p: Realizar todos los ejercicios del Mdulo
q: Obtener un sobresaliente en la nota definitiva del Curso
r: Obtener un sobresaliente en el Examen Nacional

Expresar en lenguaje simblico las proposiciones compuestas identificadas:

Premisa 1: (pq)r

Premisa 2: rq
Conclusin: (rp)q

[((pq)r)(qr)]((rp)q)

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r pq (pq)r qr ((pq)r)(qr) rp (rp)q [((pq)r)(qr)]((rp)q)

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

La expresin es una tautologa

5. Paulo es un docente del Programa de Psicologa y para una presentacin oral de sus estudiantes,
les asigna el comentario que le hizo uno de sus pacientes al consultarlo, la idea es que los
estudiantes realicen un debate sobre lo expuesto. El comentario del paciente es: Si los conejos
volaran o supieran tocar la guitarra, pensara que estoy como una regadera y dejara que me
internaran en un psiquitrico.
Proposiciones lgicas simples:

los conejos volaran

los conejos supieran tocar la guitarra
pensara que estoy como una regadera
dejara que me internaran en un psiquitrico

Expresiones que no son proposiciones

Paulo es un docente del Programa de Psicologa

para una presentacin oral de sus estudiantes
les asigna el comentario que le hizo uno de sus pacientes al consultarlo

la idea es que los estudiantes realicen un debate sobre lo expuesto

El comentario del paciente es.

Proposiciones compuestas

Si los conejos volaran o supieran tocar la guitarra

Pensara que estoy como una regadera y dejara que me internaran en un psiquitrico

Identificacin de Proposiciones Lgicas Simples:

p = los conejos volaran
q = los conejos supieran tocar la guitarra
r = pensara que estoy como una regadera
s = dejara que me internaran en un psiquitrico

Expresar en lenguaje simblico las proposiciones compuestas identificadas:

(pVq)
(rs)

(pVq)(rs)

TABLA DE VERDAD

P
V
V
V
V
V
V
V
V
F
F
F
F

q
V
V
V
V
F
F
F
F
V
V
V
V

r
V
V
F
F
V
V
F
F
V
V
F
F

s
V
F
V
F
V
F
V
F
V
F
V
F

pVq
V
V
V
V
V
V
V
V
V
V
V
V

rs
V
F
F
F
V
F
F
F
V
F
F
F

(pVq)(rs)
V
F
F
F
V
F
F
F
V
F
F
F

F
F
F
F

F
F
F
F

V
V
F
F

V
F
V
F

F
F
F
F

V
F
F
F

V
V
V
V

6. Salom se encuentra en un gran dilema, porque desea cumplir sus sueos de ser una profesional,
pero debe suplir sus necesidades econmicas, para lo cual piensa en lo siguiente: Si acepto este
trabajo o dejo de estudiar por falta de tiempo, entonces no realizar mis sueos. He aceptado el
trabajo y he dejado de estudiar. Por lo tanto, no realizar mis sueos.
Proposiciones lgicas simples:

Acepto este trabajo

Dejo de estudiar por falta de tiempo
Realizar mis sueos

Expresiones que no son proposiciones

Salom se encuentra en un gran dilema

porque desea cumplir sus sueos de ser una profesional
pero debe suplir sus necesidades econmicas
para lo cual piensa en lo siguiente.

Proposiciones compuestas

Si acepto este trabajo o dejo de estudiar por falta de tiempo, entonces no realizar mis
sueos.
He aceptado el trabajo y he dejado de estudiar. Por lo tanto, no realizar mis sueos

Identificacin de Proposiciones Lgicas Simples:

p = Acepto este trabajo
q = Dejo de estudiar por falta de tiempo
r = Realizar mis sueos

Expresar en lenguaje simblico las proposiciones compuestas identificadas:

(pVq)~r
~r

pq

[((pVq)~r)(pq)]~r

Realizar la tabla de Verdad

TABLA DE VERDAD

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

R ~r pVq (pVq)~r pq [((pVq)~r)(pq) [((pVq)~r)(pq)]~r

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

En los numerales (7), (8) y (9) identificar (del texto dado), 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.

7. En este ao 2015 en uno de los canales nacionales realizarn un real TV, unos estudiantes de la
UNAD se han inscrito para este Real TV, para lo cual comentan entre ellos: Si vamos a participar,
entonces llegaremos hasta la India. Si vamos a participar entonces, si llegamos hasta la India
visitaremos Varanasi. Si vamos a India entonces, si visitamos Varanasi podremos ver el Ganges. Por
lo tanto, si vamos a participar veremos el Ganges.
Solucin:
La estructura del enunciado corresponde a un razonamiento lgico inductivo.
p = vamos a participar
q = llegaremos hasta la India

r = visitaremos Varanasi
s = veremos el Ganges
Premisa 1: pq
Premisa 2: p(qr)
Premisa 3: q (rs)
Conclusin: ps

Demostracin por tabla de verdad

[(pq)(p(qr))( q(rs))]( ps)

Truth Table
p

[(pq)(p(qr))( q(rs))]( ps)

T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F

T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F

T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F

T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T

La expresin es una tautologa, es decir, el razonamiento es vlido.

Demostracin por leyes de inferencia:

Premisa 1: pq
Premisa 2: p(qr)
Premisa 3: q (rs) ps
Premisa 4: p
Premisa 5: q
MPP 4, 1
Premisa 6: r>s SH 5, 3
Premisa 7: s
MPP 6
Premisa 8: ps SH 4, 3, 7

8. Todo nmero entero o es primo o es compuesto. Si es compuesto, es un producto de factores

primos, y si es un producto de factores primos, entonces es divisible por ellos. Pero si un nmero
entero es primo, no es compuesto, aunque es divisible por s mismo y por la unidad, y
consiguientemente, tambin divisible por nmeros primos. Por tanto, todo nmero entero es
divisible por nmeros primos.
Solucin:
La estructura del enunciado corresponde a un razonamiento lgico deductivo.

p: Todo nmero entero es primo

q: Todo nmero entero es compuesto
r: es un producto de factores primos
s: es divisible por nmeros primos
t: es divisible por s mismo y por la unidad
Premisa 1: pVq
Premisa 2: (qr)(rs)
Premisa 3: (p~q)(ts)
Conclusin: (pq)s
[(pVq)((qr)(rs))((p~q)(ts))]((pq)s)

Truth Table
p

[(pVq)((qr)(rs))((pq)(ts))]((pq)s)

T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F
T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F

T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F

T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F

T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T

La expresin es una tautologa, por lo tanto el argumento es vlido.

9. Karla est estudiando Administracin de Empresas en la UNAD y debe hacer un ensayo

con relacin al siguiente enunciado pero ella quiere primero verificar su validez segn las
leyes de la lgica: Si el dollar est con un alto valor, el petrleo est barato pero las
exportaciones resultan caras. Si Estados Unidos se endeuda o la economa no crece, el
petrleo no estar barato. La economa crece si y slo si ni las exportaciones resultan caras
ni la inflacin aumenta. Por tanto, si la inflacin aumenta, el dollar no est con un alto valor.
Solucin:
La estructura del enunciado corresponde a un razonamiento lgico deductivo.

p: el dollar est con un alto valor

q: el petrleo est barato
r: las exportaciones resultan caras
s: Estados Unidos se endeuda
t: la economa crece
u: la inflacin aumenta
Premisa 1: p>(qr)
Premisa 2: (sV~t)>~q
Premisa 3: t(~r~u)
Conclusin: u~p
[(p(qr))( (sV~t)~q)(t(~r~u))]( u~p)

Truth Table
p

[(p(qr))( (sVt)q)(t(ru))]( up)

T
T
T
T
T
T
T
T

T
T
T
T
T
T
T
T

T
T
T
T
T
T
T
T

T
T
T
T
F
F
F
F

T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F

T
T
T
T
T
T
T
T

T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F
F
F
F
F

T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
T
T
T
T
T
T
T
T
T
T
T
T

F
F
F
F
F
F
F
F
T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F
T
T
T
T
T
T
T
T
F
F
F
F

T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F
T
T
T
T

T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F

T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T

F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

T
T
T
T
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

F
F
F
F
T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F

F
F
F
F
T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F

T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F

T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T

La expresin es una tautologa, es decir que el argumento es vlido.

CONCLUSIN

Finalmente podemos concluir que la aplicacin de estos mtodos son

demasiados importantes y necesarios para poder saber cundo un
argumento es o no vlido o poder dar respuesta de una forma agrupada
gracias al diagrama de venn. De igual manera podemos decir que la lgica
y el razonamiento matemtico son elementos Indispensables a la hora de
dar solucin a interrogantes y problemas, ya que al utilizarlos podemos
expresar diferentes puntos de vista, algo importante a la hora de razonar. Y
por ltimo la utilizacin de la tabla de verdad y/o la aplicacin de las leyes
de inferencias son herramientas importantes porque nos ayuda a
comprender cuando un argumento es o no valido y de dos formas muy
distintas como pudimos ver en el proceso de cada ejercicio desarrollado.

BIBLIOGRAFA

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/