Changes

The universe of discourse <math>X^\circ\!</math> consists of two parts, a set of ''points'' and a set of ''propositions''.

The universe of discourse <math>X^\circ\!</math> consists of two parts, a set of ''points'' and a set of ''propositions''.

: The points of <math>X^\circ</math> form the space <math>X = \langle \mathcal{X} \rangle = \langle x, y \rangle = \{ (x, y) \} \cong \mathbb{B}^2.</math>

: The points of <math>X^\circ</math> form the space:

: <math>X = \{ ( (\!| x |\!), (\!| y |\!) ), ( (\!| x |\!), y ), ( x, (\!| y |\!) ), ( x, y ) \} \cong \mathbb{B}^2.</math>

:: <math>X = \langle \mathcal{X} \rangle = \langle x, y \rangle = \{ (x, y) \} \cong \mathbb{B}^2.</math>

: <math>X \cong \{ (0, 0), (0, 1), (1, 0), (1, 1) \} \cong \mathbb{B}^2.</math>

: Each point in <math>X\!</math> may be described by means of a ''singular proposition'', that is, a proposition that describes it uniquely.  This form of representation leads to the follwing enumeration of points:

: The propositions of <math>X^\circ</math> form the space <math>X^\uparrow = (X \to \mathbb{B}) = \{ f : X \to \mathbb{B} \} \cong (\mathbb{B}^2 \to \mathbb{B}).</math>

 

 

 

: The propositions of <math>X^\circ</math> form the space:

 

:: <math>X^\uparrow = (X \to \mathbb{B}) = \{ f : X \to \mathbb{B} \} \cong (\mathbb{B}^2 \to \mathbb{B}).</math>

As always, it is frequently convenient to omit a few of the finer markings of distinctions among isomorphic structures, so long as one is aware of their presence and knows when it is crucial to call upon them again.

As always, it is frequently convenient to omit a few of the finer markings of distinctions among isomorphic structures, so long as one is aware of their presence and knows when it is crucial to call upon them again.