Tarea 1 – métodos para probar la validez de argumentos

Angie Gissette Aunta Niño

Código del grupo colaborativo #951

Profesores: Javier Ernesto Rodríguez

Patricia Leguizamón

Curso lógica matemática

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de administración de empresas
ZCBOY- CEAD Tunja
Marzo, 2021
Introducción:
En el siguiente trabajo se logra evidenciar las clases de proposiciones, el uso de las tablas de
verdad, los métodos de argumentos, y el uso que se les puede dar para problemas de la vida
cotidiana, y como cambiar en lenguaje simbólico a lenguaje natural.

Objetivos:
Lograr que el estudiante se le facilite pasar de lenguaje simbólico, a lenguaje natural.
Aprender a realizar una tabla de verdad.
Identificar las leyes de inferencia.
Ejercicio 1: Proposiciones y tablas de verdad

A continuación, encontrará los argumentos para el desarrollo del ejercicio 1: letra B

B. p: En 2020 creció el desempleo

q: En 2020 hubo pandemia

r: Hubo inversión económica

(𝒑 ∧ 𝒒) ∨ (𝒑 ∧ ~𝒓)

Escriba la proposición compuesta propuesta en lenguaje natural.

(𝒑 ∧ 𝒒) = en el 2020 creció el desempleo y en 2020 hubo pandemia

(𝒑 ∧ ~𝒓) = en el 2020 creció el desempleo y no hubo inversión económica

(𝒑 ∧ 𝒒) ∨ (𝒑 ∧ ~𝒓) = en el 2020 creció el desempleo y en 2020 hubo pandemia, o en el 2020 creció el

desempleo y no hubo inversión económica

*Generar la tabla de verdad a través del simulador Lógica UNAD

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 (𝒑 ∧ 𝒒) ~𝒓 (𝒑 ∧ ~𝒓) (𝒑 ∧ 𝒒) ∨ (𝒑 ∧ ~𝒓)

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

El resultado es una Contingencia debido a que los resultados alternan entre falsos y verdaderos.
Enlace video desarrollo ejercicio 1
https://youtu.be/83xjLgUQhpY

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

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de
inferencia.
B. Expresión simbólica
r ∧ ¬s
______
¬s
La ley de inferencia es simplificación.
R: Julián estudia administración de empresas en la unad.
S: Julián estudia economía en la unad.
Julián estudia administración de empresas en la unad y Julián no estudia economía, por lo tanto,
Julián no estudia economía en la unad.

p→q
p→q
______
p→r
la ley de inferencia es un silogismo hipotético.
p: Julián estudia administración de empresas en la unad.
q: Julián estudia economía en la unad.
R: la unad ofrece muchas carreras.
Si Julián estudia administración de empresas en la unad entonces Julián estudia economía en la
unad, Si Julián estudia administración de empresas en la unad entonces Julián estudia economía
en la unad, por lo tanto, Si Julián estudia administración de empresas en la unad entonces la
unad ofrece muchas carreras.

p→q
p
_____
q
la ley de inferencia es un modus ponens.
p: Julián estudia administración de empresas en la unad.
q: Julián estudia economía en la unad.

Si Julián estudia administración de empresas en la unad entonces Julián estudia economía en la

unad, por lo tanto, Julián estudia economía en la unad.

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

B. Vendo todo o recupero la cartera. Si vendo todo entonces cumplo la meta. Si recupero la
cartera entonces bonifico comisión en la empresa.
a. Conclusión: si vendo todo entonces bonifico comisión en la empresa.
b. ley de inferencia aplicada: silogismo constructivo
c. lenguaje simbólico
pvq
p→r
_______
q→s

Proposiciones simples:
p: vendo todo
q: recupero la cartera
r: cumplo la meta
s: bonifico comisión en la empresa

Ejercicio 4: Problemas de aplicación

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento

para el desarrollo del ejercicio 4:
B. Expresión simbólica: [(𝑝) ∧ (𝑝 → 𝑞) ∧ (𝑝 → 𝑟)] → r
Lenguaje natural: Julián estudia contaduría, y si Julián estudia contaduría entonces Julián
estudia inglés, y si Julián estudia contaduría entonces Julián estudia economía, si Julián estudia
contaduría, y si Julián estudia contaduría entonces Julián estudia inglés, y si Julián estudia
contaduría entonces Julián estudia economía entonces Julián estudia economía.
P: Julián estudia contaduría
Q: Julián estudia ingles
R: Julián estudia economía
P1: p = Julián estudia contaduría
P2: 𝑝 → q = si Julián estudia contaduría entonces Julián estudia inglés.
P3: 𝑝 → r = si Julián estudia contaduría entonces Julián estudia economía.
Conclusión: Julián estudia inglés.

TABLA DE VERDAD

p q r (𝒑) (𝑝 → 𝑞) [(𝑝) ∧ (𝑝 → 𝑞) (𝑝 → r) [(𝑝) ∧ (𝑝 → [(𝑝) ∧ (𝑝 → 𝑞) ∧

𝑞) ∧ (𝑝 → (𝑝 → 𝑟)] → r
𝑟)]
V V V V V V V V V
V V F V V V F F V
V F V V F F V V V
V F F V F F F V V
F V V F V F V V V
 F V F F V F V V V
F F V F V F V V V
F F F F V F V V V

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

: [(𝑝) ∧ (𝑝 → 𝑞) ∧ (𝑝 → 𝑟)] → r
P1 (P)
P2 𝑝 → 𝑞
P3 𝑝 → 𝑟
_______________
p→r La proposición es un silogismo hipotético

Conclusión
con el siguiente trabajo se logra concluir, la importancia que tienen los métodos para validar
argumentos, las tablas de verdad, leyes de inferencia y las clases de proposiciones, con el fin de
realizar un aprendizaje óptimo de la temática vista.

Bibliografía
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). Inferencia Lógica. Córdoba, AR: El Cid Editor. (pp. 40-49). Recuperado
de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59
Villalpando, B. J. F. (2014). Prueba formal de validez. (pp. 34-37). México, D.F, Larousse -
Grupo Editorial Patria. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=39
Rodríguez, H. (2017). Proposiciones y conectivos Lógicos (Valor de verdad proposiciones
compuestas). [Archivo de video]. Recuperado de http://hdl.handle.net/10596/11489
Rodríguez, H. (2017). Leyes de inferencia (Validación de argumentos). [Archivo de video].
Recuperado de http://hdl.handle.net/10596/11486