PASO 4 – Aplicaciones del Pensamiento Lógico y Matemático

PRESENTADO POR:
LISETH ARISTIZABAL GIRALDO
CODIGO: 1118828932
GRUPO: 200611_142

TUTOR:
HILDER MOSCOTE

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PROGRAMA DE INGENIERIA INDUSTRIAL
PENSAMIENTO LOGICO Y MATEMATICO
RIOHACHA-LA GUAJIRA
2017
OBJETIVO GENERAL

Identificar y aplicar de forma adecuada los conceptos vistos en las unidades anteriores
sobre la teoría de conjuntos, lógica proposicional e inferencia lógica para plantear
soluciones a las situaciones problémicas presentadas.

OBJETIVOS ESPECIFICOS

 Comprender los elementos y propiedades de la teoría de conjuntos en la

solución de problemas.
 Aplicar terminología vista de lógica proposicional y desarrollar tablas de verdad
 Realizar comprobaciones a través del simulador TRUTH
 Encontrar la respuesta de acuerdo a cada situación problémica presentada,
utilizando como fundamento los conocimientos de lógica matemática.
INTRODUCCIÓN

Mediante el desarrollo del siguiente trabajo pude aplicar todos los temas visto durante
el semestre, con diferentes tipos de problemas desarrollados con el fin de colocar a
prueba la capacidad adquirida frente a problemas más complejos
Para la elaboración de estos ejercicios utilice herramientas que me permitieron obtener
habilidades para comprender los conectivos lógicos que usamos diariamente en
nuestro lenguaje y que pocas veces nos detenemos a analizar y comprender. Además
de utilizar herramientas como el diagrama de Venn que es una representación gráfica,
que muestra las relaciones existentes entre los conjuntos. Por otra parte el simulador
TRUTH es un simulador de tabla de verdad con el fin de sistematizar y demostrar la
construcción de las mismas, conforme a lo definido en el valor de verdad de las
proposiciones compuestas básicas: conjunción, disyunción, condicional y bicondicional,
como apoyo tecnológico en el desarrollo de los problemas planteados.
 SITUACION PROBLEMICA DE LA OPERATIVIDAD ENTRE CONJUNTOS

Del total de los profesores de la UNAD se ha tomado una muestra de 335 maestros y
se tienen los siguientes datos: 215 son de tiempo completo, 190 hablan inglés, 255
tienen por lo menos maestría, 70 son de tiempo completo y hablan inglés, 110 hablan
el inglés y tienen por lo menos una maestría, 145 son de tiempo completo y tienen por
lo menos maestría; y todos tienen al menos una de las características. Hallar el número
de maestros que tengan las tres características anteriores.

DIAGRAMA DE VENN
TC: Tiempo completo
ING: Hablan ingles
M: Maestría

U: 335

TC:215

a
145 70

y x
w

ING:190
c zx b

M:255

110
 x+w = 70
z+w = 110
y+w = 145
_______________
x+y+z+3w = 325

 a+x+y+w = 215
