UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LÓGICA MATEMÁTICA

Unidad 2

Perlides Martínez Bohorquez

Código curso: 90004

Escuela de Ciencias Administrativas Contables, Económicas y de Negocios (ECACEN)

Administración de empresas

Cartagena de Indias, D.T. y C.

2020
 INTRODUCCIÓN

El razonamiento lógico es por definición un conjunto de juicios que mantienen entre sí

relaciones lógicas de tal forma que, partiendo de algunos juicios a los que llamamos premisas se

pueden obtener juicios a los que denominamos conclusión, la cual, deberá tener validez de

acuerdo al proceso por el que fue obtenida [ CITATION Muñ17 \l 9226 ]. Es decir, a partir de esas

proposiciones podemos hacer inferencias que nos permitan adquirir nueva información

[ CITATION Pér13 \l 9226 ], empleado las reglas de inferencia, tablas de verdad, identificando

premisas, argumentos y todos los elementos que permiten hacer una construcción válida de

inferencias.

El desarrollo de esta actividad precisamente busca que se pueda alcanzar a interpretar y dar

soluciones a problemas contextualizados, aplicando los conceptos y principios propios de la

lógica matemática, las leyes de inferencia lógica y los razonamientos lógicos. En ese sentido se

desarrollaron 3 tipos de ejercicios donde se involucran y se detallan estos temas mencionados,

es importante aclarar que los ejercicios desarrollados corresponden al ítem “d” de la actividad

propuesta.
 OBJETIVOS

Objetivo general:

Identificar las reglas de inferencia y razonamientos deductivos e inductivos, para probar la

validez de argumentos en situaciones problémicas.

Objetivos específicos:

 Aplicar las reglas de inferencia lógica para desarrollar argumentos válidos.

 Diferenciar los tipos de razonamiento, inductivo y deductivo, a través de ejercicios

prácticos.

 Determinar tautologías, contingencias o contradicciones, mediante de las tablas de

verdad.

 Aplicar y entender la herramienta Simulador UNAD, para obtener tablas de verdad.

 TAREA 2

Ejercicio 1: Conceptualización de las reglas de inferencia.

Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

d. Si invierto en el mercado de valores o bajan los impuestos. Si invierto en el mercado de

valores, entonces me hare rico. Si bajan los impuestos, entonces seré feliz.

Desarrollo

 Lenguaje simbólico:
 p = invierto en el mercado de valores

q = bajan los impuestos

r = me haré rico

s = seré feliz

P1: p ∨q

P2: p ⟹r

P3: q⟹ s

Q1: r∨s

Condicional: [ ( p ∨q ) ∨ ( p ⟹ r ) ∨ ( q ⟹ s ) ] ⇒ r ∨ s

 Conclusión: Me haré rico o seré feliz.

 Ley de inferencia aplicada: Silogismo disyuntivo (SD)

Ejercicio 3: Razonamiento Deductivo e Inductivo

d. Argumento: El lunes, martes y miércoles fueron días soleados. Por tanto, el día jueves estará

soleado.

Desarrollo

El método de razonamiento utilizado es Inductivo, ya que, a partir de la observación de casos

particulares de hechos o fenómenos, es decir, que fuesen tres días seguidos de sol, se permite

concluir que el cuarto día también será soleado, afirmación que puede ser probable (que se

cumpla o no). En conclusión, a partir del caso particular de los días anteriores se generaliza o

predice el clima del día siguiente, característica de este tipo de razonamiento.

Ejercicio 4: Problemas de aplicación

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 4:

d. Expresión simbólica:

{[ ( p ∧q ) ⟹ r ] ∧ ( q ) ∧ ( p ) }⇒ r
Determinación de premisas

P1: (𝑝∧𝑞) → 𝑟

P2: 𝑞

P3: 𝑝

Conclusión: 𝑟

Desarrollo

 Proposiciones simples:

p = Realizo las tareas

