Está en la página 1de 13

Tarea 1 Métodos para probar la validez de argumentos

Presentado por:

Jineth Karina Chisco Cuellar

No. De Grupo: 200611_2276

Presentado a:

William Andrés Taborda 

Universidad Nacional Abierta y a distancia UNAD

Programa de Licenciatura en Pedagogía Infantil

Septiembre, 2021
Introducción

Este trabajo tiene como propósito desarrollar de una manera clara las tablas de verdad,

aplicar las leyes de inferencia que permiten resolver operaciones básicas, analizar

información, hacer uso del pensamiento reflexivo y del conocimiento del mundo que nos

rodea, para aplicarlo a la vida cotidiana y aprender cada día más sobre el pensamiento

lógico matemático debido a que es fundamental para comprender conceptos abstractos,

razonamiento y comprensión de relaciones. Los cuales, permiten establecer relaciones

entre diferentes conceptos y llegar a una comprensión más profunda, que proporcione

orden y sentido a las acciones y/o decisiones.


OBJETIVOS

 Analizar cada tema propuesto en la guía

 Identificar los documentos más beneficiosos para un buen entendimiento

 Reconocer la importancia de conocer cómo se crea una tabla de verdad Diferenciar

las leyes de inferencia.


ACTIVIDADES A DESARROLLAR

Ejercicio 1: Proposiciones y tablas de desarrollo

 Proposiciones simples C

p: El alcalde de Cali acuerda pacíficamente desbloquear vías.

q: Los Manifestantes firmaron el acuerdo.

r: Los manifestantes desbloquean las vías con respeto a la movilización.

 Lenguaje simbólico

(𝒑 ∧ 𝒒) → (𝒑 → 𝒓)

Lenguaje natural

El alcalde de Cali acuerda pacíficamente desbloquear vías y los Manifestantes firmaron el

acuerdo, entonces el alcalde de Cali acuerda pacíficamente desbloquear vías entonces los

manifestantes desbloquean las vías con respeto a la movilización.

2n=23 =2 x 2 x 2=8 Filas

 Tabla manual

P Q R P∧Q P→R (P ∧ Q) → (P → R)
V V V V V V
V V F V F F
V F V F V V
V F F F F V
F V V F V V
F V F F V V
F F V F V V
F F F F V V
Es una Contingencia

 Tabla de verdad simulador UNAD


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

 C. Expresión simbólica

p→q
∼𝑞
_______________
∼𝑝
 Ley de inferencia de la expresión: Modus Tollendo Tollens (TT)

 Proposiciones simples:

P: Carolina anhela estudiar pedagogía Infantil

Q: Carolina debe trabajar duro para poder pagar el semestre de la universidad

 Lenguaje natural:

Si Carolina anhela estudiar pedagogía Infantil entonces Carolina debe trabajar duro para
poder pagar el semestre de la universidad.

 C. Expresión simbólica

p∨q
𝑝→r
𝑞→s
_______
r∨s
 Ley de la inferencia de la expresión: Silogismo disyuntivo (DS)

 Proposiciones simples:

p: Tania piensa jugar vóley

q: Tania busca patrocinador para entrenar


r: Tania pide a la liga del meta poder ingresar al equipo

s: Tania logra quedar en el equipo.

 Lenguaje natural:

Tania piensa jugar vóley o Tania busca patrocinador para entrenar. Si Tania piensa jugar

vóley entonces Tania pide a la liga del meta poder ingresar al equipo. Entonces Tania busca

patrocinador para entrenar entonces Tania logra quedar en el equipo.

 C. Expresión simbólica

∼ (∼ p)
______
p

 Ley de la inferencia de la expresión: Doble Negación (DN)

 Proposiciones simples:

∼p: camilo no le gusta estudiar

p: Camilo prefiere entrenar micro

 Lenguaje natural:

No, camilo no le gusta estudiar, Camilo prefiere entrenar micro


Ejercicio 3: aplicación de las reglas de inferencia lógica

C. La UNAD tiene programas de posgrado o la UNAD tiene programas tecnológicos. La

UNAD NO tiene programas tecnológicos.

a. Conclusión: la UNAD cuenta con programas de posgrado.

b. Ley de inferencia aplicada: Modus Tollendo Ponens (MTP)

c. Lenguaje simbólico:

pvq

∼q
_______
∴p
Ejercicio 4: Problemas de aplicación

C. Expresión simbólica [(∼q v p) ∧ (s → ∼p) ∧ s] → (∼p ∧ ∼q)

Premisas: P1: ∼q v p

P2: s → ∼p

P3: s

Conclusion: ∼p ∧ ∼q

 Preposiciones simples:

p: Pamela quiere trabajar.

∼q: Pamela no puede pagar el semestre.

s: Pamela debe conseguir un trabajo.

∼p: Pamela no podrá alcanzar su título universitario sino consigue un trabajo.

 Lenguaje natural:

Pamela no puede pagar el semestre o Pamela quiere trabajar, Pamela debe conseguir un

trabajo entonces Pamela no podrá alcanzar su título universitario sino consigue un trabajo.
 Tabla manual:

Contradicción

(S →∼P ) (∼P ∧ ∼Q) [(∼Q V P ) ∧ (S →∼P ) ∧ S ]


P Q S ∼Q ∼P ∼Q V P →(∼P ∧ ∼Q)
V V V F F F V F F
V V F F F F F F F
V F V V F V V F F
V F F V F V F F F
F V V F V F F F F
F V F F V F F F F
F F V V V F F V F
F F F V V F F V F
 Tabla de verdad UNAD:

 Demostración de la validez del argumento mediante las leyes de inferencia:

P1: 𝑝 → ¬𝑞

P2: 𝑞 ∨ ¬𝑟
P3: 𝑟

P4: 𝑞………… Modus Tollendo Ponens entre P2 y P3

P5: ¬𝑝……… Modus Tollendo Tollens entre P1 y P4


CONCLUSIONES

Puedo concluir que, la elaboración de este trabajo fue un reto, debido a que no tenía muy

presente cada uno de los temas vistos en el trabajo, la solución de cada uno me permitió

volver a reconocer cada uno de los símbolos. También, que me permitió manejar la

plataforma y además de eso me genero curiosidad por que no tenía conocimiento de

algunos símbolos generando un método de investigación, ayudándome a ampliar mi

conocimiento.

Enlace del video

https://www.youtube.com/watch?v=-k9-OyRcvnc
tarea1 pensamiento lógico matemático
Referencias Bibliográficas

Tabla de verdad https://www.youtube.com/watch?v=a5cEaETtTNo

Anexo 1. Ejercicios modelo https://www.flipsnack.com/8D8BDB5569B/anexo-1-gu-a-

para-el-desarrollo-de-la-tarea-1.html

Anexo 2. Simulador Lógica UNAD https://www.flipsnack.com/8D8BDB5569B/anexo-2-

simulador-l-gica-unad-tarea-1.html

También podría gustarte