Unidad 1 – Tarea 1- Métodos para probar la validez de argumentos

Grupo Colaborativo: 200611_2046

Adrián Reinaldo Valencia

Tutor

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Sociales Artes y Humanidades – ECSAH

Pensamiento lógico y matemático

Septiembre, 2022

La plata (Huila)

Introducción
Objetivos

Espero obtener mucho conocimiento al realizar este primer trabajo

Ejercicio 1: Proposiciones y tablas de verdad

E.
Proposición simple:
p: La UNAD facilita espacios para cimentar conocimiento a través de áreas para la
comunicación.

q: La UNAD por medio de los CIPAS propende participación de los estudiantes.

r: La UNAD le apuesta a la estrategia de la Educación a distancia con los encuentros

pedagógicos CIPAS “Círculos de Interacción y Participación Académica y Social”

s: La UNAD utiliza este tipo de metodología para generar conocimiento donde el

estudiante puedan despejar dudas entre ellos asesorándose de un docente para una mayor
integración pedagógica.

(𝑝 → r) ⟷ (𝑞 ∨ s)

Lenguaje natural:
Si La UNAD facilita espacios para cimentar conocimiento a través de áreas para la
comunicación entonces La UNAD le apuesta a la estrategia de la Educación a distancia con
los encuentros pedagógicos CIPAS “Círculos de Interacción y Participación Académica y
Social” si solo si La UNAD por medio de los CIPAS propende participación de los
estudiantes o La UNAD utiliza este tipo de metodología para generar conocimiento donde
el estudiante puedan despejar dudas entre ellos asesorándose de un docente para una mayor
integración pedagógica.

Tabla de verdad:

p q r s (𝑝 → r) (𝑞 ∨ s) (𝑝 → r) ⟷ (𝑞 ∨ s)
 V V V V V V V
V V V F V F V
V V F V F V F
V V F F F F F
V F V V V V V
V F V F V V F
V F F V F V F
V F F F F V V
F V V V V V V
F V V F V F V
F V F V V V V
F V F F V F V
F F V V V V V
F F V F V V F
F F F V V V V
F F F F V V F

En los resultados observamos que se clasifica como: Contingencia

Tabla de verdad simulador UNAD:

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

1: proposiciones simples: 2
Premisas:2
Conector lógico: condicional
Modus ponendo ponens (PP)
Proposición simple:
P: Adriana desayuna arepas
q: Adriana desayuna cereales
lenguaje natural
si Adriana desayuna arepas entonces Adriana no desayuna cereales. Adriana no desayuna
cereales.

2: proposiciones simples: 2
Premisas: 2
Adjunción (A)
Proposición simple:
P: Adriana ama pasear
Q: Adriana ama probar platos típicos
Lenguaje natural:
Adriana ama pasear, Adriana ama probar platos típicos. Adriana ama pasear y Adriana ama
probar platos típicos.

3: proposiciones simples: 2
Premisas. 2
Modus tollendo tollens (TT)
Proposición simple:
P: juan adora leer
R: juan adora escribir
Si juan no adora leer entonces juan adora escribir, juan no adora leer. Juan adora escribir

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

3: Si los gatos pasan el 70% de sus vidas durmiendo, entonces los gatos el 30% de sus vidas
están despiertos. Si los gatos el 30% de sus vidas están despiertos, entonces los gatos pasan
10.950 horas ronroneando.
a. Lenguaje simbólico:
p q
q r
r

b. Ley de inferencia aplicada: simplificación disyuntiva.

c. Conclusión: los gatos pasan 10.950 horas ronroneando.
 Ejercicio 4: Problemas de aplicación

E. Expresión simbólica: [ (𝑡 →𝑠)∧(𝑠→𝑝 )]→(𝑡 →𝑝)

Premisas:
P1: (𝑡 →𝑠)
P2: (𝑠→𝑝 )
Conclusión: (𝑡 →𝑝)

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

p s t (𝑡 → 𝑠) (𝑠 → 𝑝) (𝑡 → 𝑝) (𝑡 → 𝑠) ∧ (𝑠 → 𝑝) [ (𝑡 → 𝑠) ∧ (𝑠 → 𝑝)] → (𝑡 → 𝑝)

1 V V V V V V V V

2 V V F V V V V V

3 V F V F V V F V

4 V F F V V V V V

5 F V V V F F F V

6 F V F V F V F V

7 F F V F V F F V

8 F F F V V V V V

 Generar la tabla de verdad a través del simulador Lógica UNAD.

Conclusiones del trabajo:

Al realizar este trabajo logré obtener mucho aprendizaje sobre nuevos temas como lo es la

proposiciones y tablas de verdad que es donde conocí la proporción simple y el lenguaje

natural, también la identificación de las reglas de la inferencia lógica, la aplicación de las

reglas de la inferencia lógica y los problemas de aplicación.

Referencias bibliográficas

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