es una función pertenece a la categoría de funciones lógicas​