TRABAJO COLABORATIVO 1

LOGICA MATEMATICA

PRESENTADO POR:
EDWIN HUERTAS SARMIENTO
COD: 1054800371
LAURA KATHERINE MONROY
COD: 1054658792

GRUPO: 90004_906

PRESENTADO A:
OSCAR EDUARDO VIDAL

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

LOGICA MATEMATICA
MARZO 25 DE 2015
 INTRODUCCION
Para profundizar la unidad 1 del curso de Lgica Matemtica, el estudiante tendr
lugar a la aplicacin de los conceptos estudiados en la primera unidad al
reconocimiento y validacin de las diferentes leyes de inferencia as como de las
formas de razonamiento inductivo y deductivo.
El presente trabajo se desarrollara tratando de comprender y analizar los distintos
temas planteados Teniendo claro el concepto, dar argumentos claros especficos
de conectivos lgicos e inferencias, proposiciones simples, las premisas en
lenguaje simblico, la conclusin en lenguaje simblico, las demostraciones a
partir de las tablas de verdad y las demostraciones a partir de un simulador,
demostraciones a partir de las leyes de inferencia y demostracin por reduccin al
absurdo.

OBJETIVOS

1. Identificar conceptos de conjuntos y sus operaciones, lgica proposicional,

lenguaje simblico y tablas de verdad.

2. Identificar problemas y representarlos segn la teora de conjuntos en

diagramas de venn.

3. Identificar proposiciones y conectivos lgicos.

4. Realizar tablas de verdad segn datos suministrados

5. Conocer los fundamentos bsicos sobre la teora de conjuntos y comprender la

relacin entre la lgica y los conjuntos.

6. Convertir nmeros de un sistema de numeracin a otro, realizar operaciones

aritmticas en el sistema de numeracin binario.
TEORIA DE LOS CONJUNTOS

Un elemento es...

Aquello que podemos imaginar nico, individual, independiente y distinto de las

dems cosas a su alrededor. Por ejemplo una persona, un pjaro, una flor, un
carro, etc.

Los elementos no tienen que ser solo cosas tangibles sino tambin que existen
solo en nuestro pensamiento como por ejemplo una idea, un sentimiento, una letra
etc.
Un conjunto es...

De otro lado, un conjunto es la agrupacin de varios elementos que comparten

caractersticas o rasgos similares.

Por ejemplo, una flor puede agruparse con otras de su misma especie para que
nos quede un conjunto de rosas. Los conjuntos pueden volverse elementos en s,
ya que ahora pensaremos en un ramo de rosas.
TAREA 1
De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la
UNAD, los amantes de la msica de Juanes son 15; mientras que los que
nicamente gustan de la msica de Shakira son 20, Cuntos son fanticos
de los dos artistas si 10 de los encuestados, entre los 25 que no son
fanticos de Shakira, afirman ser fanticos de Juanes?

a) Describe la necesidad o problema a resolver

identificar la cantidad de estudiantes a los cuales les gusta la msica juanes y a

cuantos la msica de Shakira y a cuntos de estos estudiantes les gusta la msica
de los dos artistas y establecer a cuantos estudiantes no les gusta la msica de
ninguno de los 2 artistas.

b) Identifica los conjuntos presentes en el problema

conjunto A = { 10 }
conjunto B = { 20 }
conjunto AUB = { 5 }

C. elabore un diagrama de venn

A = { 10 estudiantes les guste Juanes y son estudiantes de la UNAD}

B = { 20 estudiantes les guste Shakira y son estudiantes de la UNAD }
AUB= { a 5 estudiantes de la UNAD les guste juanes y Shakira V ninguno
b) Describe la solucin del problema.
Para empezar lo principal fue observar a cuantos estudiantes les gustaba la
msica de juanes a cuantos la de Shakira darme cuenta cuantos no estaban
incluidos en los 2 conjuntos sea no les gustaba ningn artista y saber cuntos de
los que estaban fuera de los conjuntos sumados y que solo le gusta la msica de
juanes da un resultado de 25 que no les gusta Shakira y 10 que si les gusta la
msica de juanes

