1

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

Estudiante:

Yury Tatiana Ramírez Bahamón

Código:

1003804845

Pensamiento Lógico y Matemático 200611D_1391

Grupo:

200611_2164

Tutor:

Leidy Johanna Méndez

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Tabla de contenido

Introducción .................................................................................................................................... 3

Objetivos ......................................................................................................................................... 4

Objetivo General ............................................................................................................................ 4

Objetivos Específicos...................................................................................................................... 4

Ejercicio 1: Proposiciones y tablas de verdad ............................................................................. 5

Ejercicio 2: Aplicación de las reglas de inferencia lógica ........................................................... 7

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica ........... 9

Ejercicio 4: Problemas de aplicación .......................................................................................... 10

Conclusiones ................................................................................................................................. 13

Referencias Bibliográficas ........................................................................................................... 14

 3

Introducción

En el presente trabajo tiene como finalidad explicarle al lector como pasar de un lenguaje

simbólico a un lenguaje natural seguido a esto se evidencia como se desarrolla una tabla de

verdad manual la cual es posible ser verificada gracias a la herramienta que nos brinda la

Universidad Nacional Abierta y a Distancia (UNAD).

 4

Objetivos

Objetivo General

Aprender a interpretar los lenguajes simbólicos y saber aplicar la tabla de verdad

utilizando las reglas de inferencia.

Objetivos Específicos

Explicar el significado de los símbolos.

Entender los conceptos básicos como lenguaje natural, lenguaje simbólico, premisas las

reglas de inferencia entre otros.

Explicar el uso de las reglas de inferencia para el desarrollo de la tabla de verdad.

Mostrar que con las leyes de inferencia se puede dar con la conclusión de un lenguaje

simbólico.
 5

Ejercicio 1: Proposiciones y tablas de verdad

Espacio para solución del ejercicio 1

Ejercicio C.

p: El Sistema del Servicio Social Unadista (SISSU) es una mirada de la UNAD para formar

profesionales humanistas

q: La UNAD está comprometida con los problemas sociales.

r: La UNAD es la primera mega universidad del país.

(p ∧ q) ↔ r

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

Escribir la proposición compuesta propuesta en un lenguaje natural.

El Sistema del Servicio Social Unadista (SISSU) es una mirada de la UNAD para formar

profesionales humanistas Y La UNAD está comprometida con los problemas sociales SI Y

SOLO SI La UNAD es la primera mega universidad del país

 6

Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar

si el resultado es una tautología, contingencia o contradicción.

p q r p^q r (p ^ q) r
V V V V V V
V V F V F F
V F V F V F
V F F F F V
F V V F V F
F V F F F V
F F V F V F
F F F F F V
Esta tabla de verdad nos arroja una CONTINGENCIA debido a que tenemos V y F

Generar la tabla de verdad a través del simulador Lógica UNAD.

Realizar un vídeo de 5 minutos máximo:

Link vídeo: https://youtu.be/LEa8lu01ynQ

 7

Ejercicio 2: Aplicación de las reglas de inferencia lógica

Espacio para solución del ejercicio 2

Ejercicio C.

Patricia estudia Psicología O Patricia estudia Música. SI Patricia estudia Psicología ENTONCES

Patricia matricula epistemología de la Psicología. SI Patricia estudia música entonces Patricia

matricula fundamentos de la escritura musical.

Proposiciones simples

p Patricia estudia Psicología

q Patricia estudia Música

r Patricia matricula epistemología de la Psicología

s Patricia matricula fundamentos de la escritura musical

Lenguaje simbólico:

𝑃1. (𝑝 ∨ 𝑞)

𝑃2. (𝑝 → 𝑟)

𝑃3. (𝑞 → 𝑠)

𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛 𝑟 ∨ 𝑠
 8

Ley de inferencia aplicada:

SILOGISMO DISYUNTIVO

Conclusión:

Patricia matricula epistemología de la Psicología O Patricia matricula fundamentos de la escritura

musical
 9

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica

Espacio para solución del ejercicio 3

Ejercicio C.

Expresión simbólica:

[(p v q) ᴧ ~p ᴧ (q→r) ᴧs]→ (r ᴧ s)

P1: (p v q) P2: (~p)

P3: (q→r) P4: s

Conclusión: (r ᴧ s)

Demostración:

Premisa Ley de inferencia aplicada Premisa usadas

P1 y P2
Usamos Silogismo disyuntivo para despejar
P5: q
aq

P3 y P5
Usamos Modus Ponens para poder despejar
P6: r
r

P6 y P4
Conjunción para poder hallar la conclusión
P7: r ∧ s
del lenguaje simbólico
 10

Ejercicio 4: Problemas de aplicación

Espacio para solución del ejercicio 4

Ejercicio C.

Expresión simbólica:

[p∧(p→∼r) ∧ (q v r)]→ (q ᴧ p)

P1: p

P2: (p→∼r)

P3: (q v r)

Conclusión: q ᴧ p

A partir de la expresión simbólica seleccionada, el estudiante deberá:

Definir las proposiciones simples

p Yury está en el quinto semestre de Ingeniería Industrial

q Yury mira la materia de Dibujo de ingeniería

r Yury estudia de manera virtual

 11

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural

Yury está en el quinto semestre de Ingeniería Industrial Y SI Yury está en el quinto semestre de

Ingeniería Industrial ENTONCES Yury NO estudia de manera virtual. Y Yury mira la materia de

Dibujo de ingeniería O Yury estudia de manera virtual

Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r ~𝒓 p (𝒑 → ~𝒓) 𝒑 ∧ (𝒑 → ~𝒓) (𝒒 ∨ 𝒓) 𝒑 ∧ (𝒑 → ~𝒓) ∧ (𝒒 ∨ 𝒓)

V V V F V F F V F
V V F V V V V V V
V F V F V F F V F
V F F V V V V F F
F V V F F V F V F
F V F V F V F V F
F F V F F V F V F
F F F V F V F F F
Esta tabla de verdad nos arroja una CONTINGENCIA debido a que tenemos V y F

Generar la tabla de verdad a través del simulador Lógica UNAD

 12

Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

[p∧(p→∼r) ∧ (q v r)]→ (q ᴧ p)

P1: p

P2: (p→∼r)

P3: (q v r)

Conclusión: q ᴧ p

Premisa Ley de inferencia aplicada Premisa usadas

P1 y P2
P4: ∼r Usamos Modus Ponen Para despejar el ∼r

P3 y P4
Usamos Silogismo Disyuntivo para poder
P5: q
despejar la q de la r

P5 y P1
Usamos la Conjunción para poder unir 2
P6: q ᴧ p
premisas
 13

Conclusiones

Que un lenguaje simbólico se puede convertir en un lenguaje natural siempre y cuando se den

oraciones a cada premisa.

Con el software que nos facilita la Universidad Nacional Abierta y a Distancia (UNAD)

podemos verificar nuestra tabla de verdad.

Para poder desarrollar nuestra tabla de verdad es necesario aplicar las reglas de inferencia

Para poder hallar y verificar la conclusión de un lenguaje simbólico es necesario las leyes de

inferencia.
 14

Referencias Bibliográficas

Camacho, Y. (2023). Indicaciones tarea 2 plm 16-01-2023. Recuperado de

https://www.youtube.com/watch?v=m_YoqRQa890

Camacho, Y. (2023). Ejerc 1. Tarea 2. Recuperado de

https://www.youtube.com/watch?v=A8QCCFslqz0

Camacho, Y. (2023). Ejerc 2. Tarea 2. Recuperado de

https://www.youtube.com/watch?v=oKptDKfdDik

Camacho, Y. (2023). Ejerc 3. Tarea. Recuperado de

https://www.youtube.com/watch?v=X17nBmbRRlU

Camacho, Y. (2023). Ejerc 4. Tarea 2. Recuperado de

https://www.youtube.com/watch?v=bgS1zNC2jtQ