1

Guía de Actividades y Rúbrica de Evaluación – Tarea 1–

Métodos para probar validez de argumentos

Estudiante:

Cristian Camilo Montenegro Torres

Grupo_301

Tutor

Gloria Patricia Agudelo

Lógica Matemática

Agronomía

Universidad Nacional Abierta y a Distancia - UNAD

Ibagué

15/10/2020
 2

Introducción

En el presente documento se abordará el desarrollo de los ejercicios propuestos el guía de

actividades de la tarea 1 del curso de lógica matemática, en el cual se pretende desarrollar en el

estudiante, la realización de operaciones de lógica, tablas de verdad, identificación de leyes de

interferencia, proposiciones y conclusiones. Con esto se busca probar la validez de los

argumentos, que a su vez algunas proposiciones serán creadas por el mismo estudiante.
 3

Desarrollo Ejercicio 1
. p: El 2020 fue un año atípico para todo el mundo
q: El COVID19 afecto gran parte de la economía
r: El COVID19 nos hizo reinventar en muchos campos de acción

(𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞)

Lenguaje Natural

El 2020 fue un año atípico para todo el mundo o el COVID19 nos hizo reinventar en muchos
campos de acción y el 2020 fue un año atípico para todo el mundo si solo si el COVID 19 afecto
gran parte de la economía.

Tabla de Verdad del Simulador Lógico

Tabla de Verdad Manual

p q r pvr p↔q (𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞)

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

Por lo tanto, podemos determinar que el resultado de la tabla de verdad es una

Contingencia.

Link Explicacion del ejercicio: https://www.youtube.com/watch?v=t84d-SwfPxo

 4

Desarrollo Ejercicio 2

A. Expresión simbólica

r→s

Ley de inferencia: Modus Ponens

Proposiciones

r: Camilo trabaja en su campo

s: Puede estudiar en la UNAD

Lenguaje Natural

Si camilo trabaja en sucampo entonces puede estudiar en la unad. Camilo trabaja en sucampo. Por lo tanto
puede estudiar en la UNAD

p→q

¬q

¬p

Ley de inferencia: Modus Tollens

Proposiciones

p: Camilo presento el informe de frutales

q: camilo aprobó la materia de frutales

Lenguaje Natural

Si camilo presento el informe de frutales entonces camilo aprobó la materia de frutales. Camilo no aprobó
la materia de frutales. Por lo tanto camilo no presento el informe de frutales
 5

Desarrollo Ejercicio 3

A. Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado.

Rafael va al gimnasio.

 Conclusión: Rafael tiene un cuerpo tonificado

 Ley de inferencia aplicada: Modus Ponens

 Lenguaje simbólico
p: Rafael va el gimnasio
q: Rafael tiene un cuerpo tonificado
p→q
p
q
 6

Desarrollo Ejercicio 4

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

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

Conclusión: 𝑝 ∧ ¬𝑟

Proposiciones

P: Camilo debe estudiar en la unad

R: La unad es universidad abierta y a distancia

Q: Camilo puede estudiar mientras trabaja

Lenguaje Natural

Si Camilo debe estudiar en la unad, entonces la unad no es universidad abierta y a distancia. Si camilo no
puede estudiar mientras trabaja, entonces camilo debe estudiar en la unad. Camilo debe estudiar en la
unad y camilo no puede estudiar mientras trabaja. Por lo tanto, camilo debe estudiar en la unad y la unad
no es universidad abierta y a distancia

Tabla de Verdad Manual

p q r ¬p ¬q ¬ 𝑝→ ¬𝑞 → 𝑝∧ 𝑝∧ (𝑝 → ¬𝑟) ∧ (¬𝑞 → (𝑝 → ¬𝑟) ∧ (¬𝑞 → 𝑝) ∧ (𝑝 ∧
r ¬𝑟 𝑝 ¬𝑞 ¬𝑟 𝑝) ¬𝑞)

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

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

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

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

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

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

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

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

{(𝑝 → ¬𝑟) ∧ (¬𝑞 → 𝑝) ∧ (𝑝 ∧ ¬𝑞)} → (𝑝 ∧ ¬𝑟)

 7

El resultado de las tablas de verdad es una tautología

Leyes de Interferencia

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

P4: p simplificación en p3
P:5: ¬𝑟 ponendo ponens en p1 y p4

P6: p∧¬𝑟 Adjunción entre p4 y p5

Conclusion
 8

La aplicacion de la logica en los ejercicios se logro comprender de una manera efectiva, las

tablas de verdad manuales, seran verificadas con tablas de verdad del simulador, y las leyes de

intereferencia sera argumentadas por medio de la identificacion de la estructura de las mismas

obteniendo como resultado la misma conclusion. Gracias a todos los ejercicios el estudiante pudo

comprender a cabalidad todas las problematicas planteadas, y el aprendizaje del desarrollo de las

mismas.

Referencias Bibliográficas
 9

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.

9 - 29). Ediciones Elizcom, Madrid. Recuperado de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=12

 Cardona, T. S. A. (2010). Reglas de inferencia. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Recuperado de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?

page=81

 Pérez, A. R. (2013). Inferencia Lógica. Córdoba, AR: El Cid Editor. (pp. 40-49). Recuperado

de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59