UNIDAD 1-TAREA 1

METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

PRECENTADO POR:
MARIA ANGELICA MERCHAN RIVERA
Codigo:1002101971
N Grupo:200611_1036

PRECENTADO A:
CARLOS AUGUSTO GONZALEZ QUESADA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

PROGRAMA DE PSICOLOGIA
CEAD MALAGA
FEBRERO 2022
 INTRODUCCION
En la presente tarea profundice algunos conceptos correspondientes de los
procedimientos para probar la validez de argumentos, en el cual contextualice las reglas
de inferencia de Modus, Ponendo, Ponens, Simplificación, Adjunción y Silogismos
Hipotéticos. Relacionando los ejemplos de las mismas pudiendo apreciar el planteamiento
y formulación de expresiones del lenguaje simbólico, el lenguaje natural y proposiciones
simples haciendo un análisis en la aplicación de conectores lógicos que se dan para
determinadas situaciones que se plantean en el trabajo a presentar argumentar y
formular tablas de verdad por medio de la observación de premisas y todos los
conocimientos adquiridos, se interpretan e identifican en forma clara la estructura y
fundamento conceptual que tipifica los métodos de inferencia lógica por inducció.
 OBJETIVOS

• Conocer los métodos utilizados de leyes de inferencia y razonamiento

deductivo e inductivo.
• Analizaremos cada uno de los temas a desarrollar
• Identificare cada una de las leyes de inferencia y razonamiento deductivo.
• Desarrollare los puntos propuestos siguiendo los enlaces correspondientes
en el entorno del conocimiento.
 DESARROLLO DE LOS 4 EJERCICIOS

➢ Ejercicio 1: Proposiciones y tablas de verdad

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

D.
p: La Ingeniería Industrial tiene aplicaciones en la ciencia
q: La ingeniería Industrial tiene variedad de campos de acción
r: La Ingeniería Industrial sólo se ocupa de la optimización del uso de recursos humanos
(𝑝 ↔ 𝑞) ∨ (𝑞 → ∼ 𝑟)

⮚ Escribir la proposición compuesta en un lenguaje natural.

La Ingeniería Industrial tiene aplicaciones en la ciencia si solo si La ingeniería Industrial

tiene variedad de campos de acción o si La ingeniería Industrial tiene variedad de campos
de acción Entonces La Ingeniería Industrial no sólo se ocupa de la optimización del uso de
recursos humanos.

⮚ 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.
 ➢ Se clasifica como: contingencia

➢ Tabla de verdad Simulador UNAD

⮚Realizar un vídeo de 3 minutos:

• https://youtu.be/uf3c2RjQWSA

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

D. Expresión simbólica

rvq
¬q
r

➢ Ley de inferencia de la expresión: Tollendo ponens (TP)

➢ Proposiciones simples:
r: Juan estudia Matemáticas.
q: Juan conoce mucho sobre Arte.

➢ Lenguaje Natural:
Juan estudia matemáticas O conoce mucho sobre arte. Juan NO conoce mucho sobre
Arte. Por lo tanto, Juan estudia matemáticas.

D. Expresión simbólica

¬r → q
q → ¬t
¬r →¬t

➢ Ley de inferencia de la expresión: Silogismo Hipotético.

➢ Proposiciones simples:
r: Juan estudia matemáticas.
q: Juan conoce mucho sobre arte
t: A Juan le gustan los números.

➢ Lenguaje Natural:

Si Juan no estudia matemáticas entonces Juan conoce mucho sobre arte, si Juan conoce
mucho sobre arte entonces a Juan no le gustan los números, por lo tanto, si Juan no
estudia matemáticas entonces a Juan no le gustan los números.

D. Expresión simbólica

s∧t
t

➢ Ley de inferencia de la expresión: Simplificación

➢ Proposiciones simples:
s: Juan estudia matemáticas.
t: A Juan le gustan los números.

➢ Lenguaje Natural:

