2

Tarea 1 Métodos para probar la validez de argumentos

1
 2

Tarea 1 Métodos para probar la validez de argumentos

Leonardo Espejo Diaz

11038247

Tutor
Diego Francisco Martínez

Universidad Abierta y a Distancia UNAD

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

Ingenieria Industrial

200611D_ 1144
200611_2774

2
 2

Tabla de contenidos

3
 2

Introducción

En el desarrollo de esta actividad abordaremos y navegaremos por el mundo de las tablas

de verdad, lógica proposicional y sus métodos para la aprobación de argumentos; este

proceso nos llevara a deducir, entender, comprender conceptos y definiciones sobre

resultados que se dan durante el desarrollo y creación de dichas tablas. La finalidad de la

evidencia es instruirnos para afrontar situaciones reales en nuestras vidas conocer nuestras

habilidades y capacidad de comprensión y entendimiento de la lógica matemática su uso y

aplicación.

4
 2

Objetivos

Objetivo General

 Poner en practica la creación de tablas de verdad y comprender su aplicabilidad y

uso y el modo como podemos aplicarlas en nuestra vida cotidiana.

Objetivos Específicos

 Crear y desarrollar tablas de verdad aplicando proposiciones simples y compuestas.

 Implementar el uso adecuado del leguaje tanto simbólico y natural.

5
 2

Desarrollo de la Unidad

Ejercicio 1: Unidad 1. Leonardo Espejo Diaz

p: La UNAD es una universidad con acreditación institucional de alta calidad.

q: La UNAD rompe récords entre las instituciones de educación superior.

r: La UNAD demostró al país que tiene un modelo de educación riguroso que soporta la

formación virtual a distancia con altos estándares de calidad.

(𝑝 ∧ 𝑞) → r

Lenguaje Natural.

Si la UNAD es una universidad con acreditación institucional de alta calidad y la UNAD

rompe récords entre las instituciones de educación superior entonces la UNAD demostró al

país que tiene un modelo de educación riguroso que soporta la formación virtual a distancia

con altos estándares de calidad.

Ilustración 1

6
 2

Después del desarrollo de la tabla podemos ver que el resultado de esta es una

Contradicción y a su vez se verifica con la tabla realizada a través del aplicativo.

Ilustración 2

Ejercicio 2: Unidad 1. Leonardo Espejo Diaz

1. Expresión simbólica

 Modus Tollendo Ponens

pVq
¬q
p

7
 2

Ejemplo:

p: Mi hija baila

q: Mi hija canta

¬ q: Mi hija no canta

Conclusión: Mi hija baila.

Lenguaje Natural.
Mi hija es cantante o es bailarina, mi hija no es bailarina, por lo tanto, mi hija es cantante.

2. Expresión simbólica

 Modus Ponendo Ponens (MPP).

p→¬ r
p
¬r

p: Sí me dejan en el turno de noche.

¬ r: No podre entrenar
p: Sí continuo de noche
Conclusión de ¬ r: No podre viajar

Lenguaje Natural
Sí me dejan en el turno de noche, entonces no podre entrenar, si continuo de noche no
podré viajar.

3. Expresión simbólica

 Simplificación

pꓥq
p

8
 2

p: Tengo dos niñas y un niño.

q: Tengo dos niñas.
p: Tengo un niño.
Lenguaje Natural.
Tengo dos niñas y un niño, tengo dos niñas, por ende, tengo un niño.

Ejercicio 3: Unidad 1. Leonardo Espejo Diaz

El corazón es un órgano sumamente poderoso o el corazón tiene fuerza espiritual. El

corazón no tiene fuerza espiritual.

a. Lenguaje simbólico:

pVq
¬p
p

b. Ley de inferencia aplicada:

Modus Tollendo Ponens

c. Conclusión:

El corazón es un órgano sumamente poderoso.

Ejercicio 4: Unidad 1. Leonardo Espejo Diaz

Expresión simbólica: [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟) ∧ (∼ 𝑝)] → (∼ 𝑞 ∧ ∼ 𝑟)

Premisas:

9
 2

P1: (∼ 𝑝 →∼ 𝑞)

P2: (∼ 𝑞 →∼ 𝑟)

P3: (∼ 𝑝)

Conclusión: (∼ 𝑞 ∧ ∼ 𝑟)

p: No me dieron vacaciones

q: No viajare a Cartagena.

r: No podré ver a mis hijos ni a mi madre

Lenguaje Natural.
No me dieron vacaciones, entonces no viajaré a Cartagena y no podré ver a mis hijos y no
veré a mi madre por lo tanto no tendré vacaciones y no viajare.

Validación de Argumentos

P1: (∼ 𝑝 →∼ 𝑞)

P2: (∼ 𝑞 →∼ 𝑟)

P3: (∼ 𝑝)

Aplicando Modus Ponendo Ponens MPP

(P1) y (P3)
¬ p →¬ q
¬p
¬q

(P2) y (P4)
¬q→¬r
¬q
¬r

P4: ¬ q

P5: ¬ r

10
 2

Aplicamos la ley de Adjunción y unimos a P4: ¬ q y P5: ¬ r; podemos decir que:

¬ q ꓥ ¬ r de esta manera podemos comprobar la conclusión de nuestro ejercicio.

Ilustración 3

Ilustración 4

11
 2

Conclusión

Después del desarrollo de esta actividad y luego de realizar y aplicar conceptos de lógica en todos y

cada uno de los ejercicios desarrollados en donde aplicamos distintos tipos de leyes de inferencia y

métodos que nos ayudan a deducir argumentos, verdades o falsedades; leer de manera simbólica y

en lenguaje natural expresiones de índole algebraico y matemático; además de realizar de forma

manual y automática tablas de verdad. De esta manera llegamos al final de la tarea teniendo un poco

más de conocimiento sobre métodos de argumentos y tablas las cuales podemos aplicar en nuestra

cotidianidad y en distintos casos de la vida podemos decir que le hemos dado una adecuada

empleabilidad y manejo y hemos podido entender los conceptos puestos en práctica durante este

ejercicio.

12
 2

Referencias Bibliográficas teniendo en cuenta las normas APA

Ortiz, Juan. (25 de mayo de 2021). Modus ponendo ponens. Lifeder. Recuperado de
https://www.lifeder.com/modus-ponendo-ponens/

13