LOGICA MATEMATICA

TRABAJO COLABORATIVO

LINA CLEMENCIA GARCIA

MARIA ALEJANDRA RESTREPO
DIANA CATALINA RINCON SILVA
GRUPO 90004_596

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PEREIRA, MARZO 2015

INTRODUCCION

El presente trabajo tiene como finalidad la aplicacin de los conceptos aprendidos durante
el estudio de la primera unidad del curso de lgica matemtica y el afianzamiento de
conocimientos en interaccin con los dems compaeros de curso. El trabajo a realizar esta
dividido en dos fases una individual y otra grupal, con la presentacin de un trabajo final

OBJETIVOS

Aplicar la teora de conjuntos y su representacin grafica por medio de diagramas

de ven para la solucin de problemas.

Plantear y formular expresiones del lenguaje simblico y lenguaje natural, haciendo

un anlisis en la aplicacin de conectores lgicos

Elaborar tablas de verdad por medio del anlisis de proposiciones lgicas para
luego ser clasificadas como tautologa, contradiccin o contingente de acuerdo al
resultado.

3 .TAREA 1 CONJUNTOS

De acuerdo con una encuesta virtual realizada a 50 estudiantes de la UNAD, los amantes de
la msica de Juanes son 15; mientras que a los q nicamente gustan de la msica de Shakira
son 20Cuntos 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.
3.1. Describe la necesidad o problema a resolver
Se desea saber de los cincuenta estudiantes encuestados cuantos son fanticos de Juanes,
cuantos de Shakira
3.2 Identifica los conjuntos presentes en el problema
Conjunto A = Juanes; Conjunto B = Shakira
3.3 Elabora un diagrama de Ven

3.4 Describe la solucin del problema

3.4.1 A: regin verde, los que gustan solo la msica de Juanes
3.4.2. B: regin azul: los que gustan de la msica de Shakira
3.4.3 A y B: regin amarilla, los que gustan de la msica de Juanes y de Shakira

3.4.4 A y no B: regin verde los que gustan de la msica de Juanes que no gustan de la
msica de Shakira
3.4.5 B y no A: regin azul los que gustan de la msica de Shakira que no gustan de la
msica de Juanes
3.4.6 A o B: regin verde, morada y azul los que gustan de la msica de Juanes o los que
gustan de la msica de Shakira
3.4.7 No A y no B: regin incolora que no gustan de la msica de Juanes y no gustan de la
msica de Shakira
3.5 Argumenta la validez de tu respuesta.
De los cincuenta estudiantes encuestados sabemos con exactitud que 20 les gusta la msica
de Shakira por lo tanto tenemos el primer conjunto, de los 25 a los que no les gusta la
msica de Shakira a 10 les gusta la msica de Juanes al restar estas dos cantidades nos da
15 que es el nmero de estudiantes a los que no le gusta la msica de Juanes ni Shakira;
tambin sabemos que hay 15 estudiantes les gusta la msica de Juanes, pero dentro de estos
pueden haber estudiantes a los que tambin les guste la msica de Shakira, por lo tanto al
restar 10 menos 15 obtenemos nos da 5 que es nmero de estudiantes a los que les gusta la
msica de Juanes y Shakira
4. TAREA 2
El problema a desarrollar en la tarea 2 es el siguiente: Considera el siguiente diagrama
de Venn y contesta los diferentes literales:

Literales a resolver:
4.1 Cuantos estudiantes Aristotlicos son Platnicos.
R/ 1
4.2 Cuales estudiantes de filosofa son Platnicos
R/: Diego, Marcela y Silvia
4.3 Cuales estudiantes de filosofa son Aristotlicos
R/: Ana y Silvia
4.4 Cuales estudiantes de filosofa no son Aristotlicos
R/: Diego, Marcela, Carlos y Camilo
4.5 Cuales estudiantes de filosofa no son Platnicos
R/: Ana, Carlos y Camilo
4.6 Cuales estudiantes son Platnicos Aristotlicos
R/: Diego, Marcela, Silvia y Ana
4.7 Cuales estudiantes son Platnicos y Aristotlicos
Silvia
4.8 Cuales estudiantes son Platnicos pero no son Aristotlicos
R/: Diego y Marcela
4.9 Cuales estudiantes son Aristotlicos pero no son Platnicos
R/: Ana
4.10 Cuales estudiantes no siguen ninguna corriente filosfica
R/: Carlos y Camilo
4.11 Cuales estudiantes siguen al menos una corriente filosfica
R/: Diego, Marcela, Silvia y Ana
4.12 Cuales estudiantes siguen por lo menos una corriente filosfica
R/: Diego, Marcela y Ana
4.13 Cuales estudiantes siguen dos corrientes filosficas
R/: Silvia
4.14 Cuales estudiantes siguen slo una corriente filosfica
R/: Diego, Marcela y Ana
4.15 Cuantos estudiantes siguen ms de dos corrientes filosficas
R/: Ninguno
5. Tarea 3
El problema a desarrollar es el siguiente:

El ejercicio consiste en transformar expresiones dadas en el lenguaje natural al lenguaje

simblico, posteriormente, construir la correspondiente tabla de la verdad.
5.1. Bien Pensado, no hay por qu ser bien pensante
5.1.1 Bien pensado ENTONCES no hay que ser bien pensante

5.1.2. P: Bien pensado

q: ser bien pensante
5. 1.3. (p ~ q)
5.1.4 Tabla de la verdad
p
V
V
F

q
V
F
V

~q
F
V
F

