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

David Fernando Morales Narváez

Código 1114828879

3148402261

Grupo: 200611_309

Aaarom Marcell Llanos Andrade

Tutor

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios

ECACEN

Programa de Negocios Internacionales

Palmira, noviembre 2022

 1

Introducción

El pensamiento lógico matemático ayuda a analizar diferentes situaciones en términos

tanto matemáticos como teóricos, donde se aprende a interpretar de manera

significativa la validez de argumentos por medio de proposiciones y reglas de

inferencia, para el desarrollo de estos ejercicios se conocieron conceptos básicos como

lo que son proposiciones o lenguaje simbólico, se encontraran el desarrollo de tablas

de verdad para llegar a la conclusión mediante leyes de inferencia.

 2

Objetivos

Objetivo General

 Aplicar las tablas de verdad y reglas de inferencia para probar la validez de

argumentos

Objetivos Específicos

 Analizar proposiciones simples y compuestas mediante un lenguaje simbólico

 Aprender a desarrollar tablas de verdad

 Comprender las leyes de inferencia

 Demostrar validez de argumentos mediante leyes de inferencia

 3

Desarrollo de ejercicios

Ejercicio 1:

Letra elegida: B

p: La educación virtual guarda cierta vinculación con la educación presencial

r: Ambos tipos de educación tienen un propósito en común

s: Lograr el aprendizaje significativo en cada uno de sus participantes.

(𝑝 → r) ⟷ s

 Proposición en lenguaje natural:

Si la educación virtual guarda cierta vinculación con la educación presencial entonces

ambos tipos de educación tienen un propósito en común, si y solo si logran el

aprendizaje significativo en cada uno de sus participantes.

 Tabla de verdad manualmente:

p r s 𝑝→r (𝑝 → r) ⟷ s

V V V V V

V V F V F

V F V F F

V F F F V

F V V V V

F V F V F
 4

F F V V V

F F F V F

Teniendo en cuenta que los valores de mi tabla son verdaderos y falsos se determina

que es una Contingencia.

 Tabla de verdad a través del simulador Lógica UNAD:

Enlace de la explicación del ejercicio: https://www.youtube.com/watch?v=beVCfhBthM4

Ejercicio 2.

Expresion simbolica: Letra B.

 5

Expresión 1.

 Ley de inferencia de la expresión Modus Tollendo Ponens (MTP)

 Proposiciones simples:

r: Pablo asistió a los B-learning que da la UNAD

s: Pablo entendió más fácil

 Si Pablo no asistió a los B-learning que da la UNAD o Pablo entendió más fácil.

Por lo tanto, Pablo entendió más fácil.

Expresión 2.

 Ley de inferencia de la expresión Silogismo Hipotético (SH)

 Proposiciones simples:

p: Pablo asistió a los B-learning que da la UNAD

q: Pablo entendió más fácil

r: Pablo aprobó el examen

 Si Pablo asistió a los B-learning que da la UNAD entonces Pablo entendió más

fácil. Si Pablo entendió más fácil entonces Pablo aprobó el examen. Por lo
 6

tanto, si Pablo asistió a los B-learning que da la UNAD entonces Pablo aprobó

el examen.

Expresión 3.

 Ley de inferencia de la expresión Ley de conjunción

 Proposiciones simples:

r: Pablo se matriculo en Fundamentos de la economía

s: Paula aprobó Ingles

 Pablo se matriculo en Fundamentos de la economía y Paula aprobó Ingles.

Ejercicio 3.

Letra B: Si un administrador público utiliza la lógica matemática para emitir un juicio

sobre alguna dificultad entonces es capaz de dar solución a cada problemática

presente en una entidad. Si un administrador público es capaz de dar solución a cada

problemática presente en una entidad, entonces, durante su mandato realizará buenas

gestiones encaminadas al desarrollo de cada región.

a. Lenguaje simbólico:

p: Un administrador público utiliza la lógica matemática para emitir un juicio sobre

alguna dificultad
 7

q: Un administrador público es capaz de dar solución a cada problemática presente en

una entidad

r: durante su mandato realizará buenas gestiones encaminadas al desarrollo de cada

región

p→q

q→r

⸫p→r

b. Ley de inferencia aplicada: Silogismo Hipotético

c. Conclusión: Si un administrador publico utiliza la lógica matemática para emitir

un juicio sobre alguna dificultad, entonces durante su mandato realizará buenas

gestiones encaminadas al desarrollo de cada región.

Ejercicio 4.

Letra B:

Expresión simbólica: [ (∼q∧∼r)∧(∼r→q)∧(p→q) ]→(∼p∧q)

Premisas:

P1: ∼q∧∼r

P2: ∼r→q

P3: p→q
 8

Conclusión: ∼p∧q

 Proposiciones simples:

p: Pedro es docente en la UNAD

q: Pedro enseña Matemáticas

r: enseña de manera sencilla

 Lenguaje natural:

Pedro no enseña matemáticas o Pedro no enseña de manera sencilla. Si no enseña de

manera sencilla entonces Pedro no enseña matemáticas. Si Pedro es docente en la

UNAD, entonces Pedro enseña matemáticas. Por lo tanto, Pedro no es docente de la

UNAD o Pedro enseña matemáticas.

 Tabla de verdad manual:

¬q ¬r p ¬p
¬ ¬ ¬ ꓥ → → ꓥ (¬q ꓥ ¬r) ꓥ [(¬q ꓥ ¬r) ꓥ (¬r → [(¬q ꓥ ¬r) ꓥ (¬r → q) ꓥ (p →
p q r p q r ¬r q q q (¬r → q) q) ꓥ (p → q)] q)] → (¬p ꓥ q)
V V V F F F F V V F F F V
V V F F F V F V V F F F V
V F V F V F F V F F F F V
V F F F V V V F F F F F V
F V V V F F F V V V F F V
F V F V F V F V V V F F V
F F V V V F F V V F F F V
F F F V V V V F V F F F V
 9

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

Inferencia:

P1: ∼q∧∼r

P2: ∼r→q

P3: p→q

Conclusión: ∼p∧q

P4: ∼q (Simplificación) P1

P5: ∼r (Simplificación) P1

P6: ∼p (Tollendo Tollens) P3yP4

P7: q (Ponendo Ponens) P2yP5

P8: ∼p∧q (Adjunción) P6yP7

 10

Conclusión

Mediante el desarrollo de esta actividad se aprendió a ejecutar de manera

correcta tablas de verdad para demostrar la validez de argumentos, donde analizamos

de manera simbólica diferentes expresiones en lenguaje natural, esto ayudando a

comprender de mejor manera un concepto lógico y matemático, aprendiendo las leyes

de inferencia para llegar a la conclusión en un lenguaje simbólico y por consiguiente

ayudará a entender argumentos no solamente en un lenguaje natural.

 11

Bibliografía

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,

complementos. (pp. 19-28). Editorial Tébar Flores https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

 Castaño, C. (2019). OVA. Leyes de la inferencia. Repositorio Institucional

UNAD. https://repository.unad.edu.co/handle/10596/31590

 Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). OVA. Lógica

Proposicional. Repositorio Institucional UNAD.

https://repository.unad.edu.co/handle/10596/37836