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 2

EDWARD IVAN PEÑAFIEL

Código: 1085252103

GRUPO 90004

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

SAN JUAN DE PASTO
ABRIL 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

Este trabajo los realizamos con el fin de dar a conocer temas muy importantes que
utilizamos en la comprensión de la Lógica, las cuales nos ayudan a entender mucho mejor
esta materia. Además este trabajo está compuesto por 3 fases donde desarrollaremos los
conceptos aprendidos tanto de la primera unida y la segunda.
Estos temas son:
Leyes de lógica e inferencias

Tipos de razonamiento

Validez de una conclusión

Reducción al absurdo

Para ello realizaremos ejercicios y tablas de verdad utilizando simuladores de tabla para
verificar nuestras respuestas.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática

JUSTIFICACION

Este trabajo nos ayudara a entender y comprender temas relacionados con la Lógica, con lo
que realizamos a veces en nuestra vida diaria sin darnos cuenta.

En este trabajo vamos a encontrar temas como leyes de la lógica, tablas de verdad,
inferencias, reducción al absurdo, validez de una conclusión, tanto sus conceptos como la
forma en que se desarrollan.

Esto nos ayudara a resolver y entender cómo desarrollar los temas vistos.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática

OBJETIVOS

Este trabajo tiene como objetivo encontrar y entender completamente los temas
relacionados y los que vamos a estudiar en este contenido

Tales como

 Leyes de lógica

 Inferencias

 Razonamientos

 Validez de una conclusión

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

SOLUCIÓN
Fase 1.
El texto corresponde a un razonamiento inductivo, debido a que a partir de premisas
particulares que son fruto de la experiencia, se alcanza a una conclusión que se admite que
es general para todos los casos, no solo para los mencionados allí, sino para todos los de su
especie. Además, se puede establecer esta posición dado que las diferentes premisas de las
que consta el enunciado son premisas particulares que tienden a individuos o situaciones de
individuos particulares que de igual manera tienen una tendencia a lo general que viene
siendo en este caso al respeto por la ley, misma ley que es generalizada para médicos,
personas que fabriquen zapatos, personas que les gusta que al abrir el grifo salga agua.

Fase 2)
A continuación, analiza la validez de la conclusión: “Respetamos la ley

Premisa 1: O no nos gusta tener calidad de vida o no nos gusta vivir solos
Premisa 2: Nos gusta tener calidad de vida
Premisa 3: Si no nos gusta vivir solos, nos gusta vivir en comunidad
Premisa 4: Si nos gusta vivir en comunidad, entonces respetamos la ley

2.1 Declaración de proposiciones simples:

p = No nos gusta tener Calidad de vida

q = No nos gusta vivir solos
r = Nos gusta vivir en comunidad
s= Respetamos la ley

2.2 Premisas en lenguaje simbólico:

Premisa 1: p v q
Premisa 2: ~p
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática
Premisa 3: q → r
Premisa 4: r → s
2.3 Conclusión en lenguaje simbólico:
~p → s
2.4.1: Demostración a partir de las tablas de verdad forma 1
Primera forma:
Proposiciones Premisa 1 Premisa Premisa Premisa Conclusión
simples 2 3 4
p q r S ~p pvq ~p q → r r→s ~p → s
V V V V F V F V V V
V V V F F V F V F V
V V F V V V F F V V
V V F F F V F F V V
V F V V F V F V V V
V F V F F V F V F V
V F F V F V F V V V
V F F F F V F V V V
F V V V V V V V V V
F V V F V V V v F F
F V F V V V V F V V
F V F F V V V F V F
F F V V V F V v V V
F F V F V F V v F F
F F F V V F V v V V
F F F F V F V v V F

No existe el caso en que las premisas sean verdaderas y la conclusión sea falsa, por lo tanto
el razonamiento es válido. Además la premisa, es un resultado lógico, pues se cumple:

No nos gusta vivir solos

Nos gusta tener calidad de vida
Nos gusta vivir en comunidad
Respetamos la ley

2.4.2: Demostración a partir de las tablas de verdad forma 2:

