LOGICA MATEMATICA - (90004A_612)

PRESENTADO:
JUAN DAVID CANON

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

(UNAD)

CALI VALLE 2019

 Introducción

El siguiente trabajo se enfoca a la realización de puntos importantes de la matemática

como son el razonamiento lógico las leyes para el lenguaje simbólico y lógica
matemática para la realización de problemas utilizando verdadera o falso en una
proporción u oración.

Objetivos
General
Se investiga varios puntos como la realización de un mapa mental, para llevar a cabo la
resolución de los problemas encontrados en esta unidad se aplica la tabla de verdad de
la UNAD,

Específico
- Aplicar el razonamiento lógico leyes de inferencia matemática y lógica.
- Utilización de la tabla de verdad.
- Expresiones simbólicas.
Ejercicio 2
a.
Descripción del ejercicio: A continuación, encontrará los argumentos para el desarrollo
del ejercicio 2:
a. Si trabajo entonces tendré dinero. No tengo dinero.
Conclusión: No trabajo
Ley de inferencia aplicada: Ley de inferencia MODUS TOLLENDO TELLENS (TT)
(que significa negando niego)

Lenguaje simbólico q¬q⇒¬p

Ejercicio 3

a.
Hace un tiempo, Juan, Miguel y Alejandro que son amigos, le prestaron dinero a José, él
no les pagó; ahora nuevamente José le pide a Miguel que le haga un préstamo,
inmediatamente Miguel asume que no le va a pagar ese dinero.
Argumentación: El razonamiento utilizado es el inductivo.
• Argumentar la respuesta con sus propias palabras.
Miguel asume que José no va a pagar el préstamo, partió de premisas particulares como
fue que anteriormente no pago.
Ejercicio 4: Problemas de aplicación
p: ir en carro
q: aumentar la velocidad caminando
r: llegar temprano a la Universidad
s: pierdo el examen

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural

Premisas:
P1: r→¬q
: Llegar temprano a la Universidad entonces no aumentar la velocidad caminando

P2: p∨s
: Voy en carro o pierdo el examen

P3: q∧p: Aumento la velocidad caminando y voy en carro

Conclusión: r llegar temprano a la Universidad

Generar Tabla de la Verdad.
[(r→¬q)∧(p∨ s)∧(q∧ p)]→¬r
Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).

Definir si el argumento es: Tautología, Contingencia o contradicción

Respuesta: El argumento es Tautología.
 Conclusiones

Para la realización de la actividad se dio paso a un conocimiento previo de

investigación, se aplico tablas de verdad se definieron argumentos matemáticos,
Se aprendió remplazar el lenguaje simbólico al lenguaje natural.
Referencias bibliográficas.

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse - Grupo

Editorial Patria. (pp. 29-38)

Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp. 163-166)

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba,
AR: El Cid Editor. (pp. 40-49)

wikipedia

https://es.wikipedia.org/wiki/Razonamiento

https://es.wikipedia.org/wiki/Reglas_de_inferencia

https://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica