Universidad Nacional Abierta y a Distancia Vicerrectoría

Académica y de Investigación

Curso: Pensamiento Lógico Matemático

Código: 200611D_1141

Tarea 2-Aplicación de cuantificadores y proposiciones categóricas

Presentado por:

Diego Fernando Heredia Jiménez

Código: 1003913760

Presentado a:

Yenifer Elizabeth Galindo

Tutora

Universidad Nacional Abierta y a Distancia UNAD

Programa Ingeniería de Sistemas

Ciudad- TUNJA, abril 2022

1
 INTRODUCCIÓN

En el presente documento se pretende dar cumplimiento a la actividad de aprendizaje número dos

del curso pensamiento lógico matemático, correspondiente al desarrollo de 4 ejercicios prácticos

sobre Aplicación de cuantificadores y proposiciones categóricas.

Dichos ejercicios incluyen las operaciones usadas para la resolución de cada uno.

2
 OBJETIVOS

OBJETIVO GENERAL

 Resolver los ejercicios del ítem E relacionados con pensamiento lógico matematico.

OBJETIVOS ESPECIFICOS

 Revisar las conferencias y material de apoyo con el fin de solucionar correctamente los

ejercicios planteados-

3
 DESARROLLO

Ejercicio 1: Cuantificadores
E. __________ tutor de la UNAD envía las guías de aprendizaje resueltas. __________
estudiantes de la UNAD hacen parte del programa generación E
A partir de la pareja de argumentos incompletos que haya seleccionado deberá desarrollar los
siguientes ítems:

➢ Completar el argumento con el cuantificador adecuado, de tal forma que sea verdadero.
E. Ningún tutor de la UNAD envía las guías de aprendizaje resueltas. Algunos estudiantes de la
UNAD hacen parte del programa generación E

➢ Definir la simbología del argumento con la respectiva lectura.

Ningún tutor de la UNAD envía las guías de aprendizaje resueltas.
O
Todo tutor de la UNAD no envía las guías de aprendizaje resueltas.
Todo tutor de la UNAD x, tal que x no envía las guias de aprendizaje resueltas.
(∀ 𝑥 ∈ 𝖴) (𝑥 ~ envía las guias de aprendizaje resueltas.)
(∀ 𝑥 ∈ 𝖴) (𝑥 no envía las guias de aprendizaje resueltas.)

Existen algunos estudiantes de la UNAD x, tal que x hacen parte del programa generación E
(∃ 𝑥 ∈ 𝖴) (𝑥 hacen parte del programa generación E.)

➢ Identificar si el argumento corresponde a un cuantificador universal afirmativo, cuantificador

universal negativo, cuantificador existencial afirmativo o negativo
Ningún tutor de la UNAD envía las guías de aprendizaje resueltas.
O
Todo tutor de la UNAD no envía las guías de aprendizaje resueltas.
Cuantificador universal negativo
Algunos estudiantes de la UNAD hacen parte del programa generación E
4
Cuantificador existencial afirmativo o cuantificador particular afirmativo

Ejercicio 2: Proposiciones categóricas

E. Todas las Unidades del curso cuentan con una guía de actividades.
A partir del argumento que haya seleccionado deberá desarrollar los siguientes ítems:

➢ Identificar el cuantificador y la cópula.

Cuantificador: Todas
Copula: con

➢ Clasificar la proposición categórica según su tipo: Universal afirmativa, Universal negativa,

Particular afirmativa, Particular negativa.
Universal Afirmativa

➢ Construir los otros 3 tipos de proposiciones categóricas faltantes con la misma temática dada.
Universal Negativa:
Todas las unidades del curso no cuentan con una guía de actividades.
Particular Afirmativa:
Algunas unidades del curso cuentan con una guía de actividades.
Particular Negativa:
Algunas unidades del curso no cuentan con una guía de actividades.

Ejercicio 3: Clasificación de proposiciones categóricas

A continuación, encontrará las proposiciones categóricas para el desarrollo del ejercicio 3.

