1

Unidad 1- Métodos para probar la validez de un argumento

Paula Yineth Acuña González

Código: 1051067007

Pensamiento Lógico Matemático

Grupo: 200611_1749

Tutor: Eilberh Enrique Caro

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias de la Educación- ECEDU

2023
 2

Introducción

Los razonamientos que estudia la lógica se llaman argumentos los cuales se

componen de premisas y conclusiones.

Trabajar con argumentos requiere la aptitud de poder traducirlos del lenguaje

natural al simbólico para así identificar las proposiciones simples y reconocer la regla de

inferencia que se va a aplicar.

En el presente trabajo se aprenderá a determinar las proposiciones simples,

conclusiones y reglas de la inferencia dentro de argumentos.

 3

Objetivos

General:

1. Desarrollar diversos ejercicios propuestos en la guía de actividades de la tarea 1-

Métodos para probar la validez de argumentos.

2. Interpretar adecuadamente las tablas de verdad y reglas de inferencia para probar la

validez de argumentos.

Específicos:

1. Solucionar problemas mediante el uso de la lógica proposicional y las tablas de

verdad.

2. Identifica las premisas, conectores y la conclusión de argumentos con el fin de

determinar la validez de un argumento.
 4

Letra seleccionada: D

Ejercicio 1: Proposiciones y tablas de verdad.

Descripción del ejercicio:

A continuación, encontrará las proposiciones simples y el lenguaje simbólico para el

desarrollo del ejercicio 1:

Proposiciones simples

p: El cambio climático tiene impacto negativo en los ecosistemas

q: Las actividades humanas contribuyen al cambio climático

r: La educación es un factor esencial contra la crisis climática.

Proposición simbólica:

(𝑝 → ~q) ∧ (r → q)

 Escribir la proposición compuesta del leguaje simbólico en un lenguaje

natural:

Si el cambio climático tiene impacto negativo en los ecosistemas, entonces

Las actividades humanas no contribuyen al cambio climático y si La educación es

 5

un factor esencial contra la crisis climática, entonces Las actividades climáticas

contribuyen al cambio climático.

 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 ~q (𝑝 (r (𝑝 → ~q)

→ ~q) → q) ∧ (r → q)

V V V F F V F

V V F F F V F

V F V V V F F

V F F V V V V

F V V F V V V

F V F F V V V

F F V V V F F

F F F V V V V

Se clasifica como: Contingencia.

 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 – Guía para

el desarrollo de la tarea 1 (ejercicios ejemplo), ubicado en el entorno de

 6

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.

Enlace del video explicativo del ejercicio 1:

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

Ejercicio 2: Aplicación de la lógica fundamental

Descripción del ejercicio:

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

D. "'Si Sofia tiene conocimientos previos', entonces 'Sofia comprende nuevos

conceptos'. Y 'si Sofia comprende nuevos conceptos', entonces 'Sofia podrá aplicar
 7

correctamente nuevos conceptos'. Si y solo si, ' si Sofia tiene conocimientos previos',

entonces 'Sofia podrá aplicar correctamente nuevos conceptos'".

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

 Definir cuáles son las proposiciones simples que intervienen en el argumento.

p: Sofia tiene conocimientos previos

q: Sofia comprende nuevos conceptos

r: Sofia podrá aplicar correctamente nuevos conceptos

 Identificar los conectores que intervienen en el argumento.

Entonces (→)

Y (∧)

Si y solo si (↔)

 Construir el lenguaje simbólico correspondiente al argumento.

(p→q) ∧ (q→r) ↔ (p→r)

 Determinar si el argumento es una tautología, contradicción o contingencia a

través del simulador de tablas de verdad de la UNAD.

 8

Se clasifica como: Contingencia.

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

inferencia lógica.

Descripción del ejercicio:

A continuación, encontrará un argumento para el desarrollo del ejercicio 3,

usted deberá identificar e indicar las leyes de inferencia y las premisas utilizadas en

cada uno de los pasos para la demostración del argumento.

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

 9

P1: (p ∨ q)

P2: (p → ~r)

P3: (q → ~r)

Conclusión: ~r

Ley Dilema

utilizada: constructivo

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:

Expresión simbólica: [(p ˅∼r) ∧ (∼r→ q) ∧ (p→r)]→ (q ˅ r)

 10

Demostración
P1: [(p Premisas Dadas
˅∼r)

P2: (∼r→

q)

P3: (p →r)

Premisas
Ley aplicada Premisas usadas
P4: (q ˅ r)
Dilema constructivo P1, P2, P3

 Definir las proposiciones simples, tendrá la libertad de definirlas bajo una

descripción basada en un contexto académico o social.

p: Paula estudia Licenciatura en Pedagogía Infantil en la UNAD.

q: Paula trabaja en su emprendimiento en colaboración con la UNAD.

r: Paula es aplicada con sus compromisos académicos.

 11

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

natural.

Paula estudia Licenciatura en Pedagogía Infantil en la UNAD o Paula no es

aplicada con sus compromisos académicos y si Paula no es aplicada con sus

compromisos académicos, entonces Paula trabaja con su emprendimiento en

colaboración de la UNAD y si Paula estudia Licenciatura en Pedagogía Infantil en

la UNAD, entonces Paula es aplicada con sus compromisos académicos. Por lo

tanto, Paula trabaja con su emprendimiento en colaboración de la UNAD y Paula es

aplicada con sus compromisos académicos.

 Complete la tabla de demostración de la validez del argumento mediante leyes

de inferencia lógica.

p v ∼r

∼r → q Ley aplicada: Dilema constructivo

p → r

Q: q v r
 12

Conclusiones

1. Las proposiciones simples son aquellas que están estructuradas por una única

oración.

2. Un argumento es un conjunto de una o más proposiciones, la última de las cuales se

denomina conclusión.

3. La inferencia lógica permite determinar conclusiones con base en el planteamiento

de las premisas establecidas.

 13

Referencias bibliográficas

Castaño, C. & García, A., R. (2022). Aplicación de las reglas de inferencia lógica.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.

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