Tarea 2- Métodos para probar la validez de argumentos

Rosangelica Muñoz Durán

Mayo 2020.

Universidad Nacional Abierta y a Distancia-UNAD.

La Guajira.
Lógica Matemática.
 Introducción

Los métodos utilizados en la Lógica Matemática para demostrar validez de

argumentos, son las reglas de inferencia y razonamientos deductivos e inductivos, para

conocer la procedencia del resultado se realizan ejercicios como: proposiciones simples y

compuestas, tablas de verdad, métodos de demostración, razonamientos lógicos,

inferencia lógica y argumentos lógicos, lo cual nos ayuda a comprender la validez de

dicho argumento en expresiones simbólicas y naturales.

De modo que, en esta actividad se colocará en práctica dichos ejercicios,

resolviendo específicamente los del literal (A) de la guía presentada. Además, se utilizará

el simulador Lógica Unad; recursos suministrado por el entorno de aprendizaje práctico,

como también la ayuda del programa Cmaptools para la ejecución del mapa conceptual.
 Objetivos

 Comprender los conceptos básicos de lógica Matemática, leyes de la

inferencia lógica, razonamientos lógicos.

 Identificar las leyes de inferencia.

 Determinar en los argumentos, conclusión y ley de inferencia que se debe

aplicar.

 Reconocer cuando un razonamiento es deductivo o inductivo.

 Definir las premisas y preposiciones simples a través de una expresión

simbólica.
 Desarrollo de la Actividad

Ejercicio 2

a. Si no me despierto, entonces no voy a ir a trabajar. Si no voy a trabajar, entonces

no me pagan mi sueldo.

~p: si no me despierto

~q: no voy a trabajar

~r: no me pagan mi sueldo

Premisa 1: Si no me despierto, entonces no voy a ir a trabajar.

Premisa 2: Si no voy a trabajar, entonces no me pagan mi sueldo.

Conclusión: Si no me despierto, entonces no me pagan mi sueldo.

Ley de inferencia aplicada: Silogismo hipotético

Lenguaje simbólico:

∼ p→ q

q→ r

p→ r