El tipo logical puede tomar los valores true y false, y se utiliza en operaciones booleanas. Por ejemplo, podemos evaluar si un número es mayor que otro con el operador >:
let
a = 5,
b = 2
in
a > b
TRUE
En este ejemplo, el resultado devuelto por la consulta es de tipo logical (true).