Universidad Nacional Abierta y a Distancia (UNAD)

Wendy Johana Castro Yepes

Grupo:

Tutor:

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

 1. PROPOSICIONES Y TABLAS DE VERDAD

Ejercicio:
Descripción del ejercicio:

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

A. p: La marihuana es legal en Colombia

q: En Colombia disminuye el microtráfico
r: En Colombia disminuye el delito de hurto

Lenguaje Simbólico
𝒑→(𝒒∧𝒓)

 Proposición compuesta propuesta en lenguaje natural:

- En Colombia disminuye el microtráfico y en Colombia disminuye el delito de hurto
(𝒒∧𝒓)
- La marihuana en legal en Colombia entonces disminuye el microtráfico y disminuye
el delito de hurto 𝒑→(𝒒∧𝒓)

 Tabla de verdad

Proposiciones simples del ejercicio A:

p: La marihuana es legal en Colombia

q: En Colombia disminuye el microtráfico
r: En Colombia disminuye el delito de hurto

𝒑→(𝒒∧𝒓)

𝒑 𝒒 𝒓 (𝒒∧𝒓) 𝒑→(𝒒∧𝒓)
V V V V V
V V F F F
V F V F F
V F F F F
F V V V V
F V F F V
F F V F V
F F F F V
 El resultado: es una contingencia porque el resultado contiene proposiciones
verdaderas y falsas.

 Tabla de verdad a través del simulador:

 vídeo en Youtube:
 2. IDENTIFICACIÓN DE LAS REGLAS DE LA INFERENCIA LÓGICA

Ejercicio:
Descripción del ejercicio:

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas

leyes de inferencia.

A.

 Expresión simbólica:

1. p→q 2. r 3. p ∨ ¬q
p s q
q r∧s p

 Ley de inferencia que representa cada expresión simbólica.

1. La ley de inferencia que representa el ejercicio 1 es: Modus Ponendo Ponens (MMP)
2. La ley de inferencia que representa el ejercicio 2 es: Conjunción
3. La ley de inferencia que representa el ejercicio 3 es: Modus Tollendo Pones (MTP)

 Definición proposiciones simples:

p: Paulina enseña ingles

q: Paulina es profesora de idiomas
r: Paulina enseña francés
s: Paulina enseña alemán

 Construcción el lenguaje natural de cada ley de Inferencia expresada en

lenguaje simbólico:

1) P1: Paulina enseña inglés entonces ella es profesora de idiomas.

P2: Paulina enseña ingles
Conclusión: Paulina es profesora de idiomas

2) P1: Paulina enseña francés

P2: Paulina enseña alemán
Conclusión: Paulina enseña francés y enseña alemán.
3) P1: Paulina enseña inglés o no es profesora de idiomas.
P2: Paulina es profesora de idiomas
Conclusión: Paulina enseña ingles
 3.APLICACIÓN DE LAS REGLAS DE LA INFERENCIA LÓGICA

Ejercicio:
Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:

A. Si la suma es 4+3 entonces, es igual a la suma de 6+1. Si la suma es 6+1

entonces es igual a la suma 5+2.

a. Conclusión: Q: P → R

b. Ley de inferencia aplicada: Silogismo Hipotético

c. Lenguaje simbólico:

p: Si la suma es 4+3
q: Es igual a la suma de 6+1
r: Es igual a la suma de 5+2

P1: P → R
P2: Q→ R
Q: P → R
 4. PROBLEMAS DE APLICACIÓN

Ejercicio:
Descripción del ejercicio:
  Tabla de verdad

Expresión simbólica, premisas y conclusión de argumento para el desarrollo del ejercicio A:

Expresión simbólica: {(𝑝∨ 𝑞)∧(𝑝→𝑟)∧(¬𝑟∧¬𝑞)}→(𝑝∧𝑟)

Premisas:
P1: 𝑝∨ 𝑞
P2: 𝑝→𝑟
¬𝑟∧¬
P3: 𝑞

Conclusion: 𝑝∧ 𝑟

¬ (¬𝑟∧¬𝑞 (𝑝∧𝑟
𝑝 𝑞 𝑟 ¬𝑞 (𝑝∨ 𝑞) (𝑝→𝑟) (𝑝∨ 𝑞)∧(𝑝→𝑟) (𝑝∨ 𝑞)∧(𝑝→𝑟)∧(¬𝑟∧¬𝑞) {(𝑝∨ 𝑞)∧(𝑝→𝑟)∧(¬𝑟∧¬𝑞)}→(𝑝∧𝑟)
𝑟 ) )
V V V F F V V V F F V V
V V F V F V F F F F F V
V F V F V V V V F F V V
V F F V V V F F V F F V
F V V F F V V V F F F V
F V F V F V V V F F F V
F F V F V F V F F F F V
F F F V V F V F V F F V
  Tabla de verdad a través del simulador:

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

inferencia lógica:

Premisas:
P1: 𝑝∨ 𝑞
P2: 𝑝→𝑟
P3: ¬𝑟∧¬𝑞
Conclusión: 𝑝∧𝑟

 𝑝∨𝑞 Modus Tollendo Ponens (TP)

¬𝑞
𝑝

 𝑝→𝑟 Modus Ponendo Ponens

𝑝
𝑟

 𝑝 Conjunción
𝑟
 𝑝∧ 𝑟
REFERENCIAS BIBLIOGRAFICAS:

Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad Peruana
de Ciencias Aplicadas (UPC). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

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

Córdoba, AR: El Cid Editor. (pp. 40-49). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

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

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). 

México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30

Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado

de http://hdl.handle.net/10596/13871  

Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado

de http://hdl.handle.net/10596/13869