Lógica Cuantificacional

Alexis Villalobos Salazar

Lógica Matemática y Digital

Instituto IACC

13 de febrero de 2019
 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 (4,5puntos)

Formula 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)

D Todos aprobaran el curso y disfrutaran de

vacaciones (Ɐx) (Ax ˄ Vx)

E Todos los hombres son mortales (Ɐx) (Hx → Mx)

F Existen ciudades de clima frio ((Ǝ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 (4,5 puntos)

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 Afirmativos (A)
Particulares Negativas (O)
Universales Afirmativas (A)
Particulares Negativas (O)
 Bibliografía

IACC (2019). Lógica Matemática y Digital, Lenguaje y Lógica Cuantificacional, semana 5.

IACC (2019).Lógica Matemática y Digital, recursos adicionales, Semana 5.