PASO 7 - RESOLUCIÓN DE SITUACIONES PROBLÉMICAS DEL MUNDO REAL

DESDE LA LÓGICA MATEMÁTICA (EXAMEN NACIONAL POR ABP)

PENSAMIENTO LOGICO Y MATEMATICO

JHON FAVER ROJAS RAMÍREZ

Grupo No.
200611_1034

Tutor
JUAN PABLO YAGUARA

Universidad Nacional Abierta y a Distancia UNAD

INGENIERIA INDUSTRIAL
NEIVA
2018
 INTRODUCCIÓN

La lógica es la disciplina que trata de los métodos de razonamiento; la lógica proporciona reglas
y técnicas para determinar si es o no válido un argumento dado. El razonamiento lógico se
emplea en matemáticas para demostrar teoremas; en ciencias de la computación, para verificar si
son o no correctos los programas; en las ciencias físicas y naturales, para sacar conclusiones de
experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una gran variedad de
problemas. Claramente, se usa en forma constante el razonamiento lógico. La lógica simbólica o
matemática es probablemente, en su parte elemental, la teoría científica más sencilla, segura y
completa de nuestro actual universo de conocimientos.

A continuación se presentan cinco ejercicios prácticos, en los cuales se aplican los conceptos
básicos de la lógica tales como tipo de razonamientos, leyes de inferencia, falacias, validación de
razonamientos y así mismo la empleabilidad de gráficas, tablas de verdad.
OBJETIVOS

GENERAL

Utilizar los conceptos de la teoría de conjuntos, de la lógica proposicional y del a inferenci a

l ógi ca para pl ant ear proceso operati vo en l a resol uci ón de situaciones problémicas
del mundo real y cotidiano.

OBJETIVOS ESPECÍFICOS

I d e n t i f i c a r l a i n f o r m a c i ó n c o n o c i d a y l a s i n c ó g n i t a s e n u n e n u n c i a d o
problémico.

P l a n t e a r u n a e s t r u c t u r a o p e r a t i v a p a r a l a r e s o l u c i ó n d e l a s s i t u a c i o n e s
problémicas planteadas en un contexto del pensamiento lógico y matemático.

Encontrar la respuesta adecuada a una situación problémica dada utilizando el contexto de

la lógica matemática.
ACTIVIDADES A DESARROLLAR

TAREA 1: PROPOSICIONES Y TABLAS DE VERDAD

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su escogencia en
el foro, de tal forma que no coincida con los compañeros.
La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples

 Lenguaje natural de la expresión formal
 Generar la tabla de verdad manualmente y a través del simulador Truth Table.
 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
Definir si el argumento es una Tautología, contradicción o contingencia

1. {(p→∼q)∧(∼r→s)∧(r→p)}→(∼q∨s)

SOLUCIÓN:

PROPOSICIONES SIMPLES
p: realizo los trabajos de lógica matemática
q: no alcanzo a entregarlos
r: recibo buenas calificaciones
s: me esfuerzo mas

LENGUAJE NATURAL
Realizo los trabajos de lógica matemática, no alcanzo a entregarlos. No recibo buenas
calificaciones entonces me esfuerzo mas. Recibo buenas calificaciones entonces realizo los
trabajos de lógica matemática. por lo tanto, no alcanzo a entregarlos o me esfuerzo mas.

LENGUAJE SIMBÓLICO
{(p→∼q) ∧ (∼r→ s) ∧ (r →p)} → (∼q ∨ s)
 TABLAS DE VERDAD

p q r s ̚q ̚r p → ̚q ̚r→s (p→ ̚q) Λ ( ̚r → s) ̚ ) Λ ( ̚r → s) Λ (r → p )

