UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –

PROGRAMAS DE PREGRADO
Lógica Matemática
LOGICA MATEMATICA
TRABAJO COLABORATIVO 1

EDWARD IVAN PEÑAFIEL

GRUPO 90004

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

SAN JUAN DE PASTO
MARZO DEL 2015
TRABAJO COLABORATIVO 1
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática

MIGUEL ANGEL VILLARREAL DELGADO

EDWARD IVAN PENAFIEL

TUTOR: JORGE ENRIQUE RAMIREZ

GRUPO: 90004

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

SAN JUAN DE PASTO
MARZO DEL 2015
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática
INTRODUCCION

En este trabajo damos a conocer diferentes temas de lógica matemática en el cual

encontraremos su significado, componentes de la lógica, conjuntos, lenguaje simbólico y
tablas de verdad.

En nuestra vida cotidiana siempre realizamos operaciones sin darnos cuenta, es aquí donde
la lógica se hace presente ya que esta es un razonamiento que por medio de reglas y
técnicas determina si un argumento es válido o verdadero, así, resolvemos problemas que
aparecen en cualquier situación de nuestro diario vivir.

JUSTIFICACION
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática

Este trabajo lo hemos realizado con el fin de aprender y tener en claro los conceptos, clases,
ejemplos, variables, conjuntos y tablas de verdad; los cuales nos ayudaran a identificar cada
una de sus partes.

Vamos a determinar y a resolver los ejercicios planteados para que nosotros como
estudiantes tengamos claro el tema y la importancia de la utilización y del análisis de
Lógica Matemática para la solución de problemas.

OBJETIVOS
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática

El objetivo de este trabajo es:

 Dar a conocer los conceptos básicos de la lógica Matemática:

o Conjuntos
o Lógica proposicional
o Lenguaje simbólico
o Tablas de verdad
o Diagrama de Venn

 Lograr establecer y resolver ejercicios utilizando las reglas y clases de este tema.

 Realizar diagramas de Venn sin ninguna dificultad.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática
EJERCICIO 1

De acuerdo con una encuesta virtual realizada a 50 estudiantes de la UNAD, los amantes de
la música de Juanes son 15, mientras que los que únicamente gustan de la música de
Shakira son 20. ¿Cuántos son fanáticos de los dos artistas si 10 de los encuestados, entre los
25 que no son fanáticos de Shakira afirman ser fanáticos de Juanes?
a. Describe la necesidad o problema a resolver.
b. Identifica los conjuntos presentes en el problema.
c. Elabora un diagrama de Venn
d. Describe la solución del problema
e. Argumenta la validez de tu respuesta.

SOLUCION
a. Tenemos un problema en el cual nos dan a conocer la cantidad de personas que les
agrada un artista mientras que la otra parte se inclina por otro. La necesidad es
encontrar que cantidad de personas están dentro de la fanaticada de Juanes y Shakira,
utilizando diferentes formas y leyes de la lógica las cuales nos ayudaran a resolver de
una forma natural y rápida.

b. Conjuntos presentes

3 conjuntos
U: total estudiantes encuestados
J: amantes de la música de Juanes
S: amantes de la música de Shakira
10 estudiantes afirman ser fanáticos de Juanes

cantidad preferencia
J 15 fanáticos de Juanes
S 20 fanáticos de Shakira
U 25 total estudiantes encuestados

Diagrama de Venn
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática

S J
Y
X
b
20 15
1
a 0 c

Z
25
U

c. Solución del problema:

Tenemos
a+b+c= 35

a + b + x + 10 = 20
a + c + y + 10 = 15
a + c + z + 10 = 25
________________________
2(a + b + c) + x + y x z + 30 = 60
2(35) + x + y + z = (60 – 30)
70 + x + y + z = 30
x + y + z = 70 – 30
x + y + z = 40

d. Según las encuestas y la solución dada al ejercicio podemos deducir que:

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática
40 son fanáticos de los dos artistas ya que 20 son de Shakira y 15 son de Juanes y
De los 25 encuestados 5 son fanáticos también de Juanes al sumar esto nos da como
resultado 40.

PROBLEMA A DESARROLLAR TAREA 2

Considera el siguiente diagrama de Venn y contesta los diferentes literales:

Platónicos Aristotélicos

Silvia

Diego
Ana
Marcela Carlos
Camilo