q = Soy atenta en las clases

r = apruebo la asignatura

 Razonamiento en lenguaje natural

Si realizo las tareas y soy atenta en las clases, entonces apruebo la asignatura. Soy

atenta en las clases. Realizo las tareas. Por lo tanto, apruebo la asignatura.

 Tabla de verdad manual

 p q r (𝑝∧𝑞) (𝑝∧𝑞)→𝑟 [(𝑝∧𝑞)→𝑟 ] ∧ (𝑞) ∧ (p) {[(𝑝∧𝑞)→𝑟]∧(𝑞)∧(𝑝)}→𝑟
v v v v v v v
v v f v f f v
v f v f v f v
v f f f v f v
f v v f v f v
f v f f v f v
f f v f v f v
f f f f v f v

Resultado obtenido con la tabla de la verdad: TAUTOLOGÍA.

 Tabla de verdad con el simulador Lógica UNAD

Argumento:

Tabla:

Se comprobó la tabla de verdad realizada de manera manual en Excel coincide con el

simulador de lógica de la UNAD, corroborando que el argumento es una

TAUTOLOGÍA.
 Leyes de inferencia

Determinación de premisas

P1: (𝑝∧𝑞) → 𝑟

P2: 𝑞

P3: 𝑝

Conclusión: 𝑟

P4: (𝑝∧𝑞) Aplicando Conjunción (CON) en P2 y P3.

P5: 𝑟 Aplicando el Modus Ponendo Ponens (MPP) en P1 y P4.

 CONCLUSIÓN

A través de este la realización de esta actividad se pudo aplicar las diversas reglas de inferencia

y razonamientos deductivos e inductivos, para probar la validez de argumentos en las tres

situaciones problémicas desarrolladas.

Se aclararon los conceptos y fundamentos requeridos para establecer e identificar preposiciones

simples o compuestas, los conectores lógicos y como determinar la veracidad o falsedad al

momento de enunciar una proposición. Esto, tanto en el lenguaje natural como en expresiones

simbólicas.

Esta actividad también permitió afianzar el manejo de las tablas de verdad, manuales y con el

simulador UNAD, para la determinación de tautologías, contingencias y contradicciones.

Por tanto, se pudo realizar problemas contextualizados aplicando los procesos aprendidos en

los diversos teoremas de inferencia y reglas de lógica matemática, para así adquirir o inferir

nuevos conocimientos, identificando el método de razonamiento, ya sea deductivo o inductivo.

 BIBLIOGRAFÍA

Arredondo, C. J. (2015 ). Lógica: temas básicos. Distrito Federal, México: Grupo Editorial

Patria. Recuperado el 10 de Junio de 2020

Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]. (UNAD, Ed.) Recuperado el

12 de Junio de 2020

Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]. (UNAD, Ed.)

Recuperado el 13 de Junio de 2020

Muñoz Gutiérrez, C. (18 de Noviembre de 2017). Universidad Complutense de Madrid.

Recuperado el 10 de Junio de 2020, de https://webs.ucm.es/info/pslogica/cdn.pdf

Pérez Águila, R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. El

Cid Editor. Recuperado el 10 de Junio de 2020, de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/detail.action?docID=3213116

[ CITATION Arr15 \l 9226 ]

[ CITATION Gut16 \l 9226 ]

[ CITATION Cas16 \l 9226 ]

 ANEXOS

Anexo 1: Tablas de verdad utilizadas en el ejercicio 4.

NEGACIÓN
p (-p)
V F
F V

CONJUNCIÓN "Y" DISYUNCIÓN "O"

p q p^q p q pvq
V V V V V V
V F F V F V
F V F F V V
F F F F F F

CONDICIONAL "SI ___, BI CONDICIONAL "SI Y

ENTONCES" SOLO SI ___, ENTONCES"
p q p→q p q p↔q
V V V V V V
V F F V F F
F V V F V F
F F V F F V