Changes

Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives (view source)

Revision as of 16:26, 27 April 2009

475 bytes removed , 16:26, 27 April 2009

→‎Selection 12

Line 5,388: Line 5,388:

| <math>\begin{matrix}|Y^X| & = & |Y|^{|X|}\end{matrix}</math>

|}

−

In the special case where <math>Y = \mathbb{B} = \{ 0, 1 \},</math> the function space <math>\mathbb{B}^X</math> is the set of functions <math>\{ f : X \to \mathbb{B} \}.</math> If the elements <math>0, 1 \in \mathbb{B}</math> are interpreted as the logical values <math>\operatorname{false}, \operatorname{true},</math> respectively, then a function of the type <math>X \to \mathbb{B}</math> may be interpreted as a ''proposition'' about the elements in <math>X.\!</math>

==References==

Jon Awbrey

12,080

edits