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

Nicolás andrey cáceres peñaloza

Abril 2022

Universidad Nacional abierta y a distancia-UNAD

Escuela ciencias administrativas y ciencias contables
Pensamiento lógico y matematico
 Introducción

En este documento se pretende dar a conocer el desarrollo de diferentes ejercicios

matemáticos por medio de diferentes métodos para probar la validez de argumentos.

Dar a conocer la aplicación de diferentes leyes de inferencia y su función dentro de

la solución de una proposición.

 Objetivos

Objetivo General

Dar solución a los problemas propuestos previamente tomados de la guía de

aprendizaje

Objetivos Específicos

- Comprender a fondo todos los términos y significados de los documentos

previamente leídos.

- Analizar todos los componentes del ejercicio propuesto.

- Tomar en cuenta las diferentes leyes de inferencia en el desarrollo de las

actividades.

- Aplicación de las reglas de la inferencia lógica.

- Aplicar los conectores logísticos de manera satisfactoria a las

preposiciones compuestas.

- Elaborar tablas de verdad a partir del lenguaje simbólico y determinar si el

resultado es una tautología, contingencia o contradicción.

- Cumplir con todos los requerimientos que se señalaron en esta guía de

actividades, rúbrica de evaluación y por parte del tutor en el foro de

discusión.
 Ejercicio 1

D. p: Esteban participa activamente en el foro

q: Han mejorado los índices de participación en campus

r: El tutor realiza seguimiento a participación estudiantil

[(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ 𝑟 ∧ ¬𝑞)] → ¬ p

 Escriba la proposición compuesta propuesta en lenguaje natural:

Si esteban participa activamente en el foro entonces han mejorado los índices de

participación de campus y esteban participa activamente en el foro o el tutor realiza

seguimiento a participación estudiantil. El tutor no realiza seguimiento a participación

estudiantil y esteban no participa activamente en el foro entonces no han mejorado

los índices de participación de campus

 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 ̴ ̴ ̴ [(𝑝 → 𝑞) (𝑝 ∨ 𝑟) (p → q) (¬ 𝑟 ∧ ¬𝑞) [(𝑝 → 𝑞) ∧ (𝑝 ∨ [(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ 𝑟

p q r ∧ (𝑝 ∨ 𝑟) 𝑟) ∧ (¬ 𝑟 ∧ ¬𝑞)] ∧ ¬𝑞)] → ¬ p

V V V F F F V V V F F V

V V F F F V V V V F F V

V F V F V F F V F F F V

V F F F V V F V F V F V

F V V V F F V V V F F V

F V F V F V V F F F F V
F F V V V F V V V F F V

F F F V V V V F F V F V

Tautologia
Tabla simulador unad:

Video explicación ejercicio 1:

https://drive.google.com/file/d/1lDlAxuKsS_vDUp9i6XuMYjXoqp-4tAKN/view?
usp=sharing

Ejercicio 2

A. Expresión simbólica

 Nombrar la ley de inferencia que representa cada expresión

Simbólica:

P rVs ̴p ̴q

q ̴r q

p ^q s p
^ Adjuncion Modus Modus
tollendo tollendo
ponens tollens

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

p: carlos estudia ingeniería química

q: carlos es responsable

r: carlos obtiene buenas calificaciones

s: la unad es una universidad de alta calidad

 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje

simbólico.

 Adjunción: Carlos estudia ingeniería química. Carlos es responsable. Por lo tanto

Carlos estudia ingeniería química y Carlos es responsable.

 Modus tollendo ponens: Carlos obtiene buenas calificaciones o la unad es una

universidad de alta calidad. Carlos no obtiene buenas calificaciones. Por lo tanto

la unad es una universidad de alta calidad

 Modus tollendo tollens: Carlos no es responsable entonces Carlos no estudia

ingeniería química. Carlos es responsable. Por lo tanto Carlos estudia ingeniería

química.

Ejercicio 3

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

D. Si aumentar el ritmo de caminata de lento a moderado puede aumentar la quema de

calorías, entonces muchas personas descubren que se benefician de los aspectos

sociales del ejercicio en grupo. Si muchas personas descubren que se benefician de los

aspectos sociales del ejercicio en grupo, entonces caminar es un buen ejercicio para

concentrarse simplemente en moverse.

a. Conclusión: si aumentar el ritmo de caminata de lento a moderado puede aumentar la

quema de calorías entonces caminar es buen ejercicio para concentrarse en moverse.

b. Ley de inferencia aplicada: silogismo hipotético (SM)

c. lenguaje simbolico:
p q

q r

p r
Ejercicio 4

Expresión simbólica:

D. {(¬𝒑 → 𝒒) ∧ ¬𝒓 ∧ (¬𝒒 ∧ 𝒓)} → 𝒑

Premisas:

𝑃1: (¬𝑝 → 𝑞)

𝑃2: ¬𝑟

𝑃3: ¬𝑞 ∧ 𝑟

Conclusión: p

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

p: maria es profesora de calculo

 q: aprender calculo requiere esfuerzo

r: maria se atrasa en sus actividades

2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Si maría no es profesora de calculo entonces aprender calculo requiere esfuerzo. Maria

se atrasa en sus actividades. Aprender calculo no requiere esfuerzo y maria se atrasa en

sus actividades. Por lo tanto maría es profesora de calculo.

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

p q r ̴p ̴q ̴r (¬𝑝 → ∧ ¬𝒓 ∧ (¬𝒒 ∧

𝑞) 𝒓)

V V V F F F V

V V F F F V V

V F V F V F V

V F F F V V V

F V V V F F V

F V F V F V V

F F V V V F F

F F F V V V F
Conclusiones