1

Tarea 1 Métodos para probar la validez de argumentos

Deisy Y. Perez Rojas

Universidad Nacional Abierta Y A Distancia

Pensamiento Logico Matematico

Tutora Yady Milena Camacho

04 de Octubre de 2020
 2

Introducción

En el siguiente trabajo podremos encontrar varios temas como lo son: proposiciones y

tablas de verdad, identificación y aplicación de las reglas de inferencia lógica y problemas de

aplicación, se revisaran las referencias bibliográficas para darles solución a sus diferentes

ejercicios, en algunos utilizaremos la herramienta simulador lógico de la UNAD, de igual

manera debemos compartir nuestro desarrollo de cada ejercicio en el foro del curso para

mejorarlos si es necesario.
 3

Objetivos

 Desarrollar los puntos propuestos siguiendo las instrucciones de la guía

Para obtener un buen resultado.

 Comprender cada uno de los temas

 Identificar las diferentes reglas de la inferencia lógica.

 Aplicar las tablas de verdad.

 4

Ejercicio 1: Proposiciones y tablas de verdad

Letra D.

p: Los equipos de futbol de Colombia cesaron sus actividades a causa del COVID19

q: Los jugadores del Deportes Tolima siguieron entrenando desde sus casas bajo la

dirección Hernán Torres

r: Algunos equipos del futbol colombiano siguieron entrenando de forma presencial

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

 Lenguaje Natural

Si Los equipos de futbol de Colombia cesaron sus actividades a causa del COVID19

entonces Los jugadores del Deportes Tolima no siguieron entrenando desde sus casas bajo la

dirección Hernán Torres. O Algunos equipos del futbol colombiano no siguieron entrenando de

forma presencial si y solo si Los equipos de futbol de Colombia cesaron sus actividades a causa

del COVID19.

 Tabla Manual

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

V V V F F F F F
V V F F V F V V
V F V V F V F V
V F F V V V V V
F V V F F V V V
F V F F V V F V
F F V V F V V V
F F F V v V f V

 Se determina como: Contingencia

 5

 Tabla de Verdad Simulador UNAD

Video: https://youtu.be/nUcF-VJSwEQ

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

Letra D.

1- Expresión simbólica

r∧s

 Ley de inferencia de la expresión: Adjunción (A)

 Proposiciones simples

r: Deisy pertenece al curso pensamiento lógico matemático.

s: Deisy participa activamente a los cipas del curso.

 6

 Lenguaje Natural

Deisy pertenece al curso pensamiento lógico matemático.

Deisy Participa activamente a los cipas del curso. Por lo tanto, Deisy pertenece al

curso pensamiento lógico matemático y participa activamente en los cipas del curso.

2- Expresión simbólica

rVs

¬r

 Ley de inferencia de la expresión: Tollendo Ponens (TP)

 Proposiciones simples

r: Deisy pertenece al curso pensamiento lógico matemático.

s: Deisy participa activamente a los cipas del curso.

 Lenguaje Natural

Deisy pertenece al curso pensamiento lógico matemático o participa activamente a

los cipas del curso. Deisy no pertenece al curso pensamiento lógico matemático. Por lo

tanto, participa activamente a los cipas del curso.

3- Expresión simbólica

r→s

 Ley de inferencia de la expresión: Ponendo Ponens (PP)

 7

 Proposiciones simples

r: Deisy pertenece al curso pensamiento lógico matemático.

s: Deisy participa activamente a los cipas del curso.

 Lenguaje Natural

Si Deisy pertenece al curso pensamiento lógico matemático entonces participa

activamente a los cipas del curso. Deisy pertenece al curso pensamiento lógico matemático. Por

lo tanto, participa activamente a los cipas del curso.

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

Argumento

D. A Emilio le gusta viajar durante las vacaciones a tierra caliente o a Emilio le gusta

viajar durante las vacaciones a tierra fría. A Emilio no le gusta viajar durante las vacaciones a

tierra caliente

a. Conclusión: q A Emilio le gusta viajar durante las vacaciones a tierra fría.

b. Ley de inferencia aplicada: Tollendo Ponens (TP)

c. Lenguaje simbólico: pvq

¬p

q
 8

Ejercicio 4: Problemas de aplicación

D. Expresión simbólica: [(𝒑∨𝒒)∧(¬𝒒)∧(𝒑→𝒓)∧(𝒒→𝒓)]→(𝒑∧𝒓)

Premisas:

P1: 𝒑∨𝒒

P2: ¬𝒒

P3:𝒑→𝒓

P4: 𝒒→𝒓

Conclusión: 𝒑∧𝒓

 Proposiciones simples:

P: Yolima se inscribió en contaduría pública en la UNAD

q: Yolima estudia pensamiento lógico matemático

r: estudia las leyes de inferencia

 Lenguaje Natural

Yolima se inscribió en contaduría pública en la UNAD o estudia pensamiento lógico

matemático. Yolima no estudia pensamiento lógico matemático. Si Yolima se inscribió en

contaduría pública en la UNAD entonces estudia las leyes de inferencia y Si yolima estudia

pensamiento lógico matemático entonces estudia las leyes de inferencia. Por lo tanto, Yolima se

inscribió en contaduría pública en la UNAD y estudia las leyes de inferencia.

 9

 Tabla de verdad manual

p q r ¬𝒒 𝒑∨𝒒 ¬𝒒 𝒑→𝒓 𝒒→𝒓 𝒑∧𝒓 (𝒑∨𝒒)∧(¬𝒒) (𝒑∨𝒒)∧(¬𝒒) [(𝒑∨𝒒)∧(¬𝒒)∧ [(𝒑∨𝒒)∧(¬𝒒)∧

∧(𝒑→𝒓) (𝒑→𝒓)∧(𝒒→𝒓)] (𝒑→𝒓)∧(𝒒→𝒓)]→

(𝒑∧𝒓)

V V V F V F V V V F F F V

V V F F V F F F F F F F V

V F V V V V V V V V V V V

V F F V V V F V F V F F V

F V V F V F V V F F F F V

F V F F V F V F F F F F V

F F V V F V V V F F F F V

F F F V F V V V F F F F V

 Tabla de verdad Simulador UNAD

 10

 Demostración de la validez del argumento mediante las Leyes de

Inferencia:

P1: 𝒑∨𝒒

P2: ¬𝒒

P3:𝒑→𝒓

P4: 𝒒→𝒓

P5: p Modus Tollendo Ponens entre p1 y p2

P6: r Modus Ponendo Ponens entre p3 y p5

P7: 𝒑∧𝒓 Adjunción entre p5 y p6

 11

Conclusiones

Pudimos obtener conocimientos sobre proposiciones y tablas de verdad, identificación y

aplicación de reglas de inferencia y problemas de aplicación, y de esta manera desarrollar cada

una de las metas propuestas en nuestro trabajo.

Se puede concluir que por medio de la correcta aplicación de tablas de verdad y leyes de

inferencia podemos demostrar la validez del argumento.

 12

Referencias Bibliográficas

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

• 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. 19-39). México, D.F, Larousse - Grupo Editorial Patria.

• Sánchez, C. (08 de febrero de 2019). Normas APA – 7ma (séptima)

edición. Normas APA (7ma edición).https://normas-apa.org/