EJERCICIO 1: CONCEPTUALIZACIÓN DE CUANTIFICADORES

Cuantificador Universal Afirmativo

Cuantificador
Un cuantificador es una expresión con la que se pretende determinar la cantidad en una proposición.

Cuantificador Universal Afirmativo

El cuantificador universal indica que algo es cierto para todos los individuos, este se representa con el
símbolo .
Las frases que se usan para denotar el cuantificador universal afirmativo son:

 Todos x – Todo x
 Para cada x
 Cada x
 Cada uno x
 Siempre que x
 Cualquiera x
 Para todo x

Ejemplo:

Si queremos representar la expresión

“Todos los niños toman leche”

Primero se halla el cuantificador universal, que es “Si x es un niño, entonces x toman leche” y se simboliza de
la siguiente manera:

Nx x es un niño
Lx x toman leches

( x) N x Lx

“Todas las mujeres son inteligentes”

Para toda x, si x es mujer entonces x es inteligente, y se simboliza de la siguiente manera:

Mx x es una mujer
Ix x son inteligentes

( x) (M x I x)
BIBLIOGRAFÍA

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109
&docID=3199701&tm=1529510366591