1

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

Yenith Rocio Figueroa Lozano

Código: 1007579300

Pensamiento Lógico y Matemático 200611

Grupo: 200611_1247

Daniel Steven Moran Pizarro

Tutor

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

2023
 2

Introducción

El pensamiento lógico-matemático es una capacidad cognitiva básica que juega un papel

central en la comprensión del mundo y la resolución de problemas en muchos campos diferentes.

Se refiere a la capacidad de razonar, analizar y resolver situaciones utilizando principios lógicos

y conceptos matemáticos. Esta capacidad no se limita a las matemáticas, sino que se extiende a

todos los campos del conocimiento. Además, el pensamiento lógico-matemático es fundamental

en la vida cotidiana, desde la planificación financiera hasta la organización de las tareas diarias.

Sabiendo esto, en este documento desarrollaremos aún más nuestro conocimiento

cognitivo, nuestra lógica para realizar los ejercicios de demostración de validez de argumentos,

que nos llevará a alcanzar nuestros objetivos personales y profesionales por medio de evaluar

nuestro pensamiento lógico, dejándonos demostrar todo lo que hemos aprendido desde el

principio de nuestro desarrollo educativo.

 3

Objetivos

General

 Comprender la importancia del pensamiento lógico matemático en la resolución de

problemas reales aplicando los conceptos básicos de la lógica,

Específicos

 Crear proposiciones simples, lenguaje natural y simbólico de los métodos para probar la

validez de argumentos.

 Diseñar y generar una tabla de verdad con el lenguaje simbólico, identificando así si la

tabla pertenece a (tautología, contingencia o contradicción).

 Conocer las leyes de inferencia y leyes de aplicación para el desarrollo de las actividades.
 4

Ejercicio 1: Proposiciones y tablas de verdad

B.

p: Se aplica el trabajo inteligente para obtener una mayor eficiencia.

r: Se logra mayor productividad en los resultados.

s: Se alcanza el éxito rápidamente.

Expresión simbólica: (𝑝 → r) Ʌ s

Lenguaje natural: Se aplica el trabajo inteligente para obtener una mayor eficiencia

ENTONCES se logra mayor productividad en los resultados Y se alcanza el éxito rápidamente.

Tabla de Verdad:

2n 23: 2 x 2 x 2: 8

p r s (𝑝 → r) (𝑝 → r) Ʌ s

V V V V V

V V F V F

V F V F F

V F F F F

F V V V V

F V F V F

F F V V V

F F F V F

Es una Contingencia.

Tabla Simulador UNAD

 5

Link vídeo explicativo ejercicio 1:

https://www.canva.com/design/DAFv_UvQdM4/GighZmJHRks7DdhTUmyLcw/edit?

utm_content=DAFv_UvQdM4&utm_campaign=designshare&utm_medium=link2&utm_sour

ce=sharebutton

Ejercicio 2: Aplicación de la lógica fundamental

B."'Los estudiantes hacen sus tareas' y 'los profesores explican claramente', entonces 'los

estudiantes obtendrán buenas calificaciones'. Si y solo si, 'los estudiantes hacen sus tareas' o 'los

profesores no explican claramente', entonces 'los estudiantes obtendrán buenas calificaciones'."

Proposiciones simples:

p: Los estudiantes hacen sus tareas

q: Los profesores explican claramente

r: Los estudiantes obtendrán buenas calificaciones

Conectores que intervienen en el argumento:

Los conectores son: Conjunción (∧), Condicional (→), Bicondicional (↔), Disyunción (˅) y

Negación (¬).

Lenguaje simbólico: ((p ∧ q) → r) ↔ ((p ˅ ¬ q) → r)

 6

Es una Contingencia.

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica

B. Expresión simbólica: [(p → q) ᴧ (q → ∼r)] → (p → ∼r)

P1 p→q
P2 q → ∼r
Conclusión: p → ∼r
Ley utilizada: Silogismo Hipotético

Es una Tautología.

Ejercicio 4: Problemas de aplicación.

 7

Espacio para solución del ejercicio 4

B. Expresión simbólica: [ (p → q) ∧ (q ᴧ ~r) ∧ (r ∨ ~q)]→ (~p ᴧ ~r)

Simplificación
P3, P4
Modus Tollendo Tollens
P6, P4

Proposiciones:

p: Los estudiantes practican speaking

q: Los estudiantes obtendrán una buena pronunciación

r: Cumplen sus expectativas en aprender inglés

Lenguaje natural:

Si los estudiantes practican speaking, entonces, los estudiantes obtendrán una buena

pronunciación, y los estudiantes obtendrán una buena pronunciación y no cumplen sus

expectativas en aprender inglés y cumplen sus expectativas en aprender inglés o los estudiantes

no obtendrán una buena pronunciación por lo tanto los estudiantes no practican speaking y no

cumplen sus expectativas en aprender inglés.

Conclusiones
 8

Los métodos para probar la validez de los argumentos desempeñan un papel crucial en la

toma de decisiones, la resolución de problemas y la comunicación eficaz. Se trata de habilidades

que pueden aprenderse y perfeccionarse con el tiempo y que tienen un impacto significativo en la

forma en que las personas piensan y se comunican en diferentes contextos y contribuyen a la

precisión, coherencia y claridad del razonamiento.

En resumen, los métodos de prueba de validez en lógica matemática son herramientas

importantes para garantizar que el razonamiento y los argumentos sean confiables y consistentes.

Comprendiendo esto, y los ejercicios planteados, apostamos a tener un desarrollo

cognitivo en pensamiento lógico, que nos ayuda a tomar decisiones coherentes; por lo cual, nos

lleva a tener un proceso educativo a satisfacción en todos los ámbitos,

Referencias
 9

-Castaño, C. & García, A., R. (2022). Aplicación de las reglas de inferencia lógica.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.

https://repository.unad.edu.co/handle/10596/52741

-Castaño, C. & Martínez, C. (2022). Lógica e inferencia.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.

https://repository.unad.edu.co/handle/10596/52739

-Castaño, C. (2022). Tablas de verdad. [Objeto_virtual_de_aprendizaje_OVA].

Repositorio institucional UNAD. https://repository.unad.edu.co/handle/10596/52744

-Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). [Objeto Virtual de Aprendizaje

OVA]. Lógica Proposicional. Repositorio Institucional UNAD.

https://repository.unad.edu.co/handle/10596/37836

-Castaño, C. (2019). Leyes de la inferencia. [Objeto Virtual de Aprendizaje

OVA]. Repositorio Institucional UNAD. https://repository.unad.edu.co/handle/10596/31590