5
E.
p: Algunos estudiantes de la UNAD no revisan su correo electrónico institucional.
q: Algunos estudiantes de la UNAD revisan su correo electrónico institucional.
A partir de las proposiciones categóricas que haya seleccionado deberá dar respuesta a los
siguientes ítems:

➢ Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA
Proposición Cuantificador Termino Sujeto Cualidad- Termino
copula predicado
p Algunos Estudiantes de la no revisan su correo
Unad electrónico
institucional
q Algunos Estudiantes de la revisan su correo
Unad electrónico
institucional

Determine el tipo de proposición (A, E, I, O) para cada proposición categórica dada.

Tipo A (Universal afirmativa): Cuantificador universal y cualidad afirmativa.
Tipo E (Universal negativa): Cuantificador universal y cualidad negativa.
Tipo I (Particular Afirmativo): Cuantificador particular y cualidad afirmativa.
Tipo O (Particular negativo): Cuantificador particular y cualidad negativa.
Tipo de proposición lógica categórica
La proposición p: Algunos estudiantes de la unad no revisan su correo electrónico personal
Es de tipo O (Particular negativa)
La proposición q: Algunos estudiantes de la unad revisan su correo electrónico institucional

6
Es de tipo I (Particular Afirmativa)
De acuerdo con su repuesta en el requerimiento anterior, establecer la relación entre las
proposiciones dadas. Contradictorias, Contrarias, Subcontraria, subalternas. Requisito para este
paso las proposiciones deben tener el mismo término sujeto y predicado.

Se Clasifican como: SUBCONTRARIAS

Ejercicio 4: Razonamiento Deductivo e Inductivo
Descripción del ejercicio: A continuación, encontrará una serie de razonamientos para el
desarrollo del ejercicio 4:
E. Argumento: Todos los programas de la UNAD incorporan en su malla curricular cursos
obligatorios y cursos electivos. Contaduría Pública hace parte de la oferta académica de la
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios de la UNAD. Por lo
tanto, el programa de Contaduría Pública que oferta la UNAD incluye en su plan de estudios
cursos obligatorios y electivos.
A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:

➢ Identificar las premisas y la conclusión.

P1: Todos los programas de la UNAD incorporan en su malla curricular cursos obligatorios y
cursos electivos.

7
P2: Contaduría Pública hace parte de la oferta académica de la Escuela de Ciencias
Administrativas, Contables, Económicas y de Negocios de la UNAD.
Conclusión: El programa de Contaduría Pública que oferta la UNAD incluye en su plan de
estudios cursos obligatorios y electivos.

➢ Identificar si el razonamiento es de tipo deductivo o inductivo.

El tipo de razonamiento es deductivo

➢ Justificar o argumentar con sus palabras la respuesta anterior.

El argumento es de tipo deductivo, ya que, parte de lo general a lo particular que son todos los
programas de la unad que oferta en su malla curricular incorpora cursos obligatorios y cursos
electivos y se deduce que todo programa que oferta la unad puede incorporar cursos electivos y
cursos obligatorios.

8
 CONCLUSIONES

 Los cuantificadores sirven para distinguir entre enunciados de carácter general y

particular.

 Una proposición categórica sirve para afirmar o negar los miembros de una categoría

 Los tipos de proposiciones son (A,E, I, O)

 Hay varios tipos de proposiciones logicas

9
 REFERENCIAS

CUANTIFICADORES - SOLUCIONES MATEMATICAS DISCRETAS. (2022).

CUANTIFICADORES. Geraadpleegd op 4 april 2022, van

https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po/cuantificadores

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. (pp. 61- 65). Grupo

Editorial Patria https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/40414?

page=72

Proposiciones categóricas - Expresiones Regulares. (2022). Proposiciones categóricas.

Geraadpleegd op 4 april 2022, van

https://sites.google.com/site/cuantificadoresverificacion/proposiciones/proposiciones-

categoricas

10