Tarea 1 - Métodos para probar la validez de argumentos.

Tarea 1 - Métodos para probar la validez de argumentos.

Estudiante:

Herman Alberto Narváez Ortiz

Grupo: 200611_1179

Tutor (a):

JOHN FREDDY RUANO

PENSAMIENTO LOGICO MATEMATICO

MÚSICA

Universidad Nacional Abierta y a Distancia – UNAD

CEAD San Juan de Pasto - Nariño

2021
Contenido
➢ Introducción al trabajo a entregar.................................................................................................3
➢ Objetivos.......................................................................................................................................4
➢ Desarrollo de los 4 ejercicios.........................................................................................................5
Ejercicio 1: Proposiciones y tablas de verdad.................................................................................5
Ejercicio 2: Identificación de las reglas de la inferencia lógica.......................................................7
Ejercicio 3: Aplicación de las reglas de la inferencia lógica...........................................................10
Ejercicio 4: Problemas de aplicación............................................................................................10
➢ Conclusiones del trabajo desarrollado........................................................................................14
Bibliografía.......................................................................................................................................15
 ➢ Introducción al trabajo a entregar

En presenta documento muestra el desarrollo de los ejercicios

propuestos en la guía de actividades correspondiente a la tarea 1,

ejercicios que buscan ayudar a comprender y aplicar los métodos para

demostrar la validez de argumentos que se condensan en formas

simbólicas que a través de un llevamos a lenguaje natural y viceversa

lo que nos permite por medio de las llamadas tablas de verdad y las

leyes de inferencia darle una explicación lógica matemática al enunciado

o expresión simbólica que se nos presenta.

A través de los 4 ejercicios planteados se profundiza en estos conceptos

y se busca la aplicación de los mismos de manera correcta.

 ➢ Objetivos.

1. Entender la simbología de una expresión dada

2. Aprender el significado, uso y resultado de los conectores lógicos

3. Aplicar las leyes de inferencia y las tablas de verdad en el proceso

para probar argumentos

4. Aplicar las leyes de inferencia con el fin de demostrar el proceso y

el argumento

5. Llegar a un razonamiento lógico natural, después de interiorizar el

proceso descrito en esta fase.

 ➢ Desarrollo de los 4 ejercicios.

Ejercicio 1: Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

A. p: El virus del COVID 19 se dispersa en las aglomeraciones q: Los contagios aumentan en

las reuniones de personas r: Una persona se puede contagiar al entrar en contacto con un
sólo contagiado.
[(¬𝒑 ∧ 𝒓) ∧ (𝒑 → 𝒒)]

➢ Escriba la proposición compuesta propuesta en lenguaje natural.

R/ si el virus del COVID 19 no se dispersa en las aglomeraciones y Una persona se puede

contagiar al entrar en contacto con un sólo contagiado. Y si El virus del COVID 19 se
dispersa en las aglomeraciones por lo tanto Los contagios aumentan en las reuniones de
personas
´
➢ 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.
2n=3

Tabla manual
 𝒑 𝒒 𝒓 ∼p (∼𝒑 ∧ 𝒒 ) (p → q) [(∼𝒑 ∧ 𝒒) ∧ (p →q)]

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

➢ Se clasifica como: Contingencia ya que presenta resultados falsos (F) y verdaderos (V)

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para
uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado
en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación -
Unidad 1- Tarea 1 - Métodos para probar la validez de argumentos.

Tabla de verdad Simulador UNAD

➢ Realizar un vídeo donde explique la forma cómo fue desarrollado el ejercicio 1

seleccionado. La realización del vídeo puede ser con la cámara del celular, cámara del pc
 u otra alternativa que se le facilite. El estudiante debe aparecer en la grabación de frente
y mostrar a la cámara su documento de identificación, ocultando el número del mismo
(en la imagen se debe ver claramente el nombre y apellidos del estudiante).
Deberá subir el link del vídeo a youtube u otra plataforma de vídeos y pegar el enlace
debajo de la solución del ejercicio en el documento final a entregar. El vídeo no debe
superar los 3 minutos de duración.

Link video youtube

https://www.youtube.com/watch?v=1-5ZYFsRnxI&ab_channel=HermanNarv%C3%A1ez

Ejercicio 2: Identificación de las reglas de la inferencia lógica

Descripción del ejercicio:

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de

inferencia.

A. Expresión simbólica

p 𝑝∨q 𝑝 →∼ q
q 𝑝→r ∼q→r
_______ q→r _______
p∧q ________ 𝑝→r
𝑟

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

➢ Nombrar la ley de inferencia que representa cada expresión simbólica.

➢ Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
basada en un contexto, el que se solicita es un contexto académico (puede usar las
mismas proposiciones simples en cada una de las 3 expresiones simbólicas seleccionadas),
➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.
Ejercicio 2 desarrollo: Identificación de las reglas de la inferencia lógica

➢ Expresión simbólica 1
p
q
_______
p∧q

➢ Ley de inferencia de la expresión: adjunción

(A)

➢ Proposiciones simples:
p: Eduardo viajó a la costa atlántica
q: Eduardo compró boletos en avión a Cartagena

➢ Lenguaje Natural:
Si Eduardo viajó a la costa atlántica Eduardo compró boletos para avión a Cartagena. Eduardo
viajó la costa atlántica. Por lo tanto, Eduardo compró pasajes en avión a Cartagena.

➢ Expresión simbólica 2

𝑝∨q
𝑝→r
q→r
______
𝑟

➢ Ley de inferencia de la expresión: simplificación disyuntiva

