Changes

MyWikiBiz, Author Your Legacy — Thursday November 28, 2024
Jump to navigationJump to search

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>
 
| <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==
 
==References==
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/85587"

Navigation menu