METODOS PARA APROBAR LA VALIDEZ DE ARGUMENTOS

ELABORADO POR:
Jhon Deiby Alpala Ortiz.

PRESENTADO A:
David Eduardo López.

Universidad abierta y a distancia-UNAD.

Pensamiento lógico matemático grupo: 200611_546

San Juan de Pasto

2021
 INTRODUCCION

En el presente trabajo realizo la entrega de los 4 ejercicios de la letra C, en el curso pensamiento

lógico matemático, donde encontramos los temas de: proposiciones y tabla de verdad usando el

simulador de lógica UNAD, identificación de las reglas de la inferencia lógica, aplicación de

reglas en la inferencia lógica y problemas de aplicación. Con un objetivo llenarse de aprendizaje

y conocer los temas propuestos.

Objetivo General:

 Desarrollar y aplicar los conocimientos sobre proposiciones, tabla de verdad, y reglas de

inferencia mediante la aprobación de validez de argumentos.

Objetivos Específicos

 Elaborar los ejercicios propuestos y reconocer las proposiciones usando el lenguaje

natural, simbólico, y tabla manual donde se obtiene una verificación con el uso del

simulador lógico UNAD.

 Determinar las diferentes reglas de la inferencia lógica donde encontramos diferentes

usos de reglas.

 Dar a conocer mis conocimientos sobre el tema, donde con ayuda de contenido propuesto

por la UNAD desarrollo los ejercicios.

 Ejercicio numero 1: proposiciones y tabla de verdad.

1. Escriba la proposición compuesta propuesta en lenguaje natural.

p: Estudiamos para el parcial
q: Nos distraemos estudiando
r: Nos dormimos estudiando

(𝒑 ∧ ~𝒒) ∨ ~ r
Escriba la proposición compuesta propuesta en lenguaje natural.
R// Estudiamos para el parcial y no nos distraemos estudiando o no nos dormimos estudiando.

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

TABLA MANUAL:

(𝒑 ∧ ~𝒒) ∨ ~ r 2n = NUMERO DE FILAS N3= NUMERO DE PROPOSICIONES

p q r (𝒑 ∧ ~𝒒) (𝒑 ∧ ~𝒒) ∨ ~ r

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

El resultado es una CONTINGENCIA se obtiene proposiciones variada falsas y verdaderas.

TABLA CON SIMULADOR:

Link video YouTube: https://youtu.be/W5LOGn8TEsU

 EJERCICIO 2: IDENTIFICACIÓN DE LAS REGLAS DE LA INFERENCIA LÓGICA.

1. r → s
r r = hace calor
______ MODUS PONENS.
s s = te llevo al rio

2. p
q p= voy al parque a descansar.
______ REGLA DE ADJUNCION.
p∧q q= realizo ejercicios en la casa
3. p → ¬q
q
_______ MODUS TOLLENS. q = practico futbol.

¬p p= realizo ejercicios de yoga.

Lenguaje natural:

1. si hace calor entonces te llevo al rio, hace calor por lo tanto te llevo al rio.

2. Voy al parque a descansar, realizo ejercicios en la casa, por lo tanto, voy al parque a descansar y
realizo ejercicio en la casa.

3. Realizo ejercicios de yoga entonces no practico futbol, practico futbol por lo tanto no realizo
ejercicios de yoga.
 EJERCICIO 3: APLICACIÓN DE LAS REGLAS DE LA INFERENCIA LÓGICA.

Identificar la conclusión del argumento.

Voy a ver alumbrados o prendo velitas en mi casa. No voy a ver alumbrados.

A. Conclusión: no voy a ver alumbrados

B. Ley de inferencia aplicada: modus tollens.
C. Lenguaje simbólico:

pVq

P
_____ P: PRENDO VELITAS EN MI CASA MODUS TOLLENS

¬q q: VOY A VER ALUMBRADOS

q: NO VOY A VER ALUMBRADOS
 EJERCICIO 4: PROBLEMAS DE APLICACIÓN

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.

C. Expresión simbólica: {(𝑝 → 𝑞) ∧ (𝑞 ∧ ¬𝑟) ∧ (𝑞 → 𝑟)} → (¬𝑝)

Premisas:
P1: 𝑝 → q
P2: 𝑞 ∨¬ r
P3: 𝑞 ∧ r
Conclusión: ¬ p

PROPOSICION SIMPLE:

P: todas las tardes de mayo nos reuniremos para estudiar

q: haremos un circulo de estudio
r: aprenderemos filosofía.

LENGUAJE NATURAL:

Todas las tardes de mayo nos reuniremos para estudiar entonces haremos un circulo de estudio, y
haremos un circulo de estudioo no aprenderemos filosofía, y haremos un circulo de estudio y
aprenderemos filosofía, por lo tanto, no todas las tardes de mayo nos reuniremos para estudiar.

TABLA DE VERDAD MANUAL.

{(𝑝 → 𝑞) ∧ (𝑞 ∧ ¬𝑟) ∧ (𝑞 → 𝑟)} → (¬𝑝)
p q r ¬𝑝 ¬𝑟 {(𝑝 → 𝑞) (𝑞 ∧ ¬𝑟) (𝑞 → 𝑟) (¬𝑝) (𝑝 → 𝑞) ∧ (𝑞 ∧ {(𝑝 → 𝑞) ∧
¬𝑟) ∧ (𝑞 → 𝑟)}
(𝑞 ∧ ¬𝑟) ∧
(𝑞 → 𝑟)}
→ (¬𝑝)

v v v f f v v v f f v
v v f f v v f f f f v
v f v f f f f v f f v
v f f f v f f v f f v
f v v v f v v v v f v
f v f v v v f f v f v
f f v v f v f v v f v
f f f v v v f v v f v

El resultado es una tautología.

TABLA DE VERDAD EN SIMULADOR:
 DEMOSTRACIÓN DE LA VALIDEZ DEL ARGUMENTO MEDIANTE LAS LEYES DE
LA INFERENCIA LÓGICA

P1: 𝑝 → q
P2: 𝑞 ∨¬ r
P3: 𝑞 ∧ r
Conclusión: ¬ p
P4: r simplificación 3
P5: q simplificación 3
P6: ¬ q → ¬ r equivalencia 2
P7: ¬ ¬ q doble negación 5
P8: ¬ p MTT 1,7
El argumento es verdadero.

CONCLUSIONES

Como conclusión del trabajo puedo definir que aprendí mucho conocimiento al desarrollar proposiciones,
lenguaje natural, simbólico y tablas de verdad. También aprendo reconocer las reglas de la inferencia
lógica y entre otros temas que desconocía gracias a este trabajo ya podemos identificar si un argumento es
válido también aumento la habilidad de desarrollar las premisas para reconocer si un argumento es válido.

Gracias a este trabajo se puede decir que ya tengo conocimientos para saber la verdad no solo en temas
del razonamiento sino también en parte de nuestras vidas al igual que también aprendo un lenguaje
matemático con símbolos que desconocía.
 BIBLIOGRAFIA

 Curo, A. (2015). Matemática básica para administradores. (pp. 13- 27). Universidad Peruana de
Ciencias Aplicadas (UPC).

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

 argumento válido demostración de reglas de inferencia - YouTube