TAREA # 1

Métodos para probar la validez de argumentos

Actividad Individual

YURLEIDY Ramos Mosquera

C.C.1075091188

Director de curso

Mary Elena Ortega

Universidad Nacional Abierta y a Distancia

-UNAD

Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios

-ECACEN

Pensamiento lógico y matemático

11 /03/2022
 INTRODUCCION

En este trabajo tengo el propósito de demostrar de una manera clara el desarrollo que trata
sobre los métodos para probar la validez de argumentos como son las preposiciones simples y
las tablas de verdad, identificación de las reglas de inferencia lógica, aplicación de las reglas de
inferencia lógica y problemas de aplicación.
 OBJETIVOS

Analizar cada tema propuesto

Identificar los documentos más beneficiosos para un buen entendimiento

Reconocer la importa de conocer cómo se crea una tabla de verdad

Aprender a diferenciar las leyes de inferencia y su aplicación

EJERCICIO # 1 LETRA D

A continuación, encontrara las preposiciones 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 solo se ocupa de la optimalización del uso de recursos humanos.

(𝑝 ↔ 𝑞) ∨ (𝑞 → ∼ 𝑟)

LENGUAJE SIMBOLICO:( (𝒑 ↔𝒒) ∧ ( 𝒒 → ∼ 𝒓).

SI y solo si la Ingeniería Industrial tiene aplicaciones en la ciencia entonces la Ingeniería

Industrial tiene variedad de campos de acción O si la ingeniera industrial tiene variedad de
campos de acción Entonces la Ingeniería industrial solo se ocupa de la optimalizació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.

p q r ∼r (p ↔ q) (q → r) (p ↔q)v(q→r)
v v v f v f v
v v f v v v v
v f v f f v v
v f f v f v v
f v v f f f f
f v f v f v v
f f v f v v v
f f f v v v v
 Generar la tabla de verdad a través del simulador LOGICA UNAD.

p q r (𝑝 ↔ 𝑞) ∨ (𝑞 → ∼ 𝑟)

v v v v
v v f v
v f v v
v f f v
f v v f
f v f v
f f v v
f f f V

EJERCISIO 2 LETRA D

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas

leyes de inferencia.

D: Expresión simbólica.

r ∨q
¬q
__________
r

¬r → q
q → ¬t
_______________
¬r → ¬t
 ¬s → ¬r
¬s
________________
¬r

s∧t

________________

Identificación de las reglas de la inferencia lógica

Descripción del ejercicio:

r∨q

¬p

___________

La ley de inferencia de la expresión simbólica es.

MODUS TOLLENDO PONENS (MTP).

Definir las preposiciones simples, tendrá la libertad de definirlas bajo una descripción basada en
un contexto, el que se socita es un contexto académico.

r: óseas estudia ingeniería de sistemas.

q: participa en los foros colaborativos.

El lenguaje natural de esta ley de Inferencia expresada en el lenguaje simbólico .

Oses Estudia Ingeniería de sistemas o Participa en los foros colaborativos. NO participa en los
foros colaborativos. Por lo tanto, Oseas estudia ingeniería de sistemas.

Descripción del ejercicio:

¬r → q
q → ¬t

_______________
¬r → ¬t

La ley de Inferencia que representa esta expresión simbólica es:

Silogismo hipotético

Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción basada en
un contexto, el que se solicita es un contexto académico.

r: yurleidy Estudia contaduría publica

q: participa en los foros de discusión

t: participa en los B-earling.

Construir el lenguaje natural de cada ley de inferencia expresada en lenguaje simbólico.

Son:

SI Yurleidy NO Estudia contaduría pública entonces participa en los foros de discusión. SI

Participa en los foros de deiscusion entonces participa en los B-earling. Por lo tanto, yurleidy NO
estudia contaduría pública entonces no participa en el B-earling.

Descripción del ejercicio:

s∧t

___________
t

Nombrar la ley de inferencia que representa esta expresión simbólica es:

Simplificación.
Definir las preposiciones simples, tendrá la libertad de definirlas bajo una descripción basada en
un contexto, el que se solicita es un contexto académico.

S: Yurleidy Estudia Contaduría Publica

t: Participa en los B-earling

Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

Son:

Yurleidy Estudia Contaduría pública Y Participa en los B-earling. Por lo tanto, participa en los B-
earling

EJERCICIO # 3 –LETRA D

Aplicación de reglas de inferencia lógica.

Descripción del ejercicio:

A continuación, se encuentran los argumentos para el desarrollo del ejercicio 3:

D. El razonamiento matemático es estructurado o todos nacemos con las capacidades 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.

A. lenguaje Simbólico:

𝑝V𝑞

𝑝 → r

q → r

______________

∴𝑟Vs
P: El razonamiento 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

b. Ley de inferencia aplicada es: Dilema constructivo

c. conclusión: r V s o 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

EJERCIO # 4 –LETRA D

Problemas de aplicación

Descripción del ejercicio: A continuación, encontrara la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 4:

D. Expresión simbólica: [(∼ p ∨∼ 𝑞) ∧ (p) ∧ (p →∼ 𝑟)] → (∼ q ∧∼ 𝑟)

Premisas:

P1: (∼ p ∨∼ q)

P2: (p)

P3: (p →∼ r)

Conclusión: (∼ q ∧∼ r)

A partir de la expresión simbólica seleccionada, el estudiante deberá:

Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en
contexto, el que se solicita es un contexto académico.

P: Yurleidy estudia contaduría pública

q: yurleidy cursa 1 semestres

r: yurleidy vio la materia lógica matemática
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

SI yurleidy NO estudia contaduría pública O Yurleidy No cursa 1 semestres. Yurleidy estudia

contaduría pública. Si yurleidy estudia contaduría pública entonces yurleidy no vio la materia
lógica matemática. Por lo tanto, yurleidy no cursa 1 semestres y yurleidy no vio la materia lógica
matemática

Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p ∼p q ∼q r ∼r (∼P ( p → ∼r ) (∼q∧∼r [(∼pv∼q) ∧(p) ∧]

V∼q) )
V F V F V F V V V V
V F V F F V V F F V
V F F V V F V V F V
V F F V F V V F F V
F V V F V F V V V V
F V V F F V V V F V
F V F V V F F V F V
F V F V F V F V F V

Generar la tabla de verdad través del simulador lógica UNAD

TABLA DE RESULTADOS

p q r [(∼pv∼q) ∧(p) ∧(p→∼r)] (∼q∧∼r)

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

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

Premisa:

P1: (∼p v ∼ q)

P2:(p)

P3:(p→∼r)

Conclusión:( ∼q∧∼r)
_____________________________________________

P4: ∼ r… (MPP3)

P5: ∼q… (Silogismo Disyuntivo1)

P6:( ∼q∧∼r) (Conjunción 5,4) → comprobado así que el razonamiento es valido
 CONCLUSION

A pesar de que la plataforma es nueva para mí, pude evidenciar que está cargada de mucha
información y clara

Luego de realizar las guías, pude comprender con mayor claridad el tema expuesto

Para ampliar mis conocimientos debo hacer uso de todas las herramientas que me ofrece la UNAD

Debo planificar mi tiempo para cumplir a cabalidad todas las tareas y aprender un puco más.
 REFERENCIAS BIBLIOGRAFICAS

● 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. 34-37). 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. 34-37). México,

D.F, Larousse - Grupo Editorial Patria.

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

D.F, Larousse - Grupo Editorial Patria.