PENSAMIENTO LOGICO MATEMÁTICO

Paso 7 - Resolución de situaciones problémicas del mundo real desde la Lógica Matemática

Presentado por:
Carlos Andrés Narváez
Código: 1075226688
Grupo: 200611_355

Tutor:
Juan Polanco Lara

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”

CCAV – Neiva Huila
Mayo de 2018
Introducción

En esta unidad se desarrollarán las temáticas de leyes de inferencia y razonamientos

deductivos e inductivos como también se usara para apoyo de este trabajo el Uso del
simulador Truth Table y la tabla de verdad.
Objetivo General

Con esta actividad se busca que el estudiante utilice los conceptos de la teoría de conjuntos, de la
lógica proposicional y de la inferencia lógica para plantear proceso operativo en la resolución de
situaciones problémicas del mundo real y cotidiano.

Objetivos Específicos

1. identificar la información conocida y las incógnitas en un enunciado problémico.

1. 2.Plantear una estructura operativa para la resolución de las situaciones problémicas
planteadas en un contexto del pensamiento lógico y matemático.
2. 3.Encontrar la respuesta adecuada a una situación problémica dada utilizando el contexto
de la lógica matemática
Tarea 1: Proposiciones y tablas de verdad

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

Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples bajo una
descripción basada en el contexto académico, remplazando las variables expresadas
simbólicamente para llevarlas al lenguaje natural.

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

P Q R S ~Q ~R P->~Q ~R->S R->P ~QvS (P->~Q)˄(~R->S)˄(R->P) {(P->~Q)˄(~R->S)˄(R->P)}-

>(~QvS)
1 1 1 1 0 0 0 1 1 1 0 1
1 1 1 0 0 0 0 1 1 0 0 1
1 1 0 1 0 1 0 1 1 1 0 1
1 1 0 0 0 1 0 0 1 0 0 1
1 0 1 1 1 0 1 1 1 1 1 1
1 0 1 0 1 0 1 1 1 1 1 1
1 0 0 1 1 1 1 1 1 1 1 1
1 0 0 0 1 1 1 0 1 1 0 1
0 1 1 1 0 0 1 1 1 1 1 1
0 1 1 0 0 0 1 1 1 0 1 1
0 1 0 1 0 1 1 1 1 1 1 1
0 1 0 0 0 1 1 0 1 0 0 1
0 0 1 1 1 0 1 1 0 1 0 1
0 0 1 0 1 0 1 1 0 1 0 1
0 0 0 1 1 1 1 1 0 1 0 1
0 0 0 0 1 1 1 0 0 1 0 1
tautología

p     q     r     s    {(p→¬q)Λ(¬r→s)Λ(r→p)}→(¬qVs) 

  T     T     T     T   T

T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T

Tarea 2: Teoría de Conjuntos

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

planteados.

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.

A. Un laboratorio farmacéutico desea saber qué tipo de medicamentos usan las personas de
un pueblo del Valle del Cauca para tratar un problema de gripa con tos seca. Para ello se
dispuso una encuesta en varias droguerías del pueblo y se obtuvieron los siguientes datos:
 Un total de 109 encuestados toman el jarabe “Abrilar”; 115 encuestados toman el jarabe
“Mieltertos”; un total de 88 encuestados manifestaron que prefieren los “remedios
caseros”; 15 encuestados manifestaron que solamente toman “Abrilar” y “remedios
caseros”; 12 encuestados manifestaron que han tomado Abrilar, Mieltertos y remedios
caseros simultáneamente; 47 encuestados manifestaron que solamente usan
“Mieltertos”; 29 personas manifestaron que no usan ningún tipo de medicamento ni
remedio casero. El laboratorio desea saber concretamente:

a) ¿Cuántos encuestados toman solamente “Abrilar”?

b) ¿Cuántos encuestados prefieren tomar “Abrilar” y “Mieltertos” pero no usan remedios
caseros?
c) ¿Cuántas personas fueron encuestadas en total?
d) ¿Cuántas personas toman “Mieltertos” o “Abrilar”, pero no remedios caseros?

a) Solo abilar 54
b) 28
c) 246
d) 129

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.

1. En la vida de cualquier persona es fundamental un equilibrio entre la alimentación y la

actividad física. Por eso un deportista de alto rendimiento se hace una reflexión sobre su
alimentación: “Si consumo huevo en el desayuno y me como un banano, entonces tendré
pesadez en el estómago. No es cierto que si me como un banano, tendré pesadez en el
estómago. Como ensalada o consumo huevo en el desayuno. Si como ensalada, me
alimento sanamente. Por lo tanto, me alimento sanamente.

P:como huevo

Q:como banano

R:tendre pesades

S:como ensalada

T:me alimento sanamente

p q r s t ~r {(p˄q)->r}->(q->~r)->(s˅p)->(s->t)
  0     0     0     0     0   1 1
0 0 0 0 1 1 1
0 0 0 1 0 1 0
0 0 0 1 1 1 1
0 0 1 0 0 0 1
0 0 1 0 1 0 1
0 0 1 1 0 0 0
0 0 1 1 1 0 1
0 1 0 0 0 1 1
0 1 0 0 1 1 1
0 1 0 1 0 1 0
0 1 0 1 1 1 1
0 1 1 0 0 0 1
0 1 1 0 1 0 1
 0 1 1 1 0 0 0
0 1 1 1 1 0 1
1 0 0 0 0 1 1
1 0 0 0 1 1 1
1 0 0 1 0 1 0
1 0 0 1 1 1 1
1 0 1 0 0 0 1
1 0 1 0 1 0 1
1 0 1 1 0 0 0
1 0 1 1 1 0 1
1 1 0 0 0 1 1
1 1 0 0 1 1 1
1 1 0 1 0 1 0
1 1 0 1 1 1 1
1 1 1 0 0 0 1
1 1 1 0 1 0 1
1 1 1 1 0 0 0
1 1 1 1 1 0 1

  p     q     r     s     t    {(pΛq)→r}→(q→¬r)→(sVp)→(s→t) 

  T     T     T     T     T   T

T T T T F F
T T T F T T
T T T F F T
T T F T T T
T T F T F F
T T F F T T
T T F F F T
T F T T T T
T F T T F F
T F T F T T
T F T F F T
T F F T T T
T F F T F F
T F F F T T
T F F F F T
F T T T T T
F T T T F F
F T T F T T
F T T F F T
 F T F T T T
F T F T F F
F T F F T T
F T F F F T
F F T T T T
F F T T F F
F F T F T T
F F T F F T
F F F T T T
F F F T F F
F F F F T T
F F F F F T

Conclusiones
En este trabajo adquirimos algunos conocimientos de leyes de inferencia y razonamientos
deductivos e inductivos, llegando al desarrollo de cada uno de los objetivos propuestos en
este trabajo.
Podemos concluir que para resolver las temáticas correspondientes sobre los topis de
razonamiento las podemos demostrar con tablas de verdad y reglas de inferencia.

Referencia Bibliográfica.
 Leyes de la inferencia recuperado el 11 de Mayo de 2018 de
https://sites.google.com/site/cursomatematicasdiscretas/3-1-proposicion
Leyes de la inferencia recuperado de
https://lgicaepn.blogspot.com.co/2011/12/reglas-de-inferencia.html
Leyes de la inferencia recuperado de
http://laslogicass.blogspot.com.co/2011/03/modus-ponendo-ponens-pp-p-q-p-q-modus.html

Truth Table
http://web.stanford.edu/class/cs103/tools/truth-table-tool/
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado de
http://hdl.handle.net/10596/13869b