Introducción

En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa, que cada
conclusión que obtenemos se deduce de algo. Este algo o punto de partida se llama premisa.
Por ejemplo si exponemos un trozo de hielo al calor, se concluye que el hielo se derrite, o
cuando un campesino ve una densa nube en el cielo, deduce que va a llover, o también de los
estudiantes al no aprobar las notas en su mayoría, deducen que no ganarán el año. Este
proceso de pasar de un conjunto de premisas a la conclusión se llama inferencia o deducción
y en este trabajo se tratará sobre el tema basado en el uso de proposiciones, conectores lógicos
y métodos de inferencia lógica.

Objetivo

Aplicar principios de lógica proposicional para demostrar validez de un argumento y hacer

inferencias.
Ejercicio 1: Conceptualización de las reglas de inferencia.
Descripción del ejercicio:

Socializar en el Foro diseñado para el desarrollo de la actividad unidad 2, un mapa conceptual

que encierre los conceptos básicos de la presente unidad que son:

 Lógica Matemática
 Leyes de la inferencia lógica
 Razonamientos Lógicos
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.
Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

D) Leo las rúbricas detalladamente o tengo dificultades para realizar los ejercicios
correctamente. Si leo las rúbricas detalladamente entonces realizaré un buen trabajo. Si
tengo dificultades para realizar los ejercicios correctamente entonces obtendré una mala
nota.

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

 La conclusión que se identifica en el argumento.

 La ley de inferencia que se aplica para probar el argumento
 Definir la expresión del argumento en lenguaje simbólico o formal.

Solución

Conclusión: Leo la rúbrica detalladamente

Formalización:

p: Leo las rubricas de talladamente

q: Tengo dificultades para realizar los ejercicios correctamente
r: Realiza un buen trabajo
s: Obtiene una mala nota

(𝐩⋁𝐪) ∧ (𝐩 → 𝐫) ∧ (𝐪 → 𝐬)

Premisa 1 ⋁

premisa 2 →

Premisa 3 →
 p q r s ⋁ → →
V V V V V V V V V
V V V F V V F V F
V V F V V F V F F
V V F F V F F F F
V F V V V V V V V
V F V F V V F V F
V F F V V F V F F
V F F F V F F F F
F V V V V V V V V
F V V F V V V V V
F V F V V V V V V
F V F F V V V V V
F F V V F V V F F
F F V F F V V F F
F F F V F V V F F
F F F F F V V F F

Con base en la tabla de verdad el argumento es una indeterminación

Ejercicio 3: Razonamiento Deductivo e Inductivo

d) Manejar carro es una actividad que requiere estar atento, evitar distraerse con el
celular, la pantalla del vehículo o con los pasajeros. Por lo cual la atención debe estar
enfocada en la vía, los transeúntes, vehículos circundantes y los límites de velocidad,
por ende, se puede estipular que manejar vehículo es una actividad riesgosa.

R//: El razonamiento utilizado es el deductivo, ya que, a partir de hechos conocidos como la

importancia de que al manejar carro se esté atento, se deduce o entiende que el no estarlo
puede causar problemas, ya que se corren riesgos por todo lo que se puede encontrar en la
vía.

Ejercicio 4: Problemas de aplicación

d) Expresión simbólica: [( → ¬ ) ∧ (¬ → ) ∧ ( ∧ ¬ )] → ¬
Premisas:
P1: → ¬
 P2:¬ →
P3: ∧ ¬

Conclusión ¬

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico, ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

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

Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
encontrar proposiciones iguales entre estudiantes se considerara como copia y se
tomaran las medidas correctivas estipuladas por la UNAD.

 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, 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).

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Solución

Si margarita estudia Ingeniería agropecuaria entonces no estudia Sicología. Si no estudia

sicología entonces se gradúa de una carrera. Trabaja para pagar sus estudios o no estudia
ingeniería agropecuaria.
Formalización:

r: Margarita estudia ingeniería agropecuaria

q: Estudia sicología

s: Se gradúa de una carrera

p: Trabaja para pagar sus estudios

[(𝐫 → ¬𝐪) ∧ (¬𝐪 → 𝐬) ∧ (𝐩 ∧ ¬𝐬)] → ¬𝐫

r q s p ¬ ¬q ¬s
V V V V F F F F V F F F V
V V V F F F F F V F F F V
V V F V F F V F V V F F V
V V F F F F V F V F F F V
V F V V F V F V V F V F V
V F V F F V F V V F V F V
V F F V F V V V F V F F V
V F F F F V V V F F F F V
F V V V V F F V V F V F V
F V V F V F F V V F V F V
F V F V V F V V V V V V V
F V F F V F V V V F V F V
F F V V V V F V V F V F V
F F V F V V F V V F V F V
F F F V V V V V F V F F V
F F F F V V V V F F F F V

Tautología
 Conclusión

Es claro que cuando una conclusión se deduce correctamente del conjunto de premisas se
dice que la inferencia es válida, en caso contrario la inferencia no es válida. Se sabe que la
conclusión se deriva correctamente de sus premisas porque hay un conjunto de leyes lógicas
que garantizan dicha corrección. Justamente la lógica estudia el modo de usar estas leyes,
con las cuales podemos saber si una inferencia es válida o no. De ahí que, la lógica es una
ciencia que estudia los métodos y las leyes que determinan la validez de la inferencia.
Así como existe una teoría para realizar cálculos con números (la aritmética) o con objetos
más complejos como diferencial e integral, también existen reglas precisas para manejar
proposiciones. Esto último corresponde al estudio de la lógica proposicional.