UNIVERSIDAD TECNOLÓGICA DE PEREIRA – LÓGICA

TALLER 3. CUANTIFICADORES, OPUESTOS, EQUIVALENCIAS

1. Para las siguientes proposiciones escritas en lenguaje natural, escriba su expresión lógica. A continuación
hallé la expresión lógica de su negación, la expresión en lenguaje natural de su negación, y, la expresión lógica
y en lenguaje natural equivalente en el cuantificador opuesto.
a. Algunos deportistas no son disciplinados.
b. Algunos autores escriben novelas picarescas.
c. Todos los diplomáticos son corteses.
d. Ningún condenado a cadena perpetua es feliz.
e. Todos los cocos son comestibles, pero algunos son difíciles de alcanzar.
f. Todos los estudiantes de Lógica aprobarán el curso.
g. Algunos estudiantes de Lógica mantienen distraídos en clase y no aprobarán la asignatura.
h. Algunos estudiantes de Lógica son mas altos que otros.
i. Algunos estudiantes de Lógica son mas altos que todos los estudiantes de la Universidad.
j. No es cierto que si a algunas personas les gusta cantar y les gusta bailar, se queden sentados en las fiestas.

2. Demuestre que los siguientes pares de expresiones lógicas son equivalentes aplicando el intercambio de
cuantificadores:

3. Para las siguientes expresiones lógicas, construya su contraria, contradictoria, alterna.

∀x [Cx → Mx]

∃x [Cx ˄ Ax]
∀x [Mx ˅ (¬Mx ˅ Qx)]