P~q
F
V
V

5. 2. En caso de que sople el viento, podremos navegar a vela

5.2.1 En caso de que sople el viento Entonces podremos navegar la vela
5.2.2. p: en caso que sople el viento
q: podremos navegar la vela
5.2.3 (pq)
5.2.4 Tabla de verdad
P

pq

V
V
F
F

V
F
V
F

V
F
V
V

5.3. Si alguien escribe como Borges, entonces puede disculprsele todo

5.3.1 Si y solo si alguien escribe como Borgues, entonces puede disculprsele todo.
5.3.2 p: alguien escribe como Borgues
q: puede disculprsele todo
5.3.3 ( pq)
5.3.4
P
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

5.4. 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 si el dominio de s misma ( Sneca)
5.4.1 La vida es larga si y solo si es plena; y se hace plena cuando el alma ha recuperado
la posesin de su bien propio entonces ha transferido a si el dominio de s misma
5.4.2
p: la vida es larga
q: es plena

r: se hace plena cuando el alma ha recuperado la posesin de su bien propio

s: transferido el dominio de si misma
5.4.3 (pq) ^ [ (r^s)q]
5.4.4 Tabla de la verdad
P
V
V
F
F

Q
V
F
V
F

r
V
V
F
F

s
V
F
V
F

Pq
V
F
V
V

r^s
V
F
F
F

(r^s) q
V
V
V
V

(pq) ^ [ (r^s)q]
V
F
V
V

6. TAREA 4
Realice la lectura el mtodo cientfico que se encuentra en el siguiente enlace
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_18_silogismos_ca
tegricos.html y plantee un ejemplo en el cual se identifique el proceso de deduccin e
induccin en un proceso de investigacin cientfica. Posteriormente plantee dos ejemplos
de enunciados falseables.
6.1 Ejemplo proceso de deduccin e induccin
- Algunos residentes del edificio los Alpes reciclan
- Los residentes de los apartamentos 301, 305, 402, 403 y 505 del edificio los Alpes hacen
un uso correcto de las canecas recicladoras.
6.2 Ejemplos denunciados falseables
- Todos los vehculos que transitan en la cuidad de Pereira tiene pico y placa

- Solo los vehculos particulares y que carguen menos de una tonelada, tiene pico y placa de
acuerdo al ultimo digito de la placa corresponder la aplicacin de este.
- Todos los trabajadores de las entidades pblicas del pas son cotizantes dependientes a
seguridad social.
- Solo los trabajadores de las entidades pblicas vinculados mediante contrato laboral son
cotizantes dependientes a seguridad social.
7. TAREA 5 INFERENCIAS LOGICAS
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?
a) Identifica las proposiciones simples y declralas (Asigna letras como p, q,..)
b) Identifica las premisas del problema.
c) Utiliza las leyes de inferencia para poder concluir sobre la proposicin que se pide en el
problema.
7.1 Proposiciones simples:
P: La mercanca llega, la maquinaria funciona.
Q: incumplimos
R: Entregamos a tiempo, conservamos el cliente
S: El cliente paga
T: Todos reciben su dinero.

7.2 Premisas del problema

1)

P Q

2)

3)

Q R (Premisa tres)

4)

RS

(Premisa uno)
(Premisa dos)

(Premisa cuatro)

S (Conclusin)

Demostracin:
1)

P Q

2) . Q
3)

Q R

4)

RS

5)

6) S

3,2 MTT
4,5 MTT

7.3 Premisa mayor: la mercanca llega,

Premisa menor: entregamos a tiempo
Conclusin: si incumplimos el cliente NO paga

8. CONCLUSIONES

A realizar este trabajo, se afianzaron conocimientos importantes a cerca de la lgica

matemtica, ya que no fue nada fcil la realizacin de estos problemas, en este
trabajo se emplearon diferentes proposiciones y demostraciones que se pueden
relacionar; empleando diferentes reglas de inferencia, para llegar a unos resultados
racionales y valederos.

Se Manejaron las tablas de verdad para los componentes lgicos, los cuales
permitieron conocer el grado de verdad que tiene una proposicin.

Al estudiar la teora de conjuntos se pudo realizar un problema empleando el

diagrama de Venn.

9. BIBLIOGRAFIA
Conjuntos y preposiciones, tomado el 16 de marzo de 2015
http://www.slideshare.net/patricialeguizamon397/teoria-de-conjuntosyproposiciones?
related=1
Tablas de verdad tomado el 21 de marzo de 2015 de
http://huitoto.udea.edu.co/SistemasDiscretos/contenido/tablas_verdad.html
Tablas de verdad tomado el 21 de marzo de 2015 de http://www.monografias.com/trabajospdf3/logica-matematica/logica-matematica.pdf
Tablas de verdad tomado el 21 de marzo de 2015 de https://www.youtube.com/watch?
v=YHeMRwSF1gM
Inferencia lgica tomado el 21 de marzo de 2015 de
http://www.mitecnologico.com/Main/InferenciaLogica#sthash.6yPW6ixK.dpuf
Inferencia lgica, tomado el 23 de marzo de 2015 de https://www.youtube.com/watch?
v=OuHYh1Xw5no
Inferencia lgica, tomado el 23 de marzo de 2015 de https://www.youtube.com/watch?
v=OmX1Xg6bnlk
Inferencia lgica, tomado el 23 de marzo de 2015 de
http://rosmirofuentesrocha.weebly.com/uploads/6/2/7/4/6274527/deduccion_proposicional.
pdf