Nótese que algunas de las relaciones expuestas se pueden tomar como funciones, ejemplo: en el juicio de exclusión la función de la exclusión bajo el rango de bivalencia lógica (i.e., "verdadero" o "falso") "F"(x,y)= 1 sí, y sólo sí, (x)= 0 y (y)=1 o (y)=0 y (x)=1.