2
$\begingroup$

Is there a name for the set containing the two Boolean values, i.e. $\{T,F\}$?

I am also thinking if $B = \{T,F\}$, and $B^n = \underbrace{B \times B\times B ... \times B}_n$, then is there a proper name for $B^n$? I thought of something like "Boolean n-space", but Google shows me that's not how people refer to it. I really appreciate it it someone can point me to the relevant terms and concepts.

  • 0
    Oh gosh. All of you are very helpful and I've no idea which should be choosen as the answer...2012-10-29

2 Answers 2

2

Two-element Boolean algebra, at least according to Wikipedia.

  • 0
    You speak correctly. If the context of classical logic (not its formulas however) comes as clear, in other words if you've presupposed {T, F} as the domain of truth and you haven't stated it, you could say "the set of truth values". "Classical truth set" perhaps might work better.2012-10-29
1

It's more common in mathematics to represent "truth values" as 0 and 1. The set $\{0,1\}$ is sometimes denoted just as $2$, especially by set theorists. The $n$-fold product would then be $2^n$. This notation looks confusing at first, but is usually unambiguous in context. (It also matches up with the usual construction of integers as finite ordinals, where $0 = \emptyset$, $1 = \{\emptyset\}$, and $2 = \{\emptyset, \{\emptyset\}\} = \{0,1\}$.)