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

Juan Fernando Álvarez Gallego

T.I: 1033256812

Curso 200611 – Pensamiento Lógico Y Matemático

Grupo 676

Tutor

David Rodrigo Olivares

Universidad Nacional abierta y a distancia-UNAD

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

Ingeniería de Sistemas

Santiago de Cali

2021
 Tabla de contenido

1. Introducción 3

2. Objetivos 4

3. Desarrollo de los Ejercicios 5

3.1. Ejercicio 1 5

3.2. Ejercicio 2 6

3.3. Ejercicio 3 7

3.4. Ejercicio 4 8

5. Conclusiones 10

6. Referencias bibliográficas 11
 Introducción

El siguiente trabajo consistirá en los métodos para verificar la validez de argumentos,

contando con 4 ejercicios. El primero consiste en las proposiciones y las tablas de verdad, el

segundo consiste en la identificación de las reglas de inferencia lógica, el tercero consiste en la

aplicación de las reglas de la inferencia lógica, y por último, el ejercicio 4 son problemas de

aplicación, para evaluar lo aprendido.

 Objetivos

 Entender el funcionamiento de las tablas de verdad y la funcionalidad de las reglas de

inferencia.

 Aplicar las tablas de verdad y reglas de inferencia para comprobar la veracidad de los

argumentos o proposiciones.

 Reconocer las reglas de inferencia y aplicarlas de forma efectiva con las diferentes

proposiciones o argumentos dados.

 Desarrollo de Ejercicios

3.1. 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.

p → (q ∧ r)

Lenguaje Natural: Si la marihuana es legal en Colombia, entonces disminuye el microtráfico y

disminuye el delito de hurto.

Tabla de Verdad Manual

p q r p q r q∧r p → (q ∧ r)
V V V V V V V V
V V F V V F F F
V F V V F V F F
V F F V F F F F
F V V F V V V V
F V F F V F F V
F F V F F V F V
F F F F F F F V
En este caso estamos frente a una contingencia, ya que los valores del operador tienen mínimo

una verdad y una falsedad.

Tabla de Verdad (Simulador Lógica UNAD)

Enlace Video de YouTube explicando el 1° ejercicio: https://youtu.be/e6HMmuOtYZs

3.2. Ejercicio 2:

A. 1.9

p→q
p
q

Modo Ponendo Ponens (MPP o PP)

p= Juan Fernando estudia para el examen de ingeniería.

q= Juan Fernando pasó el examen de ingeniería.

Lenguaje Natural:

Juan Fernando estudia para el examen de ingeniería, por lo tanto, pasó el examen.

2.

r
s
r∧ s

Introducción de la Conjunción (I ∧) o Adjunción (A)

r= Juan Fernando hace la tarea de pensamiento lógico.

s= Juan Fernando escucha música.

Lenguaje Natural:

Juan Fernando hace la tarea de pensamiento lógico y escucha música.

3.

p ∨¬ q
q
p

Modus tollendo ponens (MTP o TP)

p= Juan Fernando hace la tarea de pensamiento lógico.

q= Juan Fernando hace la tarea de algebra.

Lenguaje Natural:

Juan Fernando hace la tarea de pensamiento lógico o hace la tarea de algebra.

3.3. 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: Si la suma es 4+3 entonces es igual a la suma 5+2.

b) Ley de inferencia aplicada: Silogismo Hipotético (SH)

p→q
q→r
p→r

c) p= 4+3

q= 6+1
 r= 5+2

{(p → q) ∧ (q → r)} → (q → r)

3.4 Ejercicio 4:

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

Proposiciones simples:

p= Juan Fernando hace la tarea de ética.

q= Juan Fernando hace la tarea de herramientas digitales.

r= Juan Fernando hace la tarea de catedra.

Premisas:

P1: p ∨ 𝑞: Juan Fernando hace la tarea de ética o la tarea de herramientas digitales.

P2: p → r: Si Juan Fernando hace la tarea de ética entonces hace la tarea de catedra.

P3: ¬𝑟 ∧ ¬𝑞: Juan Fernando no hace la tarea de catedra y tampoco la de herramientas digitales.

Conclusión: p ∧ 𝑟: Juan Fernando hace la tarea de ética y la tarea de catedra.

Tabla de Verdad Manual

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

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

V V V F F V V F V F F V
V V F V F V F F F F V V
V F V F V V V F V F F V
V F F V V V F V F F F V
F V V F F V V F V F F V
F V F V F V V F V F F V
F F V F V F V F F F F V
F F F V V F V V F F F V
En este caso estamos frente a una tautología ya que los valores del operador principal son todos

verdaderos

Tabla de Verdad (Simulador Lógica UNAD)

Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1: p ∨ 𝑞

P2: p → r

P3: ¬𝑟 ∧ ¬𝑞

P4: ¬p …………… Modus Tollendo Tollens entre P2 y P3

P5: q …………….. Modus Tollendo Ponens entre P1 y P4

 Conclusiones

 Las Tablas de Verdad son una forma sencilla para validar un argumento, el aprender a

usarlas y poder crearla manualmente facilita mucho las actividades de este estilo.

 Mediante las leyes de la inferencia lógica también se puede validar argumentos, y es

practico y rápido.

 Entender que es un enunciado y como funcionan las proposiciones, además de su

lenguaje y sus signos, es muy importante, debido a que esto se suele usar en campos

como la programación.
 Referencias Bibliográficas

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

Academia Internet (2016). Como elaborar una Tabla de Verdad. Recuperado de YouTube

https://www.youtube.com/watch?v=a5cEaETtTNo&ab_channel=AcademiaInternet

César Moisés Grillo Soliz (2021). Reglas de Inferencias – Silogismo disyuntivo o modus

tollendo ponens. Recuperado de YouTube https://www.youtube.com/watch?v=jJLqb5N-

P6U&ab_channel=C%C3%A9sarMois%C3%A9sGrilloSoliz

César Moisés Grillo Soliz (2020). Reglas de inferencia logica ejercicios resueltos –

modus ponendo y tollendo ponens. Recuperado de YouTube https://www.youtube.com/watch?

v=EZl50krCSJM&ab_channel=C%C3%A9sarMois%C3%A9sGrilloSoliz

Wikipedia (2021) Regla de Inferencia. Recuperado de

https://es.wikipedia.org/wiki/Regla_de_inferencia