Literales a resolver:
a. Cuantos estudiantes Aristotélicos son Platónicos.
b. Cuales estudiantes de Filosofía son Platónicos.
c. Cuales estudiantes de Filosofía son Aristotélicos.
d. Cuales estudiantes de Filosofía no son Aristotélicos.
e. Cuales estudiantes de Filosofía no son Platónicos.
f. Cuales estudiantes son Platónicos ó Aristotélicos.
g. Cuales estudiantes son Platónicos y Aristotélicos.
h. Cuales estudiantes son Platónicos pero no son Aristotélicos.
i. Cuales estudiantes son Aristotélicos pero no son Platónicos.
j. Cuales estudiantes no siguen ninguna corriente Filosófica.
k. Cuales estudiantes siguen al menos una corriente Filosófica.
l. Cuales estudiantes siguen por lo menos una corriente Filosófica.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática
m. Cuales estudiantes siguen dos corrientes Filosóficas.
n. Cuales estudiantes siguen solo una corriente Filosófica.

o. Cuantos estudiantes siguen más de dos corrientes filosóficas.

SOLUCION

a. Un estudiante Aristotélico es Platónico: Silvia

b. Los estudiantes de filosofía Platónicos son: Silvia, Diego, Marcela
c. Los estudiantes de filosofía Aristotélicos son: Ana, Silvia
d. Los estudiantes de filosofía que no son Aristotélicos son: Diego, Marcela
e. Los estudiantes de filosofía que no son Platónicos son: Ana
f. Los estudiantes Aristotélicos o Platónicos son: Silvia
g. Los estudiantes Aristotélicos y Platónicos son: Silvia, Diego, Marcela, Ana
h. Los estudiantes Platónicos que no son Aristotélicos son: Diego, Marcela
i. Los estudiantes Aristotélicos que no son Platónicos son: Ana
j. Los estudiantes que no siguen ninguna corriente filosófica son: Carlos, Camilo
k. Los estudiantes que siguen al manos una corriente filosófica son: Diego, Marcela,
Ana
l. Los estudiantes que siguen por lo menos una corriente filosófica son: Diego,
Marcela, Ana, Silvia
m. Los estudiantes que siguen dos corrientes filosófica son: Silvia
n. Los estudiantes que siguen una sola corriente filosófica son: Diego, Marcela, Ana
o. Ningún estudiante sigue más de dos corrientes filosóficas

PROBLEMA A DESARROLLAR TAREA 3

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

simbólico, y posteriormente, construir la correspondiente tabla de verdad.

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 disculpársele todo
d. “la vida es larga si es plena; y se hace plena cuando el alma ha recuperado la
posesión de su bien propio y ha transferido a sí el dominio de si misma”
(Seneca)
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática

SOLUCION
Tarea 3. Proposiciones y tablas de verdad.
Ejercicios a resolver:
1- Bien pensado, no hay por qué ser bien pensante.

a) Expresión en lenguaje natural en la que se evidencien los conectivos lógicos:

Si bien pensado entonces no hay por qué ser bien pensante
b) Declaración de las premisas:
p: bien pensado
q: hay que ser bien pensante
c) Expresión en lenguaje natural:
p q
d) Tabla de verdad:
p q q p→ q
v v f f
v f v v
f v f v
f f v v

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

a) Expresión en lenguaje natural en la que se evidencien los conectivos lógicos:

Si sopla el viento entonces podremos navegar a vela
Declaración de las premisas:
p: el viento sopla
q: podremos navegar a vela
b) Expresión en lenguaje natural:
p q
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática

c). Tabla de verdad:

p q p→q
v v v
v f f
f v v
f f v

3- Si alguien escribe como Borges, entonces puede disculpársele todo.

a) Expresión en lenguaje natural en la que se evidencien los conectivos lógicos:

Si alguien escribe como Borges, entonces puede disculpársele todo
b) Declaración de las premisas:
p: alguien escribe como Borges
q: puede disculparse todo
c) Expresión en lenguaje natural:
p q
d) Tabla de verdad:
p q p→q
v v v
v f f
f v v
f f v

3- “La vida es larga si es plena; y se hace plena cuando el alma ha

recuperado la posesión de su bien propio y ha transferido a sí el
dominio de sí misma” (Séneca).

a) Expresión en lenguaje natural en la que se evidencien los conectivos lógicos:

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática
b) Cuando el alma ha recuperado la posesión de su bien propio se hace plena y ha
transferido el dominio de sí misma, entonces la vida es larga y plena.
c) Declaración de las premisas:

