CORPORACIÓN UNIVERSITARIA IBEROAMERICANA

TALLER DE AFIANZAMIENTO Nº 2
MÉTODOS DE DEMOSTRACIÓN
CURSO DE LÓGICA MATEMÁTICA

Competencia general: Ejercer con creatividad la disciplina en procura de los procesos de

pensamiento y de las competencias matemáticas en niños y jóvenes, posibilitando con ello, la
formación de ciudadanos críticos y reflexivos frente al conocimiento y sus usos.

Unidad de competencia: Analizar e interpretar relaciones del pensamiento lógico que permita
construir en el estudiante razonamientos deductivos e inductivos para dar soluciones a diferentes
tipos de problemas.

Resultado de aprendizaje específico: Identificar el método de demostración adecuado para la

validez de un argumento teniendo en cuenta sus variables lógicas.

Estimado estudiante recuerde:

1. Esta actividad es de carácter individual.

2. Desarrollar cada punto del taller de afianzamiento en un procesador de textos. Si por el
contrario considera usted que puede realizarlo “a mano” con letra clara y sin tachones, es
permitido realizarlo.
3. Si decidió realizar el taller directamente en un procesador de textos, guardar el documento
en formato PDF y enviarlo a través de la plataforma en las fechas establecidas por su tutor.
4. Si decidió realizarlo “a mano” con letra legible y sin tachones, tomar una imagen clara y
precisa de cada página donde realizó el taller de forma organizada, estas imágenes copiarlas
en un procesador de texto, convertirlo en formato PDF, guardarlo y enviarlo a través de la
plataforma en las fechas establecidas por su tutor.
5. Revisar la retroalimentación que se generará al finalizar la revisión del ejercicio por parte del
tutor de su curso.

PROBLEMAS PROPUESTOS.
1. Traducir y verificar la validez de los siguientes argumentos por tablas de verdad.

a. Si el proveedor surte las semillas, entonces si las semillas se siembran a tiempo,

entonces las plantas nacen en agosto. Las plantas nacen en agosto. Por tanto, si el
proveedor surte las semillas, entonces las semillas se siembran a tiempo.
b. Si el proveedor surte las semillas, entonces si las semillas se siembran a tiempo,
entonces las plantas nacen en agosto. Las semillas se siembran a tiempo. Por tanto,
si el proveedor surte las semillas, entonces las semillas se siembran a tiempo.
Luego, si las plantas no nacen en agosto, entonces el proveedor no surtió las
semillas.

2. Verificar la validez de los siguientes argumentos por tablas de verdad.

a. 1. (𝑎 ⟹ 𝑏) ∧ (𝑏 ⟹ 𝑐)
2. 𝑏 ∨ 𝑐
∴∼ 𝑎

b. 1. 𝑎 ⟹ (𝑏 ∨ 𝑐)
 2. 𝑎 ∨ 𝑐
∴∼ 𝑏

c. 1. 𝑎 ⟹ (𝑏 ⟹ 𝑐)
2. ∼ 𝑏
∴𝑎∨𝑐

d. 1. 𝑎 ⟹ (∼ 𝑏 ∧ 𝑐)
2. ∼ 𝑐 ∨ 𝑎
∴𝑏∧𝑎

e. 1. 𝑎 ⟹ (𝑏 ⇔ 𝑐)
2. 𝑐 ⟹∼ 𝑎
3. 𝑎 ⟹ 𝑏
∴ 𝑐 ⟹∼ 𝑏

f. 1. (𝑎 ⟹ 𝑏) ∧ (𝑏 ⟹ 𝑑)
2. 𝑎 ⟹∼ 𝑏
∴∼ 𝑑

g. 1. 𝑎 ⟹ (𝑎 ⟹ 𝑏)
2. 𝑎 ⟹∼ 𝑏
∴∼ 𝑎 ⟹∼ 𝑏

h. 1. 𝑎 ⟹ (𝑏 ∧ 𝑐)
2. 𝑎 ∨ (𝑏 ∧ 𝑐)
∴𝑏∧𝑐

3. Verificar la validez de los siguientes argumentos por la prueba formal de validez.

a. 1. 𝑎 ⟹ 𝑏
2. 𝑏 ⟹ 𝑑
3. ∼ 𝑏 ∨∼ 𝑑
4. ∼∼ 𝑎
5. (𝑒 ∧ 𝑓) ⟹ 𝑐
∴ ∼ (𝑒 ∧ 𝑓)

