1

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

Dayana Vanessa Sagbini Quiñones – Código 1044430074

Pensamiento Lógico y Matemático 200611

Grupo 200611_237

Director-Tutor

Leidy Johanna Botero

Universidad Nacional Abierta y a Distancia - UNAD

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

2024
 2

Introducción

A continuación, se desarrollará el objetito matemático conocido como las

proposiciones lógicas, tablas de verdad y las inferencias lógicas, en las cuales tamos a

desarrollar cuatro ejercicios referentes a dichos temarios, también desarrollaremos

proposiciones lógicas para dar sentido a planteamiento indicado, el cual se demostrará con

una tabla de verdad si es una tautología, una contradicción o una contingencia y

finalmente se abordará una demostración usando las leyes inferencias lógicas.

 3

Objetitos

General

Identificar las proposiciones lógicas y las reglas de inferencias para probar la validez de los

argumentos dados.

Específicos

 Construir tablas de verdad para probar la validez de los argumentos dados.

 Aplicar las proposiciones lógicas, las tablas de verdad y las reglas de inferencias para

probar la validez de los argumentos dados.

 Demostrar matemáticamente argumentos usando reglas de inferencias para probar la

validez de este
 4

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: B.

p: Camila está matriculada en el programa de Psicología.

r: Camila participa activamente de manera oportuna en el foro del curso de Pensamiento Lógico

Matemático.

s: Camila aprueba con nota sobresaliente el curso de Pensamiento Lógico Matemático.

[(𝑝 → r) Ʌ (r→ s)] → (p → s)

A partir del argumento que haya seleccionado deberá dar

respuesta a los siguientes ítems:

➢ Escribir la proposición compuesta del leguaje simbólico en un lenguaje natural.

Si Camila esta matriculada en el programa psicología Entonces Camila participa activamente de

manera oportuna en el foro del curso de Pensamiento Lógico Matemático. Además, si Camila

participa activamente de manera oportuna en el foro del curso de Pensamiento Lógico

Matemático, entonces Camila aprueba con nota sobresaliente el curso de Pensamiento Lógico

Matemático. Por ende, si Camila está matriculada en el programa de Psicología. Entonces Camila

aprueba con nota sobresaliente el curso de Pensamiento Lógico Matemá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.

[(𝑝 → r) Ʌ (r→ s)] → (p → s)

 5

p r s (𝑝 → (r→ [(𝑝 → r) Ʌ (r→ (p → s) [(𝑝 → r) Ʌ (r→ s)]→ (p →s)]

r) s) s)]

T T T T T T T T

T T F T F F F T

T F T F T F T T

T F F F T F F T

F T T T T T T T

F T F T F F T T

F F T T T T T T

F F F T T T T T

Se determina que el argumento es una Tautología.

➢ Generar la tabla de verdad a través de un simulador de tablas de verdad. 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 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.

TU APORTACIÓN

Encuentre la tabla de verdad para [(𝑝 → r) Ʌ (r→ s)] → (p → s)

 6

RESPUESTA

𝑝 𝑟 𝑠 [(𝑝 → r) Ʌ (r→ s)] → (p → s)

verdadero verdadero verdadero verdadero

verdadero verdadero FALSO verdadero

verdadero FALSO verdadero verdadero

verdadero FALSO FALSO verdadero

FALSO verdadero verdadero verdadero

FALSO verdadero FALSO verdadero

FALSO FALSO verdadero verdadero

FALSO FALSO FALSO verdadero

La tabla nos demuestra que los argumentos son una tautología ya que su resultados son verdaderos

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

Link vídeo explicativo ejercicio 1: https://youtu.be/VW3_utUMUgA?feature=shared

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

 7

Descripción del ejercicio: B.

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

Si se implementan medidas para reducir emisiones de gases de efecto invernadero en la industria

O el ambiente a nivel mundial se verá deteriorado al atrapar calor en la atmosfera ENTONCES

No se implementa medidas para reducir emisiones de gases de efecto invernadero en la industria

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

 Definir cuáles son las proposiciones simples que intervienen en el argumento:

P: Se implementan medidas para reducir emisiones de gases de efecto invernadero en la

industria.

q: El ambiente a nivel mundial se verá deteriorado al atrapar calor en la atmosfera.

 Identificar los conectores que intervienen en el argumento.

Los conectores del argumento son: disyunción (v), condicional (→) y negación (~)

 Construir el lenguaje simbólico correspondiente al argumento. (p v q) → ~ p

 Determinar si el
argumento es una tautología,
contradicción o
 contingencia a través de un
simulador de tablas de
verdad.
 8

 Determinar si el
argumento es una tautología,
contradicción o
 contingencia a través de un
simulador de tablas de
verdad.
 Determinar si el argumento es una tautología, contradicción o contingencia a través de un

simulador de tablas de verdad.

TU APORTACIÓN

Encuentre la tabla de verdad para (p v q) → ~ p