e) Argumenta la validez de tu respuesta.

Al realizar la solucin del problema se puede ver que al momento de realizar el
diagrama de ven queda completamente claro los 10 a los cuales les gusta
juanes , los 20 que fanticos de Shakira, los 5 a los cuales les gusta los 2 artistas
y los que no sienten agrado por ningn artista que son 15.

EL PROBLEMA A DESARROLLAR EN LA TAREA 2 ES EL SIGUIENTE:

Considera el siguiente diagrama de Venn y contesta los diferentes

Literales:
Preguntas a resolver:
a) Cuantos estudiantes Aristotlicos son Platnicos.
b) Cuales estudiantes de filosofa son Platnicos
c) Cuales estudiantes de filosofa son Aristotlicos
d) Cuales estudiantes de filosofa no son Aristotlicos
e) Cuales estudiantes de filosofa no son Platnicos
f) Cuales estudiantes son Platnicos Aristotlicos
g) Cuales estudiantes son Platnicos y Aristotlicos
h) Cuales estudiantes son Platnicos pero no son Aristotlicos
i) Cuales estudiantes son Aristotlicos pero no son Platnicos
j) Cuales estudiantes no siguen ninguna corriente filosfica
k) Cuales estudiantes siguen al menos una corriente filosfica
l) Cuales estudiantes siguen por lo menos una corriente filosfica
m) Cuales estudiantes siguen dos corrientes filosficas
n) Cuales estudiantes siguen slo una corriente filosfica
o) Cuantos estudiantes siguen ms de dos corrientes filosficas

SOLUCION DE LA TAREA No.2

a) Cuantos estudiantes Aristotlicos son Platnicos.: Silvia

b) Los estudiantes de Filosofa que son Platnicos son: Diego, Marcela y Silvia
c) Los estudiantes de Filosofa que son Aristotlicos son: Ana y Silvia
d) Los estudiantes de Filosofa que No son Aristotlicos son: Carlos, Camilo, Diego
y Marcela
e) Los estudiantes de Filosofa que No son Platnicos son: Carlos, Camilo y Ana
f) Los estudiantes que son Platnicos o Aristotlicos son: Carlos Y Camilo
g) Los estudiantes que son Platnicos y Aristotlicos son: Silvia
h) Los estudiantes que son Platnicos pero no son Aristotlicos son: Diego y
Marcela
i) Los estudiantes que son Aristotlicos pero no son Platnicos son: Ana
j) Los estudiantes que no siguen ninguna corriente filosfica son: Carlos y Camilo
k) Los estudiantes que siguen al menos una corriente filosfica son: Diego,
Marcela y Ana
l) Los estudiantes que siguen por lo menos una corriente filosfica son: Diego,
Marcela y Ana
m) Los estudiantes que siguen dos corrientes filosficas son: Silvia
n) Los estudiantes que siguen solo una corriente filosfica son: Diego Marcela y
Ana
o) Uno: Silvia

TAREA 3. PROPOSICIONES Y TABLAS DE VERDAD.

Construir un trabajo grupal sobre proposiciones y conectivos lgicos. Cada

Estudiante revisar individualmente los temas de proposiciones y
Conectivos lgicos para dar solucin a los ejercicios propuestos, y
Posteriormente, en conjunto con su equipo construir un trabajo sobre la
Solucin propuesta producto de los aportes sustentados y mejorados con
Las contrapropuestas que se den en el foro.
Los comentarios deben llevar una argumentacin vlida y de ser necesario
Estar enmarcados en otros documentos debidamente referenciados.
EL PROBLEMA A DESARROLLAR EN LA TAREA 3 ES EL SIGUIENTE:

El ejercicio consiste en transformar expresiones dadas en lenguaje natural

Al lenguaje simblico, y posteriormente, construir la correspondiente tabla
De verdad. Miremos el ejemplo propuesto por Alfredo De ao (1974) de un
Fragmento de Kafka:
Ese lapso, corto quiz si se le mide por el calendario, es
Interminablemente largo cuando, como yo, se ha galopado a travs de l
El anlisis lgico de esta expresin es el siguiente:

