Métodos para probar la validez de argumentos

Jhojan Andres Sierra Garavito

Universidad nacional abierta y a distancia

Ingeniería en sistemas
Lógica matemática
 Introducción

En este trabajo se va a elaborar y determinar los conocimientos que he

adquirido en esta segunda unidad, con respecto a las leyes de inferencia y
razonamiento e inductivos como también veremos y usaremos el apoyo
dela tabla de verdad.
 Objetivos

 Analizar cada uno delos temas a desarrollar en esta unidad 2

 Identificar cada una delas leyes de inferencia y razonamiento
deductivos
 Desarrollar los puntos propuestos siguiendo las condiciones
propuestas en la unidad para el desarrollo de dicha actividad
 Ejercicio 1: Conceptualización de las reglas de inferencia.

Unidad 2 métodos para

probar la validez de
argumentos

Lógica
Matemática
Razonamiento
Leyes de s Lógicos
la
inferencia
lógica

Es la disciplina que trata de

métodos de razonamiento.
En un nivel elemental,
la lógica proporciona reglas
y técnicas para determinar
si es o no valido un
argumento dado,
Ciertamente se usa en
forma constante el
razonamiento lógico para
realizar cualquier actividad
UN razonamiento lógico, en
Son UN esquema para definitiva, es un proceso
construir inferencias mental que implica la
válidas. Estos esquemas aplicación de la lógica. A
establecen relaciones partir de esta clase de
sintácticas entre UN razonamiento, se puede partir
conjunto de fórmulas de una o de varias premisas
llamados premisas y una para arribar a una conclusión
llamada conclusión. que puede determinarse Como
verdadera, falsa o posible.
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.

P: Si el pastel está hecho con azúcar

R: El pastel está dulce

Conclusiones: el pastel no está dulce

Ley de inferencia aplicada: modus tollendo tollens

Lenguaje simbólico: P→ R

Ejercicio 3: Razonamiento Deductivo e Inductivo

c. Todos los atletas de alto rendimiento son especialmente

cuidadosos con su alimentación. Pedro, Miguel y Tomás Han ingresado a
UN equipo profesional de fútbol que competirá por el título de la liga de su
país, por lo tanto, ellos cuidarán su alimentación.

R/: el razonamiento dela siguiente frase es inductivo ya que todos los

atletas de alto rendimientos son cuidadosos con sus alimentos y así puedan
lograr el título dela liga con la alimentación Delos atletas.
Ejercicio 4: Problemas de aplicación

c. Expresión simbólica: [(𝑞→𝑟) ∧(𝑟→𝑝) ∧(¬𝑝∧𝑠)]→(¬𝑞∧𝑠)

Premisas
P1: (𝑞→𝑟)
P2: (𝑟→𝑝)
P3: (¬𝑝∧𝑠)
Conclusión: (¬𝑞∧𝑠)

P: participo en los preicfes

Q: participo en los preuniversitarios
R: puedo obtener buenos resultados
S: en las pruebas regionales y nacionales
C: no participo en los preuniversitarios y en las pruebas regionales y
nacionales

Si participo en los preicfes entonces puedo obtener buenos resultados Y

entonces puedo obtener buenos resultados si participo en los preicfes y
entonces, no participo en los preicfes y en las pruebas regionales y
nacionales.
• Generar una tabla de verdad con el simulador Lógica UNAD a partir
Del lenguaje simbólico (El estudiante encontrará la Guía para el USO de
recursos educativos Simulador Lógica UNAD, en el Entorno de Aprendizaje
Práctico, and así Como el link de acceso al recurso).

• Generar una tabla de verdad manualmente a partir Del lenguaje

simbólico (En Word, Excel o foto Del desarrollo manual).
Resultado de la tabla de verdad: TAUTOLOGÍA

• Demostración de la validez del argumento mediante las leyes de la

inferencia lógica

Premisas
P1: (𝑞→𝑟)
P2: (𝑟→𝑝)
P3: (¬𝑝∧𝑠)
Conclusion: (¬𝑞∧𝑠)

P5:
 Conclusiones

En este trabajo adquirimos algunos conocimientos de razonamiento

deductivos y inductivos llegando al desarrollo de cada uno delos objetivos
propuestos en este trabajo.

Tan bien podemos concluir que para poder resolver las temáticas sobre el
razonamiento lo podemos demostrar con la tabla de la verdad.
 Bibliografía

 https://www.youtube.com/watch?v=3btmLPx0FnI
 https://sites.google.com/site/matediscretasatilanocarrillo/unidad-2-
logica-matematica/2-2-4-leyes-y-reglas-de-la-inferencia