b. 1. 𝑒 ∨ 𝑚
2. 𝑚 ⟹ 𝑠
3. 𝑠 ⟹ 𝑡
4. ∼ 𝑒
∴ 𝑡

c. 1. (𝑚 ∨ 𝑛 ) ⟹ (𝑒 ∧ 𝑓)
2. ∼ 𝑒
∴∼𝑛
 d. 1. 𝑦 ⟹ 𝑤
2. 𝑦 ∨ (𝑤 ∨ ∼ 𝑣)
3. ∼ 𝑤
∴ ∼ 𝑣 ∧∼ 𝑤

e. 1. (𝑡 ⟹ 𝑏)
2. (𝑏 ⟹ 𝑝)
3. (𝑡 ⟹ 𝑝) ⟹ (𝑏 ⟹ 𝑗)
4. (𝑡 ⟹ 𝑗) ⟹ 𝑘
∴ 𝑘

f. 1. 𝑎 ∨ 𝑏
2. ∼ 𝑎 ∧∼ 𝑐
∴ 𝑏

g. 1. (𝑤 ∧ 𝑣) ∧ (𝑐 ∨ 𝑡)
2. ( 𝑤 ⟹ 𝑠)
∴ 𝑠

h. 1. (𝑐 ⟹ 𝑡) ∧ (𝑑 ⟹ 𝑣)
2. (𝑡 ⟹ 𝑝) ∧ (𝑠 ∨ 𝑐)
4. (𝑝 ⟹ 𝑘) ∧ 𝑡
∴ 𝑐 ⟺𝑘

i. 1. 𝑎 ∧ 𝑏
2. 𝑎 ⟹ 𝑐
3. 𝑐 ⟹ 𝑑
∴ 𝑑

j. 1. 𝑎 ⟹ ∼ 𝑏
2. 𝑎
∴ ∼ 𝑏𝑐

4. Verificar la invalidez de los siguientes argumentos por la prueba formal de invalidez.

a. 1. 𝑎 ⟺ 𝑏
2. 𝑐 ⟹ 𝑑
3. 𝑏 ⟺ 𝑐
∴ 𝑎∧𝑑

b. 1. 𝑎 ⟹ (𝑏 ⟹ 𝑐)
2. 𝑏 ⟹ (∼ 𝑐 ⟹ 𝑑)
3. (𝑐 ∨ 𝑑) ⟹ 𝑒)
∴ 𝑎⟹𝑒
 c. 1. 𝑎 ⟺ 𝑏
2. 𝑏 ⟺ (𝑐 ∧ 𝑑)
3. 𝑐 ⟺ (𝑎 ∨ 𝑒)
4. 𝑎 ∨ 𝑒
∴ 𝑎∧𝑒

d. 1. 𝑎 ⟺ (𝑏 ⟹ 𝑐)
2. 𝑏 ⟺ (∼ 𝑎 ∧∼ 𝑐)
3. 𝑐 ⟺ (𝑎 ∨∼ 𝑏)
4. 𝑏
∴ 𝑎∨𝑐

e. 1. 𝑎 ⟹ 𝑏
2. 𝑐 ⟹ 𝑑
3. 𝑏 ∨ 𝑐
∴ 𝑎∨𝑑

f. 1. ℎ ⟹ (𝑖 ∨ 𝑗)
2. 𝑗 ⟹ (𝑠 ∧ 𝑥)
3. ∼ 𝑠
∴ℎ ⟹𝑥

g. 1. (𝑝 ∨ 𝑗) ⟹ 𝑘
2. 𝑘 ⟹ (𝑗 ∨ 𝑑)
3. 𝑝 ⟹ (∼ 𝑐 ⟹ 𝑗)
4. (𝑐 ⟹ 𝑝) ⟹∼ 𝑑
∴ 𝑗 ⟺𝑘

5. Demostrar la validez de los siguientes argumentos por la prueba condicional.

a. 1. 𝑎 ⟹ (𝑏 ⟹ 𝑐)
∴ 𝑎 ⟹ (𝑎 ⟹ 𝑐)

b. 1. (𝑎 ⟹ 𝑏) ∧ (𝑎 ⟹ 𝑐)
∴ 𝑎 ⟹ (𝑏 ∨ 𝑐)