(SD)

➢ Proposiciones simples:
p: Eduardo viaja a la costa atlántica
q: Eduardo compra boletos en avión a Cartagena
r: Eduardo conoce sitios emblemáticos de la ciudad
 ➢ Lenguaje Natural:
Eduardo viaja a la costa atlántica o Eduardo compra boletos para avión a Cartagena. Si
Eduardo viaja a la costa atlántica así Eduardo conoce sitios emblemáticos de la ciudad. Si
Eduardo compra boletos en avión a Cartagena de esta forma Eduardo conoce sitios
emblemáticos de la ciudad.

➢ Expresión simbólica 3

𝑝 →∼ q
∼q→r
_______
𝑝→r

➢ Ley de inferencia de la expresión: adjunción

(A)

➢ Proposiciones simples:
p: maría está en su casa
q: maría sale de compras
r: maría está viendo la TV

➢ Lenguaje Natural:
Si maría está en su casa entonces maría no sale de compras. maría no sale de compras así
que maría está viendo la TV. Por lo tanto, maría está en su casa. siendo así, maría está
viento la TV.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:

A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
➢ Identificar la conclusión del argumento.
➢ Nombrar la ley de inferencia que se aplica para probar el
argumento.
➢ Definir la expresión del argumento en lenguaje simbólico o formal.

Ejercicio 3 desarrollo: Aplicación de las reglas de la inferencia lógica

➢ Argumento: Si Alejandro realiza periódicamente ejercicio entonces

Alejandro disminuye el nivel de estrés. Alejandro disminuye el nivel de
estrés entonces Alejandro elimina la carga estática acumulada.
➢ Conclusión: Si Alejandro realiza periódicamente ejercicio entonces
Alejandro elimina la carga estática acumulada.

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

➢ Lenguaje simbólico:
p→q
q→r

p →r
Ejercicio 4: Problemas de aplicación
Descripción del ejercicio:
A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento
para el desarrollo del ejercicio 4:
A. Expresión simbólica:
[ (p →r) ∧ (∼r ∧ q) ]→ ∼p
Premisas:
P1: p →r
P2: ∼r ∧ q
Conclusión: ∼p

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

➢ Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en
un contexto, el que se solicita es un contexto académico:

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

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso del
simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el entorno de
aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad 1- Tarea 1 -
Métodos para probar la validez de argumentos.

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

Ejercicio 4 desarrollo: problemas de aplicación

 ➢ Expresión simbólica:

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

Premisas:
P1: p →r
P2: ∼r ∧ q

Conclusión: ∼p

➢ Proposiciones simples:

p: Alfonso trabaja en empresas de Nariño

q: Alfonso aprobó la entrevista de contratación
r: Alfonso tiene un contrato con empresas de Nariño S.A.

∼r: Alfonso no tiene un contrato con empresas de Nariño S.A.

➢ Lenguaje Natural:

Si Alfonso trabaja en empresas de Nariño S.A entonces Alfonso aprobó la entrevista de

contratación. Alfonso no tiene un contrato con empresas de Nariño S.A. y Alfonso aprobó la
entrevista de contratación, Por lo tanto, Alfonso no trabaja en empresas de Nariño.

Tabla manual:

𝒑 𝒒 𝒓 ∼𝒓 𝒑→r ∼ r ∧q (p →r) ∧ (∼r ∧ q) [ (p →r) ∧ (∼r ∧ q) ]→ ∼p

V V V F V F F V
V V F V F V F V
V F V F V F F V
V F F V F F F V
F V V F V F F V
F V F V V V V V
F F V F V F F V
F F F V V F F V
 ➢ Tabla de verdad Simulador UNAD

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

[ (p →r) ∧ (∼r ∧ q) ]→ ∼p
P1: 𝑝 → r
P2: ¬𝑟∧𝑞
Conclusión: ∼p

P4: ¬𝑝 modus tollendo tollens entre P1 y P2

 ➢ Conclusiones del trabajo desarrollado

1. Es importante interiorizar los significados de los conectores y

partes del enunciado.

2. Si ponemos atención al desarrollo y seguimos los pasos a

cabalidad es entendible toda la temática dada

3. Poder descifrar el lenguaje natural de manera fácil es algo que se

logra haciendo ejercicios para mejorar.

4. Es muy interesante como se va encontrando maneras diarias para

usar estos conceptos de manera que nos ayuda a tener respuestas

mas claras sobre un argumento, y a su vez tener argumentos mas

convincentes y redactados de manera correcta.

 Bibliografía

Castaño, C. (. (2019). https://repository.unad.edu.co/handle/10596/31590. Obtenido de

https://repository.unad.edu.co/handle/10596/31590:
https://repository.unad.edu.co/handle/10596/31590

Castaño, C. (2017). http://hdl.handle.net/10596/13871 . Obtenido de

http://hdl.handle.net/10596/13871 : http://hdl.handle.net/10596/13871

Curo, A. (. (2015). https://elibro-net.bibliotecavirtual.unad.edu.co/. Obtenido de https://elibro-

net.bibliotecavirtual.unad.edu.co/: Curo, A. (2015). Matemática básica para
administradores. (pp. 13-27). Univers https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

Pérez, A. R. (2013). https://elibro-net.bibliotecavirtual.unad.edu.co. Obtenido de https://elibro-

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

Villalpando, B. J. (2014). https://elibro-net.bibliotecavirtual.unad.edu.co. Obtenido de

https://elibro-net.bibliotecavirtual.unad.edu.co: https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30