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

Estudiante:

Esteban Esneider Coy Paya

Grupo:

90004_119

Tutor:

Javier Ernesto Rodríguez

PENSAMIENTO LOGICO MATEMATICO

Universidad Nacional Abierta y a Distancia – UNAD

San Vicente Del Caguan Caquetá

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

En muestra archivo muestra el desarrollo de los ejercicios propuestos en la guía de

ocupaciones que corresponde a la labor 1, ejercicios que buscan contribuir a entender y

utilizar los procedimientos para mostrar la validez de argumentos que se condensan en

maneras simbólicas que por medio de un llevamos a lenguaje natural y a la inversa lo cual

nos posibilita mediante las denominadas tablas de verdad y las leyes de inferencia darle una

especificación lógica matemática al enunciado o expresión simbólica que se nos muestra.

Por medio de los 4 ejercicios planteados se profundiza en dichos conceptos y se busca la

aplicación de los mismos correctamente.

 Objetivos.

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

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

3. Utilizar las leyes de inferencia y las tablas de verdad en el proceso para probar

argumentos

4. Ejercer las leyes de inferencia a fin de enseñar el proceso y el argumento

5. Llegar a un argumento lógico natural, luego de interiorizar el proceso descrito en

esta etapa.
 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.

➢ Letra A
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
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.
 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

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: Pedro viajó a la costa atlántica
q: Pedro compró boletos en avión a Cartagena

➢ Lenguaje Natural:
Si Pedro viajó a la costa atlántica Pedro compró boletos para avión a Cartagena.
Eduardo viajó la costa atlántica. Por lo tanto, Pedro 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: Pedro viaja a la costa atlántica
q: Pedro compra boletos en avión a Cartagena
r:Pedro conoce sitios emblemáticos de la ciudad
 ➢ Lenguaje Natural:
Pedro viaja a la costa atlántica o Pedro compra boletos para avión a Cartagena. Si
Pedro viaja a la costa atlántica así Pedro conoce sitios emblemáticos de la ciudad. Si
Pedro compra boletos en avión a Cartagena de esta forma Pedro 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 desarrollos: 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

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.

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

Pérez, A. R. (2013). Inferencia Lógica. Córdoba, AR: El Cid

Editor. (pp. 40-49). https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?
page=59

Villalpando, B. J. F. (2014). Prueba formal de validez. (pp. 34-

37). México, D.F, Larousse - Grupo Editorial
Patria.  https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?
page=39

Rodríguez, H. (2017). Proposiciones y conectivos Lógicos (Valor

de verdad proposiciones compuestas). [Archivo de
video]. http://hdl.handle.net/10596/11489

Rodríguez, H. (2017). Leyes de inferencia (Validación de

argumentos). [Archivo de
video]. http://hdl.handle.net/10596/11486

    

Castaño, C. (2019). Leyes de la inferencia. Recuperado

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