PASO 7- RESOLUCIÓN DE SITUACIONES PROBLEMICAS DEL MUNDO REAL DESDE

LA LÓGICA MATEMÁTICA

ESTUDIANTE:

YARLEN PATRICIA TOLOZA MOYA

1063493116

200611_1086

TUTOR: JOSE JAVIER VAQUIRO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD VALLEDUPAR

25 DE MAYO 2018
 INTRODUCCION

En el presente trabajo podemos analizar los siguientes temas del paso7 propuestos a
realizar podemos encontrar los siguientes temas como son los objetivos proposiciones
tabla de verdad, lenguaje natural de la expresión formal, definición de las proposiciones
simples y teoría de conjuntos. Una validez es una propiedad que tiene los argumentos
cuando las premisas aplican la conclusión Si la conclusión es una consecuencia lógica
de las premisas, se dice que el que argumentos es deductivamente valido.
 OBJETIVOS

 Aprender reglas de inferencia y razonamiento deductivo e inductivo

 Saber aplicar el simulador truth
 Conocer el tema propuesto
TAREA 1: PROPOSICIONES Y TABLAS DE VERDAD

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.
. {(p→∼q) ∧ (∼r→s) ∧ (r→p)}→ (∼q∨s)

LENGUAJE NATURAL DE LA EXPRESIÓN FORMAL

En Colombia hay una campaña presidencial entonces el tema a tratar es el pago de las horas
extras y si no fue aprobada, entonces el pago de las horas extras queda como estaba
entonces no debemos trabajar más horas extras y se retrasara un mes para pagar por lo tanto
la ley fue aprobada.

DEFINICIÓN DE LAS PROPOSICIONES SIMPLES

P: La ley fue aprobada.
Q: el pago de las horas queda como estaba.
R: debemos trabajar más horas extras.
S: el proyecto se retrasará un mes.
 GENERAR LA TABLA DE VERDAD MANUALMENTE

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

p q r s ¬q ¬r
v v v v f f f f v f v v v
v v v f f f f f v f v v f
v v f v f v f f v f v v v
v v f f f v f f f f v v f
v f v v v f v v v v v v v
v f v f v f v v v v v v v
v f f v v v v v v v v v v
v f f f v v v f f f v v v
f v v v f f v v v f f v v
f v v f f f v v v f f v f
f v f v f v v v v v v v v
f v f f f v v f f f v v f
f f v v v f v v v f f v v
f f v f v f v v v f f v v
f f f v v v v v v v v v v
f f f f v v v f f f v v v
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

Esta expresión 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.

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; 30 encuestados manifestaron que solamente usan
“remedios caseros” . 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.

DATOS:

109 encuestados toma jarabe abrilar

115 encuestados toman jarabe mieltertos

88 encuestados manifiestan que prefirieron los remedios caseros

15 encuestados manifiestan 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

30 encuestados manifestaron que solamente usan remedios caseros

 U: 246

a) 57 encuestados toman solamente abrilar

b) 129 encuestados prefieren tomar abrilar y mieltertos pero no usan remedios caseros
c) 246 personas fueron encuestadas en total
d) 25 personas toman mieltertos o abrilar pero no remedios caseros
 TAREA 3: LEYES DE INFERENCIA

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.

GENERAR TABLA MANUALMENTE

[((pΛq)→r )Λ ¬ (q→r)Λ(sVp)Λ(s→t)]→t

p Q r s t [((pΛq) → r)Λ ¬ (q→r) Λ (sVp) Λ (s→t)] → t

v V v v v v v v f f v f v f v v v
v V v v f v v v f f v f v f f v f
v V v f v v v v f f v f v f v v v
v V v f f v v v f f v f v f v v f
v V f v v v f f f v f f v f v v v
v V f v f v f f f v f f v f f v f
v V f f v v f f f v f f v f v v v
v V f f f v f f f f v f v f v v f
v F v v v f v v f f v f v f v v v
v F v v f f v v f f v f v f f v f
v F v f v f v v f f v f v f v v v
v F v f f f v v f f v f v f v v f
v F f v v f v f f f v f v f v v v
v F f v f f v f f f v f v f f v f
v F f f v f v f f f v f v f v v v
v F f f f f v f f f v f v f v v f
f V v v v f v v f f v f v f v v v
f V v v f f v v f f v f v f f v f
f V v f v f v v f f v f f f v v v
f V v f f f v v f f v f f f v v f
f V f v v f v f v v f v v v v v v
f V f v f f v f v v f v v f f v f
f V f f v f v f v v f f f f v v v
f V f f f f v f v v f f f f v v f
f F v v v f v v f f v f v f v v v
f F v v f f v v f f v f v f f v f
f F v f v f v v f f v f f f v v v
f F v f f f v v f f v f f f v v f
f F f v v f v f f f v f v f v v v
f F f v f f v f f f v f v f f v f
f f f f v f v f f f v f f f v v v
f f f f f f v f f f v f f f v v f
SIMULADOR TRUTH

p q r s t [((pΛq)→r )Λ ¬ (q→r)Λ(sVp)Λ(s→t)]→t

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

Esta expresión es una tautología

APLICACIÓN DE LAS REGLAS DE INFERENCIA

[((pΛq)→r )Λ ¬ (q→r)Λ(sVp)Λ(s→t)]→t

P1: (pΛq) →r)

P2: ¬ (q→r)

P3: (sVp)

P4: (s→t)]

C: t

P5: p→ (q→r) LEY DE EXPORTACIÓN P1

P6: ¬p MTT P2, P5

P7: s SILOGISMO DISYUNTIVO P3, P6

P8: t MPP P4, P7

ARGUMENTO VALIDO
 CONCLUSION
En el desarrollo de esta actividad se logra identificar y definir las relaciones
tautológicas.
Como resultado de la regla de validez podemos concluir la validez es una propiedad
que puede argumentar si una premisa es verdadera, esto me ayudó mucho a realizar la
actividad aunque tenía mucha duda con respecto al tema, pero con los aportes que
nos deja el tutor pude aclarar mis dudas, también es muy importante leer los tema que
nos dejan los tutores en el entorno de conocimiento para
REFERENCIAS BIBLIOGRAFICAS

http://bibliotecavirtual.unad.edu.co:2048/login?url=http://search.ebscohost.com/login.aspx?direct
=true&db=e000xww&AN=1042768&lang=es&site=ehost-live&ebv=EB&ppid=pp_1

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg=30

http://uaprepasemi.uas.edu.mx/libros/1er_SEMESTRE/8_Logica_I.pdf