A boolean-valued function is a function from any set to the boolean domain .
In classical logic, the definable boolean-valued functions on a type correspond precisely to predicates on . Assuming the law of excluded middle, the boolean-valued functions on correspond precisely to the subsets of ; even in constructive mathematics, they corresond to the decidable subsets of .
Last revised on November 16, 2009 at 08:09:30. See the history of this page for a list of all contributions to it.