Esta expresin es el siguiente: (p q) (r ~q) es decir, la expresin

equivalente en la que se evidencian los conectivos lgicos es:

Si se le mide por el calendario, entonces ese lapso de tiempo es corto, y

Si se ha galopado, como yo, a travs de l, entonces es
Irremediablemente largo.
Ejercicios a resolver:
a) Bien pensado, no hay por qu ser bien pensante.
b) En caso de que sople el viento, podremos navegar a vela.
c) Si alguien escribe como Borges, entonces puede disculprsele todo.
d) La vida es larga si es plena; y se hace plena cuando el alma ha
Recuperado la posesin de su bien propio y ha transferido a s el dominio
De s misma (Sneca).
La solucin de esta tarea debe contar con las siguientes etapas:

a) Expresin en lenguaje natural en la que se evidencien los conectivos

Lgicos
b) Declaracin de las premisas
c) Expresin en lenguaje natural
d) Tabla de verdad.

SOLUCION PROBLEMA N 3

{( P Q ) ~ p } Q o ( PQ)~ ] P

a. Bien pensado, ENTONCES no hay por qu ser bien pensante.

P. Bien pensado
Q. bien pensante P Q

P Q ~Q P Q
V V F F
V F V V
F V F V
F F V V

b. En caso de que se sople el viento, SI Y SOLO SI podremos navegar a vela

ENTONCES:

P. Sople el viento
Q. Navegar a vela P Q

P Q P Q
V V V
V F F
 F V F
F F V

C) Si alguien escribe como Borges, ENTONCES puede disculprsele de todo.

ENTONCES:

P. Si escribes como Borges

Q. Puede disculprsele de todo P Q

P Q

P Q P Q
V V V
V F F
F V V
F F V

D) La vida es larga SI Y SOLO SI si es plena; Y se hace plena cuando el alma ha

Recuperado la posesin de su bien propio, Y ha transferido as el dominio de s
Misma ENTONCES se hace plena.

ENTONCES:

P. La vida es larga
Q. Es plena
R. Cuando el alma ha recuperado la posesin de su bien propio
S. Transferido as el dominio de si mismo

(P Q) {(R S) Q)}

P Q R S P Q R S R S Q (P Q) (RS)
Q
V V V V V V V V
V F V F F F V F
F V F F V F V V
F F F F V F V V
TAREA 4. DEDUCCIN E INDUCCIN

Texto Inductivo
A1. Hemos llevado a cabo catorce experimentos en los cuales hemos dividido a
los pacientes en dos grupos de pacientes, siete tratados con el medicamento y
siete con un placebo. Entre los siete pacientes tratados con placebo, solamente
en uno disminuy el dolor gstrico y el dolor de cabeza, continuando la fiebre;
mientras que los otros seis continuaron con la sintomatologa. De los pacientes
tratados con el medicamento, los siete presentaron mejora en los sntomas
gstricos, dolor de cabeza y fiebre. De estos pacientes, tres presentaron efector
secundarios consistentes en entumecimiento de dedos de las manos y mareo por
la maana; sntomas que desaparecieron tres das despus de terminar la
administracin del medicamento. Por lo que podemos concluir que la
administracin de este medicamento es efectiva y segura para los pacientes.

Con base en el texto inductivo identifique 3 premisas del texto INDUCTIVO

Premisa 1: Cuando los pacientes son tratados con el medicamento mejoran en

su dolor de cabeza.
Premisa 2: Cuando los pacientes son tratados con el medicamento mejoran en
su dolor gstrico.
Premisa 3: Cuando los pacientes son tratados con el medicamento mejoran en
su problema febril.
Conclusin: La administracin del medicamento mejora la salud de los pacientes.

