Changes

→‎Charts and graphs: HTML → TeX + some clarification
Line 142: Line 142:  
==Charts and graphs==
 
==Charts and graphs==
   −
Two common ways of visualizing the space '''B'''<sup>''k''</sup> of 2<sup>''k''</sup> points are the [[hypercube]] picture and the [[venn diagram]] picture.  Depending on how literally or figuratively one regards these pictures, each point of '''B'''<sup>k</sup> is either identified with or represented by a point of the ''k''-cube and also by a cell of the venn diagram on ''k'' "circles".
+
Two ways of visualizing the space <math>\mathbb{B}^k</math> of <math>2^k\!</math> points are the [[hypercube]] picture and the [[venn diagram]] picture.  The hypercube picture represents each point of <math>\mathbb{B}^k</math> by the corresponding point of the <math>k\!</math>-cube.  The venn diagram picture represents each point of <math>\mathbb{B}^k</math> by the corresponding "cell" of the venn diagram on <math>k\!</math> "circles".
    
In addition, each point of '''B'''<sup>k</sup> is the unique point in the '''[[fiber (mathematics)|fiber]] of truth''' <math>[|s|]</math> of a '''singular proposition''' ''s''&nbsp;:&nbsp;'''B'''<sup>''k''</sup>&nbsp;&rarr;&nbsp;'''B''', and thus it is the unique point where a '''singular conjunction''' of ''k'' '''literals''' is 1.
 
In addition, each point of '''B'''<sup>k</sup> is the unique point in the '''[[fiber (mathematics)|fiber]] of truth''' <math>[|s|]</math> of a '''singular proposition''' ''s''&nbsp;:&nbsp;'''B'''<sup>''k''</sup>&nbsp;&rarr;&nbsp;'''B''', and thus it is the unique point where a '''singular conjunction''' of ''k'' '''literals''' is 1.
12,080

edits