1

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

Pepita Pérez – Código 1234567 (Duván Rojas Campo)

Pensamiento Lógico y Matemático 200611

Grupo 2134

Director-Tutor

María Isabel Orozco

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Objetivos

Mediante esta actividad se nos proporciona los elementos básicos para profundizar a

fondo al estudio de la lógica Matematica, elemental para descubrir verdades y

falsedades, dentro de un contexto, que nos llevan al desarrollo del razonamiento lógico.

Aprender a cuestionar los conceptos y reglas de deducción, como objetivo de la lógica

contribuyendo a una verdadera matemática.

 3

Espacio para solución del ejercicio 1

A. p: El trabajo inteligente requiere de una planeación efectiva.

q: El trabajo necesita un equipo que utilice estrategias innovadoras.

r: El trabajo inteligente utiliza herramientas tecnológicas avanzadas. p → (q Ʌ r)

➢ Escribir la proposición compuesta del leguaje simbólico en un lenguaje natural.

Si, el trabajo inteligente requiere de una planeación efectiva, entonces, el trabajo necesita un

equipo que utilice estrategias innovadoras, y utiliza herramientas tecnológicas avanzadas.

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

El resultado es contingencia

P q r p→(q ∧ r)

V V F V

V V V F

V F F F

V F V F

F V F V

F V V V

F F F V

F F V V
 4

➢ Generar la tabla de verdad a través del simulador Lógica UNAD. El paso a paso para el

uso del simulador lo podrá encontrar en el Anexo 2 – Guía para el desarrollo de la tarea 1

(ejercicios ejemplo), ubicado en el entorno de aprendizaje en la carpeta Guía de actividades

y rúbrica de evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez de

argumentos.

Link vídeo explicativo ejercicio 1: https://youtu.be/rl4EM_uvQd0?si=hW4dRJdma7i1Nfv7

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

Espacio para solución del ejercicio 2

A. "'Los estudiantes están leyendo un libro' o 'los maestros están preparando la clase', y 'los

estudiantes no están leyendo un libro' o 'los padres están en una reunión'. Entonces 'los maestros

están preparando la clase' o 'los padres están en una reunión'."

➢ Definir cuáles son las proposiciones simples que intervienen en el argumento.

p: Los estudiantes están leyendo un libro.

q: Los maestros están preparando la clase.

 5

~p: Los estudiantes no están leyendo un libro o los padres están en una reunión.

r: Los padres están en una reunión.

Entonces, la preposición compuesta del lenguaje simbólico es p v (q ∧ ~p) → r

➢ Identificar los conectores que intervienen en el argumento.

p v (q ∧ ~p) → r

➢ Construir el lenguaje simbólico correspondiente al argumento.

p v (q ∧ ~p) → r

➢ Determinar si el argumento es una tautología, contradicción o contingencia a través del

simulador de tablas de verdad de la UNAD.

El argumento es una contingencia

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

Espacio para solución del ejercicio 3

P1: pv

P2: qΔ p

Conclusión: —>r
 6

Ley utilizada: Modus tollendo

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4. Expresión simbólica: [p ᴧ (q v ~p) ᴧ (q →r)] → (p ᴧ r)

“Sofia es una buena estudiante”, q es la proposición “Sofia estudia mucho”, y r es la proposición

“Sofia aprueba el examen”. Entonces, la expresión [p/\(qv~p)/(q—>r)]—>(p/\r) significa que, si

sofia es un buen estudiante y, o bien estudia mucho o no es una buena estudiante, y si estudia

mucho entonces aprueba el examen, entonces sofia es un buen estudiante y aprueba el examen.
 7

CONCLUSIÓN

La función que cumplen las tablas de verdad es fundamental para analizar y

determinar los valores de verdad en un enunciado, gracias a ella es más sencillo

saber si una fórmula es correcta y permite que las personas demuestren la validez de un

argumento.

Las leyes de inferencia desarrollan la capacidad que tiene una persona para elaborar argumentos y

analizarlos con un punto de vista crítico, también afirman que hacer uso de la razón de igual

forma se puede aplicar en diferentes aspectos de la vida de esa persona, para demostrar y refutar la

validez de un argumento a través del método de deducción, se deduce la conclusión de un

argumento a partir de sus premisas.

 8

REFERENCIAS

Curo, A. (2015). Matemática básica para administradores. Universidad

Peruana de Ciencias Aplicadas (UPC). (pp. 13-27). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y

teoría de grafos. El Cid Editor. (pp. 40-49). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas

y fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,

complementos. Editorial Tébar Flores. (pp. 19-28). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de

conjuntos. Universidad Abierta para Adultos (UAPA). (pp. 18-36).

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?

page=19
 9

Vargas Villegas, E. & Nuñez, L. A. (2019). Lógica matemática y teoría

de conjuntos. Universidad Abierta para Adultos (UAPA). (pp 67-77).

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?

page=68

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). Aprendiendo sobre Blearning – Cipas y

Webconferencias. [Objeto_virtual_de_Informacion_OVI]. Repositorio

Institucional UNAD. https://repository.unad.edu.co/handle/10596/52834