LÓGICA MATEMÁTICA

TAREA 2 – MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

PRESENTADO POR
¿?

GRUPO No.

¿?

PRESENTADO A:
¿?
TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD ESCUELA DE

CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA PROGRAMA ING. DE
SISTEMAS

INTRODUCCION
En este trabajo se contempló diferentes preposiciones donde se probó su
validez con el uso de la tabla de verdad con el simulador.
Se demuestra el uso y la aplicación del análisis y criterio de cada persona
aplicando una buena lógica matemática.

OBJETIVOS
 Conocer las diferencias entre razonamiento deductivos e
inductivos.
 Aplicar reglas inferencia en nuestra vida cotidiana.
 Aprender métodos de verdad usando como ejemplo nuestra vida
cotidiana.
 Ejercicio 1
Mapa conceptual

Lógica Matemática

LÓGICA RAZONAMIENTOS INFERENCIA LEYES DE LA

INFERENCIAL LÓGICOS LÓGICA INFERENCIA
LÓGICA

Es la capacidad
Es un proceso de  MODUS PONENDO
que posee el ser La inferencia
razonamiento PONENS (PP)
humano para lógica es un 
lógico que MODUS
encontrar proceso limitado TOLLENDO
consiste en conclusiones por del TOLLENS (TT)
derivar la verdad medio del razonamiento,  MODUS
de una entendimiento, se inferencia TOLLENDO
conclusión a puede aprender de PONENS (TP)
procesal, que
partir de la forma consciente a  DOBLE NEGACION
está basado en
verdad de una o resolver problemas (DN)
un precedente 
más premisas, y de cualquier índole REGLA DE
como SIMPLIFICACION
de acuerdo a un si se aplica la
fundamento para  (S)
conjunto de lógica. El
una conclusión  REGLA DE
reglas de razonamiento se
final. ADJUNCION (A)
deducción desglosa en
 LEY DEL
diferentes tipos, SILOGISMO
que son útiles para HIPOTETICO (HS)
la comprensión y el  LEY DE ADICION
análisis de (LA)
situaciones. La  LEY DE
persona que SIMPLIFICACION
razona tiene una DISYUNTIVA (DP)
herramienta
importante para
entrar a la
sociedad cuando
se necesite usar
argumentos en
diversos temas.
 Ejercicio 2:
Aplicación de las reglas de la inferencia Lógica.

C. El arriendo se mantiene válido o el dueño es responsable de las reparaciones. El

dueño no es responsable de las reparaciones.

Conclusión: El arriendo no se mantiene valido.

Ley de inferencia aplicada: MODUS TOLLENDO TOLLENS (TT)

Lenguaje simbólico: p∨q

¬q
¬p

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:

 La conclusión que se identifica en el argumento: para que el arriendo sea válido el

dueño tiene que ser responsable con las reparaciones.

 La ley de inferencia que se aplica para probar el argumento: MODUS TOLLENDO

TOLLENS (TT), ya que esta regla de inferencia establece que si una primera
afirmación implica una segunda afirmación; y la segunda afirmación no es verdadera;
se puede inferir que la primera no puede ser verdadera

 Definir la expresión del argumento en lenguaje simbólico o formal:

p ∨ q: El arriendo se mantiene válido o el dueño es responsable de las
reparaciones.
¬q: El dueño no es responsable de las reparaciones.
¬p: El arriendo no se mantiene valida.

p∨q (premisa 1)
¬q (premisa 2)
¬p (Conclusión)
 Ejercicio 3:
Razonamiento Deductivo e Inductivo

C. En el mundial de Brasil en el año 2014, la selección colombiana mostró un buen desempeño. Jugó contra la
selección de Grecia, Costa de Marfil, Japón, Uruguay y Brasil, de los cuales, ganó 4 encuentros y perdió uno
en cuartos de finales. Por lo tanto, si este año, en el mundial de Rusia 2018, Colombia juega con la misma línea
de jugadores y contra los mismos equipos, les ganará nuevamente

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes
ítems:

 Identificar si el razonamiento es deductivo o inductivo: El razonamiento utilizado

es inductivo

 Argumentar la respuesta con sus propias palabras: El pensamiento es inductivo

porque se está tomando ejemplos los cuales pueden variar en cada campeonato
por múltiples circunstancias como los jugadores, clima, cancha entre otros. Por
consiguiente, los resultados podrían ser distintos.

Ejercicio 4:
Problemas de aplicación

Expresión simbólica:
{[𝒑 → (𝒒 ∨ 𝒓)] ∧ (𝒔 →∼ 𝒒) ∧ (𝒕 →∼ 𝒓) ∧ (𝒑 ∧ 𝒕)} → 𝒒
Premisas
P1: 𝒑 → (𝒒 ∨ 𝒓)
P2: 𝒔 →∼ 𝒒
P3: 𝒕 →∼ 𝒓
P4: 𝒑 ∧ 𝒕
Conclusión: q
 CONCLUSIONES

Con la lógica matemáticas podemos solucionar problemas y no necesariamente se

tiene que usar números si no que a través de pensamientos lógicos.
Con el uso y aplicación de la lógica matemáticas en nuestra vida cotidiana vamos
desarrollando cualidades de análisis
 REFERENCIAS BIBLIOGRAFICAS

 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)
 Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]
 Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]