Juan estudia matemáticas y le gustan los números por lo tanto a juan le gustan los
números.

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

➢ Argumento: El razonamiento matemático es estructurado o todos nacemos con la

capacidad de desarrollar este tipo de habilidades. Si el razonamiento matemático es
estructurado, entonces, el razonamiento matemático es clave para el desarrollo de las
habilidades matemáticas. Si todos nacemos con la capacidad de desarrollar este tipo de
habilidades, entonces, al realizar ejercicios de matemáticas estimulamos una parte de
nuestro cerebro.

➢ Lenguaje simbólico:

p: El razonamiento matemático es estructurado.

q: todos nacemos con la capacidad de desarrollar este tipo de habilidades.
r: El razonamiento matemático es clave para el desarrollo de las habilidades matemáticas.
s: Al realizar ejercicios de matemáticas estimulamos una parte de nuestro cerebro.

Pvq
P→ r
q→ s
rvs

➢Ley de inferencia aplicada: Silogismo disyuntivo.

➢ Conclusión: El razonamiento matemático es clave para el desarrollo de las habilidades

matemáticas o al realizar ejercicios de matemáticas estimulamos una parte de nuestro
cerebro.
Ejercicio 4: Problemas de aplicación

Expresión simbólica: [(∼ 𝑝 ∨∼ 𝑞) ∧ (𝑝) ∧ (𝑝 →∼ 𝑟)] → (∼ 𝑞 ∧∼ 𝑟)

Premisas:
P1: (∼ 𝑝 ∨∼ 𝑞)
P2: (𝑝)
P3: (𝑝 →∼ 𝑟)
Conclusión: (∼ 𝑞 ∧∼ 𝑟)

➢ Proposiciones simples:

P: Juan estudia matemática.

q: A juan le gustan los números.
r: Juan conoce mucho sobre arte.

➢ Lenguaje Natural:

Juan no estudia matemáticas o a Juan no le gustan los números. Juan estudia matemática,
Si Juan estudia matemáticas entonces Juan no conoce mucho sobre el arte. Por lo tanto, A
Juan no le gustan los números y Juan no conoce mucho sobre arte.

➢ Tabla de verdad manual

 ➢ Tabla de verdad Simulador UNAD

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

P1: (∼ 𝑝 ∨∼ 𝑞)
P2: (𝑝)
P3: (𝑝 →∼ 𝑟)

𝑝 →∼ 𝑟
P
∴∼𝑟
P4: ∴ ∼ 𝑟………… Tollendo Ponens entre P2 y P3

∼ 𝑝 ∨∼ 𝑞
P
∴∼ 𝑞

P5: ∴∼ 𝑞……… Tollendo Ponens entre P1 y P2

 CONCLUCION

En este trabajo adquirimos algunos conocimientos de leyes de interferencia y

razonamientos deductivos e inductivos, llegando al desarrollo de cada uno de los objetivos
propuestos en este trabajo.

También podemos concluir que para resolver las temáticas correspondientes sobre los topis
de razonamiento las podemos demostrar con las tablas de verdad y reglas de interferencia.
 REFERENCIAS BIBLIOGRAFICAS

Curo, A. (2015). Matemática básica para administradores. (pp.

13-27). Universidad Peruana de Ciencias Aplicadas
(UPC) 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. (pp. 40-49). El Cid
Editor 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). Editorial
Tébar Flores 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). Larousse - Grupo Editorial
Patria https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page
=30

Castaño, C. (2017). OVI. Proposiciones y tablas de

verdad. Repositorio Institucional
UNAD. http://hdl.handle.net/10596/13871

Castaño, C. (2017). OVI. Leyes de inferencia. Repositorio

Institucional UNAD. http://hdl.handle.net/10596/13869
OVA – Unidad 1Castaño, C. (2019). OVA. Leyes de la
inferencia. Repositorio Institucional
UNAD. https://repository.unad.edu.co/handle/10596/31590