Changes

Two common ways of visualizing the space '''B'''^''k'' of 2^''k'' points are the [[hypercube]] picture and the [[venn diagram]] picture.  Depending on how literally or figuratively one regards these pictures, each point of '''B'''^k 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 common ways of visualizing the space '''B'''^''k'' of 2^''k'' points are the [[hypercube]] picture and the [[venn diagram]] picture.  Depending on how literally or figuratively one regards these pictures, each point of '''B'''^k 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".   

In addition, each point of '''B'''^k is the unique point in the '''[[fiber (mathematics)|fiber]] of truth''' <math>[|s|]</math> of a '''singular proposition''' ''s''&nbsp;:&nbsp;'''B'''^''k''&nbsp;→&nbsp;'''B''', and thus it is the unique point where a '''singular conjunction''' of ''k'' '''literals''' is 1.

In addition, each point of '''B'''^k is the unique point in the '''[[fiber (mathematics)|fiber]] of truth''' <math>[|s|]</math> of a '''singular proposition''' ''s''&nbsp;:&nbsp;'''B'''^''k''&nbsp;&rarr;&nbsp;'''B''', and thus it is the unique point where a '''singular conjunction''' of ''k'' '''literals''' is 1.

For example, consider two cases at opposite vertices of the cube:

For example, consider two cases at opposite vertices of the cube: