1

Tarea 1 Métodos para aprobar la validez de argumentos

Nombre:

Cedula:

UNAD, Universidad nacional abierta y a distancia

Programa:

Curso:

Tutor:

Grupo:

01 de marzo de 2022
 2

Introducción

Con este trabajo se busca conocer un argumento

en lenguaje natural, en forma escrita que sirve

para tramitar el conocimiento en proporciones,

donde también se identifica el lenguaje simbólico

y el manejo del simulador de la UNAD.

 3

Objetivos

 Cada estudiante tiene que escoger una letra a desarrollar y

publicarla en el foro.

 Probar la validez de argumentos

 General la tabla de verdad atreves del simulador UNAD

 Definir proposiciones simples

 Identificar la conclusión del argumento

 Remplazar las variables expresadas simbólicamente y levarlas al

lenguaje natural.
 4

Ejercicio 1: Proposiciones y tablas de

verdad

 Preposiciones simples

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

 Lenguaje simbólico

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

 Lenguaje simbólico

La Ingeniería Industrial tiene aplicaciones en

la ciencia si y solo si La ingeniería Industrial

tiene variedad de campos de acción, o 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.

 5

 Tabla manual

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

p 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

 Se clasifica como contingencia

 6

Tabla de verdad simulador unad.

 7

Ejercicio 2 identificación de las reglas de la inferencia

lógica

 Expresión simbólica

r∨q ¬r → q s∧t
¬q q → ¬t
1 ___________ 2 ________ 3 ________
r ¬r → ¬t t

 Ley de inferencia de la expresión

1. Silogismo disyunto

2. Silogismo hipotético

3. Simplificación

 Proposiciones simpes

1. r: la UNAD es publica

q: lida estudia en la UNAD

Lenguaje natural

La UNAD es publica o lida estudia en la

UNAD, si lida no estudia en la UNAD, por lo

tanto la UNAD es pública.

 8

 Proposiciones simples

2. r: Sergio estudia psicología

q: lida estudia en la UNAD

t: carolina reprobó ingles

Lenguaje natural

Sergio no estudia psicología, entonces lida

estudia en la UNAD, SI Lida estudia en la

UNAD, entonces carolina no reprobó inglés,

Sergio no estudia psicología, por lo tanto,

carolina no reprobó inglés.

 Proposiciones simples

3. s: la UNAD es publica

t: lida estudia en la UNAD

Lenguaje natural

La UNAD es publica y lida estudia en la

UNAD, por lo tanto, lida estudia en la UNAD

 9

Ejercicio 3 aplicación de las reglas de

inferencia

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

a. Lenguaje simbólico: pvq

p→ r
_____
q→ s
b. Ley de inferencia aplicada: ____silogismo

constructivo_

 c. Conclusión: 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.

 10

Ejercicio 4: Problemas de aplicación

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

(∼ 𝑞 ∧∼ 𝑟)

 Premisas:

 P1: (∼ 𝑝 ∨∼ 𝑞)

 P2: (𝑝)

 P3: (𝑝 →∼ 𝑟)

 Conclusión: (∼ 𝑞 ∧∼ 𝑟)

Proposiciones simples

p: Catedra unadista es el curso más fácil de

la UNAD

q: Sofia esta estudiando derecho en la UNAD

r: la UNAD tiene varias sedes en el meta

Lenguaje natural

Catedra unadista no es el curso más fácil de

la UNAD o Sofia no esta estudiando derecho

en la UNAD . catedra unadista es el curso

más fácil de la UNAD, si catedra unadista es

el curso más fácil de la UNAD, entonces la

UNAD no tiene varias sedes en el meta. por lo

 11

tanto, Sofia no está estudiando derecho en la

UNAD, y la UNAD no tiene varias sedes en el

meta.

 Tabla de verdad manual

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

p q r ∼ ∼ ∼ (∼ 𝑝 (∼ 𝑝 ∨∼ 𝑞) (𝑝 →∼ [(∼ 𝑝 ∨∼ (∼ 𝑞 ∧∼ [(∼ 𝑝 ∨∼ 𝑞) ∧ (𝑝) ∧ (𝑝 →∼ 𝑟)]

𝑝 𝑞 𝑟 ∨∼ 𝑞) ∧ (𝑝) 𝑟) 𝑞) ∧ (𝑝) ∧ 𝑟) → (∼ 𝑞 ∧∼ 𝑟)
(𝑝 →∼ 𝑟)]
V V V F F F F F F F F V
V V F F F V F F V F F V
V F V F V F V V F F F v
V F F F V V V V V V V V
F V V V F F V F V F F V
F V F V F V V F V F F V
F F V V V F V F V F F V
F F F V V v V F V F V v

Tabla simuladora UNAD

 12

Demostración de la validez del argumento mediante las leyes de la

inferencia lógica
 13

Conclusión

Este trabajo realizado, me permite tener

conocimiento de temas que no se ven en el

colegio. Me sirven mucho para mi vida

profesional ya que de eso se trata aprender

cada día más y transmitirles a otros nuestros

aprendizajes.