Changes

<p>The set of ''coordinate functions'', also referred to as the set of ''basic'' or ''simple'' functions, has a cardinality of <math>n\!</math> and is denoted in the following ways:</p>

<p>The set of ''coordinate functions'', also referred to as the set of ''basic'' or ''simple'' functions, has a cardinality of <math>n\!</math> and is denoted in the following ways:</p>

<p><math>\underline{\underline{X}} = (\underline{X} ~\circ\!\!\to \mathbb{B}) = \{ f : \underline{X} ~\circ\!\!\to \mathbb{B} \} = \{ \underline{\underline{x_i}} : \underline{X} \to \mathbb{B} \}.\!</math></p></li>

<p><math>\underline{\underline{X}} = (\underline{X} ~\circ\!\!\to \mathbb{B}) = \{ f : \underline{X} ~\circ\!\!\to \mathbb{B} \} = \{ \underline{\underline{x_i}} : \underline{X} \to \mathbb{B} \}.\!</math></p></li></ol>

</ol></ol>

<p>The sign <math>{}^{\backprime\backprime} x_i {}^{\prime\prime},\!</math> read or understood in a propositional context, can be interpreted as denoting one of the <math>n\!</math> ''features'', ''qualities'', ''basic properties'', or ''simple propositions'' that go to define the <math>n\!</math>-dimensional ''universe of discourse'' <math>X^\circ,\!</math> also notated as follows:</p>

<pre>

<p><math>X^\circ = [X] = [x_1, \ldots, x_n] = (X, X^\to) : \mathbb{B}^n +\!\to \mathbb{B}.\!</math></p></li></ol>

 

2. The sign "xi", read or understood in a propositional context, can be interpreted as denoting one of the n "features", "qualities", "basic properties", or "simple propositions" that go to define the n dimensional "universe of discourse" X[], also notated as follows:

 

X[]  = [X] = [x1, ..., xn] = <X, X->> : Bn&->B.

</pre>

===6.15. Propositional Calculus===

===6.15. Propositional Calculus===