p: la vida es larga
q: la vida es plena
r: el alma recupera la posición de su bien propio
s: el alma ha transferido el dominio de si misma
d) Expresión en lenguaje natural:
(p q)Λ (q ( r Λ s) )
e). Tabla de verdad:

p q r s p q r Λs Λq r

v v v v v v v v
v v v f v f f f
v v f v v f f f
v v f f v f f f
v f v v f v f v
v f v f f f f v
v f f v f f f v
v f f f f f f v
f v v v f v f v
f v v f f f f f
f v f v f f f f
f v f f f f f f
f f v v v v v v
f f v f v f v v
f f f v v f v v
f f f f v f v v
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática

PROBLEMA A DESARROLLAR TAREA 4

1. Según la genética somos más parecidos a nuestro padre que a nuestra madre. Carlos
tiene más rasgos físicos iguales a su padre Néstor que a su madre Carmela. Si comparan a
Carlos con su padre Néstor y su madre Carmela hallaran más parecidos con su padre que
con su madre.

Enunciados falsables.
La forma lógica del argumento falsacionista es (A->B, ¬B)->¬A 
1. El día 28 de marzo caerá nieve según el IDEAM en Colombia.

Se denota que es un enunciado falsable porque habría que esperar que el día 28 llegue y
caiga nieve, y si no ocurre el enunciado es falsable y los datos del IDEAM eran falsos.

2. Todos los estudiantes de la UNAD son católicos.

Aquí se denota que deberíamos buscar un estudiante de otra religión para falsar la
hipótesis, y argumentar que es una formula falcionalista.

INFERENCIA LOGICA

Una inferencia lógica a la aplicación de una regla de transformación que permite

transformar una formula o expresión bien formada de un sistema formal en otra con
teorema del mismo sistema. Ambas expresiones se relacionan mediante una relación de
equivalencia, es decir que ambas tienen los mismos valores de verdad.
Ejemplo

Podría ser transformada en

A BVC
Donde

y
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática

REGLA DE INFERENCIA
Una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas
establecen relación entre las premisas y una conclusión.
Algunas reglas son:
 Modus ponendo ponens: la forma en que se afirma afirmando P Q, P

.·. Q
 Modus ponendo tollens: de modo que, al afirmar, niega ¬ (A ˄ B)
 Modus tollendo ponens: silogismo disyuntivo P ˅ Q, ̚ P

.·. Q
 Modus tollendo tollens: el camino que niega al negar P Q, ¬ P

¬P .·.
 Silogismo hipotético: es un argumento válido P Q, P R

.·. P R
 Silogismo disyuntivo: es un argumento válido modus tollendo ponens P ˅ Q, ̚ P

.·. Q

PROBLEMA 5

Tarea 5
El problema a desarrollar en la tarea 5 es el siguiente: “Si la mercancía 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?
Para esta tarea el equipo debe entregar las siguientes etapas:
Identifica las premisas del problema.
“Si la mercancía llega y la maquinaria funciona, no incumplimos.

P Q R
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática
Si entregamos a tiempo P

Conservam

os el cliente y el cliente paga. Si el cliente paga

Q R P

Todos reciben su dinero”. Incumplimos,

¿Qué puede concluirse sobre recibir el dinero?

Proposiciones simples:
a) p: si la mercancía llega
q: la maquina funciona
r: incumplimos

b) p: entregamos a tiempo
q: conservamos el cliente
r: el cliente paga

c) p: cliente paga
q: todos reciben su dinero
Utiliza las leyes de inferencia para poder concluir sobre la proposición que se pide en el
problema.
a) ( p Λ q) → ¬ q
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática
b) ( p → q ) Λ r
c) ( p → q )
d) r → ¬ q

 ( p Λ q) → ¬ q

p q r ¬r pΛq (p Λ q) → ¬q
v v v f v f
v v f v v v
v f v f f v
v f f v f f
f v v f f v
f v f v f f
f f v f f v
f f f v f f

 (p → q)Λr
p q r ( p→ q ) (p→q)Λr
v v v v v
v v f v f
v f v f v
v f f f v
f v v v v
f v f v f
f f v v v
f f f v f

 ( p → q)
p q ( p→ q)
V V V
V F F
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática
F V V
f f v

 r→¬q
r q r→¬q
v v f
v f v
f v f
f f f