CUANTIFICACIÓN:

Es una función proposicional simboliza la forma de una proposición individual. Para ampliar su
significación a mas individuos se les anteponen los cuantificadores.

Fx = trabajan

(Ǝx) Fx = algunos trabajan

(Ɐx) Fx = todos los x trabajan

La variable que constituye el cuantificador es precisamente la variable que deseas cuantificar.

No es pues, necesario que siempre se escriba x, si no que también se puede usar cualquier
tipo de variable como y, z, etc.

1. CUANTIFICADOR EXISTENCIAL:

Denota que existe “al menos” un elemento de X del Universo, para el cual p(x) es verdadera.

-En el lenguaje natural decimos:

 Hay un “x”
 Para algún “x”
 Para al menos un “x”
 Existe un “x” tal que

La proposición es Verdadera, si existe al menos un elemento “x” del universo tal que
p(x)sea verdadera. De lo contrario será falsa.

2. CUANTIFICADOR UNIVERSAL

Indica que una proposición es verdadera para todos los valores de una variable en un
“universo” en particular. P(x)es verdadera, para todos los valores de x en el dominio.

En el lenguaje natural decimos:

 “Para todo x”
 “Para cada x”
 “Para cualquier x”
 “Para todo x y y”
 “Para todo x, y”

La proposición es verdadera, si para cada reemplazo de x, p(x) es verdadera. Es falsa si

existe al menos un x para el cual p(x) es falsa.
Proposiciones cuantificadas:

Simbolización:

Las proposiciones cuantificadas, tanto Universales como Particulares, pueden ser

afirmativas o negativas, su simbolización es la siguiente:

Proposiciones Simbolización

Todo x trabaja (Ɐx) Fx

Ningún x estudia (Ɐx) - Fx

Algún x estudia (Ǝx) Fx

Algún x no estudia (Ǝx) –Fx

Conexiones:

Las relaciones entre las proposiciones cuantificadas aparecen claramente si las colocamos en
el cuadro de tradicional.

(Ɐx) Fx (Ǝx) Fx

(Ǝx) Fx Ǝx(Fx)

Leyes de intercambio:

a) (Ɐx) Fx ↔ - (Ǝx) -Fx

b) (Ǝx) Fx ↔ - (Ɐx) -Fx

c) (Ɐx) –Fx ↔ - (Ǝx) Fx

d) (Ǝx) –Fx ↔ - (Ɐx) Fx

Ejemplos:

a) Todos son lógicos Equivale no es el caso que algunos no

sean lógicos.

b) algunos son lógicos Equivale no es el caso que ninguno sean logico.

c) ninguno es logico Equivale no es el caso que ninguno sea logico.

d) algunos no son lógicos. Equivale no es el caso que todos sean lógicos.

Formación de proposiciones:

Ejemplos:

a) Esta noticia es sensacional y yoel aplaude.

P q

b) Si esta empresa tiene éxito, el promotor Jr. Se alegra.

P q

Se representa de tal manera:

a) Fa ᴧGb

b) Fa →Gb