UNAD, Universidad Nacional Abierta y a Distancia

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA

Tarea Lógica Matemática

EFREN DE JESUS CASTANO

90004_105

Ejercicios C
 INTRODUCCION

Desde un punto de vista teórico el problema de trasfondo es sobre la existencia de una

correlación entre sintaxis y semántica. Para fijar ideas, denominemos por El Plan a un
conjunto finito de proposiciones y reglas de inferencia; la naturaleza específica de las
mismas no nos interesa. Entonces la cuestión a resolver es cuán factible es que todo lo
que en teoría se puede deducir de El Plan del gobieno de turno es realizable y,
recíprocamente, si todos los beneficios posibles de tener, dentro de los límites
establecidos por nuestro modo de gobierno, son deducibles a partir de El Plan. Más
precisamente, lo que nos interesa determinar es si El Plan es correcto y, a la vez,
semánticamente suficiente o completo.

Existe un plan, en el sentido definido anteriormente, para la Matemática que es correcto

y completo, por lo que, a riesgo de parecer sofistas, si asumimos que nuestro universo
es matematizable, concluimos que un plan correcto y completo debe ser posible para
nuestra nación. Siguiendo este curso de ideas, usted puede que se sienta tentado a
estudiar un curso de Fundamentos de la Matemática y, por traslación del razonamiento
matemático al problema social que nos incumbe, halle una explicación satisfactoria al
por qué no hemos tenido un gobierno con un plan correcto y completo. El utilizar el
discurso científico para explicar eventos sociales no debe incomodar a nadie, puesto que
este modo de retórica lo pusieron de moda los mismos sociólogos. Así que procedamos
sin temores.
Ejercicio 1: Conceptualización de las reglas de inferencia.
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

c) Si el pastel está hecho con azúcar, entonces el pastel está dulce. El pastel no está
dulce.

Solución:

Conclusión: Por lo tanto, el pastel no está hecho con azúcar.

Ley de inferencia aplicada: Modus Tollendo Tollens (MTT)
Lenguaje simbólico: Si P implica Q, y Q no es cierta, entonces P no es cierta.

P: El pastel está hecho con azúcar

Q: El pastel está dulce
¬Q: El pastel no está dulce

1. P → Q 4. Si el pastel está hecho con azúcar, entonces el pastel está dulce.

2. ¬Q 5. El pastel no está dulce.
3. ¬P 6. Por lo tanto, el pastel no está hecho con azúcar.
Ejercicio 3: Razonamiento Deductivo e Inductivo

c) Ana, Juan, Pedro y Lucas son hermanos. Ana tiene hambre. Lucas tiene hambre
también. Entonces Juan también tiene hambre.

Solución:

El Razonamiento es tipo Inductivo, partiendo de la generalidad de que sus hermanos

tienen hambre, y debido a esto se asume que Juan también tiene hambre.
Ejercicio 4: Problemas de aplicación
c) Expresión simbólica: [(p ⟶ q) ∧ (∼r ⟶ s) ∧ (p v ∼r)] ⟶ (q v s)

Solución:

Premisas:

P1: p ⟶ q
P2: ∼ r ⟶ s
P3: p ∨∼ r
Conclusión: q ∨ s

c.1) Definir las proposiciones simples. Reemplazar las variables expresadas

simbólicamente y llevarlas al lenguaje natural.

p: estudio física
q: repaso matemática
r: apruebo el trimestre
s: sigo estudiando en la UNAD

Si estudio física, entonces repaso matemática. Si no apruebo el trimestre,

entonces sigo estudiando en la UNAD. Estudio física o no apruebo el trimestre.
Por lo tanto, repaso matemática o sigo estudiando en la UNAD.
c.2) Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.

Resultado: Tautología

c.3) Generar una tabla de verdad manualmente a partir del lenguaje simbólico.
Resultado: Tautología.

c.4) Demostración de la validez del argumento mediante las leyes de la

inferencia lógica.

El resultado es una Tautología, por lo tanto, se demostrará la validez del

argumento mediante las leyes de la inferencia lógica.

[(p ⟶ q) ∧ (∼r ⟶ s) ∧ (p v ∼r)] ⟶ (q v s)

Premisas Ley de la Inferencia Lógica

P1: p ⟶ q Silogismo Constructivo:
P2: ∼r ⟶ s P⟶Q
P3: p ∨ ∼r R⟶S
C: q ∨ s PvR
∴QvS
C: q v s (Silogismo Constructivo
1,2,3)
 CONCLUSION
Esta inteligencia así como todas las demás es muy importante para el desarrollo del ser
humano, la lógica se encuentra en nuestro entorno en cualquier situación que podamos
imaginar, por eso es sumamente importante, comúnmente solemos relacionarla con
nuestras materias del colegio, con lo que son las matemáticas, pero no solo se basa en
eso, si no también en los programadores de computación, los matemáticos y los
científicos que crean hipótesis y las prueban con datos experimentales. Realmente esta
inteligencia abarca mucho más de lo que solemos imaginarnos.
En general, las personas con este tipo de inteligencia entienden y disfrutan las
matemáticas, les encanta descubrir cómo funcionan las cosas, tienen estrategias
personales para resolver problemas, les gusta clasificar, pueden describir las distintas
etapas de un acontecimiento y disfrutan de las computadoras. Desde temprana edad,
dan indicios de habilidades de análisis, asociación, síntesis, deducción, comparación, etc.
 REFERENCIAS

Von Glaserfeld, E: “Cognition, construction of knowledge, and teaching”

en Synthese , 80, 121-140, 1989.
[218] Von Helmholtz, Hermann: “Axiomas geométricos”, en Newman, James R.
(edit): El mundo de las matemáticas Volumen 4, Barcelona, España: Grijalbo, 1974.
[219] Vygotsky, L. S.: “Consciousness as a problem in the psychology of behavior”
en Soviet Psychology , 17, 1979.
[220] Vygotsky, L. S.: Razvitie vysshikh psikhicheskikh funktsii , Moscú: Akad. Ped.
Nauk, 1960.
[221] Vygotsky, L.S: Mind and society: the development of higher mental
processes . Cambridge, Boston: Harvard University Press, 1978.
[222] Wahl, J.: Du rôle de l´idée de l´instant dans la philosophie de Descartes .
Paris, 1920.