LÓGICA MATEMÁTICA Y DIGITAL

Control semana 5
NOMBRE: Lógica cuantificacional

OBJETIVO DEL CONTROL: reconocer cuantificación de proposiciones basado en su estructura y

simbolización.

RECURSOS NECESARIOS:

• Contenidos de la semana 5.

INSTRUCCIONES:

1. Leer el nombre y los objetivos del control.

2. Leer los contenidos de la semana 5.
3. Revisar el recurso complementario disponible en los recursos adicionales de la semana.
4. Las respuestas a las preguntas del control deben ser una elaboración propia. Usted se
apoyará en los contenidos de la semana y también puede hacerlo con otros textos, pero
siempre deberá identificar los autores y citar las fuentes. Recuerde agregar la
bibliografía al final del control en formato APA. Cuide su redacción y ortografía.

DESARROLLO DEL CONTROL:

La lógica cuantificacional es una parte de la lógica que estudia las proposiciones para las cuales
sus sujetos poseen una característica particular y es que pueden ser contados, es decir, que
expresan cantidad. Además, esta sección de la lógica permite hacer un estudio más profundo
a la sintaxis de las proposiciones debido a que sus partes, sujeto y predicado, son las que se
estudian. El estudio de esta parte de la lógica permite reconocer conceptos fundamentales,
como lo son las proposiciones categóricas.

En el caso de las proposiciones categóricas es el nombre que se le da a todas las proposiciones

en las cuales se relacionan clases o categóricas, clases que relacionan al sujeto y el predicado,
aunque en el estudio de estas proposiciones el sujeto es sustituido por el término, el cual
puede tomar cualquier valor. Las proposiciones categóricas pueden ser universales,
afirmativas o negativas, o particulares de igual manera afirmativas o negativas. Estas permiten
definir o nombrar ciertos grupos o categorías de sujetos.

El estudio de las proposiciones categóricas viene ligado con la lógica de proposiciones, ya que,
aunque las proposiciones categóricas son un poco más complejas en sintaxis, utilizan los
mismos principios lógicos que ya han sido estudiados además de coexistir con los operadores
lógicos y los signos de agrupación.
 1. Teniendo en consideración las siguientes proposiciones, traducir estas en lenguaje
lógico. Tenga presente el uso de cuantificadores para expresar las proposiciones y las
variables para expresar los términos (4,5 puntos).

Fórmula Enunciado natural Lenguaje lógico

A Todas las hormigas son insectos
B Hay animales carnívoros
C Todos los gatos tienen cola
Todos aprobarán el curso y disfrutarán de
D
vacaciones
E Todos los hombres son mortales
F Existen ciudades de clima frío

2. Partiendo de las siguientes proposiciones categóricas, señale a qué categoría

pertenecen según la estructura de las mismas (4,5 puntos).

Proposición Categoría
Algunas personas son zurdas
No todas las aves pueden volar
Solo los barcos pueden navegar
Algunos tiburones no matan humanos
Todos los gatos caen de pie
Algunas fórmulas matemáticas no tienen solución

INDICADORES DE EVALUACIÓN PUNTAJE

• Reconocen proposiciones categóricas. 3

• Identifican estructura de una proposición categórica. 3
• Distinguen simbolización de proposiciones categóricas. 3
• Puntaje total 9

El control debe ser desarrollado en la plantilla establecida por IACC para la entrega de controles
de la semana, disponible para ser descargada desde la plataforma de la asignatura junto a estas
instrucciones.
Envíe el documento creado con su nombre y apellido (nombre_apellido_control5).

CANTIDAD MÍNIMA DE PALABRAS: 600

CANTIDAD MÁXIMA DE PALABRAS: 700