1

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

Junior Alexander Cartagena Herazo – Código 200611

Pensamiento Lógico y Matemático 200611A_

Grupo 179

Director-Tutor

Juan De la Cruz

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

En el presente trabajo, se desarrollan cuatro ejercicios de aplicación de cuantificadores y

proposiciones categóricas, su clasificación y el razonamiento deductivo e inductivo que

corresponden a la letra A de los ejercicios, tablas de verdad, y aplicación de las leyes de inferencia

para comprobar la validez de los argumentos propuestos previamente en la guía de trabajo,

poniendo a prueba la capacidad de conocimiento y razonamiento lógico para afrontar situaciones

similares en la vida cotidiana.

 3

Objetivos

General

Identifica los tipos de cuantificadores y proposiciones categóricas que le permiten dar

solución a situaciones problemáticas, desarrollando los ejercicios propuestos en la guía.

Específicos

 Analizar y desarrollar cada uno de los ejercicios de acuerdo a la letra escogida.

 Identificar los tipos de cuantificadores.

 Identificar y clasificar las proposiciones categóricas de un argumento

 establecer el tipo de oposición que se presenta entre dos proposiciones categóricas.

 Determinar los tipos de razonamiento.

 4

Ejercicio 1: Proposiciones y tablas de verdad

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

El trabajo inteligente requiere de una planeación efectiva. Si, entonces. El trabajo necesita

un equipo que utilice estrategias innovadoras y el trabajo inteligente utiliza herramientas

tecnológicas avanzadas.
 5

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.

P Q R (q Ʌ r) p → (q

Ʌ r)

V V V V V

V V F F F

V F V V F

V F F F F

F V V V V

F V F F V

F F V V V

F F F F V
 6

Generar tabla de verdad simulada.

Link vídeo explicativo ejercicio 1: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

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.

O=

Y=

Identificar los conectores que intervienen en el argumento.

Son o e y
 7

Construir el lenguaje simbólico correspondiente al argumento.

P= Los estudiantes están leyendo un libro

q = los maestros están preparando la clase

p=los estudiantes no estánleyendo un libro

r= los padres están en una reunión

( p ꓦ q )∧ ( p ꓦ r )→ q ꓦ r

Tautología
 8

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

A. Expresión simbólica [(p → ~q) ᴧ q] → ~p

P1 (p → ~q)

P2 ᴧq

P3 → ~p

P4 [(p → ~q) ᴧ q]

P5 [(p → ~q) ᴧ q] → ~p

CONCLUSION [(p → ~q) ᴧ q] → ~p

LEY UTILIZADA Ley de absorción

 9

Ejercicio 4: Problemas de aplicación.

A. Expresión simbólica: [p ᴧ (q v ~p) ᴧ (q →r)] → (p ᴧ r)

DEMOSTRACION

P1= P Premisas dada

P2: (q v ~p)

P3: (q →r)

PREMISAS LEY APLICADA PREMISAS USADAS

P4: q MODUS TOLLENS P1, P2

P5: r MODUS PONNENDO P3,P6

PONNENS (MPP)

P6: (p ᴧ r) Ley de absorción P1, P5

DEFINICION DE PROPOSICIONES SIMPLES

P = El profesor pone tareas

Q= los estudiantes tienen que realizarlas

R= los padres tienen que estar pendientes

Lenguaje natural

El profesor pone tareas y los estudiantes tienen que realizarlas o el profesor no pone tareas y los

estudiantes tienen que realizarlas. Entonces, los padres tienen que estar pendientes. Si el profesor

pone tareas y los padres tienen que estar pendientes.

 10

Conclusiones

Para concluir, 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 o refuten la validez de un argumento,

así mismo 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.

Por consiguiente, 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.

 11

Referencias Bibliográficas

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