METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

DIEGO ANDRÉS CAVIEDES SALAZAR

C.C 1004062042

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO MATEMATICO

2021
METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

PRESENTADO POR:

DIEGO ANDRÉS CAVIEDES SALAZAR

200611B_951
BOGOTÁ D.C

PRESENTADO A:
FRANCISCO JAVIER REYES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO MATEMATICO

BOGOTÁ D.C

MAYO-2021
 LETRA E

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio: A continuación, encontrará las proposiciones simples para el

desarrollo del ejercicio 1:

p: Activan la restricción de carros en la ciudad

q: Hay contaminación del aire

r: Las personas tienen conciencia ambiental

(𝒑 ∧ ~𝒒) ↔ r

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

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

Si Activan la restricción de carros en la ciudad y no hay contaminación del aire, si y sólo si

las personas tienen conciencia ambiental

➢ 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

p q r (𝒑 ∧ ~𝒒) (𝒑 ∧ ~𝒒) ↔𝒓
V V V F F
V V F F V
V F V V V
V F F V F
F V V F F
F V F F V
F F V F F
F F F F V

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para
uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), 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.

Tabla de Verdad simulador UNAD

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

Descripción del ejercicio: A continuación, encuentra el lenguaje simbólico de

expresiones que representan algunas leyes de inferencia

Expresión simbólica

s → ¬t p→s s→r

t s→r s

¬s p→r r

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

s → ¬t
t

¬s

➢ Ley de inferencia de la expresión simbólica: Modus Tollendo Tollens (TT)

Proposiciones simples:

s: Diego estudia Ingeniera de Sistema en la UNAD

t: Diego cursó la materia de pensamiento lógico y matemático.

Lenguaje Natural:

Si Diego no estudia ingeniería de sistemas en la UNAD, entonces, Diego no cursó la

materia de pensamiento lógico y matemático. Diego no estudia Ingeniera de Sistema en
la UNAD. Por lo tanto, Diego no cursó la materia de pensamiento lógico y matemático.

p→s

s→r

p→r

➢ Ley de inferencia de la expresión simbólica: Silogismo Hipotético (SH)

Proposiciones simples:

p: Se puede ver 20 créditos en el tercer semestre

s: se pueden ver 5 materias en el semestre

r: cada materia consta de 4 créditos

Lenguaje Natural:

Si se puede ver 20 créditos en el tercer semestre, entonces, se pueden ver 5 materias en

el semestre. Se puede ver 5 materias en el semestre, por lo tanto cada materia consta de
4 créditos.
s→r

➢ Ley de inferencia de la expresión simbólica: Modus Ponendo Ponens (PP)

Proposiciones simples:

s: hay dos cursos de la línea de matemáticas

r: debo aprobar los dos cursos

Lenguaje Natural:

Si hay dos cursos de la línea de matemáticas, entonces, debo aprobar los dos cursos.

Hay dos cursos de la línea de matemáticas, por lo tanto debo aprobar los dos cursos.

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

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

del ejercicio 3:

Si me pagan la prima de diciembre entonces compro los regalos de navidad. No compro

los regalos de navidad.

a. Conclusión: No me pagan la prima de diciembre

b. Ley de inferencia aplicada: Modus Tollendo Tollens (TT)

c. Lenguaje simbólico:

𝑝→𝑞

~𝑞

~p

Ejercicio 4: Problemas de aplicación

 Descripción del ejercicio: 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:

Expresión simbólica:

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

Premisas:

P1:𝑝 → 𝑟

P2:𝑞 ∨ ¬𝑟

P3:𝑝 → q

Conclusión: q

➢ Proposiciones simples:

p: Diego estudia ingeniería de sistemas en la UNAD

q: Diego aprobó el curso de pensamiento lógico y matemático

r: Diego está matriculado en el siguiente curso.

➢ Lenguaje Natural:

Si Diego estudia ingeniería de sistemas en la UNAD, entonces Diego aprobó el curso de

pensamiento lógico y matemático, y Diego está matriculado en el siguiente curso o Diego
está matriculado en el siguiente curso. y Diego está matriculado en el siguiente curso.
Entonces Diego no está matriculado en el siguiente curso. entonces Diego no estudia
ingeniería de sistemas en la UNAD.

➢ Tabla de verdad manual

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

➢ Tabla de verdad Simulador UNAD

➢ Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1:𝑝 → 𝑟

P2:𝑞 ∨ ¬𝑟

P3:𝑝 → q

P4: Silogismo Hipotético (SH) P1 Y P3

P5: Silogismo disyuntivo (DS) P2, P1 Y P3

 REFERENCIAS BIBLIOGRAFIAS

Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad

Peruana de Ciencias Aplicadas (UPC). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

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). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

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. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

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

México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30

Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de

http://hdl.handle.net/10596/13871

Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado de

http://hdl.handle.net/10596/13869