MÓDULO # 9

CUANTIFICACIÓN RESTRINGIDA

Contenidos del módulo

9.1 Introducción

9.2 Cuantificación restringida

9.3 Leyes de intercambio de cuantificadores

Objetivos del Módulo

1. Definir en que consiste la cuantificación restringida

2. Mostrar como se restringe el alcance de los cuantificadores

3. Definir las leyes de intercambio de cuantificadores

4. Mostrar como se hace plausible la regla del contraejemplo

Preguntas básicas

1. ¿Cómo se restringe un cuantificador universal?

2. ¿Cómo se restringe un cuantificador existencial?

3. ¿A que equivale la negación de un cuantificador universal?

4. ¿A que equivale la negación de un cuantificador existencial?

Presentación

Para abordar el estudio mas detallado de expresiones cuantificadas, se introduce

el concepto cuantificación restringida, haciendo hincapié en las leyes que
gobiernan estos nuevos conceptos introducidos.

Se hace énfasis especial en las leyes de intercambio de cuantificadores y se

podrá mostrar como, por ejemplo, la negación de una proposición cuantificada
existencialmente es equivalente a la afirmación de una proposición cuantificada
universal y cuya función proposicional es la negación de la primera.
9.1 Introducción
Existen proposiciones universales o existenciales que poseen, en el lenguaje
ordinario, estructuras simples, pero que internamente tienen estructura de
proposiciones compuestas. En el apartado siguiente se verá cómo opera la
restricción en un cuantificador universal y un cuantificador existencial.

9.2 Cuantificación restringida

Sea la expresión
“Todas las hormigas son insectos”
una manera plausible de escribir la anterior expresión, usando el lenguaje de la
lógica, sería:
“Para toda x, si x es hormiga, entonces x es insecto”
La anterior expresión se puede simbolizar de la manera siguiente:
(∀x)(Hx → Ix)
en donde Hx simboliza la expresión “x es hormiga” e Ix simboliza la expresión “x
es insecto”.
En la anterior proposición cuantificada se restringió el conjunto universal de
referencia al conjunto de todas las hormigas, y la expresión bajo el alcance del
cuantificador universal es un condicional.

Similarmente, al considerar la expresión del lenguaje ordinario:

“Hay animales carnívoros”
se observa que se puede escribir como:
“Existe al menos un x, tal que x es animal y x es carnívoro”
La anterior proposición cuantificada existencialmente se puede simbolizar como:
(∃x) ( Ax ∧ Cx)

En la anterior proposición cuantificada existencialmente se restringió el conjunto

universal de referencia al conjunto de todas las cosas que cumplen
simultáneamente que son animales y que son carnívoros. La expresión bajo el
alcance del cuantificador existencial es una conjunción de dos funciones
proposicionales.

Los anteriores son ejemplos de proposiciones universales y existenciales que

tienen más de un predicado bajo el alcance de un cuantificador.

9.3 Leyes de intercambio de cuantificadores

Los cuantificadores universal y existencial se relacionan mediante las siguientes
leyes, llamadas leyes de intercambio de cuantificadores.

1. (∀x)(Px) ⇔ ¬ (∃x)( ¬ Px).

2. (∃x)(Px) ⇔ ¬ (∀x)( ¬ Px).
3. ¬ (∀x)(Px) ⇔ (∃x)( ¬ Px).
4. ¬ (∃x)(Px) ⇔ (∀x)( ¬ Px).

Según lo anterior, se tiene que la negación de una proposición existencial es

equivalente a la afirmación de un cuantificador universal cuya función
proposicional es la negación de la primera.

También, decir que (∀x)(Px) es falsa significa entonces ¬ (∀x)(Px) es verdadera

y, por tanto, lo es (∃x)(¬ Px). Este resultado es la base de una regla lógica útil
para demostrar que un enunciado es falso. Esta regla se llama regla del
contraejemplo y dice así: Si (∃x)( ¬Px) es verdadera, entonces (∀x)(Px) es falso.

Así por ejemplo, la afirmación “todos los números primos son impares” es falso
porque “existe un número primo que no es impar”. A dicho número, el dos, se le
llama un contraejemplo.