1

Unidad 3 – Tarea 3 Aplicación de cuantificadores, proposiciones categóricas y razonamiento

Donaldo Rafael Rivero Beltrán – Código 1.082.995.109

Pensamiento Lógico y Matemático 200611

Grupo 200611_5

Director-Tutor

Alberto García Jerez

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

En siguiente trabajo observaremos el desarrollo de cuatros ejercicios de métodos para probar

validez de argumentos, veremos tablas de verdad y aplicación de inferencias para comprobar la

validez de los argumentos propuestos, teniendo en cuenta el conocimiento y razonamiento lógico

para afrontar situaciones de similitud en nuestro día a día.

 3

Objetivos

General

Mostrar por medido del trabajo resuelto, los conocimientos adquiridos para esta unidad

estudiada.

Definir de forma clara las respuestas pedidas de los cuatros ejercicios a trabajar

Específicos

Exponer la capacidad para resolver ejercicios de métodos para probar la validez

 4

Ejercicio 1: Cuantificadores

Espacio para solución del ejercicio 1

C. p: El Sistema del Servicio Social Unadista (SISSU) es una mirada de la UNAD para

formar profesionales humanistas

q: La UNAD está comprometida con los problemas sociales.

r: La UNAD es la primera mega universidad del país.

(p ∧ q) ↔ r

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

➢ Escribir la proposición compuesta propuesta en un lenguaje natural

R/. El Sistema del Servicio Social Unadista (SISSU) es una mirada de la UNAD para

formar profesionales humanistas y La UNAD está comprometida con los problemas sociales si, y

solo si La UNAD es la primera mega universidad del país.

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

R/.

p Q r (p ∧ q) (p ∧ q) ↔ r
v V v v v
v V f V f
v F v F F
v F f F V
f V v F F
f V f F V
f F v F F
f F f F V

Es contingencia porque da resultados falsos y verdaderos.

 5

➢ 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 6 - Simulador Lógica UNAD, ubicado en el

entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad 2-

Tarea 2 - Métodos para probar la validez de argumentos.

R/

Ejercicio 2: Proposiciones categóricas y su clasificación

Espacio para solución del ejercicio 2

C. Patricia estudia Psicología o Patricia estudia Música. Si Patricia estudia Psicología

entonces Patricia matricula epistemología de la Psicología. Si Patricia estudia música entonces

Patricia matricula fundamentos de la escritura musical.

Lenguaje simbólico:

p: Patricia estudia Psicología

q: Patricia estudia Música

 6

r: matricula epistemología de la Psicología

s: matricula fundamentos de la escritura musical.

 (p v q)
 (p r)
 (q s)
 Conclusión (r v s)
Ley de inferencia aplicada:

Silogismo Disyuntivo (SD).

Conclusión: Patricia esta matricula a epistemología de la Psicología o esta matricula

fundamentos de la escritura musical
Conclusión: Patricia esta matricula a epistemología de la Psicología o esta matricula
fundamentos de la escritura musical
Conclusión:

Patricia esta matriculada a epistemología de la Psicología o esta matricula fundamentos de

la escritura musical.

Ejercicio 3: Razonamiento deductivo e inductivo

Espacio para solución del ejercicio 3

C. Expresión simbólica

[(p v q) ᴧ ~p ᴧ (q→r) ᴧs]→ (r ᴧ s)

P1: (p v q) Conclusión: (r ᴧ s)

P2: (~p)

P3: (q→r)

P4: s

Siguientes ítems:
 7

➢ Completar la tabla, estableciendo cada la ley de inferencia y las premisas utilizadas

para avanzar en la demostración.

Premisa Ley de inferencia aplicada Premisas usadas

P5: q Modus Tollendo Tollens (P1 y P3)

(MTT)

P6: r Modus Tollendo Tollens (P3 y P4)

(MTT)

P7: r ᴧs La ley de adjunción (LAD) (P3 y P4)

Lenguaje simbólico:
p. Patricia estudia Psicología
q. Patricia estudia Música.
r. Patricia matricula epistemología de la Psicología
s. matricula fundamentos de la escritura musical.
➢ Realizar la tabla de la verdad mediante el simulador de lógica Unad Anexo 6 -

(Simulador Lógica UNAD).

 8

Ejercicio 4: Razonamiento cuantitativo

Espacio para solución del ejercicio 4

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

P1: p

P2: (p→∼r)

P3: (q v r)

Conclusión: q ᴧ p

A partir de la expresión simbólica seleccionada, el estudiante deberá:

➢ Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción

basada en un contexto, el que se solicita es un contexto académico y/o de problemas de su

 9

entorno. Las proposiciones simples deben contener 1. Sujeto, 2. Cópula, acción o verbo y 3.

Complemento predicado. Mínimo 7 palabras.

p: Camilo estudia ingeniería civil en la UNAD

q: Puede ayudar a su comunidad haciendo megaproyectos.

r: crear su propia constructora ∼r: no crear su propia constructora

➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar

proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas

correctivas estipuladas por la UNAD.

Camilo estudia ingeniería civil en la UNAD y Camilo estudia ingeniería civil en la

UNAD entonces no crea su propia constructora y puede ayudar a su comunidad haciendo

megaproyectos o crear su propia constructora entonces puede ayudar a su comunidad haciendo

megaproyectos y Camilo estudia ingeniería civil en la UNAD.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,

Excel o foto del desarrollo manual).

 10

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

uso del simulador lo podrá encontrar en el Anexo 6 - Simulador Lógica UNAD.

➢ Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

Modus Tollendo Tollens (MTT)

Ley de la adjunción

Ley de la adición

Leyes conmutativas

Ejercicio complementario tarea 3

Enlace presentación

https://youtu.be/Thh2PNvq9xQ
 11

Conclusiones

De lo anterior se puede decir que el tema abarca más allá de la matemática, la vida

cotidiana, la creación de tablas para demostrar lo esencial que son para analizar y determinar los

valores de verdad de un anuncio, demostrar y refutara la validez de un argumento por medio del

método deducción se logra deducir la conclusión de un argumento a partir de sus premisas.

 12

Referencias Bibliográficas

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Grupo Editorial Patria. (pp.
61- 65). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/40414?page=72

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Grupo Editorial Patria. (pp. 80
- 84). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/40414?page=91

Rojas Álvarez, C. J. (2018). Razonamiento cuantitativo (2a. ed.). Universidad del Norte. (pp. 5 –
25). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/70052?page=11

Roldán, I. R. (2018). Razonamiento y lenguaje matemático. El Cid Editor. (pp.70-73).

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36731?page=75

Stanley, P., & Dag, W. (2006). Quantifiers in Language and Logic. OUP Oxford. (pp. 19 – 28).
https://bibliotecavirtual.unad.edu.co/login?url=https://search.ebscohost.com/login.aspx?
direct=true&db=e000xww&AN=192220&lang=es&site=ehost-live&ebv=EB&ppid=pp_19

Vargas Villegas, E. & Nuñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad
Abierta para Adultos (UAPA). (pp. 137 – 144).
https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=138

Castaño, C., & Adames, F. (2022). Cuantificadores. [Objeto_virtual_de_Informacion_OVI].

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

Castaño, C., & Dominguez, S. (2022). Razonamiento. [Objeto_virtual_de_Informacion_OVI].

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

Castaño, C., & Gómez, M. (2022). Razonamiento cuantitativo.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.
https://repository.unad.edu.co/handle/10596/52493

Castaño, C., & Adames, F. (2020). Cuantificadores. [Objeto_Virtual_de_Información_OVI].

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