1

Lógica Matemática

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

Jhon Alberto Solano Calderón

Tutor: Angelica Cabra

Universidad Nacional Abierta y a Distancia UNAD

Ingeniería de sistemas
Mogotes
2019
 2

Introducción
El siguiente trabajo esta constituido por una serie de actividades correspondientes a las
temáticas abordadas en la unidad 2 del presente curso, que constan de la realización de un
mapa conceptual donde se interpreten a fondo el contenido integrado en los razonamientos
lógicos y la posterior prueba de validez atraves de la aplicación de las leyes de inferencia que
se adecuen mejor a las características de las proposiciones, demostrando también dicha
validez por medio de la realización de las tablas de verdad y el resultado que arrojen esos
argumentos.
 3

Objetivo
Los objetivos de esta tarea constan de aprender a interpretar los razonamientos lógicos
integrados por proposiciones las cuales forman argumentos y por los cuales se busca
identificar la valides de los razonamientos aplicando una posterior prueba de validez por
medio de las tablas de verdad y las leyes de la inferencia lógica, teniendo en cuenta que, para
poder aplicar las respectivas leyes, los resultados de la tabla deben arrojar una conclusión
positiva o tautológica.
 4

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

Desarrollo de mapa conceptual, conceptos básicos de unidad 2, lógica matemática, leyes de
la inferencia lógica y razonamientos lógicos.

LOGICA MATEMATICA

UNIDAD 2

Leyes de la Inferencia Lógica Razonamientos Lógicos

Prueba Formal
de Validez

Inferencia Correcta Validez de argumentos

Leyes de Remplazo
o Equivalencia Tabla de Verdad

Modus Ponen Adición (AD)

(MP) Proposiciones
Leyes de Morgan (DM)

Simplificación (SIM)
Conmutación (CONM) Premisas Conclusión
Modus Tolens
(MT)
Conjunción (CON)
Doble Negación (DN) Clasificación de argumentos
Silogismo Dilema Constructivo (DC)
Disyuntivo (SD)
Distribución (DIS)
Tautologías Contingencia
Dilema Destructivo (DD)
Silogismo Tautología (TAU)
Hipotético (SH) Contradicciones
Absorción (ABS)
Asociación (ASO)

Implicación Material (IMP)

Transposición (TRAN)

Exportación (EXP)

Equivalencia Material (EM)

 5

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

E. Gabriela es neurocirujana o poeta. Gabriela no es poeta
Conclusión: Gabriela es neurocirujana
Ley de inferencia aplicada: Ley de inferencia MODUS TOLLENDO PONENS (TP)
(negando afirmo) y significa que dos enunciados están presentados bajo una disyunción si
niego uno de ellos afirmo el otro.
Lenguaje simbólico: P: Gabriela es neurocirujana
Q: Gabriela es poeta
P˅Q
¬Q ⇒ P
Si P es cierta por lo contrario Q no es cierta
sí una disyunción de dos proposiciones es verdadera y una de ellas es falsa, entonces la otra
proposición es verdadera
Ejercicio 3: Razonamiento Deductivo e Inductivo
E. El respeto por la libertad de los demás, sin que esta afecte mi libertad, es fundamental para
la creación de una sociedad evolucionada, ya que ese respeto implica honestidad,
comprensión y entendimiento de lo que sucede en un entorno afectado por múltiples factores
sociales. Es por esto que la educación moral, ética y académica es fundamental para que el
respeto y la libertad se den como factores de creación de sociedad.

El razonamiento es inductivo ya que va de lo particular a lo general de acuerdo al tema.

Claramente el texto evidencia las particularidades específicas que se deben tener en cuenta
para la creación de una sociedad evolucionada.
 6

Ejercicio 4: Problemas de aplicación

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

Conclusión: 𝑝 → 𝑠
P: estudio en la UNAD
q: tengo buenas calificaciones
r: entrego mis trabajos a tiempo
s: soy buen estudiante
Lenguaje natural: estudio en la UNAD entonces tengo buenas calificaciones. Si tengo buenas
calificaciones entonces entrego mis trabajos a tiempo. Sí entrego mis trabajos a tiempo
entonces soy buen estudiante entonces estudio en la UNAD entonces soy buen estudiante.
 7

Tabla de verdad simulador

8
 9

Tabla de verdad manual [(𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (𝒓 → 𝒔)] → (𝒑 → 𝒔)

p Q R S (𝒑 → 𝒒) (𝒒 → 𝒓) (𝒓 → 𝒔) [(𝒑 → 𝒒) (𝒑 → 𝒔) [(𝒑 → 𝒒)
∧ (𝒒 → 𝒓) ∧ (𝒒 → 𝒓)
∧ (𝒓 → 𝒔)] ∧ (𝒓
→ 𝒔)]
→ (𝒑
→ 𝒔)
V V V V V V V V V V
V V V F V V F F F V
V V F V V F V F V V
V V F F V F V F F V
V F V V F V V F V V
V F V F F V F F F V
V F F V F V V F V V
V F F F F V V F F V
F V V V V V V V V V
F V V F V V F F V V
F V F V V F V F V V
F V F F V F V F V V
F F V V V V V V V V
F F V F V V F F V V
F F F V V V V V V V
F F F F v V V V V V
 10

De acuerdo a la última columna la tabla de verdad es una tautología.

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑟 → 𝑠
P4: p simplificación en 1 solo se utiliza si tienes el conector conjunción “y” mira
la expresión:

P5: s modulo ponnes 2,3

La segunda premisa debe ser el mismo antecedente de la primera premisa, y la segunda que estas
relacionando tiene dos proposiciones simples unidas por el conector entonces.

P6:(𝑝 → 𝑠) adjunción 4,5

 11

Conclusión
Podemos concluir que la adecuada aplicación del razonamiento lógico y las leyes de la
inferencia lógica por medio de los ejercicios desarrollados anteriormente nos ayuda a ampliar
nuestros conocimientos sin tener que apelar a la experiencia, por lo cual así podemos
justificar o aportar razones en favor de lo que conocemos o creemos conocer, siendo así el
punto de separación entre el instinto y el pensamiento humano, llevándonos a analizar y
desarrollar un criterio propio.
 12

Referencias Bibliográficas

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito

Federal, MÉXICO: Grupo Editorial Patria. (pp. 80-84) Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=91&doc
ID=11230887&tm=1496180214861

Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria.

(pp.163-166). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&do
cID=11046000&tm=1492520104862

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

de http://hdl.handle.net/10596/6559
Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/6548

Rodríguez, H. (2017). Leyes de inferencia (Validación de argumentos). [Archivo de video].

Recuperado de http://hdl.handle.net/10596/11486