(Evaluando si la conjunción de las premisas implican la conclusión.)
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática
[(Premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] → Conclusión

Obteniendo una tautología, demostrando que la conjunción de las premisas implican la

conclusión y por lo tanto el razonamiento es válido.

Proposiciones P P (P P3 P 1 ⋀ P4 P 1 ⋀ Conclusi (P 1 ⋀ P 2⋀P3⋀P4) →

Simples 1 2 1) P P ón Conclusión
⋀ 2⋀P3 2⋀P3⋀P4
p q s t p ~ (p
(P v ((p v q) r→ (((p v q) ~p → s ((((p v q) ⋀~p) ⋀( q →
~ v p q) q ⋀~p) s ⋀~p) ⋀( r)) ⋀ (r
q ⋀~p ⋀( q → q → r)) → s)) →( ~p → s)
r)
V V V V p
F V F F →
V r F V ⋀F (r→ V V
V V V F F V F F V F F F V V
V V F V V V F F F F V F V V
V V F F F V F F F F V F V V
V F V V F V F F V F V F V V
V F V F F V F F V F F F V V
V F F V F V F F V F V F V V
V F F F F V F F V F V F V V
F V V V V V V V V V V V V V
F V V F V V V V V V F F F V
F V F V V V V V F F V F V V
F V F F V V V V F F V F F V
F F V V V F V F V F V F V V
F F V F V F V F V F F F F V
F F F V V F V F V F V F V V
F F F F V F V F V F V F F V

Obteniendo una tautología, demostrando que la conjunción de las premisas implica la

conclusión y por lo tanto el razonamiento es válido.

2.4.3. Verificación con simulador

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

Con la verificación del simulador, Se obtubo una tautología, demostrando que la

conjunción de las premisas implica la conclusión y por lo tanto el razonamiento es válido.
2.4.4. Demostración a partir de las leyes de inferencia:

Premisa 1: p v q
Premisa 2: ~p
Premisa 3: q → r
Premisa 4: r → s
_________________
5. q → s 3, 4 S.H
6. ~p→ s 5,1 MPP

En conclusión, por las leyes de inferencia se permite deducir la conclusión, por lo tanto
el razonamiento es válido.

2.4.5.: Demostración por reducción al absurdo:

Suponemos que es posible que las premisas sean verdaderas y la conclusión falsa: Si es
posible entonces el razonamiento No es válido.
Premisa 1: p v q =V
Premisa 2: ~p = V
Premisa 3: q → r = V
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática
Premisa 4: r → s = V
Conclusión
~p → s = F
De acuerdo con la conclusión no nos gusta tener calidad de vida, entonces respetamos
las leyes, dado que la premisa 1 es verdadera, entonces nos gusta vivir solos, y teniendo en
cuenta que la premisa 3 es verdadera, entonces No nos gusta vivir en comunidad, y de
acuerdo a que la premisa 4 es verdadera, entonces no respetamos las leyes, con lo que se
llega a una contradicción, pues habíamos supuesto que respetábamos las leyes.

Concluimos, de este análisis por reducción al absurdo, que no es posible que cuando las
premisas sean verdaderas, la conclusión sea falsa, de esta manera el razonamiento es
válido.
Fase 3)
Debate con tus compañeros de equipo el razonamiento propuesto y registren en este
espacio el producto del debate. ¿Qué ganamos y a qué renunciamos al vivir en
sociedad?

Vivimos en una sociedad donde tenemos relaciones con otros individuos es por esa
razón que somos llamados seres humanos y nuestro entorno es una sociedad. Es aquí
donde nos desarrollamos como personas intelectuales y nos identificamos como seres
racionales con opinión y decisión. Estar en sociedad aprendemos a relacionarnos con los
demás formando un mundo de oportunidades y garantías con los demás, vivimos,
adquirimos nuevos conocimientos culturales, políticos, deportivos, económicos, mirando
siempre el bien común para el beneficio de nuestra sociedad. Estar en comunidad tiene un
significado enorme, porque por un lado se renuncia a muchas cosas, pero se ganan otras,
vivir en sociedad tiene sus ventajas, pues en este caso, se buscan principios de igualdad,
donde todos nos sintamos iguales y esto posibilite la mejor comunicación entre las
personas, implica unión.
Notamos que aunque en pleno siglo XXI vivir en sociedad es algo complicado ya que en
algunos lugares abunda el alimento y en otros mueren a causa del hambre, podríamos decir
que nuestra sociedad se está desuniendo aunque vivamos juntos, los avances tecnológicos
han hecho que las personas dejen de comunicarse personalmente y se aíslen.
¿A qué renunciamos?
Renunciamos a querer gobernar y realizar lo que nosotros deseamos sin tener que seguir
reglas ni leyes.
En algunas ocasiones somos personas egoístas que solo pensamos en el bienestar de
nosotros mismos y no miramos en realidad el bienestar de las personas que nos rodean. Así
logramos alejaros de la sociedad a la cual pertenecemos.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática

CONCLUSIONES

 Las reglas de inferencia nos permiten darle validez a un argumento, permitiéndonos

justificar cada una de las situaciones planteadas y la aplicación de cada una de ellas
dependerá de las situaciones alas que nos enfrentemos.
 En la lógica matemática utilizando leyes de inferencia sus tablas y muchos de sus
razonamientos, podemos observar cómo se puede entrenar de diferentes formas, y
como se puede aplicar a varios aspectos de la vida, ya que es algo innato del ser
humano el resolver problemas de diferente calibre.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS – ECBTI –
PROGRAMAS DE PREGRADO
Lógica Matemática

REFERENCIAS

1. Galindo Patiño, N. J. (1999). Lógica Matemática. Universidad Nacional Abierta y a

Distancia UNAD. Santa Fe de Bogotá. D.C.
2. http://turner.faculty.swau.edu/mathematics/materials

3. Recuperado de: http://definicion.de/razonamiento-inductivo/

4. http://www.definicionabc.com/comunicacion/razonamiento-deductivo.php#ixzz3Y92WQsvZ
5. http://www.definicionabc.com/comunicacion/razonamiento-deductivo.php#ixzz3Y92WQsvZ
6. https://www.youtube.com/watch?v=3jqzuqDHOkQ