Changes

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 associates each point of <math>\mathbb{B}^k</math> with a unique point of the <math>k\!</math>-dimensional hypercube.  The venn diagram picture associates each point of <math>\mathbb{B}^k</math> with a unique "cell" of the venn diagram on <math>k\!</math> "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 associates each point of <math>\mathbb{B}^k</math> with a unique point of the <math>k\!</math>-dimensional hypercube.  The venn diagram picture associates each point of <math>\mathbb{B}^k</math> with a unique "cell" of the venn diagram on <math>k\!</math> "circles".

In addition, each point of <math>\mathbb{B}^k</math> is the unique point in the '''[[fiber (mathematics)|fiber]] of truth''' <math>[|s|]\!</math> of a '''singular proposition''' <math>s : \mathbb{B}^k \to \mathbb{B},</math> and thus it is the unique point where a '''singular conjunction''' of <math>k\!</math> '''literals''' is equal to 1.

In addition, each point of <math>\mathbb{B}^k</math> is the unique point in the '''[[fiber (mathematics)|fiber]] of truth''' <math>[|s|]\!</math> of a '''singular proposition''' <math>s : \mathbb{B}^k \to \mathbb{B},</math> and thus it is the unique point where a '''singular conjunction''' of <math>k\!</math> '''literals''' is <math>1.\!</math>

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

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

* The point <math>(1, 1, \ldots , 1, 1)</math> with all 1's as coordinates is the point where the conjunction of all posited variables evaluates to 1, namely, the point where:

* The point <math>(1, 1, \ldots , 1, 1)</math> with all 1's as coordinates is the point where the conjunction of all posited variables evaluates to <math>1,\!</math> namely, the point where:

:: <math>x_1\ x_2\ \ldots\ x_{n-1}\ x_n = 1.</math>

:: <math>x_1\ x_2\ \ldots\ x_{n-1}\ x_n = 1.</math>

* The point <math>(0, 0, \ldots , 0, 0)</math> with all 0's as coordinates is the point where the conjunction of all negated variables evaluates to 1, namely, the point where:

* The point <math>(0, 0, \ldots , 0, 0)</math> with all 0's as coordinates is the point where the conjunction of all negated variables evaluates to <math>1,\!</math> namely, the point where:

:: <math>(x_1)(x_2)\ldots(x_{n-1})(x_n) = 1.</math>

:: <math>(x_1)(x_2)\ldots(x_{n-1})(x_n) = 1.</math>

To pass from these limiting examples to the general case, observe that a singular proposition <math>s : \mathbb{B}^k \to \mathbb{B}</math> can be given canonical expression as a conjunction of literals, <math>s = e_1 e_2 \ldots e_{k-1} e_k</math>.  Then the proposition <math>\nu (e_1, e_2, \ldots, e_{k-1}, e_k)</math> is 1 on the points adjacent to the point where <math>s\!</math> is 1, and 0 everywhere else on the cube.

To pass from these limiting examples to the general case, observe that a singular proposition <math>s : \mathbb{B}^k \to \mathbb{B}</math> can be given canonical expression as a conjunction of literals, <math>s = e_1 e_2 \ldots e_{k-1} e_k</math>.  Then the proposition <math>\nu (e_1, e_2, \ldots, e_{k-1}, e_k)</math> is <math>1\!</math> on the points adjacent to the point where <math>s\!</math> is <math>1,\!</math> and 0 everywhere else on the cube.

For example, consider the case where <math>k = 3.\!</math>  Then the minimal negation operation <math>\nu (p, q, r)\!</math>, when there is no risk of confusion written more simply as <math>(p, q, r)\!</math>, has the following venn diagram:

For example, consider the case where <math>k = 3.\!</math>  Then the minimal negation operation <math>\nu (p, q, r)\!</math>, when there is no risk of confusion written more simply as <math>(p, q, r)\!</math>, has the following venn diagram: