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

Presentado por:

Yeferson Danny Estaper Lopez

Código: 88258031

Presentado a:

Jaramillo Hernandez frey

Tutor

Trabajo de la Asignatura:

Pensamiento Lógico y Matemático

200611_51

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Básicas, Tecnología e Ingenieria (ECBTI)

Programa de Ingeniería de Sistemas

Junio 2022
 Introducción

En el desarrollo del presente trabajo se abordarán varias temáticas del curso,

dentro de lo que va en Métodos para aprobar la validez de argumentos, con esta

actividad se busca conseguir los resultados de aprendizaje de los cuales

aplicamos en las actividades siguientes: Proposiciones y tablas de la verdad,

identificación de las reglas de la inferencia lógica, aplicación de las reglas de la

inferencia lógica, problemas de aplicación. Con esto buscamos desarrollar las

habilidades para nuestro propio entorno de aprendizaje.

 Objetivos

➢ Determinar las reglas de inferencia.

➢ Aplicar las tablas de la verdad y probar la validez de argumentos.

➢ Reemplazar las variables simbólicamente y llevarlas al lenguaje natural.

➢ Representar el lenguaje simbólico en una tabla de la verdad.

Ejercicio 1: Proposiciones y tablas de verdad

p: Colombia es un país de la unión europea.

q: Colombia es un país de habla hispana.

[(~p → q)∧~p]→q

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

Si Colombia no es un país de la unión europea, entonces Colombia es un

país de habla hispana, entonces Colombia no es un país de la unión

europea, entonces Colombia si es un país de habla hispana.

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

Hay 2 proposiciones simples (p,q) entonces el numero de filas seria, 22

Por lo cual seria 4 filas.

p q (~p → q) [(~p → q)∧~p]→q

v v v v
v f f v
f v v v
f f v v

La clasificación es de contingencia, ya que la proposición puede ser

verdadera o falsa.

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

paso para el 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.

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

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

algunas leyes de inferencia.

Expresión simbólica

s→r rᵥs ¬s → t
r→p r→q ¬s
s→p s→q t
q

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.

Silogismo Dilema Doble

Hipotético Constructivo Negación
s→r rᵥs ¬s → t
r→p r→q ¬s
s→p s→q t
q
 ➢ 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), ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

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.

Silogismo
Hipotético s: Luisa aprende matemáticas en la UNAD
s→r r: Las matemáticas son fáciles
r→p p: Luisa tiene la nota más alta en matemáticas
s→p

Dilema s: Roberto habla ingles

Constructivo
rᵥs r: El inglés es muy difícil
r→q q: Roberto es bueno aprendiendo ingles
s→q
q

Doble Negación s: Ana aprende calculo en la UNAD

¬s → t t: Javier le gusta aprender calculo
¬s
t
 ➢ Construir el lenguaje natural de cada ley de Inferencia expresada en

lenguaje simbólico.

Silogismo Si Luisa aprende matemáticas en la UNAD entonces las matemáticas

Hipotético son fáciles, si las matemáticas son fáciles entonces Luisa tiene la nota
s→r más alta en matemáticas. Por lo tanto, Luisa aprende matemáticas en la
r→p UNAD entonces Luisa tiene la nota más alta en matemáticas.
s→p

Dilema El inglés es muy difícil o si Roberto habla inglés, si el inglés es muy difícil
Constructivo entonces Roberto es bueno aprendiendo inglés, si Roberto habla inglés
rᵥs entonces Roberto es buen aprendiendo inglés. Por lo tanto, Roberto es
r→q bueno aprendiendo inglés.
s→q
q

Doble Negación Si Ana no aprende calculo en la UNAD entonces javier le gusta aprender
¬s → t calculo, si Ana no aprende calculo en la UNAD, por lo tanto, Javier le
¬s gusta aprender calculo.
t

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

La selección Colombia clasificará a la copa Mundial de Futbol de la FIFA Catar

2022 o Colombia quedará eliminado de Catar 2022. La selección Colombia no

clasificará a la copa Mundial de Futbol de la FIFA Catar 2022.

p: La selección Colombia clasificará a la copa Mundial de Futbol de la FIFA Catar

2022.

q: Colombia quedará eliminado de Catar 2022.

a. Lenguaje simbólico:

pᵥq

¬q

b. Ley de inferencia aplicada: Modus Tollendo Pones (MTP)

c. Conclusión: Colombia quedara eliminado de Catar 2022.

Ejercicio 4: Problemas de aplicación

Expresión simbólica: [(𝒑∨𝒒)∧(¬𝒒)∧(𝒑→𝒓)∧(𝒒→𝒓)]→(𝒑∧𝒓)

Premisas:

P1: 𝑝∨𝑞

P2: ¬𝑞

P3: 𝑝→𝑟

P4: 𝑞→𝑟

Conclusión: 𝑝∧𝑟

➢ 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, ejemplo:

● p: Carlos estudia en la UNAD

● q: La UNAD es una Universidad Pública

p: Juan aprueba lógica matemática

q: Estudia métodos para probar la validez de argumentos

r: Estudia teoría de conjuntos

¬ q: No estudia métodos para probar la validez de argumentos

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

 Si Juan aprueba lógica matemática o estudia métodos para aprobar la

validez de argumentos, si no estudia métodos para aprobar la validez de

argumentos, Si juan aprueba lógica matemática entonces estudia teoría de

conjuntos, si estudia métodos para aprobar la validez de argumentos

entonces estudia teoría de conjuntos. por lo tanto, Juan aprueba lógica

matemática y estudia teoría de conjuntos.

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

(En Word, Excel o foto del desarrollo manual).

p q r ¬q 𝑝∨𝑞 𝑝→𝑟 𝑞→𝑟 𝑝∧𝑟 [(𝒑∨𝒒)∧(¬𝒒)∧(𝒑→𝒓)∧(𝒒→𝒓)]→(𝒑∧𝒓)

v v v f v v v v v
v v f f v v v f v
v f v v v v v v v
v f f v f f f v v
f v v f v v v f v
f v f v v v v f v
f f v v v v v f v
f f f v f f f v 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.

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

inferencia lógica.

Premisas:

P1: 𝑝∨𝑞 Dilema Constructivo

P2: ¬𝑞 Modus Tollendo Ponens (MTP)

P3: 𝑝→𝑟 Modus Ponendo Ponens (MPP)

P4: 𝑞→𝑟 Modus Ponendo Ponens (MPP)

Conclusión: 𝑝∧𝑟 Simplificación

 Conclusiones

➢ Se logro el aprendizaje de las definiciones de las leyes de inferencia.

➢ Contenido definitivo de las proposiciones y tablas de la verdad.

➢ Practica y desarrollo simbólico de las proposiciones simples.

➢ Se estableció la validez del argumento con las leyes de inferencia lógica.

 Bibliografía

Castaño, C. (2017). OVI. Proposiciones y tablas de verdad. Repositorio

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

Castaño, C. (2017). OVI. Leyes de inferencia. Repositorio Institucional UNAD.

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

Castaño, C. (2019). OVA. Leyes de la inferencia. Repositorio Institucional UNAD.

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