LÓGICA MATEMÁTICA Y DIGITAL

SEMANA 5

Adrián Alfredo Fuentes Collao

28 – 11 - 2021
DESARROLLO
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

Fórmula Enunciado natural Lenguaje lógico

A Todas las hormigas son insectos (∀x) (Hx → Ix)
B Hay animales carnívoros (Ǝx) (Ax ^ Cx)
C Todos los gatos tienen cola (∀x) (Gx → Cx)
Todos aprobarán el curso y disfrutarán
D de (∀x) (Ax ^ Vx)
vacaciones
E Todos los hombres son mortales (∀x) (Hx → Mx)
F Existen ciudades de clima frío (Ǝx) (Cx ^ Fx)

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

pertenecen según la estructura de las mismas

Proposición
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
Categoría
Particulares Afirmativas (I)
Particulares Negativas (O)
Universales Afirmativas (A)
Particulares Negativas (O)
Universales Afirmativas (A)
Particulares Negativas (O)
(IACC (2018). LÓGICA CUANTIFICACIONAL. LÓGICA MATEMÁTICA Y DIGITAL.
SEMANA 5)