nLab boolean-valued function

Contents

Definition

A boolean-valued function is a function from any set to the boolean domain {,}\{\bot, \top\}.

In classical logic, the definable boolean-valued functions on a type XX correspond precisely to predicates on XX. Assuming the law of excluded middle, the boolean-valued functions on XX correspond precisely to the subsets of XX; even in constructive mathematics, they corresond to the decidable subsets of XX.

Last revised on December 10, 2023 at 04:48:03. See the history of this page for a list of all contributions to it.