RESPUESTA

𝑝 𝑞 (p v q) → ~ p

Verdadero Verdadero FALSO

 9

Verdadero FALSO FALSO

FALSO Verdadero Verdadero

FALSO FALSO Verdadero

Se determina que la tabla de verdad es contingencia

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

B. Expresión simbólica

[∼r ᴧ ( s↔t)] → ∼r

P1 ∼r ᴧ (s ↔ t)

Conclusión ∼r

Ley utilizada Ley de simplificación

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

➢ Deducir las premisas (P1, P2, P…) y la conclusión.

Premisa 1 (P1): ∼r (s ↔ t).

Conclusión(C): ~r

➢ Defina la ley de inferencia que representa el lenguaje simbólico dado.

La ley de inferencia que representa el lenguaje simbólico dado es la ley de la simplificación.

➢Determinar la validez del argumento a través del simulador de tablas de verdad.

TU APORTACIÓN

Encuentre la tabla de verdad para [∼r ᴧ ( s↔t)] → ∼r

 10

RESPUESTA
[∼r ᴧ ( s↔t)] → ∼r
r s t

Verdadero Verdadero Verdadero Verdadero

Verdadero Verdadero FALSO Verdadero

Verdadero FALSO Verdadero Verdadero

Verdadero FALSO FALSO Verdadero

FALSO Verdadero Verdadero Verdadero

FALSO Verdadero FALSO Verdadero

FALSO FALSO Verdadero Verdadero

FALS
FALSO FALSO Verdadero
O

La tabla de verdad es una tautología ya que sus argumentos son verdaderos

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:

 11

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

Demostración

P1: (𝒑 → 𝒒)

P2: (𝒑 ∧ ¬𝒓) Premisas dadas

P3: (𝒒 → 𝒓)

premisas Ley aplicada Premisas usadas

P4: q Ley de simplificación (LS) P2

P5: ¬r Ley de simplificación (LS) P2

P6: (p → r) Silogismo hipotético P1 y P3

P7: ¬p MODUS TOLLENDO TOLLENS P5 y P6

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

Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción

basada en un contexto académico o social. Las proposiciones simples deben contener 1.

Sujeto, 2. Verbo y 3. Predicado.

Expresión simbólica:

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

P1: (p→∼q)

P2: (𝒑 ∧ ¬𝒓)
 12

P3: (𝒒 → 𝒓)

Definición de Proposiciones simples:

p: Camila es estudiante de psicología en la UNAD.

q: Camila participa oportunamente en el foro de interacción del entorno

de aprendizaje.

r: Camila aprueba sus cursos matriculados en la UNAD.

Lenguaje natural:

Si Camila es estudiante de psicología en la UNAD, entonces Camila no participa oportunamente

en el foro de interacción del entorno de aprendizaje. Y si Camila es estudiante de psicología en la

UNAD y aprueba sus cursos matriculados en la UNAD, entonces Camila participa oportunamente

en el foro de interacción del entorno de aprendizaje. Y si Camila es estudiante de psicología en la

UNAD y Camila aprueba sus cursos matriculados en la UNAD, en conclusión, Camila no es

estudiante de psicología en la UNAD o aprueba sus cursos matriculados en la UNAD.

TU APORTACIÓN

Encuentre la tabla de verdad para [(p→∼q) ∧ [(p ∧ r) →q] ∧ (p ∧ r)]→ (∼p ˅ r)

RESPUESTA

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

𝑝 𝑞 𝑟

Verdadero Verdadero Verdadero Verdadero

 13

Verdadero Verdadero FALSO Verdadero

Verdadero FALSO Verdadero Verdadero

Verdadero FALSO FALSO Verdadero

FALSO Verdadero Verdadero Verdadero

FALSO Verdadero FALSO Verdadero

FALSO FALSO Verdadero Verdadero

FALSO FALSO FALSO Verdadero

Es simulador de tablas de verdad nos arroja que este argumento es una tautología.

Conclusiones

En conclusión podemos señalar que el aplicar las proposiciones lógicas, las tablas de verdad, así

como el saber identificar y aplicar las inferencias lógicas, es de gran ejercicio para el

razonamiento lógico en las personas y estas ayudan a desarrollar la capacidad de análisis lógico,

ya que estas nos dan el apoyo para descifrar de una manera efectiva algunas proposiciones que
 14

podemos darle diferentes interpretaciones cada problema, lo cual es de gran importancia para el

crecimiento intelectual, personal y profesional.

Referencias Bibliográficas

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. El Cid

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

page=59

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
 15

Castaño, C. & Martínez, C. (2022). Lógica e inferencia.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.

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

Castaño, C. (2022). Tablas de verdad. [Objeto_virtual_de_aprendizaje_OVA]. Repositorio

institucional UNAD.

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

Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). [Objeto Virtual de Aprendizaje OVA].

Lógica Proposicional. Repositorio Institucional UNAD.

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