Universidad Nacional Abierta y a Distancia- UNAD

Pensamiento Lógico Matemático

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

Tutora: Nahury Yamile Castellanos

Maria Paula Vargas Ramos

C.C 1.1193.068.135

Yopal-Casanare

Junio-2021
 Introducción

Este documento contiene el desarrollo dado en la rúbrica de evaluación, donde

damos a explicar cada ejercicio ya que en este caso escogí la letra C, donde da

los ejercicios de una manera muy eficaz ya que le explican y dan ejemplos claros,

para poder desarrollar cada ejercicio leí la guía con atención y con un material

demasiado explicativo como lo fueron los videos.

 Objetivos

Los objetivos de esta actividad es poder ver la lógica de las matemáticas y poder

analizar de una manera muy

 Ejercicio 1: Proposiciones y tablas de verdad

-D. Proporciones Simples

p: La labor de un Matemático se basa principalmente sobre los números

q: Estudian el comportamiento de las variables presentes en un fenómeno

basándose en teorías matemáticas.

r: Su función es determinar los métodos apropiados para el análisis de la

información.

-Lenguaje Simbólico

(𝒑 ↔ 𝒒) ∨ (∼ 𝒒 → 𝒓)

-Lenguaje Natural

La labor de un Matemático se basa principalmente sobre los números si y solo si

se estudia el comportamiento de las variables presentes en un fenómeno
basándose en teorías matemáticas a menos que no estudian el comportamiento
de las variables presentes en un fenómeno basándose en teorías matemáticas ya
que su función es determinar los métodos apropiados para el análisis de la
información

-Tabla manual
p q r ∼q r p↔q ∼ q→ r (p ↔ q) V (∼ q→ r)
V V V F V V V V
V V F F F V V V
V F V V V F V V
V F F V F F F F
F V V F V F V V
F V F F F F V V
F F V V V V V V
F F F V F V F V

-Se clasifica como: Contingencia

-Tabla de verdad Simulador UNAD

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

-Expresión simbólica

¬a ∨ b

a
b

-Ley de inferencia de la expresión: Modus Tollendo Ponens (MTP)

-Proposiciones simples:

a: La niña quiere ir a estudiar

b: La niña está en el grado tercero

-Lenguaje Natural: La niña no quiere ir a estudiar también esta en el grado
tercero. La niña quiere ir a estudiar, por lo tanto, la niña esta en el grado tercero.

-Expresión simbólica No. 2

¬r → q

q → ¬t

¬r → ¬t

-Ley de inferencia de la expresión: Silogismo Hipotético (SH)

-Proposiciones simples:

q: La niña quiere ir a estudiar

r: La niña está en el grado tercero

t: La niña tiene cuatro tareas aparte del cuero

-Lenguaje Natural: Si la niña no esta en el grado tercero dando que la niña quiere
ir a estudiar. La niña quiere ir a estudiar, por lo tanto, la niña no tiene cuatro tareas
aparte del curso. La niña no esta en el grado tercero entonces, no es cierto que la
niña tiene cuatro tareas aparte del curso.

-Expresión simbólica No.3

p ∧ ¬q

¬q

-Ley de inferencia de la expresión: Simplificación (S)

-Proposiciones simples:

p: La niña quiere ir a estudiar

q: La niña está en el grado tercero

-Lenguaje Natural: La niña quiere ir a estudiar además no está en el grado

tercero. Por lo tanto, la niña no esta en el grado tercero.

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