1

Tarea 1 Métodos para probar la validez de argumentos

Presentado por:
Yina Paola González Robles

Grupo: 200611_1388

Tutor:

Ernesto Araujo

Universidad nacional abierta y a distancia - UNAD

Florencia - Caquetá
04/Oct/2020
 2

Introducción

El propósito de este trabajo es que desarrollemos habilidades, se analice e interprete cada

ejercicio planteado en la Tarea 1 Métodos para probar la validez de argumentos, entender
proposiciones y manejar tablas de verdad, identificando proposición simple o compuesta
que puede ser tautología, contradicción o contingencia.
 3

Objetivos

 Aumentar el interés por las matemáticas y el pensamiento lógico matemático a

través de actividades motivadoras para el universitario, con un contenido visual y
útil.
 Este trabajo busca que el estudiante conozca y aplique los conceptos de lógica
proposicional.
 4

1. EJERCICIO

p: Diego es deportista de alto rendimiento

q: Diego debe entrenar todos los días
r: Diego llena una vez por semana su tabla de rendimiento físico
(𝑝 → 𝑞) ∨ (~ r)

Si Diego es deportista de alto rendimiento entonces Diego debe entrenar todos los días o
no es cierto que Diego llene una vez por semana su tabla de rendimiento físico.
P q r ~r 𝑝→𝑞 ~r (𝑝 → 𝑞) ∨ (~
r)
V V V F V F V
V V F V V V V
V F V F F F F
V F F V F V V
F V V F V F V
F V F V V V V
F F V F V F V
F F F V V V V

Simulador Tabla
 5

EJERCICIO 2
A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas
leyes de inferencia.
B) Expresión simbólica
MODUS PONENDO PONENS (MPP)

r → s Si Camilo está jugando en el deslizador entonces Él se encuentra en el parque

s → t Él se encuentra en el parque entonces está con los amigos
________
r→t Si Camilo está jugando en el deslizador entonces está con los amigos

r: Si Camilo está jugando en el deslizador (Premisa 1)

s: Él se encuentra en el parque (Premisa 2)
t: está con los amigos (Premisa 3)

MODUS TOLLENDO TOLLENS (MTT)

p V q Camilo está jugando en el deslizador o Él se encuentra en el parque

¬p No es cierto que Camilo está jugando en el deslizador
________
q Él se encuentra en el parque

p: Camilo está jugando en el deslizador

q: Él se encuentra en el parque
SIMPLIFICACIÓN (S)
p Camilo está jugando en el deslizador
q Él se encuentra en el parque
______
p∧q Camilo está jugando en el deslizador y Él se encuentra en el parque

p: Camilo está jugando en el deslizador (Premisa 1)

q: Él se encuentra en el parque (Premisa 2)
 6

EJERCICIO 3
Si como saludable entonces disminuyo el riesgo de padecer enfermedades
cardiovasculares. Si disminuyo el riesgo de padecer enfermedades cardiovasculares
entonces tendré una larga vida.
a. Conclusión: ____________________________________
b. Ley de inferencia aplicada: ________________________
c. Lenguaje simbólico: ______________________________
CONCLUSIÓN
p: Como saludable
q: disminuyo el riesgo de padecer enfermedades cardiovasculares
r: Tendré una larga vida.
SI como saludable ENTONCES tendré una larga vida
LEY DE INFERENCIA APLICADA
Silogismo hipotético
LENGUAJE SIMBÓLICO
P→q
q → r 
-------------- 
P→r

EJERCICIO 4
B. Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑝 ∨ 𝑟) ∧ (¬ r ∧ ¬𝑞)] → 𝑞
Premisas:
P1:(𝑝 → 𝑞)
P2: (𝑝 ∨ 𝑟)
P3:(¬ 𝑟 ∧ ¬𝑞)
Conclusión: 𝑞
 7

p: Ronald Camilo es estudiante de la UNAD

q: La UNAD ofrece la carrera de Comunicación social
r: Todo estudiante debe hacer el curso de Cibercultura

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

Si Ronald Camilo es estudiante de la UNAD entonces la UNAD ofrece la carrera de

comunicación social, y Ronald Camilo es estudiante de la UNAD o todo estudiante de la
UNAD debe hacer el curso de Cibercultura, y Si todo estudiante de la UNAD no debe hacer
el curso de Cibercultura y la UNAD no ofrece la carrera de comunicación social, por tanto,
la UNAD ofrece la carrera de comunicación social.

Tabla de Verdad Manual

Simulador Tabla de Verdad

 8

 Demostración de la validez del argumento mediante las leyes de la inferencia

lógica.

p1:(𝑝 → 𝑞)
p2: (𝑝 ∨ 𝑟)
p3:( 𝑟 ∧ 𝑞)
p4:(r ¬ (3)
p5: p SD (2,4)
..q MP (1,5)
 9

Conclusión

Este trabajo me permitió adquirir nuevos conocimientos para aplicar y expresar de forma
lógica lo relacionado con el pensamiento lógico matemático, las proposiciones simples
compuestas mediante el uso de conectores lógicos y la aplicación de tablas de verdad
aportando al consolidación de los procesos de argumentación y deducción propiciando una
actitud crítica con ejercicios aterrizados al contexto educativo ayudando a desarrollar la
inteligencia lógica-matemática importante en nuestra futura labor profesional.
 10

BIBLIOGRAFIA

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos

de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores.

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-

39). México, D.F, Larousse - Grupo Editorial Patria.

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

Córdoba, AR: El Cid Editor. (pp. 40-49).

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

Córdoba, AR: El Cid Editor. (pp. 40-49).

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-

39). México, D.F, Larousse - Grupo Editorial Patria.