(p→ q ̚qVs (p→ ̚q) Λ ( ̚r → s) Λ (r → p ) → ( q
̚ V s)
v v v v f f f v v f f v
v v v f f f f v v f f f
v v f v f v f v v f f v
v v f f f v f f v f f f
v f v v v f v v v v v v
v f v f v f v f v f f v
v f f v v v v v v v v v
v f f f v v v f v f f v
f v v v f f v v f v f v
f v v f f f v v f v f f
f v f v f v v v v v v v
f v f f f v v f v f f f
f f v v v f v v f v f v
f f v f v f v v f v f v
f f f v v v v v v v v v
f f f f v v v f v f f v

SIMULADOR TRUTH TABLE

Es una Tautología
TAREA 2: TEORÍA DE CONJUNTOS

De las siguientes situaciones representarlas en un diagrama de Venn y solucionar los

interrogantes planteados.
Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su escogencia en
el foro, de tal forma que no coincida con los compañeros. La solución debe contener:

 Identificación de los conjuntos

 Elaboración del Diagrama de Venn
 Descripción de la solución del Problema
 Argumentación de la validez de su respuesta.

2. Una empresa fabricante de equipos para telefonía celular desea hacer un nuevo
lanzamiento para el verano del 2018, por lo que decidió tomar los datos de la aplicación
de una encuesta sobre la preferencia de marca de dispositivos móviles, en diferentes
tiendas de venta de celulares. La encuesta fue aplicada a 4047 personas y arrojó la
siguiente información: 1938 personas manifestaron que han utilizado Iphone; 1694
personas manifestaron que han utilizado celulares marca Nokia; 1048 personas
respondieron que solo usan Samsung; 942 personas manifestaron que han usado Iphone y
Samsung; 1101 personas han usado Iphone y Nokia; 694 personas han usado Nokia y
Samsung; 430 personas manifestaron que han usado las tres marcas. La empresa de
telefonía quiere saber:

a) ¿Cuántos encuestados no usan celular?

b) ¿Cuántos encuestados usan solamente Samsung y Nokia?
c) ¿Cuántos encuestados usan solamente Iphone?
d) ¿Cuántos encuestados usan Samsung?
SOLUCIÓN

Para realizar este ejercicio tomo los datos que me dan de los tres operadores en común que serian

los 430, sigo con los de la intersección de los de Iphone y Nokia que son 1101 le resto los que

tienen en común que son los 430 iníciales que me dan y quedaría 671 en la intersección, sigo con

la siguiente intersección que sería Samsung y Nokia e igual se resta los en común con la cifra

que dan y nos da como resultado 264 en la intersección de estos dos operadores, y la otra seria

Iphone y Samsung nuevamente resto los que tienen en común y me da 512 en la intersección de

estos dos operadores; sumo los datos que obtengo en el conjunto de solo Iphone que son 1613 y

le resto a la cifra inicial que nos dan que es 1938 arrojando el dato de los que utilizan solo

Iphone que son 325, con el de Nokia realizamos lo mismo este nos da 1365 y le restamos el dato

inicial que es 1694 y nos arroja 329 que solo utilizan Nokia, con el de Samsung es claro que nos

dice que 1048 personas respondieron que SOLO usan Samsung, por lo tanto coloco la misma

cifra dentro de los que solo utilizan Samsung.

U: 4047

IPHONE
NOKIA

671 329
325
430
512 264

1048 X: 468

SANSUNG

a) ¿Cuántos encuestados no usan celular?

RTA: sumo todos los valores de los tres conjuntos

325 + 671 + 329 + 512 + 430 + 264 +1048 = 3579

La cifra de personas encuestadas (conjunto universal) es de 4047

4047 – 3579 = 468 número de personas que no utilizan celular.

 b) ¿Cuántos encuestados usan solamente Samsung y Nokia?

RTA: esto hace referencia a una intersección de conjuntos por lo tanto es 264 que es los
que tienen en común.

c) ¿Cuántos encuestados usan solamente Iphone?

RTA: usan Iphone como resultado es 325

d) ¿Cuántos encuestados usan Samsung?

RTA: De los cuales se deben sumar en el conjunto de Samsung incluyendo los que se
tienen en común
512 + 430 + 264 + 1048 = 2254

TAREA 3: LEYES DE INFERENCIA

Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través de:

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
 Aplicación de las reglas de inferencia.

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su escogencia en
el foro, de tal forma que no coincida con los compañeros.

3. La consejera académica de la UDR Cali, está realizando un acompañamiento a un

estudiante del programa de ingeniería industrial, ella le quiere hacer entender que es muy
importante ser responsable para obtener buenas calificaciones, por eso le da el siguiente
consejo: “Si Carlos repasa el contenido del curso, entonces estará preparado para el
examen o Carlos se va de fiesta. Si Carlos se va de fiesta, entonces no repasa el contenido
del curso. Ocurre que Carlos repasa el contenido del curso y llegará con los temas
aprendidos. Por consiguiente, Carlos está preparado para el examen y llegará con los
temas aprendidos”.
 SOLUCIÓN

