Métodos para probar la validez de argumentos

Karen Lorena Moreno Guarín

I.D. 1006865901

Grupo 200611_917

Tutor Alberto Alain Cabrales

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias básicas, Tecnología e Ingeniería

Pensamiento Lógico y Matemático

Ingeniería de Alimentos

Villavicencio – Meta

2021
 Introducción

En el presente trabajo se desarrollan las actividades correspondientes a los ejercicios “B”

de la Unidad 1 – Tarea 1. Métodos para probar la validez de argumentos.

 Objetivos

General

Reconocer y aplicar los diferentes métodos para comprobar la validez de argumentos.

Específicos

 Identificar los conectivos lógicos.

 Reconocer el lenguaje simbólico de la lógica proposicional.

 Aplicar correctamente las leyes de las tablas de verdad de los conectivos lógicos.

 Identificar y aplicar las leyes de inferencia lógica.

 Ejercicio 1. Proposiciones y tablas de verdad

Proposiciones simples

p: El robot Perseverance aterriza en el planeta rojo (Marte)

q: El robot obtiene muestras de roca

r: Su misión es la búsqueda de signos de vida microbiana

Lenguaje simbólico

[(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

Lenguaje Natural
Si el robot Perseverance aterriza en el planeta rojo (Marte), y el robot obtiene

muestras de roca, y si el robot Perseverance aterriza en el planeta rojo (Marte)

entonces, su misión es la búsqueda de signos de vida microbiana, por lo tanto, su

misión es la búsqueda de signos de vida microbiana y el robot obtiene muestras de

roca.

Tabla manual

2n = 2 n3 = 8

r˄q (𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓) [(𝒑 ∧ 𝒒) ∧ (𝒑 →𝒓)] ⟶

� 𝒒 � p˄q 𝒑→ (𝒓 ∧ 𝒒)
� � r

V V V V V V V V
V V F V F F F V
V F V F V F F V
V F F F F F F V
F V V F V V F V
F V F F V F F V
F F V F V F F V
F F F F V F F V

Se clasifica como: Tautología.

Tabla de verdad Simulador UNAD

Enlace del vídeo explicativo

 Ejercicio 2. Identificación de las reglas de la inferencia lógica.

Expresión simbólica

1 2 3

Ley de inferencia de la expresión:

1. Silogismo hipotético
2. Conjunción
3. Modus Tollendo Tollens

Proposiciones simples:

1. p: Didier estudia el curso de programación.

q: Él está estudiando ingeniería industrial
r: Él aprobará el curso de programación.

2. a: Karen presenta oportunamente los

trabajos de la universidad.
b: Karen aprobará el semestre en la UNAD.

3. m: Néstor es estudiante de la UNAD.

n: Néstor estudia ingeniería de alimentos.

Lenguaje Natural:
1. Si Didier estudia el curso de programación entonces, él está estudiando ingeniería

industrial. Si él está estudiando ingeniería industrial entonces, el aprobará el curso de

programación. Por lo tanto, si Didier estudia el curso de programación, entonces, él

aprobará el curso de programación.

2. Karen presenta oportunamente los trabajos de la universidad. Karen aprobará el semestre

en la UNAD. Por lo tanto, Karen presenta oportunamente los trabajos de la universidad y

ella aprobará el semestre en la UNAD.

3. Si Néstor es estudiante de la UNAD entonces él estudia ingeniería de alimentos. Néstor no

estudia ingeniería de alimentos. Por lo tanto, él no es estudiante de la UNAD.

 Ejercicio 3. Aplicación de las reglas de inferencia lógica.

Argumento: Si Colombia es un país megadiverso entonces Colombia presenta un gran

número de ecosistemas. Colombia no presenta un gran número de ecosistemas.

a. Conclusión: Colombia presenta un gran número de ecosistemas.

b. Ley de inferencia aplicada: Modus Tollendo Tollens (MTT)

c. Lenguaje simbólico: s→t

s
~t

(s → t) → ~t
 Ejercicio 4. Problemas de aplicación

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

Premisas:

P1: (𝑝 ∧ 𝒓)

P2: (𝒒 ∨ ¬𝒓)

P3: (𝑝 → 𝑞)

Conclusión: q

Proposiciones simples:

p: Susana estudia ingeniería de alimentos en la UNAD.

q: Susana está cursando el primer semestre del pregrado.

r: Susana aprueba el curso de pensamiento lógico y matemático.

Lenguaje Natural:

Susana estudia ingeniería de alimentos en la UNAD y aprueba el curso de pensamiento lógico

matemático, y, Susana está cursando el primer semestre del pregrado o ella no aprueba el

curso de pensamiento lógico y matemático, y si Susana estudia ingeniería de alimentos en la

UNAD, entonces, ella está cursando el primer semestre del pregrado, por lo tanto, ella está

cursando el primer semestre del pregrado.

 Tabla de verdad manual

p q r ¬𝒓 𝑝∧ 𝒒 ∨¬𝒓 𝑝 [(𝑝 ∧ 𝑟) ∧ (𝑞 ∨ →
𝒓 → (𝑝 ∧ 𝑟) ∧ (𝑞 ¬𝑟) ∧ (𝑝 → 𝑞)] (𝑞)
𝑞 ∨¬𝑟)

V V V F V V V V V V
V V F V F V V F F V
V F V F V F F F F V
V F F V F V F F F V
F V V F F V V F F V
F V F V F V V F F V
F F V F F F V F F V
F F F V F V V F F V

Tabla de verdad Simulador UNAD

Demostración de la validez del argumento mediante las Leyes de

Inferencia:

P1: (𝑝 ∧ 𝒓)

P2: (𝒒 ∨ ¬𝒓)

P3: (𝑝 → 𝑞)

Conclusión: q
P4: p Simplificación de P1

P5: q Ponendo Ponens P3 y P4

Conclusiones
En conclusión, con el desarrollo de los ejercicios de la unidad 1, se logró probar la

validez de diferentes argumentos, reconociendo la forma de expresar un argumento

mediante el lenguaje natural y el lenguaje simbólico, y haciendo uso de los conectivos

lógicos (Disyunción, conjunción, condicional, y bicondicional), así mismo, se

comprendió y aplicó correctamente las tablas de verdad, y se identificaron y aplicaron las

leyes de inferencia lógica.

Referencias bibliográficas
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de
álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España:
Editorial Tébar Flores. Recuperado
de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20