Tarea 1

Métodos para probar la validez de argumentos

ESTUDIANTE: Mary Roxana Perpiñán de león

Grupo: 200611_300

TUTOR: Liz Melet

Universidad Nacional Abierta y a Distancia UNAD

Ciencias de la educación-ECEDU

Licenciatura en lenguas extranjeras con énfasis en ingles

Septiembre

2022
 Introducción

En el siguiente trabajo me centrare en el pensamiento lógico matemático, partiendo de

proposiciones simples, las cuales tienen un solo valor de verdad, formare proposiciones

compuestas unidas por los conectivos lógicos, disyunción, conjunción, condicional y

bicondicional.

Las proposciones en el lenguaje natural son afirmaciones preferiblemente universales, que

nadie dude de su valor de verdad, posteriormente conoceré los valores de verdad de cada

conectivo lógico, para construir sus respectivas tablas, y además los diferentes métodos para

aprobar la validez de argumentos.

Objetivos

 Identificar los símbolos del conectivo lógico.

 Construir las tablas de valores de verdad de cada conectivo lógico.
 Interpretar las proposiciones compuestas para llevarlas al lenguaje natural y viceversa.
 Aplicar las leyes de inferencia de cada conectivo lógico para aprobar la validez de
argumentos,
 D. p: La UNAD es una universidad con acreditación institucional de alta calidad.

Q: La UNAD rompe records entre las instituciones de educación superior

R: La UNAD demostró al país que tiene un modelo de educación riguroso que soporta la

formación virtual a distancia con altos estándares de calidad.

(P ꓥ Q) R

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

 RESPUESTA: La unad es una universidad con acreditación institucional de alta calidad,

rompe records entre las instituciones de educación superior, entonces, demostró al país

que tiene un modelo de educación riguroso que soporta la formación virtual a distancia

con altos estándares de calidad.

 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:

Clasificación: contingencia

(P ꓥ Q) R

Tenemos una conjunción y un condicional para saber cuántos valores de verdad tendrá la

preposición compuesta, aplico 2x, en donde x representa el número de preposiciones.

X= 3 luego tenemos

23= es igual a 2x2x2 = 8

P Q R P ꓥQ (P ꓥ Q) → R

V V V V V

V V F V F

V F V F V

V F F F V
Contingencia
F V V F V

F V F F V

F F V F V
 Simulador para generar tabla de
F F F F V verdad de proposiciones
compuestas.

 Link del video

https://somup.com/c3QOefUH9A
 2. Ejercicio 2: identificación de las reglas de la inferencia lógica

 Expresión simbólica

PVQ
~Q
_________ (M.T.P)
P
Para llegar a esta conducción de la proposición compuesta, que indica un disyunción, aplico la ley de

inferencia “Modus tollendo ponens” la cual se aplica a la disyunción e indica negando una preposición y

afirmando la otra proposición. Tenemos ¬ Q negada luego afirmo p.

P ¬R

___________

¬R
(M.P.P)
Aplico la ley de inferencia “Modus ponendo ponens” el cual se aplica a una proposición compuesta que
tenga un condicional M.P.P indica que si afirmo el antecedente “p” afirmo el consecuente “¬r”
P^Q
_____________
P (Simplificación conjuntivo)

Esta expresión simbólica contiene una conjunción la cual contiene proposiciones verdaderas.
P. Es verdadera
Q. Es verdadera
P^Q es verdadera
Puedo aplicar una simplificación y puedo concluir “P”
También puedo concluir “Q”
 3. Ejercicio 3. Aplicación de las reglas de la inferencia
D. El corazón es un órgano sumamente poderoso o el corazón tiene fuerza espiritual. El
corazón no tiene fuerza espiritual.
a. Lenguaje simbólico
P: El corazón es un órgano sumamente poderoso
Q: El corazón tiene fuerza espiritual

PVQ
¬Q
____________________
P

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

c. Conclusión: El corazón es un órgano sumamente poderoso

4. Ejercicio 4.Problemas de aplicación

D. Expresión simbólica: [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟) ∧ (∼ 𝑝)] → (∼ 𝑞 ∧ ∼ 𝑟)
Premisas: P1: (∼ 𝑝 →∼ 𝑞)
P2: (∼ 𝑞 →∼ 𝑟)
P3: ∼ 𝑝
Conclusión: (∼ 𝑞 ∧ ∼ 𝑟)

 Definición de las premisas simples

● ∼ p: José no aprobó pensamiento lógico en la unad

● ∼ 𝑞: José no avanzo al próximo semestre en la unad
● ∼ r: José no es un estudiante de calidad en la unad
 Lenguaje natural
 Si José no aprobó pensamiento lógico, entonces no avanzo al próximo semestre en la

unad, y si no avanzo al próximo semestre, entonces, no es un estudiante de calidad, y si

no aprobó pensamiento lógico, entonces, no avanzo al próximo semestre ni es un

estudiante de calidad.

 Tabla de valor de verdad.

∼ P ∼q ∼ r [(∼ 𝑝 →∼ 𝑞) (∼ 𝑞 →∼ 𝑟) [(∼ 𝑝 →∼ 𝑞) [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 ∧ ∼ 𝑟) [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼

∧ (∼ 𝑞 →∼ 𝑟) (∼ 𝑞 →∼ 𝑟) ∧ 𝑟) ∧ (∼ 𝑝)] → (∼ 𝑞 ∧ ∼ 𝑟)
(∼ 𝑝)]
V V V V V V V V V

V V F V F F F F V

V F V F V F F F V

V F F F V F F F V

F V V v V V F V V

F V F v F F F F V

F F V v V V F F V

F F F v V V F F V

 Simulador
 ⮚ Demostración de la validez del argumento mediante las leyes de la inferencia lógica.
Expresión simbólica: [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟) ∧ (∼ 𝑝)] → (∼ 𝑞 ∧ ∼ 𝑟)
Desarrollo 1
P1: ¬ P →¬ q
P3: ¬ P
------------------------
¬q por 1,3 aplique modus ponendo ponens.

Anexo premisa
P4 ¬ q
Desarrollo 2
P2. ¬q→¬r
P4 ¬ q
_______________
¬r por 2,4 modus ponendo ponens
Anexo premisa
P5 ¬ r

Desarrollo 3
P4 ¬q
P5 ¬r
______________
¬ q ∧ ¬r de P4 , P5 Por conjunción
Era lo que quería concluir “¬ q ∧ ¬r”
 Conclusión

En consecuencia de lo desarrollado en el trabajo adquirí un aprendizaje significativo

relacionado con las proposiciones simples, compuestas, tablas de verdad de los conectivos
lógicos, aplicación de las leyes de inferencia, comparación de tablas vs simulador.
Todos estos nuevos conocimientos despertaron en mí un nuevo pensamiento lógico
matemático. Para probar los argumentos de validez.
 Referencias bibliográfica

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