PROPOSICIONES SIMPLES

p: Si Carlos repasa el contenido del curso

q: estará preparado para el examen

r: Carlos se va de fiesta

s: llegará con los temas aprendidos

PREMISAS

1. Si Carlos repasa el contenido del curso, entonces estará preparado para el examen o
Carlos se va de fiesta
2. Si Carlos se va de fiesta, entonces no repasa el contenido del curso
3. Carlos repasa el contenido del curso y llegará con los temas aprendidos
4. Carlos está preparado para el examen y llegará con los temas aprendidos”.

LENGUAJE SIMBÓLICO

P 1: p → ( q V r )

P 2: r → ̚ p

P 3: p Λ s

P4: q Λ s

[p → ( q V r )] Λ (r → ̚ p) Λ (p Λ s) → (q Λ s)
 TABLAS DE VERDAD

p q r s ̚p qVr r→ ̚p pΛs p → (q V r) [p → (q V r)] Λ ( r → ̚ p) [p → (q V r)] Λ ( r → ̚ p) Λ (p Λ s) qΛs [p → (q V r)] Λ ( r → ̚ p) Λ (p Λ s) → (q Λ s)

v v v v F v f v v f f v v
v v v f F v f f v f f f v
v v f v F v v v v v v v v
v v f f F v v f v v f f v
v f v v F v f v v f f f v
v f v f F v f f v f f f v
v f f v F f v v f f f f v
v f f f F f v f f f f f v
f v v v V v v f v v f v v
f v v f V v v f v v f f v
f v f v V v v f v v f v v
f v f f V v v f v v f f v
f f v v V v v f v v f f v
f f v f V v v f v v f f v
f f f v V f v f v v f f v
f f f f V f v f v v f f v

SIMULADOR TRUTH TABLE

SOLUCIÓN POR REGLAS DE INFERENCIA

[p → (q V r)] Λ (r → ̚ p) Λ ( p Λ s) → ( q Λ s)

P 1: p → (q V r) C: q Λ s

P 2: r → ̚ p

P 3: p Λ s

P 4: p Λ ̚ r Método contra recíproco en 2

P 5: p → (q V r) Λ ̚ r Conjunción en 1 y 4

P 6: p → (q Λ r) Ley de Absorción en 5

P 7: p Se asume como verdadero antecedente en 1

P 8: q Λ r Modus Ponendo Ponens en 7 y 6

P 9: q Simplificación en 8

P 10: s Simplificación en 3

P 11: q Λ s Adjunción en 9 y 10
 CONCLUSIONES

Como estudiante logre comprender y aplicar adecuadamente los elementos y propiedades

operativas de la de conjuntos en la solución de problemas debidamente.

Con la solución de los problemas planteados logre aprender a interpretar el lenguaje simbólico
relacionarlo con el natural y creo que me servirá para la aplicación de este conocimiento en la
estructuración de proposiciones matemáticas argumentadas.
 REFERENCIAS BIBLIGRAFICAS

 Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la
educación media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docID=1034
5286&tm=1492518671601

 Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado de

http://hdl.handle.net/10596/13871

 Sánchez, H. R. (2014). "Conjuntos". En ProQuest ebrary (Ed) Álgebra. (pp. 2- 30).

México, D.F., México: Larousse - Grupo Editorial Patria. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=1104
6169&tm=1489706134764

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. Páginas 80- 84 Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=91&docID=1123
0887&tm=1496180214861

 Curo, A., & Martiń ez, M. (2013). Matemática básica para administradores. Lima, Peru:
Editorial UPC. Páginas 22 - 27. Recuperado de
http://bibliotecavirtual.unad.edu.co:2048/login?url=http://search.ebscohost.com/login.asp
x?direct=true&db=e000xww&AN=1042768&lang=es&site=ehost-
live&ebv=EB&ppid=pp_1

 Zazueta B. L. Cálix L. C. (2008). "¿Qué es una tabla de verdad?" Lógica II. Primera
Edición. (pp. 91 – 197). México D.F., México: Universidad Autónoma de Sinaloa.
Recuperado de http://uaprepasemi.uas.edu.mx/libros/1er_SEMESTRE/8_Logica_I.pdf

 Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado de

http://hdl.handle.net/10596/13869