Clásicamente el dominio y el rango de una función de verdad son {"verdadero","falso"}, pero en general pueden tener cualquier número de valores de verdad, incluso una infinidad de ellos.