TAREA 1

MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

ESTUDIANTE: JESSICA DE ARCO RUIZ

GRUPO: 200611_398

TUTOR: JOSE ADRIAN LOSADA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PROGRAMA LICENCIATURA EN PEDAGOGIA INFANTIL
CURSO DE PENSAMIENTO LOGICO MATEMATICO
PLATO-MAGDALENA
Ejercicio 1: Proposiciones y tablas de verdad
Ejercicio C

Proposiciones simples
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 las vías y los manifestantes
firmaron el acuerdo. Entonces si el alcalde acuerda pacíficamente desbloquear las
vías, entonces los manifestantes desbloquean las vías con respecto a la
movilización.
 TABLA MANUAL

p q r P∧ q P→r (𝒑 ∧ 𝒒) → (p→ 𝒓)

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

El resultado de la tabla, tuvo valores verdaderos y falsos. Por lo que podemos

afirmar que se trata de una contingencia.

TABLA DE VERDAD SIMULADOR UNAD

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

Expresión simbólica 1:
p→q
∼𝑞
_____
∼p

Ley de inferencia de la expresión: Modus Ponendo Ponens (pp)

Proposiciones simples

P: Jessica realiza todas sus actividades

q: Jessica entrega sus actividades a tiempo

Lenguaje Natural:
Si Jessica realiza todas sus actividades, entonces Jessica entrega sus actividades
a tiempo. Jessica no entrega sus actividades a tiempo, por lo tanto, Jessica no
realiza todas sus actividades.

Expresión simbólica 2:
P v q
P → r
q → s
_______
r vs
Ley de inferencia de la expresión: Silogismo disyuntivo (DS)

Proposiciones simples:
p: Jessica realiza sus actividades
q: Jessica entrega sus actividades a tiempo
r: Jessica obtiene buenas notas
S: Jessica aprueba los cursos

Lenguaje Natural:
Jessica realiza sus actividades o entrega sus actividades a tiempo. Si Jessica
realiza sus actividades a tiempo, entonces Jessica obtiene buenas notas. Si
Jessica entrega sus actividades a tiempo, entonces Jessica aprueba los cursos.
Por lo tanto, Jessica obtiene buenas notas o aprueba todos los cursos.

Expresión simbólica 3:

∼ (∼ p)
________
P

Proposiciones simples:
P: Jessica realiza sus actividades

Lenguaje Natural:
No es cierto que Jessica no realiza sus actividades, por lo tanto, Jessica realiza
sus actividades

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

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

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

La UNAD NO tiene programas tecnológicos

a. Conclusión: p la UNAD tiene programas de posgrado

b. Ley de inferencia aplicada: tollendo ponens (MTP)

c. Lenguaje simbólico: pv q
∼ P
__________
p

P: la UNAD tiene programa de posgrado

q: la UNAD tiene programas tecnológicos

Ejercicio 4: Problemas de aplicación

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

Premisas:
P1: ∼q v p
P2: s → ∼p
P3: s
 Conclusión: ∼p ∧ ∼q
Proposiciones simples:

P: Ana estudia licenciatura en la UNAD

q: Ana participa en el foro de PLM
s: Ana obtiene buena nota

∼q: Ana No participa en el foro de PLM

∼p: Ana no estudia licenciatura en la UNAD

Lenguaje Natural:
Ana no participa en el foro de PLM O Ana estudia licenciatura en la UNAD. Si Ana
obtiene buena nota, entonces, Ana no estudia licenciatura en la UNAD.
Ana obtiene buena nota. Por lo tanto, Ana no estudia licenciatura en la UNAD y no
participa en el foro de PLM

Tabla de verdad manual

[(∼q v (s → (∼q v p) ∧ (s → (∼q v p) ∧ (s → ∼p) ∧
p q s ∼p ∼q p) ∼p) (∼p ∧ ∼q) ∼p) s] [(∼q v p) ∧ (s → ∼p) ∧ s] → (∼p ∧ ∼q)
v v v f f V F f V V V
v v f f f V V f V V V
v f v f v v f V V V V
v f f f v v v V v V V
f v v v f F v V v V V
f v f v f F v V v V V
f f v v v v v V v V V
f f f v v v v V v V V

El resultado de la tabla, tuvo todos los valores verdaderos .Por lo que podemos
afirmar que se trata de una Tautología.
Tabla de verdad Simulador UNAD
 Bibliografía
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas
básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp.
61- 65) Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/40414?
page=72

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas

básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp.
80 - 84) Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/40414?
page=91

Escudero Trujillo, R. (2016). Matemáticas básicas (4a. ed.). (pp.

37 – 39). Universidad del Norte. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/69967?
page=45

Roldán, I. R. (2018). Razonamiento y lenguaje matemático.

(pp.70-73). El Cid Editor, Córdoba. Recuperado
de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36731?
page=75

Castaño, G., & Adames, F.  (2020). Cuantificadores, [Vídeo].

Recuperado
de https://repository.unad.edu.co/handle/10596/33711