b+x+z+w = 190
c+y+z+w = 255
__________________________
a+b+c+x+y+z+x+y+z+3w = 660
{
325
a+b+c+x+y+z = 660 – 325
a+b+c+x+y+z = 335

 a+b+c+x+y+z+w = 335
{

335
335+w = 335
w = 335 – 335
w=0
U: 335

TC: 215

145 70
0

ING: 190
0 110
x 10

M: 255

Ninguno de los maestros tiene las tres características.

 SITUACION PROBLEMICA DE LA LOGICA PROPOSICIONAL

Un número es divisible por 2 si la última cifra de dicho número es múltiplo de 2. Un

número es divisible por 3 si la suma de las cifras de dicho número es múltiplo de 3.
Pero dicho número no es divisible por 2 o no lo es por 3. Por tanto, la suma de las
cifras de un número no es un múltiplo de 3 si la última cifra de un número es múltiplo de
2.

LENGUAJE FORMAL

(Un número es divisible por 2) si (la última cifra de dicho número es múltiplo de 2).
(Un número es divisible por 3) si (la suma de las cifras de dicho número es múltiplo de
3). Pero (dicho número no es divisible por 2 o no lo es por 3). Por tanto, (la suma de
las cifras de un número no es un múltiplo de 3) si (la última cifra de un número es
múltiplo de 2).

IDENTIFICACION DE PROPOSICIONES SIMPLES

p: Un número es divisible por 2
q: La última cifra es múltiplo de 2
r: Un número es divisible por 3
s: La suma de las cifras es múltiplo de 3

PREMISAS
P1: p→q
P2: r→s
P3: ̴ p˅ ̴ r
Conclusión: ̴ s→q

EXPRESION FINAL
[(p→q)˄(r→s)˄( ̴ p˅ ̴ r)] →( ̴ s→q)
TABLA DE VERDAD

p q r s ̴ p ̴ r ̴ s p→q r→s ̴ p˅ ̴ r ̴ s→q [(p→q)˄(r→s)˄( ̴ p˅ ̴ r)] → ( ̴ s→q)

V V V V F F F V V F V V
V V V F F F V V F F V V
V V F V F V F V V V V V
V V F F F V V V V V V V
V F V V F F F F V F V V
V F V F F F V F F F F V
V F F V F V F F V V V V
V F F F F V V F V V F V
F V V V V F F V V V V V
F V V F V F V V F V V V
F V F V V V F V V V V V
F V F F V V V V V V V V
F F V V V F F V V V V V
F F V F V F V V F V F V
F F F V V V F V V V V V
F F F F V V V V V V F F

Analizando el resultado de la tabla de verdad, esta expresión es una contingencia

porque sus resultados varían entre falso y verdadero.
COMPROBACION CON EL SIMULADOR TRUTH
 SITUACION PROBLEMICA DE LA VALIDEZ DE RAZONAMIENTOS LOGICOS

Si el Rector no pudo dar el discurso o los diplomas no llegasen a tiempo, entonces la

fiesta de graduación tendría que cancelarse y los estudiantes se enojarían. Si la fiesta
se cancelara, habría que devolver el dinero. No se devolvió el dinero. Por lo tanto, el
Rector pudo dar el discurso.

LENGUAJE FORMAL

Si (el Rector no pudo dar el discurso) o (los diplomas no llegasen a tiempo), entonces
(la fiesta de graduación tendría que cancelarse) y (los estudiantes se enojarían). Si (la
fiesta se cancelara), (habría que devolver el dinero). No (se devolvió el dinero). Por lo
tanto, (el Rector pudo dar el discurso).

IDENTIFICACION DE PROPOSICIONES SIMPLES

p: El Rector pudo dar el discurso
q: Los diplomas llegan a tiempo
r: La fiesta se cancela
s: Los estudiantes se enojarían
t: Devolver el dinero

PREMISAS
P1: ( ̴ p˅ ̴ q) → (r˄s)
P2: r→t
P3: ̴ t
Conclusión: p

EXPRESION FINAL
[( ̴ p˅ ̴ q) → (r˄s) ˄ (r→t) ˄ ( ̴ t)] → p
TABLA DE VERDAD
p q r s t ̴ p ̴ q ̴ t ( ̴ p˅ ̴ q) → (r˄s) r→t [( ̴ p˅ ̴ q) → (r˄s) ˄ (r→t) ˄ ( ̴ t)] → p

V V V V V F F F V V V
V V V V F F F V V F V
V V V F V F F F V V V
V V V F F F F V V F V
V V F V V F F F V V V
V V F V F F F V V V V
V V F F V F F F V V V
V V F F F F F V V V V
V F V V V F V F V V V
V F V V F F V V V F V
V F V F V F V F F V V
V F V F F F V V F F V
V F F V V F V F F V V
V F F V F F V V F V V
V F F F V F V F F V V
V F F F F F V V F V V
F V V V V V F F V V V
F V V V F V F V V F V
F V V F V V F F F V V
F V V F F V F V F F V
F V F V V V F F F V V
F V F V F V F V F V V
F V F F V V F F F V V
F V F F F V F V F V V
F F V V V V V F V V V
F F V V F V V V V F V
F F V F V V V F F V V
F F V F F V V V F F V
F F F V V V V F F V V
F F F V F V V V F V V
F F F F V V V F F V V
F F F F F V V V F V V
Analizando el resultado de la tabla de verdad, esta expresión es una Tautología
porque sus resultados son todos verdaderos, por lo cual el razonamiento es válido
COMPROBACION CON EL SIMULADOR TRUTH
DEMOSTRACION POR LEYES DE INFERENCIA

P1: ( ̴ p˅ ̴ q) → (r˄s)
P2: r→t
P3: ̴ t
____________________________________________
P4: ̴ r MTT (2)(3)
P5: ̴ ( ̴ p˅ ̴ q) MTT (1)(5)
P6: ̴ ( ̴ p) ˄ ̴ ( ̴ q) LM (6)
P7: p ˄ q DN (7)
P8: p S (8) Conclusión
 CONCLUSIÓN

Por medio de este trabajo 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, además de analizar los diferentes ejercicios que
fueron desarrollados por medio de las tablas de verdad, simulador TRUTH y reglas de
inferencia, lo que conlleva a tener un fácil manejo al momento de soluciona dichos
problemas que se pueden presentar en nuestra vida cotidiana y creo que esto me
servirá para la aplicación de este conocimiento en la estructuración de proposiciones
matemáticas argumentadas.
 BIBLIOGRAFIA

 Recuperado de: http://www.xtec.cat/~lvallmaj/preso/fallog2.htm

 Recuperado de: http://www.monografias.com/trabajos-pdf5/la-logica-
proposicional/la-logica-proposicional.shtml
 Recuperado de:http://matematica1.com/diagramas-de-venn-en-el-silogismo-
categorico-pdf/
 Recuperado de: http://www.miprofe.com.mx/sistema/inicio.php
 John Karts. [John Karts]. (1819). [Simulador Truth]. Recuperado de:
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/