c. 1. 𝑎 ⟹ 𝑏
2. 𝑏 ⟹ 𝑐
3. 𝑐 ⟹ 𝑑
∴ 𝑎⟹𝑑

d. 1. (𝑎 ⟹ 𝑏) ∧ (𝑎 ⟹ 𝑐)
∴ 𝑎 ⟹ (𝑏 ∧ 𝑐)

e. 1. (𝑎 ⟹ 𝑏)
 ∴ 𝑎 ⟹ (𝑎 ∧ 𝑏)

f. 1. (𝑚 ⟹ 𝑛) ∧ (𝑛 ⟹ 𝑒)
2. (𝑓 ⟹ 𝑚) ∧ (𝑒 ⟹ 𝑓)
∴ (∼ 𝑚 ∨∼ 𝑒) ⟹ (∼ 𝑚 ∧∼ 𝑒)

g. 1. (𝑚 ∧ 𝑛) ⟹ (𝑒 ∧ 𝑓)
2. (ℎ ⟹ 𝑚) ∧ (𝑖 ⟹ 𝑎)
3. (𝑖 ⟹ 𝑛) ∧ (𝑓 ⟹ 𝑎)
4. ∼ 𝑒
∴ ℎ ⟹∼ 𝑖

h. 1. 𝑏 ⟹ 𝑝
2. 𝑗 ⟹ 𝑘
3. ∼ 𝑏 ⟹ (∼ 𝑗 ⟹ 𝑑)
4. ∼ 𝑑
∴∼𝑝⟹𝑘

i. 1. (𝑗 ⟹ 𝑘) ⟹ (∼ 𝑑 ⟹ 𝑐)
2. ∼ 𝑘 ⟹ 𝑐
3. 𝑗 ⟹∼ 𝑐
∴∼𝑑⟹𝑐

j. 1. 𝑦 ⟹ 𝑤
2. (𝑤 ∧ 𝑣) ⟹ 𝑡
∴ 𝑣 ⟹ (𝑦 ⟹ 𝑡)

6. Demostrar la validez de los siguientes argumentos por la prueba indirecta.

a. 1. (𝑎 ⟹ 𝑏) ∧ (𝑐 ⟹ 𝑑)
2. (𝑏 ∨ 𝑑) ⟹ 𝑒
3. ∼ 𝑒
∴ ∼ (𝑎 ∨ 𝑐)

b. 1. (𝑎 ∨ 𝑏) ⟹ (𝑐 ∧ 𝑑)
2. (𝑐 ∨ 𝑒) ⟹ (∼ 𝑓 ∧ 𝑔)
3. (𝑓 ∨ ℎ) ⟹ (𝑎 ∧ 𝑏)
∴∼𝑒

c. 1. (𝑎 ⟹∼ 𝑏) ∧ (𝑐 ⟹ 𝑑)
2. (∼ 𝑏 ⟹ 𝑒) ∧ (𝑑 ⟹∼ 𝑓)
3. (𝑒 ⟹∼ 𝑔) ∧ (∼ 𝑓 ⟹ ℎ)
4. 𝑎 ∧ 𝑐
 ∴∼𝑔∧ℎ

d. 1. 𝑎 ∨ (𝑏 ∧ 𝑐)
2. 𝑎 ⟹ 𝑐
∴𝑐

e. 1. (𝑎 ∨ 𝑏) ⟹ (𝑐 ⟹ 𝑑)
2. (∼ 𝑑 ∨ 𝑒) ⟹ (𝑎 ∧ 𝑐)
∴𝑑

f. 1. (𝑎 ⟹ 𝑏) ∧ (𝑐 ⟹ 𝑑)
∴ (𝑎 ∨ 𝑐) ⟹ (𝑏 ∨ 𝑑)

g. 1. (𝑎 ⟹ 𝑏) ∧ (𝑐 ⟹ 𝑑)
∴ (∼ 𝑏 ∨∼ 𝑑) ⟹ (∼ 𝑎 ∨∼ 𝑐)

h. 1. (𝑎 ⟹ 𝑏)
∴ (𝑎 ⟹ 𝑑) ⟹ (𝑎 ⟹ 𝑐

Los ejercicios del presente taller han sido tomados de:

- Villalpando Becerra, J. F. (2015). Matemáticas discretas: aplicaciones y ejercicios. México:

Grupo Editorial Patria. Recuperado de https://elibro.net/es/ereader/biblioibero/39454?page=62