Texto Deductivo
B1. Todos los seres humanos sentimos temor a provocar la muerte de otra
persona. Las personas con creencias religiosas tienen esta prohibicin como
norma de conducta. Adems este temor es compartido por personas sin religin.
Finalmente, este repudio a lastimar a otro, existe en todo tipo de culturas, en
cualquier parte del mundo. Por lo tanto, esto es un valor que es independiente de
la religin, y del contexto cultural, y al ser compartido por todos los seres
humanos, es un valor universal.

Con base en el texto deductivo identifique 3 premisas del texto DEDUCTIVO

Premisa 1: Todo ser humano teme matar a otros.

Premisa 2: En toda cultura se teme matar a otros.
Premisa 3: Todos los seres humanos temen matar a otros.
Conclusin: Todos los seres humanos comparten el valor universal de no lastimar
a otros.

TAREA 5
El problema a desarrollar en la tarea 5 es el siguiente:
Si la mercanca llega y la maquinaria funciona, no incumplimos. Si
entregamos a tiempo conservamos el cliente y el cliente paga. Si el cliente
paga todos reciben su dinero. Incumplimos, Qu puede concluirse sobre
recibir el dinero?
Rta: no se recibe ningn dinero
Para esta tarea el equipo debe entregar las siguientes etapas:
a) Identifica las proposiciones simples y declralas (Asigna letras como p,
q,..)
P: la mercanca llega
Q: la maquinaria funciona
R: no incumplimos
S: entregamos a tiempo
T: conservamos el cliente
U: el cliente paga
V: el cliente paga todos reciben su dinero
W: Incumplimos

b) Identifica las premisas del problema.

Premisa 1: Si la mercanca llega y la maquinaria funciona, entonces no
incumplimos
Premisa 2: Si entregamos a tiempo entonces conservamos el cliente y el cliente
paga.
Premisa 3: Si el cliente paga todos reciben su dinero.
Premisa 1: P Q R
Premisa 2: S T U
Premisa 3: V R
en Conclusin: [ (P Q S) (U V)] R

c) Utiliza las leyes de inferencia para poder concluir sobre la proposicin que
se pide en el problema.
El dinero no se recibe ya que no se cumpli .porque el enunciado deca que al
llegar la mercanca y la maquinaria funcionaba entonces si se cumpla por lo cual
el cliente pagara el dinero.
 CONCLUSIONES

Un conjunto es un grupo de elementos u objetos especificados de tal forma que se

puede afirmar con certeza si cualquier objeto pertenece o no a la agrupacin.

Dos proposiciones compuestas se consideran lgicamente equivalentes si tienen

los mismos valores de verdad para cada caso en la tabla de verdad.

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra
el valor de verdad de una proposicin compuesta, para cada combinacin de
verdad que se pueda asignar.

Se llevaron a cabo las realizaciones de los ejercicios utilizando temas de

referencia del curso.

Se fortalecieron los conceptos y principios de lgica matemtica.

Se conoci en qu casos se puede aplicar la lgica matemtica en la vida

cotidiana y cuan til es.

BIBLIOGRAFIA

http://www.slideshare.net/patricialeguizamon397/modulo-logica-matematica

Lpez, L.J. Lgica para todos (2 Edicin). Recuperado

de:http://www.slideshare.net/luisjorgel63/lgica-para-todos-3053431?
next_slideshow=2

Gaitn, M.P. (2014). Introduccin a la lgica. Cali, Valle. Recuperado

de:http://www.slideshare.net/MariaGaitan2/introduccin-a-la-lgica-42022687
Rubio, G. (2014). Teora de conjuntos. Ibagu, Colombia. Recuperado
de:http://www.slideshare.net/patricialeguizamon397/teoria-de-
conjuntosyproposiciones

Gaitn, M.P. (2014). Lgica proposicional. Cali, Valle. Recuperado

de:http://www.slideshare.net/MariaGaitan2/lgica-proposicional-42022784

Rubio, G. (2014). Teora de conjuntos. Ibagu, Colombia. Recuperado

de:http://www.slideshare.net/patricialeguizamon397/teoria-de-
conjuntosyproposiciones

Rodrguez B, G. Predicados y cuantificadores (2014). Recuperado de:

https://www.youtube.com/watch?v=gVzEIUBetWM