Semana 5

Lógica cuantificacional

Mario Ponce Pérez

LÓGICA MATEMÁTICA Y DIGITAL

Instituto IACC

19-10-2020
 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 (ꓯ X)(HX → IX)
B Hay animales carnívoros CA
C Todos los gatos tienen cola (ꓯ X)(GX → CX)
D Todos aprobarán el curso y disfrutarán de vacaciones (ꓯ X)(AX ʌ VX)
E Todos los hombres son mortales (ꓯ X)(HX → MX)
F Existen ciudades de clima frío CE

A.- Todas las hormigas son insectos

Predicados:

Las Hormigas

Son Insectos

Para todo x, si x es las hormigas, x son insectos

(HX)↔(x es las hormigas)

(IX)↔(x son insectos)
(ꓯ X)(HX → IX)
B.- Hay animales carnívoros
A: Hay animales

C: Carnívoros

CA
C.- Todos los gatos tienen cola

Predicados:

los gatos

tienen cola

Para todo x, x es los gatos, x es tienen cola

(GX)↔(x es los gatos)

(CX)↔(x es tienen cola)
(ꓯ X) (GX → CX)
D.- Todos aprobarán el curso y disfrutarán de vacaciones
Predicados:

Aprueban el curso

Disfrutan de vacaciones

Para todos x, x es aprueban el curso, y x es disfrutan de vacaciones

(AX)↔(x es aprueban el curso)

(VX)↔(x es disfrutan de vacaciones)
(ꓯ X)(AX ʌ VX)
E.- Todos los hombres son mortales

Predicados:

Los hombres

Son Mortales

Para todo x, si x es los hombres, si x es son mortales

(HX)↔(x es Los hombres)

(MX)↔(x es Son Mortales)
(ꓯ X)(HX → MX)
F.- Existen ciudades de clima frío

E: Existen Ciudades

C: Clima Frio

CE
2. 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 Particular, Afirmativa
No todas las aves pueden volar Universal, Negativa
Solo los barcos pueden navegar Particular, Afirmativa
Algunos tiburones no matan humanos Particular, Negativa
Todos los gatos caen de pie Universal, Afirmativa
Algunas fórmulas matemáticas no tienen solución Particular, Negativa