Difference between revisions of "Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus"

MyWikiBiz, Author Your Legacy — Tuesday November 05, 2024
Jump to navigationJump to search
(→‎Work Area 1: copy template)
(delete old PlanetMath TeX and move remainder to Directory:Jon Awbrey/Differential Logic : Various_Sketches)
 
(109 intermediate revisions by 2 users not shown)
Line 1: Line 1:
−
__TOC__
 
  
−
=Current Version @ PlanetMath : TeX Format=
 
−
 
−
<pre>
 
−
\PMlinkescapephrase{calculus}
 
−
\PMlinkescapephrase{Calculus}
 
−
\PMlinkescapephrase{circle}
 
−
\PMlinkescapephrase{Circle}
 
−
\PMlinkescapephrase{collection}
 
−
\PMlinkescapephrase{Collection}
 
−
\PMlinkescapephrase{component}
 
−
\PMlinkescapephrase{Component}
 
−
\PMlinkescapephrase{cover}
 
−
\PMlinkescapephrase{Cover}
 
−
\PMlinkescapephrase{cut}
 
−
\PMlinkescapephrase{Cut}
 
−
\PMlinkescapephrase{divides}
 
−
\PMlinkescapephrase{Divides}
 
−
\PMlinkescapephrase{entire}
 
−
\PMlinkescapephrase{Entire}
 
−
\PMlinkescapephrase{even}
 
−
\PMlinkescapephrase{Even}
 
−
\PMlinkescapephrase{language}
 
−
\PMlinkescapephrase{Language}
 
−
\PMlinkescapephrase{object}
 
−
\PMlinkescapephrase{Object}
 
−
\PMlinkescapephrase{parallel}
 
−
\PMlinkescapephrase{Parallel}
 
−
\PMlinkescapephrase{place}
 
−
\PMlinkescapephrase{Place}
 
−
\PMlinkescapephrase{representation}
 
−
\PMlinkescapephrase{Representation}
 
−
\PMlinkescapephrase{represents}
 
−
\PMlinkescapephrase{Represents}
 
−
\PMlinkescapephrase{simple}
 
−
\PMlinkescapephrase{Simple}
 
−
 
−
A \textbf{differential propositional calculus} is a \PMlinkname{propositional calculus}{PropositionalCalculus} extended by a set of terms for describing aspects of change and difference, for example, processes that take place in a universe of discourse or transformations that map a source universe into a target universe.
 
−
 
−
\tableofcontents
 
−
 
−
\section{Casual introduction}
 
−
 
−
Consider the situation represented by the venn diagram in Figure 1.
 
−
 
−
\begin{figure}[h]\begin{centering}
 
−
\begin{footnotesize}\begin{verbatim}
 
−
o-----------------------------------------------------------o
 
−
| X . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . o-------------o . . . . . . . . . . . . . . . |
 
−
| . . h . . ./. . . . . . . .\. . . . . . . . . . . . . . . |
 
−
| . . @ . . / . . . . . . . . \ . . . . . . . . . . . . . . |
 
−
| . . . . ./. . i . . . . . . .\. . . . . . . . . . . . . . |
 
−
| . . . . / . . @ . . . . . . . \ . . . . . . . . . . . . . |
 
−
| . . . ./. . . . . . . . . . . .\. . . . . . . . . . . . . |
 
−
| . . . o . . . . . . . . . . j . o . . . . . . . . . . . . |
 
−
| . . . | . . . . . . . . . . @ . | . . . . . . . . . . . . |
 
−
| . . . | . . . . . . . . . . . . | . . . . . . . . . . . . |
 
−
| . . . | . . . . . .Q. . . . . . | . . . . . . . . . . . . |
 
−
| . . . | . . . . . . . . . . . . | . . . . . k . . . . . . |
 
−
| . . . | . . . . . . . . . . . . | . . . . . @ . . . . . . |
 
−
| . . . o . . . . . . . . . . . . o . . . . . . . . . . . . |
 
−
| . . . .\. . . . . . . . . . . ./. . . . . . . . . . . . . |
 
−
| . . . . \ . . . . . . . . . . / . . . . . . . . . . . . . |
 
−
| . . . . .\. . . . . . . . . ./. . . . . . . . . . . . . . |
 
−
| . . . . . \ . . . . . . . . / . . . . . . . . . . . . . . |
 
−
| . . . . . .\. . . . . . . ./. . . . . . . . . . . . . . . |
 
−
| . . . . . . o-------------o . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
o-----------------------------------------------------------o
 
−
\end{verbatim}\end{footnotesize}
 
−
Figure 1.  Local Habitations, And Names
 
−
\end{centering}\end{figure}
 
−
 
−
The area of the rectangle represents a universe of discourse, $X.$  This might be a population of individuals having various additional properties or it might be a collection of locations that various individuals occupy.  The area of the ``circle" represents the individuals that have the property $q$ or the locations that fall within the corresponding region $Q.$  Four individuals, $h, i, j, k,$ are singled out by name.  It happens that $i$ and $j$ currently reside in region $Q$ while $h$ and $k$ do not.
 
−
 
−
Now consider the situation represented by the venn diagram in Figure 2.
 
−
 
−
\begin{figure}[h]\begin{centering}
 
−
\begin{footnotesize}\begin{verbatim}
 
−
o-----------------------------------------------------------o
 
−
| X . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . o-------------o . . . . . . . . . . . . . . . |
 
−
| . . h . . ./. . . . . . . .\. . . . . . . . . . . . . . . |
 
−
| . . @ . . / . . . . . . . . \ . . . . . . . . . . . . . . |
 
−
| . . . . ./. . i . . . . . . .\. . . . . . . . . . . . . . |
 
−
| . . . . / . . @ . . . . . . . \ . . . . . . . . . . . . . |
 
−
| . . . ./. . . . . . . . . . . .\. . . . . . . . . . . . . |
 
−
| . . . o . . . . . . . . . . . . o . . . . . j . . . . . . |
 
−
| . . . | . . . . . . . . . . . . | . . . . . @ . . . . . . |
 
−
| . . . | . . . . . . . . . . . . | . . . . . . . . . . . . |
 
−
| . . . | . . . . . .Q. . . . . . | . . . . . . . . . . . . |
 
−
| . . . | . . . . . . . . . . k . | . . . . . . . . . . . . |
 
−
| . . . | . . . . . . . . . . @ . | . . . . . . . . . . . . |
 
−
| . . . o . . . . . . . . . . . . o . . . . . . . . . . . . |
 
−
| . . . .\. . . . . . . . . . . ./. . . . . . . . . . . . . |
 
−
| . . . . \ . . . . . . . . . . / . . . . . . . . . . . . . |
 
−
| . . . . .\. . . . . . . . . ./. . . . . . . . . . . . . . |
 
−
| . . . . . \ . . . . . . . . / . . . . . . . . . . . . . . |
 
−
| . . . . . .\. . . . . . . ./. . . . . . . . . . . . . . . |
 
−
| . . . . . . o-------------o . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
o-----------------------------------------------------------o
 
−
\end{verbatim}\end{footnotesize}
 
−
Figure 2.  Same Names, Different Habitations
 
−
\end{centering}\end{figure}
 
−
 
−
Figure 2 differs from Figure 1 solely in the circumstance that the object $j$ is outside the region $Q$ while the object $k$ is inside the region $Q.$  So far, there is nothing that says that our encountering these Figures in this order is other than purely accidental, but if we interpret the present sequence of frames as a ``moving picture" representation of their natural order in a temporal process, then it would be natural to say that $h$ and $i$ have remained as they were with regard to quality $q$ while $j$ and $k$ have changed their standings in that respect.  In particular, $j$ has moved from the region where $q$ is $\textsl{true}$ to the region where $q$ is $\textsl{false}$ while $k$ has moved from the region where $q$ is $\textsl{false}$ to the region where $q$ is $\textsl{true}.$
 
−
 
−
Figure $1^\prime$ reprises the situation shown in Figure 1, but this time interpolates a new quality that is specifically tailored to account for the relation between Figure 1 and Figure 2.
 
−
 
−
\begin{figure}[h]\begin{centering}
 
−
\begin{footnotesize}\begin{verbatim}
 
−
o-----------------------------------------------------------o
 
−
| X . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . o-------------o . o-------------o . . . . . . |
 
−
| . . h . . ./. . . . . . . .\./. . . . . . . .\. . . . . . |
 
−
| . . @ . . / . . . . . . . . o . . . . . . . . \ . . . . . |
 
−
| . . . . ./. . i . . . . . ./.\. . . . . . . . .\. . . . . |
 
−
| . . . . / . . @ . . . . . / . \ . . . . . . . . \ . . . . |
 
−
| . . . ./. . . . . . . . ./. . .\. . . . . . . . .\. . . . |
 
−
| . . . o . . . . . . . . o . j . o . . . . . . . . o . . . |
 
−
| . . . | . . . . . . . . | . @ . | . . . . . . . . | . . . |
 
−
| . . . | . . . . . . . . | . . . | . . . . . . . . | . . . |
 
−
| . . . | . . . . . Q . . | . . . | . . dQ. . . . . | . . . |
 
−
| . . . | . . . . . . . . | . . . | . . . . . k . . | . . . |
 
−
| . . . | . . . . . . . . | . . . | . . . . . @ . . | . . . |
 
−
| . . . o . . . . . . . . o . . . o . . . . . . . . o . . . |
 
−
| . . . .\. . . . . . . . .\. . ./. . . . . . . . ./. . . . |
 
−
| . . . . \ . . . . . . . . \ . / . . . . . . . . / . . . . |
 
−
| . . . . .\. . . . . . . . .\./. . . . . . . . ./. . . . . |
 
−
| . . . . . \ . . . . . . . . o . . . . . . . . / . . . . . |
 
−
| . . . . . .\. . . . . . . ./.\. . . . . . . ./. . . . . . |
 
−
| . . . . . . o-------------o . o-------------o . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
o-----------------------------------------------------------o
 
−
\end{verbatim}\end{footnotesize}
 
−
Figure $1^\prime$.  Back, To The Future
 
−
\end{centering}\end{figure}
 
−
 
−
This new quality, $\operatorname{d}q,$ is an example of a \textit{differential quality}, since its absence or presence qualifies the absence or presence of change occurring in another quality.  As with any other quality, it is represented in the venn diagram by means of a ``circle" that distinguishes two halves of the universe of discourse, in this case, the portions of $X$ outside and inside the region $\operatorname{d}Q.$
 
−
 
−
Figure 1 represents a universe of discourse, $X,$ together with a basis of discussion, $\{ q \},$ for expressing propositions about the contents of that universe.  Once the quality $q$ is given a name, say, the symbol $``q"$, we have a basis for a formal language that is specifically cut out for discussing $X$ in terms of $q,$ and this formal language is more formally known as the \textit{propositional calculus} with alphabet $\{ ``q" \}.$
 
−
 
−
In the context marked by $X$ and $\{ q \}$ there are but four different pieces of information that can be expressed in the corresponding propositional calculus, namely, the propositions: $\textsl{false},\ \lnot q,\ q,\ \textsl{true}.$  Referring to the sample of points in Figure 1, $\textsl{false}$ holds of no points, $\lnot q$ holds of $h$ and $k$, $q$ holds of $i$ and $j$, and $\textsl{true}$ holds of all points in the sample.
 
−
 
−
Figure $1^\prime$ preserves the same universe of discourse and extends the basis of discussion to a set of two qualities, $\{ q,\ \operatorname{d}q \}.$  In parallel fashion, the initial propositional calculus is extended by means of the enlarged alphabet, $\{ ``q", ``\operatorname{d}q" \}.$  Any propositional calculus over two basic propositions allows for the expression of 16 propositions all together.  Just by way of salient examples in the present setting, we can pick out the most informative propositions that apply to each of our sample points.  Using overlines to express logical negation, these are given as follows:
 
−
 
−
\begin{itemize}
 
−
\item
 
−
$\overline{q}\ \overline{\operatorname{d}q}$ describes $h$
 
−
\item
 
−
$\overline{q}\ \operatorname{d}q$ describes $k$
 
−
\item
 
−
$q\ \overline{\operatorname{d}q}$ describes $i$
 
−
\item
 
−
$q\ \operatorname{d}q$ describes $j$
 
−
\end{itemize}
 
−
 
−
Table 3 exhibits the rules of inference that give the differential quality $\operatorname{d}q$ its meaning in practice.
 
−
 
−
\begin{center}\begin{tabular}{ccccccc}
 
−
\multicolumn{7}{c}{\textbf{Table 3.  Differential Inference Rules}} \\[12pt]
 
−
From & $\overline{q}$ & and & $\overline{\operatorname{d}q}$ & infer & $\overline{q}$ & next. \\[6pt]
 
−
From & $\overline{q}$ & and & $\operatorname{d}q$ & infer & $q$ & next. \\[6pt]
 
−
From & $q$ & and & $\overline{\operatorname{d}q}$ & infer & $q$ & next. \\[6pt]
 
−
From & $q$ & and & $\operatorname{d}q$ & infer & $\overline{q}$ & next. \\[6pt]
 
−
\end{tabular}\end{center}
 
−
 
−
$\ldots$
 
−
 
−
\section{Transitional remarks}
 
−
 
−
Up to this point we have been treating the universe of discourse $X,$ the quality $q,$ and the symbol $``q"$ as all of one piece, almost as if the entire context marked by $X$ and $q$ and $``q"$ amounted to the only way of viewing $X.$  That is clearly not the case, but the fact is that people often use the term ``universe of discourse" to cover a particular set of distinctions drawn in the space $X$ and even sometimes a particular calculus or language for discussing the elements of $X.$  If it were possible to coin a new phrase in this realm one might distinguish these latter components as the ``discursive universe", but there is probably no escape from simply recognizing the equivocal senses of the terms already in use and trying to clarify the senses intended in context.
 
−
 
−
$\ldots$
 
−
 
−
\section{Formal development}
 
−
 
−
The preceding discussion outlined the ideas leading to the differential extension of propositional logic.  The next task is to lay out the concepts and terminology that are needed to describe various orders of differential propositional calculi.
 
−
 
−
Table 4 summarizes the basic notations that are needed to describe ordinary propositional calculi in a parametric fashion.
 
−
 
−
\begin{center}\begin{tabular}{|l|l|l|l|}
 
−
\multicolumn{4}{c}{\textbf{Table 4.  Propositional Calculus : Basic Notation}} \\[8pt]
 
−
\hline
 
−
 
−
\textbf{Symbol} &
 
−
\textbf{Notation} &
 
−
\textbf{Description} &
 
−
\textbf{Type} \\[4pt]
 
−
\hline
 
−
 
−
$\mathfrak{A}$ &
 
−
$\{ ``a_1", \ldots, ``a_n" \}$ &
 
−
Alphabet &
 
−
$[n] = \mathbf{n}$ \\[4pt]
 
−
\hline
 
−
 
−
$\mathcal{A}$ &
 
−
$\{ a_1, \ldots, a_n \}$
 
−
& Basis &
 
−
$[n] = \mathbf{n}$ \\[4pt]
 
−
\hline
 
−
 
−
$A_i$ &
 
−
$\{ \overline{a_i}, a_i \}$ &
 
−
Dimension $i$ &
 
−
$\mathbb{B}$ \\[4pt]
 
−
\hline
 
−
 
−
$A$ & $\langle \mathcal{A} \rangle$      & Set of cells,      & $\mathbb{B}^n$ \\[4pt]
 
−
    & $\langle a_1, \ldots, a_n \rangle$ & coordinate tuples, & \\[4pt]
 
−
    & $\{ (a_1, \ldots, a_n) \}$        & points, or vectors & \\[4pt]
 
−
    & $A_1 \times \ldots \times A_n$    & in the universe    & \\[4pt]
 
−
    & $\textstyle \prod_{i=1}^n A_i$    & of discourse      & \\[4pt]
 
−
\hline
 
−
 
−
$A^*$ &
 
−
$(\operatorname{hom} : A \to \mathbb{B})$ &
 
−
Linear functions &
 
−
$(\mathbb{B}^n)^* \cong \mathbb{B}^n$ \\[4pt]
 
−
\hline
 
−
 
−
$A^\uparrow$ &
 
−
$(A \to \mathbb{B})$ &
 
−
Boolean functions &
 
−
$\mathbb{B}^n \to \mathbb{B}$ \\[4pt]
 
−
\hline
 
−
 
−
$A^\circ$ & $[ \mathcal{A} ]$        & Universe of discourse    &
 
−
$(\mathbb{B}^n, (\mathbb{B}^n \to \mathbb{B}))$                  \\[4pt]
 
−
          & $(A, A^\uparrow)$        & based on the features    &
 
−
$(\mathbb{B}^n\ +\!\to \mathbb{B})$                              \\[4pt]
 
−
          & $(A\ +\!\to \mathbb{B})$  & $\{ a_1, \ldots, a_n \}$ &
 
−
$[\mathbb{B}^n]$                                                \\[4pt]
 
−
          & $(A, (A \to \mathbb{B}))$ & & \\[4pt]
 
−
          & $[ a_1, \ldots, a_n ]$    & & \\[4pt]
 
−
\hline
 
−
\end{tabular}\end{center}
 
−
 
−
Table 5 summarizes the basic notations that are needed to describe the (first order) differential extensions of propositional calculi in a corresponding manner.
 
−
 
−
\begin{center}\begin{tabular}{|l|l|l|l|}
 
−
\multicolumn{4}{c}{\textbf{Table 5.  Differential Extension : Basic Notation}} \\[8pt]
 
−
\hline
 
−
 
−
\textbf{Symbol} &
 
−
\textbf{Notation} &
 
−
\textbf{Description} &
 
−
\textbf{Type} \\[4pt]
 
−
\hline
 
−
 
−
$\operatorname{d}\mathfrak{A}$ &
 
−
$\{ ``\operatorname{d}a_1", \ldots, ``\operatorname{d}a_n" \}$ &
 
−
Alphabet of differential symbols &
 
−
$[n] = \mathbf{n}$ \\[4pt]
 
−
\hline
 
−
 
−
$\operatorname{d}\mathcal{A}$ &
 
−
$\{ \operatorname{d}a_1, \ldots, \operatorname{d}a_n \}$ &
 
−
Basis of differential features &
 
−
$[n] = \mathbf{n}$ \\[4pt]
 
−
\hline
 
−
 
−
$\operatorname{d}A_i$ &
 
−
$\{ \overline{\operatorname{d}a_i}, \operatorname{d}a_i \}$ &
 
−
Differential dimension $i$ &
 
−
$\mathbb{D}$ \\[4pt]
 
−
\hline
 
−
 
−
$\operatorname{d}A$ &
 
−
$\langle \operatorname{d}\mathcal{A} \rangle$ &
 
−
Tangent space at a point: &
 
−
$\mathbb{D}^n$ \\[4pt]
 
−
&
 
−
$\langle \operatorname{d}a_1, \ldots, \operatorname{d}a_n \rangle$ &
 
−
Set of changes, &
 
−
\\[4pt]
 
−
&
 
−
$\{ (\operatorname{d}a_1, \ldots, \operatorname{d}a_n) \}$ &
 
−
motions, steps, &
 
−
\\[4pt]
 
−
&
 
−
$\operatorname{d}A_1 \times \ldots \times \operatorname{d}A_n$ &
 
−
tangent vectors &
 
−
\\[4pt]
 
−
&
 
−
$\textstyle \prod_{i=1}^n \operatorname{d}A_i$ &
 
−
at a point &
 
−
\\[4pt]
 
−
\hline
 
−
 
−
$\operatorname{d}A^*$ &
 
−
$(\operatorname{hom} : \operatorname{d}A \to \mathbb{B})$ &
 
−
Linear functions on $\operatorname{d}A$ &
 
−
$(\mathbb{D}^n)^* \cong \mathbb{D}^n$ \\[4pt]
 
−
\hline
 
−
 
−
$\operatorname{d}A^\uparrow$ &
 
−
$(\operatorname{d}A \to \mathbb{B})$ &
 
−
Boolean functions on $\operatorname{d}A$ &
 
−
$\mathbb{D}^n \to \mathbb{B}$ \\[4pt]
 
−
\hline
 
−
 
−
$\operatorname{d}A^\circ$ &
 
−
$[ \operatorname{d}\mathcal{A} ]$ &
 
−
Tangent universe &
 
−
$(\mathbb{D}^n, (\mathbb{D}^n \to \mathbb{B}))$ \\[4pt]
 
−
&
 
−
$(\operatorname{d}A, \operatorname{d}A^\uparrow)$ &
 
−
at a point of $A^\circ,$ &
 
−
$(\mathbb{D}^n\ +\!\to \mathbb{B})$ \\[4pt]
 
−
&
 
−
$(\operatorname{d}A\ +\!\to \mathbb{B})$ &
 
−
based on the &
 
−
$[\mathbb{D}^n]$ \\[4pt]
 
−
&
 
−
$(\operatorname{d}A, (\operatorname{d}A \to \mathbb{B}))$ &
 
−
tangent features &
 
−
\\[4pt]
 
−
&
 
−
$[ \operatorname{d}a_1, \ldots, \operatorname{d}a_n ]$ &
 
−
$\{ \operatorname{d}a_1, \ldots, \operatorname{d}a_n \}$ &
 
−
\\[4pt]
 
−
\hline
 
−
\end{tabular}\end{center}
 
−
 
−
$\ldots$
 
−
 
−
\section{Expository examples}
 
−
 
−
$\ldots$
 
−
</pre>
 
−
 
−
=Draft Conversion @ MyWikiBiz : Wiki Format=
 
−
 
−
A '''differential propositional calculus''' is a [[propositional calculus]] extended by a set of terms for describing aspects of change and difference, for example, processes that take place in a [[universe of discourse]] or transformations that map a source universe into a target universe.
 
−
 
−
==Casual introduction==
 
−
 
−
Consider the situation represented by the venn diagram in Figure&nbsp;1.
 
−
 
−
<center><pre>
 
−
o-----------------------------------------------------------o
 
−
| X . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . o-------------o . . . . . . . . . . . . . . . |
 
−
| . . h . . ./. . . . . . . .\. . . . . . . . . . . . . . . |
 
−
| . . @ . . / . . . . . . . . \ . . . . . . . . . . . . . . |
 
−
| . . . . ./. . i . . . . . . .\. . . . . . . . . . . . . . |
 
−
| . . . . / . . @ . . . . . . . \ . . . . . . . . . . . . . |
 
−
| . . . ./. . . . . . . . . . . .\. . . . . . . . . . . . . |
 
−
| . . . o . . . . . . . . . . j . o . . . . . . . . . . . . |
 
−
| . . . | . . . . . . . . . . @ . | . . . . . . . . . . . . |
 
−
| . . . | . . . . . . . . . . . . | . . . . . . . . . . . . |
 
−
| . . . | . . . . . .Q. . . . . . | . . . . . . . . . . . . |
 
−
| . . . | . . . . . . . . . . . . | . . . . . k . . . . . . |
 
−
| . . . | . . . . . . . . . . . . | . . . . . @ . . . . . . |
 
−
| . . . o . . . . . . . . . . . . o . . . . . . . . . . . . |
 
−
| . . . .\. . . . . . . . . . . ./. . . . . . . . . . . . . |
 
−
| . . . . \ . . . . . . . . . . / . . . . . . . . . . . . . |
 
−
| . . . . .\. . . . . . . . . ./. . . . . . . . . . . . . . |
 
−
| . . . . . \ . . . . . . . . / . . . . . . . . . . . . . . |
 
−
| . . . . . .\. . . . . . . ./. . . . . . . . . . . . . . . |
 
−
| . . . . . . o-------------o . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
o-----------------------------------------------------------o
 
−
</pre>
 
−
'''Figure 1.  Local Habitations, And Names'''
 
−
</center>
 
−
 
−
The area of the rectangle represents a universe of discourse, <math>X.\!</math>  This might be a population of individuals having various additional properties or it might be a collection of locations that various individuals occupy.  The area of the "circle" represents the individuals that have the property <math>q\!</math> or the locations that fall within the corresponding region <math>Q.\!</math>  Four individuals, <math>h, i, j, k,\!</math> are singled out by name.  It happens that <math>i\!</math> and <math>j\!</math> currently reside in region <math>Q\!</math> while <math>h\!</math> and <math>k\!</math> do not.
 
−
 
−
Now consider the situation represented by the venn diagram in Figure&nbsp;2.
 
−
 
−
<center><pre>
 
−
o-----------------------------------------------------------o
 
−
| X . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . o-------------o . . . . . . . . . . . . . . . |
 
−
| . . h . . ./. . . . . . . .\. . . . . . . . . . . . . . . |
 
−
| . . @ . . / . . . . . . . . \ . . . . . . . . . . . . . . |
 
−
| . . . . ./. . i . . . . . . .\. . . . . . . . . . . . . . |
 
−
| . . . . / . . @ . . . . . . . \ . . . . . . . . . . . . . |
 
−
| . . . ./. . . . . . . . . . . .\. . . . . . . . . . . . . |
 
−
| . . . o . . . . . . . . . . . . o . . . . . j . . . . . . |
 
−
| . . . | . . . . . . . . . . . . | . . . . . @ . . . . . . |
 
−
| . . . | . . . . . . . . . . . . | . . . . . . . . . . . . |
 
−
| . . . | . . . . . .Q. . . . . . | . . . . . . . . . . . . |
 
−
| . . . | . . . . . . . . . . k . | . . . . . . . . . . . . |
 
−
| . . . | . . . . . . . . . . @ . | . . . . . . . . . . . . |
 
−
| . . . o . . . . . . . . . . . . o . . . . . . . . . . . . |
 
−
| . . . .\. . . . . . . . . . . ./. . . . . . . . . . . . . |
 
−
| . . . . \ . . . . . . . . . . / . . . . . . . . . . . . . |
 
−
| . . . . .\. . . . . . . . . ./. . . . . . . . . . . . . . |
 
−
| . . . . . \ . . . . . . . . / . . . . . . . . . . . . . . |
 
−
| . . . . . .\. . . . . . . ./. . . . . . . . . . . . . . . |
 
−
| . . . . . . o-------------o . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
o-----------------------------------------------------------o
 
−
</pre>
 
−
'''Figure 2.  Same Names, Different Habitations'''
 
−
</center>
 
−
 
−
Figure 2 differs from Figure 1 solely in the circumstance that the object <math>j\!</math> is outside the region <math>Q\!</math> while the object <math>k\!</math> is inside the region <math>Q.\!</math>  So far, there is nothing that says that our encountering these Figures in this order is other than purely accidental, but if we interpret the present sequence of frames as a "moving picture" representation of their natural order in a temporal process, then it would be natural to say that <math>h\!</math> and <math>i\!</math> have remained as they were with regard to quality <math>q\!</math> while <math>j\!</math> and <math>k\!</math> have changed their standings in that respect.  In particular, <math>j\!</math> has moved from the region where <math>q\!</math> is <math>true\!</math> to the region where <math>q\!</math> is <math>false\!</math> while <math>k\!</math> has moved from the region where <math>q\!</math> is <math>false\!</math> to the region where <math>q\!</math> is <math>true.\!</math>
 
−
 
−
Figure&nbsp;1&prime; reprises the situation shown in Figure&nbsp;1, but this time interpolates a new quality that is specifically tailored to account for the relation between Figure&nbsp;1 and Figure&nbsp;2.
 
−
 
−
<center><pre>
 
−
o-----------------------------------------------------------o
 
−
| X . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . o-------------o . o-------------o . . . . . . |
 
−
| . . h . . ./. . . . . . . .\./. . . . . . . .\. . . . . . |
 
−
| . . @ . . / . . . . . . . . o . . . . . . . . \ . . . . . |
 
−
| . . . . ./. . i . . . . . ./.\. . . . . . . . .\. . . . . |
 
−
| . . . . / . . @ . . . . . / . \ . . . . . . . . \ . . . . |
 
−
| . . . ./. . . . . . . . ./. . .\. . . . . . . . .\. . . . |
 
−
| . . . o . . . . . . . . o . j . o . . . . . . . . o . . . |
 
−
| . . . | . . . . . . . . | . @ . | . . . . . . . . | . . . |
 
−
| . . . | . . . . . . . . | . . . | . . . . . . . . | . . . |
 
−
| . . . | . . . . . Q . . | . . . | . . dQ. . . . . | . . . |
 
−
| . . . | . . . . . . . . | . . . | . . . . . k . . | . . . |
 
−
| . . . | . . . . . . . . | . . . | . . . . . @ . . | . . . |
 
−
| . . . o . . . . . . . . o . . . o . . . . . . . . o . . . |
 
−
| . . . .\. . . . . . . . .\. . ./. . . . . . . . ./. . . . |
 
−
| . . . . \ . . . . . . . . \ . / . . . . . . . . / . . . . |
 
−
| . . . . .\. . . . . . . . .\./. . . . . . . . ./. . . . . |
 
−
| . . . . . \ . . . . . . . . o . . . . . . . . / . . . . . |
 
−
| . . . . . .\. . . . . . . ./.\. . . . . . . ./. . . . . . |
 
−
| . . . . . . o-------------o . o-------------o . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
 
−
o-----------------------------------------------------------o
 
−
</pre>
 
−
'''Figure 1&prime;.  Back, To The Future'''
 
−
</center>
 
−
 
−
This new quality, <math>\operatorname{d}q,\!</math> is an example of a ''differential quality'', since its absence or presence qualifies the absence or presence of change occurring in another quality.  As with any other quality, it is represented in the venn diagram by means of a "circle" that distinguishes two halves of the universe of discourse, in this case, the portions of <math>X\!</math> outside and inside the region <math>\operatorname{d}Q.\!</math>
 
−
 
−
Figure 1 represents a universe of discourse, <math>X,\!</math> together with a basis of discussion, <math>\{ q \},\!</math> for expressing propositions about the contents of that universe.  Once the quality <math>q\!</math> is given a name, say, the symbol "<math>q\!</math>", we have the basis for a formal language that is specifically cut out for discussing <math>X\!</math> in terms of <math>q,\!</math> and this formal language is more formally known as the ''propositional calculus'' with alphabet <math>\{\!</math>"<math>q\!</math>"<math>\}.\!</math>
 
−
 
−
In the context marked by <math>X\!</math> and <math>\{ q \}\!</math> there are but four different pieces of information that can be expressed in the corresponding propositional calculus, namely, the propositions:  <math>false,\!</math> <math>\lnot q,\!</math> <math>q,\!</math> <math>true.\!</math>  Referring to the sample of points in Figure&nbsp;1, <math>false\!</math> holds of no points, <math>\lnot q\!</math> holds of <math>h\!</math> and <math>k,\!</math> <math>q\!</math> holds of <math>i\!</math> and <math>j,\!</math> and <math>true\!</math> holds of all points in the sample.
 
−
 
−
Figure&nbsp;1&prime; preserves the same universe of discourse and extends the basis of discussion to a set of two qualities, <math>\{ q, \operatorname{d}q \}.\!</math>  In parallel fashion, the initial propositional calculus is extended by means of the enlarged alphabet, <math>\{\!</math>"<math>q\!</math>"<math>,\!</math> "<math>\operatorname{d}q\!</math>"<math>\}.\!</math>  Any propositional calculus over two basic propositions allows for the expression of 16 propositions all together.  Just by way of salient examples in the present setting, we can pick out the most informative propositions that apply to each of our sample points.  Using overlines to express logical negation, these are given as follows:
 
−
 
−
:* <p><math>\overline{q}\ \overline{\operatorname{d}q}</math> describes <math>h\!</math></p>
 
−
 
−
:* <p><math>\overline{q}\ \operatorname{d}q</math> describes <math>k\!</math></p>
 
−
 
−
:* <p><math>q\ \overline{\operatorname{d}q}</math> describes <math>i\!</math></p>
 
−
 
−
:* <p><math>q\ \operatorname{d}q</math> describes <math>j\!</math></p>
 
−
 
−
Table&nbsp;3 exhibits the rules of inference that give the differential quality <math>\operatorname{d}q\!</math> its meaning in practice.
 
−
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
|+ '''Table 3.  Differential Inference Rules'''
 
−
|
 
−
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
| &nbsp;
 
−
| From
 
−
| <math>\overline{q}\!</math>
 
−
| and
 
−
| <math>\overline{\operatorname{d}q}\!</math>
 
−
| infer
 
−
| <math>\overline{q}\!</math>
 
−
| next.
 
−
| &nbsp;
 
−
|-
 
−
| &nbsp;
 
−
| From
 
−
| <math>\overline{q}\!</math>
 
−
| and
 
−
| <math>\operatorname{d}q\!</math>
 
−
| infer
 
−
| <math>q\!</math>
 
−
| next.
 
−
| &nbsp;
 
−
|-
 
−
| &nbsp;
 
−
| From
 
−
| <math>q\!</math>
 
−
| and
 
−
| <math>\overline{\operatorname{d}q}\!</math>
 
−
| infer
 
−
| <math>q\!</math>
 
−
| next.
 
−
| &nbsp;
 
−
|-
 
−
| &nbsp;
 
−
| From
 
−
| <math>q\!</math>
 
−
| and
 
−
| <math>\operatorname{d}q\!</math>
 
−
| infer
 
−
| <math>\overline{q}\!</math>
 
−
| next.
 
−
| &nbsp;
 
−
|}
 
−
|}
 
−
 
−
'''&hellip;'''
 
−
 
−
==Transitional remarks==
 
−
 
−
Up to this point we have been treating the universe of discourse <math>X,\!</math> the quality <math>q,\!</math> and the symbol "<math>q\!</math>" as all of one piece, almost as if the entire context marked by <math>X\!</math> and <math>q\!</math> and "<math>q\!</math>" amounted to the only way of viewing <math>X.\!</math>  That is clearly not the case, but the fact is that people often use the term "universe of discourse" to cover a particular set of distinctions drawn in the space <math>X\!</math> and even sometimes a particular calculus or language for discussing the elements of <math>X.\!</math>  If it were possible to coin a new phrase in this realm one might distinguish these latter components as the "discursive universe", but there is probably no escape from simply recognizing the equivocal senses of the terms already in use and trying to clarify the senses intended in context.
 
−
 
−
'''&hellip;'''
 
−
 
−
==Formal development==
 
−
 
−
The preceding discussion outlined the ideas leading to the differential extension of propositional logic.  The next task is to lay out the concepts and terminology that are needed to describe various orders of differential propositional calculi.
 
−
 
−
In the general case, we start with a set of logical features <math>\{ a_1, \ldots, a_n \}</math> that represent properties of objects or propositions about the world.  In concrete examples the features <math>\{ a_i \}</math> commonly appear as capital letters from an ''alphabet'' like <math>\{ A, B, C, \ldots \}</math> or as meaningful words from a linguistic ''vocabulary'' of codes.  This language can be drawn from any sources, whether natural, technical, or artificial in character and interpretation.  In the application to dynamic systems we tend to use the letters <math>\{ x_1, \ldots, x_n \}</math> as our coordinate propositions, and to interpret them as denoting properties of a system's ''state'', that is, as propositions about its location in configuration space.  Because I have to consider non-deterministic systems from the outset, I often use the word ''state'' in a loose sense, to denote the position or configuration component of a contemplated state vector, whether or not it ever gets a deterministic completion.
 
−
 
−
The set of logical features <math>\{ a_1, \ldots, a_n \}</math> provides a basis for generating an <math>n\!</math>-dimensional ''universe of discourse'' that I denote as <math>[ a_1, \ldots, a_n ].</math>  It is useful to consider each universe of discourse as a unified categorical object that incorporates both the set of points <math>\langle a_1, \ldots, a_n \rangle</math> and the set of propositions <math>f : \langle a_1, \ldots, a_n \rangle \to \mathbb{B}</math> that are implicit with the ordinary picture of a venn diagram on <math>n\!</math> features.  Thus, we may regard the universe of discourse <math>[ a_1, \ldots, a_n ]</math> as an ordered pair having the type <math>(\mathbb{B}^n, (\mathbb{B}^n \to \mathbb{B})),</math> and we may abbreviate this last type designation as <math>\mathbb{B}^n\ +\!\to \mathbb{B},</math> or even more succinctly as <math>[\mathbb{B}^n].</math>  (Used this way, the angle brackets <math>\langle \ldots \rangle</math> are referred to as ''generator brackets''.)
 
−
 
−
Table&nbsp;4 exhibits the scheme of notation I use to formalize the domain of propositional calculus, corresponding to the logical content of truth tables and venn diagrams.  Although it overworks the square brackets a bit, I also use either one of the equivalent notations <math>[n]\!</math> or <math>\mathbf{n}</math> to denote the data type of a finite set on <math>n\!</math> elements.
 
−
 
−
Table&nbsp;4 summarizes the basic notations that are needed to describe ordinary propositional calculi in a parametric fashion.
 
−
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
 
−
|+ '''Table 4.  Propositional Calculus : Basic Notation'''
 
−
|- style="background:paleturquoise"
 
−
! Symbol
 
−
! Notation
 
−
! Description
 
−
! Type
 
−
|-
 
−
| <math>\mathfrak{A}</math>
 
−
| <math>\lbrace\!</math>&nbsp;“<math>a_1\!</math>”&nbsp;<math>, \ldots,\!</math>&nbsp;“<math>a_n\!</math>”&nbsp;<math>\rbrace\!</math>
 
−
| Alphabet
 
−
| <math>[n] = \mathbf{n}</math>
 
−
|-
 
−
| <math>\mathcal{A}</math>
 
−
| <math>\{ a_1, \ldots, a_n \}</math>
 
−
| Basis
 
−
| <math>[n] = \mathbf{n}</math>
 
−
|-
 
−
| <math>A_i\!</math>
 
−
| <math>\{ \overline{a_i}, a_i \}\!</math>
 
−
| Dimension <math>i\!</math>
 
−
| <math>\mathbb{B}</math>
 
−
|-
 
−
| <math>A\!</math>
 
−
| <math>\langle \mathcal{A} \rangle</math><br>
 
−
<math>\langle a_1, \ldots, a_n \rangle</math><br>
 
−
<math>\{ (a_1, \ldots, a_n) \}\!</math>
 
−
<math>A_1 \times \ldots \times A_n</math><br>
 
−
<math>\textstyle \prod_i A_i\!</math>
 
−
| Set of cells,<br>
 
−
coordinate tuples,<br>
 
−
points, or vectors<br>
 
−
in the universe<br>
 
−
of discourse
 
−
| <math>\mathbb{B}^n</math>
 
−
|-
 
−
| <math>A^*\!</math>
 
−
| <math>(\operatorname{hom} : A \to \mathbb{B})</math>
 
−
| Linear functions
 
−
| <math>(\mathbb{B}^n)^* \cong \mathbb{B}^n</math>
 
−
|-
 
−
| <math>A^\uparrow</math>
 
−
| <math>(A \to \mathbb{B})</math>
 
−
| Boolean functions
 
−
| <math>\mathbb{B}^n \to \mathbb{B}</math>
 
−
|-
 
−
| <math>A^\circ</math>
 
−
| <math>[ \mathcal{A} ]</math><br>
 
−
<math>(A, A^\uparrow)</math><br>
 
−
<math>(A\ +\!\to \mathbb{B})</math><br>
 
−
<math>(A, (A \to \mathbb{B}))</math><br>
 
−
<math>[ a_1, \ldots, a_n ]</math>
 
−
| Universe of discourse<br>
 
−
based on the features<br>
 
−
<math>\{ a_1, \ldots, a_n \}</math>
 
−
| <math>(\mathbb{B}^n, (\mathbb{B}^n \to \mathbb{B}))</math><br>
 
−
<math>(\mathbb{B}^n\ +\!\to \mathbb{B})</math><br>
 
−
<math>[\mathbb{B}^n]</math>
 
−
|}
 
−
<br>
 
−
 
−
====Differential Propositions====
 
−
 
−
In order to define the differential extension of a universe of discourse <math>[\mathcal{A}],</math> the initial alphabet <math>\mathcal{A}</math> must be extended to include a collection of symbols for ''differential features'', or basic ''changes'' that are capable of occurring in <math>[\mathcal{A}].</math>  Intuitively, these symbols may be construed as denoting primitive features of change, qualitative attributes of motion, or propositions about how things or points in <math>[\mathcal{A}]</math> may change or move with respect to the features that are noted in the initial alphabet.
 
−
 
−
Hence, let us define the corresponding ''differential alphabet'' or ''tangent alphabet'' as <math>\operatorname{d}\mathcal{A} = \{ \operatorname{d}a_1, \ldots, \operatorname{d}a_n \},</math> in principle just an arbitrary alphabet of symbols, disjoint from the initial alphabet <math>\mathcal{A} = \{ a_1, \ldots, a_n \},</math> that is intended to be interpreted in the way just indicated.  It only remains to be understood that the precise interpretation of the symbols in <math>\operatorname{d}\mathcal{A}</math> is often conceived to be changeable from point to point of the underlying space <math>A.\!</math>  (For all we know, the state space <math>A\!</math> might well be the state space of a language interpreter, one that is concerned, among other things, with the idiomatic meanings of the dialect generated by <math>\mathcal{A}</math> and <math>\operatorname{d}\mathcal{A}.</math>)
 
−
 
−
In the above terms, a typical tangent space of <math>A\!</math> at a point <math>x,\!</math> frequently denoted as <math>T_x(A),\!</math> can be characterized as having the generic construction <math>\operatorname{d}A = \langle \operatorname{d}\mathcal{A} \rangle = \langle \operatorname{d}a_1, \ldots, \operatorname{d}a_n \rangle.</math>  Strictly speaking, the name ''cotangent space'' is probably more correct for this construction, but the fact that we take up spaces and their duals in pairs to form our universes of discourse allows our language to be pliable here.
 
−
 
−
Proceeding as we did before with the base space <math>A,\!</math> we can analyze the individual tangent space at a point of <math>A\!</math> as a product of distinct and independent factors:
 
−
 
−
: <math>\operatorname{d}A = \prod_{i=1}^n \operatorname{d}A_i = \operatorname{d}A_1 \times \ldots \times \operatorname{d}A_n.</math>
 
−
 
−
Here, <math>\operatorname{d}\mathcal{A}_i</math> is an alphabet of two symbols, <math>\operatorname{d}\mathcal{A}_i = \{ \overline{\operatorname{d}a_i}, \operatorname{d}a_i \},</math> where <math>\overline{\operatorname{d}a_i}</math> is a symbol with the logical value of <math>\operatorname{not}\ \operatorname{d}a_i.</math>  Each component <math>\operatorname{d}A_i</math> has the type <math>\mathbb{B},</math> under the correspondence <math>\{ \overline{\operatorname{d}a_i}, \operatorname{d}a_i \} \cong  \{ 0, 1 \}.</math>  However, clarity is often served by acknowledging this differential usage with a superficially distinct type <math>\mathbb{D}, </math> whose intension may be indicated as follows:
 
−
 
−
: <math>\mathbb{D} = \{ \overline{\operatorname{d}a_i}, \operatorname{d}a_i \} = \{ \operatorname{same}, \operatorname{different} \} = \{ \operatorname{stay}, \operatorname{change} \} = \{ \operatorname{stop}, \operatorname{step} \}.</math>
 
−
 
−
Viewed within a coordinate representation, spaces of type <math>\mathbb{B}^n</math> and <math>\mathbb{D}^n</math> may appear to be identical sets of binary vectors, but taking a view at this level of abstraction would be like ignoring the qualitative units and the diverse dimensions that distinguish position and momentum, or the different roles of quantity and impulse.
 
−
 
−
====Extended Universe of Discourse====
 
−
 
−
Next, we define the so-called ''extended alphabet'' or ''bundled alphabet'' <math>\operatorname{E}\mathcal{A}</math> as:
 
−
 
−
: <math>\operatorname{E}\mathcal{A} = \mathcal{A} \cup \operatorname{d}\mathcal{A} = \{a_1, \ldots, a_n, \operatorname{d}a_1, \ldots, \operatorname{d}a_n \}.</math>
 
−
 
−
This supplies enough material to construct the ''differential extension'' <math>\operatorname{E}A,</math> or the ''tangent bundle'' over the initial space <math>A,\!</math> in the following fashion:
 
−
 
−
:{| cellpadding=2
 
−
| <math>\operatorname{E}A</math>
 
−
| =
 
−
| <math>A \times \operatorname{d}A</math>
 
−
|-
 
−
| &nbsp;
 
−
| =
 
−
| <math>\langle \operatorname{E}\mathcal{A} \rangle</math>
 
−
|-
 
−
| &nbsp;
 
−
| =
 
−
| <math>\langle \mathcal{A} \cup \operatorname{d}\mathcal{A} \rangle</math>
 
−
|-
 
−
| &nbsp;
 
−
| =
 
−
| <math>\langle a_1, \ldots, a_n, \operatorname{d}a_1, \ldots, \operatorname{d}a_n \rangle,</math>
 
−
|}
 
−
 
−
thus giving <math>\operatorname{E}A</math> the type <math>\mathbb{B}^n \times \mathbb{D}^n.</math>
 
−
 
−
Finally, the tangent universe <math>\operatorname{E}A^\circ = [\operatorname{E}\mathcal{A}]</math> is constituted from the totality of points and maps, or interpretations and propositions, that are based on the extended set of features <math>\operatorname{E}\mathcal{A}:</math>
 
−
 
−
: <math>\operatorname{E}A^\circ = [\operatorname{E}\mathcal{A}] = [a_1, \ldots, a_n, \operatorname{d}a_1, \ldots, \operatorname{d}a_n],</math>
 
−
 
−
thus giving the tangent universe <math>\operatorname{E}A^\circ</math> the type:
 
−
 
−
: <math>(\mathbb{B}^n \times \mathbb{D}^n\ +\!\to \mathbb{B}) = (\mathbb{B}^n \times \mathbb{D}^n, (\mathbb{B}^n \times \mathbb{D}^n \to \mathbb{B})).</math>
 
−
 
−
A proposition in the tangent universe <math>[\operatorname{E}\mathcal{A}]</math> is called a ''differential proposition'' and forms the analogue of a system of differential equations, constraints, or relations in ordinary calculus.
 
−
 
−
With these constructions, to be specific, the differential extension <math>\operatorname{E}A</math> and the differential proposition <math>f : \operatorname{E}A \to \mathbb{B},</math> we have arrived, in concept at least, at one of the major subgoals of this study.  At this juncture, I pause by way of summary to set another Table with the current crop of mathematical produce (Table 5).
 
−
 
−
Table&nbsp;5 summarizes the basic notations that are needed to describe the (first order) differential extensions of propositional calculi in a corresponding manner.
 
−
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
 
−
|+ '''Table 5.  Differential Extension : Basic Notation'''
 
−
|- style="background:paleturquoise"
 
−
! Symbol
 
−
! Notation
 
−
! Description
 
−
! Type
 
−
|-
 
−
| <math>\operatorname{d}\mathfrak{A}</math>
 
−
| <math>\lbrace\!</math>&nbsp;“<math>\operatorname{d}a_1</math>”&nbsp;<math>, \ldots,\!</math>&nbsp;“<math>\operatorname{d}a_n</math>”&nbsp;<math>\rbrace\!</math>
 
−
| Alphabet of<br>
 
−
differential<br>
 
−
symbols
 
−
| <math>[n] = \mathbf{n}</math>
 
−
|-
 
−
| <math>\operatorname{d}\mathcal{A}</math>
 
−
| <math>\{ \operatorname{d}a_1, \ldots, \operatorname{d}a_n \}</math>
 
−
| Basis of<br>
 
−
differential<br>
 
−
features
 
−
| <math>[n] = \mathbf{n}</math>
 
−
|-
 
−
| <math>\operatorname{d}A_i</math>
 
−
| <math>\{ \overline{\operatorname{d}a_i}, \operatorname{d}a_i \}</math>
 
−
| Differential<br>
 
−
dimension <math>i\!</math>
 
−
| <math>\mathbb{D}</math>
 
−
|-
 
−
| <math>\operatorname{d}A</math>
 
−
| <math>\langle \operatorname{d}\mathcal{A} \rangle</math><br>
 
−
<math>\langle \operatorname{d}a_1, \ldots, \operatorname{d}a_n \rangle</math><br>
 
−
<math>\{ (\operatorname{d}a_1, \ldots, \operatorname{d}a_n) \}</math><br>
 
−
<math>\operatorname{d}A_1 \times \ldots \times \operatorname{d}A_n</math><br>
 
−
<math>\textstyle \prod_i \operatorname{d}A_i</math>
 
−
| Tangent space<br>
 
−
at a point:<br>
 
−
Set of changes,<br>
 
−
motions, steps,<br>
 
−
tangent vectors<br>
 
−
at a point
 
−
| <math>\mathbb{D}^n</math>
 
−
|-
 
−
| <math>\operatorname{d}A^*</math>
 
−
| <math>(\operatorname{hom} : \operatorname{d}A \to \mathbb{B})</math>
 
−
| Linear functions<br>
 
−
on <math>\operatorname{d}A</math>
 
−
| <math>(\mathbb{D}^n)^* \cong \mathbb{D}^n</math>
 
−
|-
 
−
| <math>\operatorname{d}A^\uparrow</math>
 
−
| <math>(\operatorname{d}A \to \mathbb{B})</math>
 
−
| Boolean functions<br>
 
−
on <math>\operatorname{d}A</math>
 
−
| <math>\mathbb{D}^n \to \mathbb{B}</math>
 
−
|-
 
−
| <math>\operatorname{d}A^\circ</math>
 
−
| <math>[\operatorname{d}\mathcal{A}]</math><br>
 
−
<math>(\operatorname{d}A, \operatorname{d}A^\uparrow)</math><br>
 
−
<math>(\operatorname{d}A\ +\!\to \mathbb{B})</math><br>
 
−
<math>(\operatorname{d}A, (\operatorname{d}A \to \mathbb{B}))</math><br>
 
−
<math>[\operatorname{d}a_1, \ldots, \operatorname{d}a_n]</math>
 
−
| Tangent universe<br>
 
−
at a point of <math>A^\circ,</math><br>
 
−
based on the<br>
 
−
tangent features<br>
 
−
<math>\{ \operatorname{d}a_1, \ldots, \operatorname{d}a_n \}</math>
 
−
| <math>(\mathbb{D}^n, (\mathbb{D}^n \to \mathbb{B}))</math><br>
 
−
<math>(\mathbb{D}^n\ +\!\to \mathbb{B})</math><br>
 
−
<math>[\mathbb{D}^n]</math>
 
−
|}
 
−
<br>
 
−
 
−
'''&hellip;'''
 
−
 
−
==Expository examples==
 
−
 
−
&hellip;
 
−
 
−
=Materials from "Dif Log Dyn Sys" for Reuse Here=
 
−
 
−
Excerpts from "[[Differential Logic and Dynamic Systems]]"
 
−
 
−
==A Functional Conception of Propositional Calculus==
 
−
 
−
<blockquote>
 
−
<p>Out of the dimness opposite equals advance . . . .<br>
 
−
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Always substance and increase,<br>
 
−
Always a knit of identity . . . . always distinction . . . .<br>
 
−
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;always a breed of life.</p>
 
−
 
−
<p>Walt Whitman, ''Leaves of Grass'', [Whi, 28]</p>
 
−
</blockquote>
 
−
 
−
In the general case, we start with a set of logical features {''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>} that represent properties of objects or propositions about the world.  In concrete examples the features {''a''<sub>''i''</sub>} commonly appear as capital letters from an ''alphabet'' like {''A'', ''B'', ''C'', &hellip;} or as meaningful words from a linguistic ''vocabulary'' of codes.  This language can be drawn from any sources, whether natural, technical, or artificial in character and interpretation.  In the application to dynamic systems we tend to use the letters {''x''<sub>1</sub>, &hellip;, ''x''<sub>''n''</sub>} as our coordinate propositions, and to interpret them as denoting properties of a system's ''state'', that is, as propositions about its location in configuration space.  Because I have to consider non-deterministic systems from the outset, I often use the word ''state'' in a loose sense, to denote the position or configuration component of a contemplated state vector, whether or not it ever gets a deterministic completion.
 
−
 
−
The set of logical features {''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''a''<sub>''n''</sub>} provides a basis for generating an ''n''-dimensional ''universe of discourse'' that I denote as [''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''a''<sub>''n''</sub>].  It is useful to consider each universe of discourse as a unified categorical object that incorporates both the set of points 〈''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''a''<sub>''n''</sub>〉 and the set of propositions ''f''&nbsp;:&nbsp;〈''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''a''<sub>''n''</sub>〉&nbsp;&rarr;&nbsp;'''B''' that are implicit with the ordinary picture of a venn diagram on ''n'' features.  Thus, we may regard the universe of discourse [''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''a''<sub>''n''</sub>] as an ordered pair having the type ('''B'''<sup>''n''</sup>,&nbsp;('''B'''<sup>''n''</sup>&nbsp;&rarr;&nbsp;'''B'''), and we may abbreviate this last type designation as '''B'''<sup>''n''</sup>&nbsp;+&rarr;&nbsp;'''B''', or even more succinctly as ['''B'''<sup>''n''</sup>].  (Used this way, the angle brackets 〈&hellip;〉 are referred to as ''generator brackets''.)
 
−
 
−
Table 2 exhibits the scheme of notation I use to formalize the domain of propositional calculus, corresponding to the logical content of truth tables and venn diagrams.  Although it overworks the square brackets a bit, I also use either one of the equivalent notations [''n''] or '''''n''''' to denote the data type of a finite set on n elements.
 
−
 
−
<font face="courier new">
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
 
−
|+ '''Table 2.  Fundamental Notations for Propositional Calculus'''
 
−
|- style="background:paleturquoise"
 
−
! Symbol
 
−
! Notation
 
−
! Description
 
−
! Type
 
−
|-
 
−
| <font face="lucida calligraphy">A<font>
 
−
| {''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>}
 
−
| Alphabet
 
−
| [''n''] = '''n'''
 
−
|-
 
−
| ''A''<sub>''i''</sub>
 
−
| {(''a''<sub>''i''</sub>), ''a''<sub>''i''</sub>}
 
−
| Dimension ''i''
 
−
| '''B'''
 
−
|-
 
−
| ''A''
 
−
|
 
−
〈<font face="lucida calligraphy">A</font>〉<br>
 
−
〈''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>〉<br>
 
−
{‹''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>›}<br>
 
−
''A''<sub>1</sub> &times; &hellip; &times; ''A''<sub>''n''</sub><br>
 
−
&prod;<sub>''i''</sub> ''A''<sub>''i''</sub>
 
−
|
 
−
Set of cells,<br>
 
−
coordinate tuples,<br>
 
−
points, or vectors<br>
 
−
in the universe<br>
 
−
of discourse
 
−
| '''B'''<sup>''n''</sup>
 
−
|-
 
−
| ''A''*
 
−
| (hom : ''A'' &rarr; '''B''')
 
−
| Linear functions
 
−
| ('''B'''<sup>''n''</sup>)* = '''B'''<sup>''n''</sup>
 
−
|-
 
−
| ''A''^
 
−
| (''A'' &rarr; '''B''')
 
−
| Boolean functions
 
−
| '''B'''<sup>''n''</sup> &rarr; '''B'''
 
−
|-
 
−
| ''A''<sup>&bull;</sup>
 
−
|
 
−
[<font face="lucida calligraphy">A</font>]<br>
 
−
(''A'', ''A''^)<br>
 
−
(''A'' +&rarr; '''B''')<br>
 
−
(''A'', (''A'' &rarr; '''B'''))<br>
 
−
[''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>]
 
−
|
 
−
Universe of discourse<br>
 
−
based on the features<br>
 
−
{''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>}
 
−
|
 
−
('''B'''<sup>''n''</sup>, ('''B'''<sup>''n''</sup> &rarr; '''B'''))<br>
 
−
('''B'''<sup>''n''</sup> +&rarr; '''B''')<br>
 
−
['''B'''<sup>''n''</sup>]
 
−
|}
 
−
</font><br>
 
−
 
−
===Reality at the Threshold of Logic===
 
−
 
−
<blockquote>
 
−
<p>But no science can rest entirely on measurement, and many scientific investigations are quite out of reach of that device.  To the scientist longing for non-quantitative techniques, then, mathematical logic brings hope.</p>
 
−
 
−
<p>W.V. Quine, ''Mathematical Logic'', [Qui, 7]</p>
 
−
</blockquote>
 
−
 
−
Table 5 accumulates an array of notation that I hope will not be too distracting.  Some of it is rarely needed, but has been filled in for the sake of completeness.  Its purpose is simple, to give literal expression to the visual intuitions that come with venn diagrams, and to help build a bridge between our qualitative and quantitative outlooks on dynamic systems.
 
−
 
−
<font face="courier new">
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
 
−
|+ '''Table 5.  A Bridge Over Troubled Waters'''
 
−
|- style="background:paleturquoise"
 
−
! Linear Space
 
−
! Liminal Space
 
−
! Logical Space
 
−
|-
 
−
|
 
−
<font face="lucida calligraphy">X</font><br>
 
−
{''x''<sub>1</sub>, &hellip;, ''x''<sub>''n''</sub>}<br>
 
−
cardinality ''n''
 
−
|
 
−
<font face="lucida calligraphy"><u>X</u></font><br>
 
−
{<u>''x''</u><sub>1</sub>, &hellip;, <u>''x''</u><sub>''n''</sub>}<br>
 
−
cardinality ''n''
 
−
|
 
−
<font face="lucida calligraphy">A</font><br>
 
−
{''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>}<br>
 
−
cardinality ''n''
 
−
|-
 
−
|
 
−
''X''<sub>''i''</sub><br>
 
−
〈''x''<sub>''i''</sub>〉<br>
 
−
isomorphic to '''K'''
 
−
|
 
−
<u>''X''</u><sub>''i''</sub><br>
 
−
{(<u>''x''</u><sub>''i''</sub>), <u>''x''</u><sub>''i''</sub>}<br>
 
−
isomorphic to '''B'''
 
−
|
 
−
''A''<sub>''i''</sub><br>
 
−
{(''a''<sub>''i''</sub>), ''a''<sub>''i''</sub>}<br>
 
−
isomorphic to '''B'''
 
−
|-
 
−
|
 
−
''X''<br>
 
−
〈<font face="lucida calligraphy">X</font>〉<br>
 
−
〈''x''<sub>1</sub>, &hellip;, ''x''<sub>''n''</sub>〉<br>
 
−
{‹''x''<sub>1</sub>, &hellip;, ''x''<sub>''n''</sub>›}<br>
 
−
''X''<sub>1</sub> &times; &hellip; &times; ''X''<sub>''n''</sub><br>
 
−
&prod;<sub>''i''</sub> ''X''<sub>''i''</sub><br>
 
−
isomorphic to '''K'''<sup>''n''</sup>
 
−
|
 
−
<u>''X''</u><br>
 
−
〈<font face="lucida calligraphy"><u>X</u></font>〉<br>
 
−
〈<u>''x''</u><sub>1</sub>, &hellip;, <u>''x''</u><sub>''n''</sub>〉<br>
 
−
{‹<u>''x''</u><sub>1</sub>, &hellip;, <u>''x''</u><sub>''n''</sub>›}<br>
 
−
<u>''X''</u><sub>1</sub> &times; &hellip; &times; <u>''X''</u><sub>''n''</sub><br>
 
−
&prod;<sub>''i''</sub> <u>''X''</u><sub>''i''</sub><br>
 
−
isomorphic to '''B'''<sup>''n''</sup>
 
−
|
 
−
''A''<br>
 
−
〈<font face="lucida calligraphy">A</font>〉<br>
 
−
〈''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>〉<br>
 
−
{‹''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>›}<br>
 
−
''A''<sub>1</sub> &times; &hellip; &times; ''A''<sub>''n''</sub><br>
 
−
&prod;<sub>''i''</sub> ''A''<sub>''i''</sub><br>
 
−
isomorphic to '''B'''<sup>''n''</sup>
 
−
|-
 
−
|
 
−
''X''*<br>
 
−
(hom : ''X'' &rarr; '''K''')<br>
 
−
isomorphic to '''K'''<sup>''n''</sup>
 
−
|
 
−
<u>''X''</u>*<br>
 
−
(hom : <u>''X''</u> &rarr; '''B''')<br>
 
−
isomorphic to '''B'''<sup>''n''</sup>
 
−
|
 
−
''A''*<br>
 
−
(hom : ''A'' &rarr; '''B''')<br>
 
−
isomorphic to '''B'''<sup>''n''</sup>
 
−
|-
 
−
|
 
−
''X''^<br>
 
−
(''X'' &rarr; '''K''')<br>
 
−
isomorphic to:<br>
 
−
('''K'''<sup>''n''</sup> &rarr; '''K''')
 
−
|
 
−
<u>''X''</u>^<br>
 
−
(<u>''X''</u> &rarr; '''B''')<br>
 
−
isomorphic to:<br>
 
−
('''B'''<sup>''n''</sup> &rarr; '''B''')
 
−
|
 
−
''A''^<br>
 
−
(''A'' &rarr; '''B''')<br>
 
−
isomorphic to:<br>
 
−
('''B'''<sup>''n''</sup> &rarr; '''B''')
 
−
|-
 
−
|
 
−
''X''<sup>&bull;</sup><br>
 
−
[<font face="lucida calligraphy">X</font>]<br>
 
−
[''x''<sub>1</sub>, &hellip;, ''x''<sub>''n''</sub>]<br>
 
−
(''X'', ''X''^)<br>
 
−
(''X'' +&rarr; '''K''')<br>
 
−
(''X'', (''X'' &rarr; '''K'''))<br>
 
−
isomorphic to:<br>
 
−
('''K'''<sup>''n''</sup>, ('''K'''<sup>''n''</sup> &rarr; '''K'''))<br>
 
−
('''K'''<sup>''n''</sup> +&rarr; '''K''')<br>
 
−
['''K'''<sup>''n''</sup>]
 
−
|
 
−
<u>''X''</u><sup>&bull;</sup><br>
 
−
[<font face="lucida calligraphy"><u>X</u></font>]<br>
 
−
[<u>''x''</u><sub>1</sub>, &hellip;, <u>''x''</u><sub>''n''</sub>]<br>
 
−
(<u>''X''</u>, <u>''X''</u>^)<br>
 
−
(<u>''X''</u> +&rarr; '''B''')<br>
 
−
(<u>''X''</u>, (<u>''X''</u> &rarr; '''B'''))<br>
 
−
isomorphic to:<br>
 
−
('''B'''<sup>''n''</sup>, ('''B'''<sup>''n''</sup> &rarr; '''B'''))<br>
 
−
('''B'''<sup>''n''</sup> +&rarr; '''B''')<br>
 
−
['''B'''<sup>''n''</sup>]
 
−
|
 
−
''A''<sup>&bull;</sup><br>
 
−
[<font face="lucida calligraphy">A</font>]<br>
 
−
[''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>]<br>
 
−
(''A'', ''A''^)<br>
 
−
(''A'' +&rarr; '''B''')<br>
 
−
(''A'', (''A'' &rarr; '''B'''))<br>
 
−
isomorphic to:<br>
 
−
('''B'''<sup>''n''</sup>, ('''B'''<sup>''n''</sup> &rarr; '''B'''))<br>
 
−
('''B'''<sup>''n''</sup> +&rarr; '''B''')<br>
 
−
['''B'''<sup>''n''</sup>]
 
−
|}
 
−
</font><br>
 
−
 
−
The left side of the Table collects mostly standard notation for an ''n''-dimensional vector space over a field '''K'''.  The right side of the table repeats the first elements of a notation that I sketched above, to be used in further developments of propositional calculus.  (I plan to use this notation in the logical analysis of neural network systems.)  The middle column of the table is designed as a transitional step from the case of an arbitrary field '''K''', with a special interest in the continuous line '''R''', to the qualitative and discrete situations that are instanced and typified by '''B'''.
 
−
 
−
I now proceed to explain these concepts in more detail.  The two most important ideas developed in the table are:
 
−
 
−
* The idea of a universe of discourse, which includes both a space of ''points'' and a space of ''maps'' on those points.
 
−
 
−
* The idea of passing from a more complex universe to a simpler universe by a process of ''thresholding'' each dimension of variation down to a single bit of information.
 
−
 
−
For the sake of concreteness, let us suppose that we start with a continuous ''n''-dimensional vector space like ''X''&nbsp;=&nbsp;〈''x''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''x''<sub>''n''</sub>〉 <math>\cong</math> '''R'''<sup>''n''</sup>.  The coordinate
 
−
system <font face=lucida calligraphy">X</font> = {''x''<sub>''i''</sub>} is a set of maps ''x''<sub>''i''</sub>&nbsp;:&nbsp;'''R'''<sub>''n''</sub>&nbsp;&rarr;&nbsp;'''R''', also known as the coordinate projections.  Given a "dataset" of points ''x'' in '''R'''<sub>''n''</sub>, there are numerous ways of sensibly reducing the data down to one bit for each dimension.  One strategy that is general enough for our present purposes is as follows.  For each ''i'' we choose an ''n''-ary relation ''L''<sub>''i''</sub> on '''R''', that is, a subset of '''R'''<sub>''n''</sub>, and then we define the ''i''<sup>th</sup> threshold map, or ''limen'' <u>''x''</u><sub>''i''</sub> as follows:
 
−
 
−
: <u>''x''</u><sub>''i''</sub> : '''R'''<sub>''n''</sub> &rarr; '''B''' such that:
 
−
 
−
: <u>''x''</u><sub>''i''</sub>(''x'') = 1 if ''x'' &isin; ''L''<sub>''i''</sub>,
 
−
 
−
: <u>''x''</u><sub>''i''</sub>(''x'') = 0 if otherwise.
 
−
 
−
In other notations that are sometimes used, the operator <math>\chi (\ )</math> or the corner brackets <math>\lceil \ldots \rceil</math> can be used to denote a ''characteristic function'', that is, a mapping from statements to their truth values, given as elements of '''B'''.  Finally, it is not uncommon to use the name of the relation itself as a predicate that maps ''n''-tuples into truth values.  In each of these notations, the above definition could be expressed as follows:
 
−
 
−
: <u>''x''</u><sub>''i''</sub>(''x'') = <math>\chi (x \in L_i)</math> = <math>\lceil x \in L_i \rceil</math> = ''L''<sub>''i''</sub>(''x'').
 
−
 
−
Notice that, as defined here, there need be no actual relation between the ''n''-dimensional subsets {''L''<sub>''i''</sub>} and the coordinate axes corresponding to {''x''<sub>''i''</sub>}, aside from the circumstance that the two sets have the same cardinality.  In concrete cases, though, one usually has some reason for associating these "volumes" with these "lines", for instance, ''L''<sub>''i''</sub> is bounded by some hyperplane that intersects the ''i''<sup>th</sup> axis at a unique threshold value ''r''<sub>''i''</sub> &isin; '''R'''.  Often, the hyperplane is chosen normal to the axis.  In recognition of this motive, let us make the following convention.  When the set ''L''<sub>''i''</sub> has points on the ''i''<sup>th</sup> axis, that is, points of the form ‹0,&nbsp;&hellip;,&nbsp;0,&nbsp;''r''<sub>''i''</sub>,&nbsp;0,&nbsp;&hellip;,&nbsp;0› where only the ''x''<sub>''i''</sub> coordinate is possibly non-zero, we may pick any one of these coordinate values as a parametric index of the relation.  In this case we say that the indexing is ''real'', otherwise the indexing is ''imaginary''.  For a knowledge based system ''X'', this should serve once again to mark the distinction between ''acquaintance'' and ''opinion''.
 
−
 
−
States of knowledge about the location of a system or about the distribution of a population of systems in a state space ''X'' = '''R'''<sup>''n''</sup> can now be expressed by taking the set <font face="lucida calligraphy"><u>X</u></font>&nbsp;=&nbsp;{<u>''x''</u><sub>''i''</sub>} as a basis of logical features.  In picturesque terms, one may think of the underscore and the subscript as combining to form a subtextual spelling for the ''i''<sup>th</sup> threshold map.  This can
 
−
help to remind us that the ''threshold operator'' <u>&nbsp;</u>)<sub>''i''</sub> acts on ''x'' by setting up a kind of a "hurdle" for it.  In this interpretation, the coordinate proposition <u>''x''</u><sub>''i''</sub> asserts that the representative point ''x'' resides ''above'' the ''i''<sup>th</sup> threshold.
 
−
 
−
Primitive assertions of the form <u>''x''</u><sub>''i''</sub>(''x'') can then be negated and joined by means of propositional connectives in the usual ways to provide information about the state ''x'' of a contemplated system or a statistical ensemble of systems.  Parentheses "(&nbsp;)" may be used to indicate negation.  Eventually one discovers the usefulness of the ''k''-ary ''just one false'' operators of the form "(&nbsp;,&nbsp;,&nbsp;,&nbsp;)", as treated in earlier reports.  This much tackle generates a space of points (cells, interpretations), <u>''X''</u>&nbsp;=&nbsp;〈<font face="lucida calligraphy"><u>X</u></font>〉&nbsp;<math>\cong</math>&nbsp;'''B'''<sup>''n''</sup>, and
 
−
a space of functions (regions, propositions), <u>''X''</u>^&nbsp;<math>\cong</math>&nbsp;('''B'''<sup>''n''</sup>&nbsp;&rarr;&nbsp;'''B''').  Together these form a new universe of discourse <u>''X''</u><sup>&nbsp;&bull;</sup> = [<font face="lucida calligraphy"><u>X</u></font>] of the type ('''B'''<sup>''n''</sup>,&nbsp;('''B'''<sup>''n''</sup>&nbsp;&rarr;&nbsp;'''B''')), which we may abbreviate as '''B'''<sup>''n''</sup>&nbsp;+&rarr;&nbsp;'''B''', or most succinctly as ['''B'''<sup>''n''</sup>].
 
−
 
−
The square brackets have been chosen to recall the rectangular frame of a venn diagram.  In thinking about a universe of discourse it is a good idea to keep this picture in mind, where we constantly think of the elementary cells <u>''x''</u>, the defining features <u>''x''</u><sub>''i''</sub>, and the potential shadings ''f''&nbsp;:&nbsp;<u>''X''</u>&nbsp;&rarr;&nbsp;'''B''', all at the same time, remaining aware of the arbitrariness of the way that we choose to inscribe our distinctions in the medium of a continuous space.
 
−
 
−
Finally, let ''X''* denote the space of linear functions, (hom&nbsp;:&nbsp;''X''&nbsp;&rarr;&nbsp;'''K'''), which in the finite case has the same dimensionality as ''X'', and let the same notation be extended across the table.
 
−
 
−
We have just gone through a lot of work, apparently doing nothing more substantial than spinning a complex spell of notational devices through a labyrinth of baffled spaces and baffling maps.  The reason for doing this was to bind together and to constitute the intuitive concept of a universe of discourse into a coherent categorical object, the kind of thing, once grasped, which can be turned over in the mind and considered in all its manifold changes and facets.  The effort invested in these preliminary measures is intended to pay off later, when we need to consider the state transformations and the time evolution of neural network systems.
 
−
 
−
==A Differential Extension of Propositional Calculus==
 
−
 
−
<blockquote>
 
−
<p>Fire over water:<br>
 
−
The image of the condition before transition.<br>
 
−
Thus the superior man is careful<br>
 
−
In the differentiation of things,<br>
 
−
So that each finds its place.</p>
 
−
 
−
<p>''I Ching'', Hexagram 64, [Wil, 249]</p>
 
−
</blockquote>
 
−
 
−
This much preparation is enough to begin introducing my subject, if I excuse myself from giving full arguments for my definitional choices until some later stage.  I am trying to develop a ''differential theory of qualitative equations'' that parallels the application of differential geometry to dynamic systems.  The idea of a tangent vector is key to this work and a major goal is to find the right logical analogues of tangent spaces, bundles, and functors.  The strategy is taken of looking for the simplest versions of these constructions that can be discovered within the realm of propositional calculus, so long as they serve to fill out the general theme.
 
−
 
−
===Differential Propositions : The Qualitative Analogues of Differential Equations===
 
−
 
−
In order to define the differential extension of a universe of discourse [<font face="lucida calligraphy">A</font>], the initial alphabet <font face="lucida calligraphy">A</font> must be extended to include a collection of symbols for ''differential features'', or basic ''changes'' that are capable of occurring in [<font face="lucida calligraphy">A</font>].  Intuitively, these symbols may be construed as denoting primitive features of change, qualitative attributes of motion, or propositions about how things or points in [<font face="lucida calligraphy">A</font>] may change or move with respect to the features that are noted in the initial alphabet.
 
−
 
−
Hence, let us define the corresponding ''differential alphabet'' or ''tangent alphabet'' as d<font face="lucida calligraphy">A</font>&nbsp;=&nbsp;{d''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;d''a''<sub>''n''</sub>}, in principle just an arbitrary alphabet of symbols, disjoint from the initial alphabet <font face="lucida calligraphy">A</font>&nbsp;=&nbsp;{''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''a''<sub>''n''</sub>}, that is intended to be interpreted in the way just indicated.  It only remains to be understood that the precise interpretation of the symbols in d<font face="lucida calligraphy">A</font> is often conceived to be changeable from point to point of the underlying space ''A''.  (For all we know, the state space ''A'' might well be the state space of a language interpreter, one that is concerned, among other things, with the idiomatic meanings of the dialect generated by <font face="lucida calligraphy">A</font> and d<font face="lucida calligraphy">A</font>.)
 
−
 
−
In the above terms, a typical tangent space of ''A'' at a point ''x'', frequently denoted as T<sub>''x''</sub>(''A''), can be characterized as having the generic construction d''A''&nbsp;=&nbsp;〈d<font face="lucida calligraphy">A</font>〉&nbsp;=&nbsp;〈d''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;d''a''<sub>''n''</sub>〉.  Strictly speaking, the name ''cotangent space'' is probably more correct for this construction, but the fact that we take up spaces and their duals in pairs to form our universes of discourse allows our language to be pliable here.
 
−
 
−
Proceeding as we did before with the base space ''A'', we can analyze the individual tangent space at a point of ''A'' as a product of distinct and independent factors:
 
−
 
−
: d''A'' = &prod;<sub>''i''</sub> d''A''<sub>''i''</sub> = d''A''<sub>1</sub> &times; &hellip; &times; d''A''<sub>''n''</sub>.
 
−
 
−
Here, d<font face="lucida calligraphy">A</font><sub>''i''</sub> is an alphabet of two symbols, d<font face="lucida calligraphy">A</font><sub>''i''</sub>&nbsp;=&nbsp;{(d''a''<sub>''i''</sub>),&nbsp;d''a''<sub>''i''</sub>}, where (d''a''<sub>''i''</sub>) is a symbol with the logical value of "not d''a''<sub>''i''</sub>".  Each component d''A''<sub>''i''</sub> has the type '''B''', under the correspondence {(d''a''<sub>''i''</sub>),&nbsp;d''a''<sub>''i''</sub>} <math>\cong</math> {0,&nbsp;1}.  However, clarity is often served by acknowledging this differential usage with a superficially distinct type '''D''', whose intension may be indicated as follows:
 
−
 
−
: '''D''' = {(d''a''<sub>''i''</sub>),&nbsp;d''a''<sub>''i''</sub>} = {same,&nbsp;different} = {stay,&nbsp;change} =  {stop,&nbsp;step}.
 
−
 
−
Viewed within a coordinate representation, spaces of type '''B'''<sup>''n''</sup> and '''D'''<sup>''n''</sup> may appear to be identical sets of binary vectors, but taking a view at this level of abstraction would be like ignoring the qualitative units and the diverse dimensions that distinguish position and momentum, or the different roles of quantity and impulse.
 
−
 
−
===An Interlude on the Path===
 
−
 
−
<blockquote>
 
−
<p>There would have been no beginnings:<br>
 
−
instead, speech would proceed from me,<br>
 
−
while I stood in its path - a slender gap -<br>
 
−
the point of its possible disappearance.</p>
 
−
 
−
<p>Michel Foucault, ''The Discourse on Language'', [Fou, 215]</p>
 
−
</blockquote>
 
−
 
−
It may help to get a sense of the relation between '''B''' and '''D''' by considering the ''path classifier'' (or equivalence class of curves) approach to tangent vectors.  As if by reflex, the thought of physical motion makes us cross over to a universe marked by the nominal character [<font face="lucida calligraphy">X</font>].  Given the boolean value system, a path in the space ''X'' = 〈<font face="lucida calligraphy">X</font>〉 is a map ''q'' : '''B''' &rarr; ''X''.  In this case, the set of paths ('''B''' &rarr; ''X'') is isomorphic to the cartesian square ''X''<sup>2</sup> = ''X'' &times; ''X'', or the set of ordered pairs from ''X''.
 
−
 
−
We may analyze ''X''<sup>2</sup> = {‹''u'', ''v''› : ''u'', ''v'' &isin; ''X''} into two parts, specifically, the pairs that lie on and off the diagonal:
 
−
 
−
: ''X''<sup>2</sup> = {‹''u'', ''v''› : ''u'' = ''v''} &cup; {‹''u'', ''v''› : ''u'' &ne; ''v''}
 
−
 
−
In symbolic terms, this partition may be expressed as:
 
−
 
−
: ''X''<sup>2</sup> <math>\cong</math> Diag(''X'') + 2 * Comb(''X'', 2),
 
−
 
−
where:
 
−
 
−
: Diag(''X'') = {‹''x'', ''x''› : ''x'' &isin; ''X''},
 
−
 
−
and where:
 
−
 
−
: Comb(''X'', ''k'') = "''X'' choose ''k''" = {''k''-sets from ''X''},
 
−
 
−
so that:
 
−
 
−
:  Comb(''X'', 2) = {{''u'', ''v''} : ''u'', ''v'' &isin; ''X''}.
 
−
 
−
We can now use the features in d<font face="lucida calligraphy">X</font> = {d''x''<sub>''i''</sub>} = {d''x''<sub>1</sub>,&nbsp;&hellip;,&nbsp;d''x''<sub>''n''</sub>} to classify the paths of ('''B''' &rarr; ''X'') by way of the pairs in ''X''<sup>2</sup>.  If ''X'' <math>\cong</math> '''B'''<sup>''n''</sup> then a path in ''X'' has the form ''q'' : ('''B''' &rarr; '''B'''<sup>''n''</sup>) <math>\cong</math> '''B'''<sup>''n''</sup> &times; '''B'''<sup>''n''</sup> <math>\cong</math> '''B'''<sup>2''n''</sup> <math>\cong</math> ('''B'''<sup>2</sup>)<sup>''n''</sup>.  Intuitively, we want to map this ('''B'''<sup>2</sup>)<sup>''n''</sup> onto ''D''<sup>''n''</sup> by mapping each component '''B'''<sup>2</sup> onto a copy of '''D'''.  But in our current situation "'''D'''" is just a name we give, or an accidental quality we attribute, to coefficient values in '''B''' when they are attached to features in d<font face="lucida calligraphy">X</font>.
 
−
 
−
Therefore, define d''x''<sub>''i''</sub> : ''X''<sup>2</sup> &rarr; '''B''' such that:
 
−
 
−
:{| cellpadding=2
 
−
| d''x''<sub>''i''</sub>(‹''u'', ''v''›)
 
−
| =
 
−
| <font face=system>(</font> ''x''<sub>''i''</sub>(''u'') , ''x''<sub>''i''</sub>(''v'') <font face=system>)</font>
 
−
|-
 
−
| &nbsp;
 
−
| =
 
−
| ''x''<sub>''i''</sub>(''u'') + ''x''<sub>''i''</sub>(''v'')
 
−
|-
 
−
| &nbsp;
 
−
| =
 
−
| ''x''<sub>''i''</sub>(''v'') &ndash; ''x''<sub>''i''</sub>(''u'').
 
−
|}
 
−
 
−
In the above transcription, the operator bracket of the form "<font face=system>(&nbsp;&hellip;&nbsp;,&nbsp;&hellip;&nbsp;)</font>" is a ''cactus lobe'', signifying ''just one false'', in this case among two boolean variables, while "+" is boolean addition in the proper sense of addition in GF(2), and is thus equivalent to "&ndash;", in the sense of adding the additive inverse.
 
−
 
−
The above definition is equivalent to defining d''x''<sub>''i''</sub>&nbsp;:&nbsp;(''B''&nbsp;&rarr;&nbsp;''X'')&nbsp;&rarr;&nbsp;'''B''' such that:
 
−
 
−
:{| cellpadding=2
 
−
| d''x''<sub>''i''</sub>(''q'')
 
−
| =
 
−
| <font face=system>(</font> ''x''<sub>''i''</sub>(''q''<sub>0</sub>) , ''x''<sub>''i''</sub>(''q''<sub>1</sub>) <font face=system>)</font>
 
−
|-
 
−
| &nbsp;
 
−
| =
 
−
| ''x''<sub>''i''</sub>(''q''<sub>0</sub>) + ''x''<sub>''i''</sub>(''q''<sub>1</sub>)
 
−
|-
 
−
| &nbsp;
 
−
| =
 
−
| ''x''<sub>''i''</sub>(''q''<sub>1</sub>) &ndash; ''x''<sub>''i''</sub>(''q''<sub>0</sub>),
 
−
|}
 
−
 
−
where ''q''<sub>''b''</sub> = ''q''(''b''), for each ''b'' in '''B'''.  Thus, the proposition d''x''<sub>''i''</sub> is true of the path ''q'' = ‹''u'',&nbsp;''v''› exactly if the terms of ''q'', the endpoints ''u'' and ''v'', lie on different sides of the question ''x''<sub>''i''</sub>.
 
−
 
−
Now we can use the language of features in 〈d<font face="lucida calligraphy">X</font>〉, indeed the whole calculus of propositions in [d<font face="lucida calligraphy">X</font>], to classify paths and sets of paths.  In other words, the paths can be taken as models of the propositions ''g''&nbsp;:&nbsp;d''X''&nbsp;&rarr;&nbsp;'''B'''.  For example, the paths corresponding to ''Diag''(''X'') fall under the description <font face=system>(</font>d''x''<sub>1</sub><font face=system>)</font>&hellip;<font face=system>(</font>d''x''<sub>''n''</sub><font face=system>)</font>, which says that nothing changes among the set of features {''x''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''x''<sub>''n''</sub>}.
 
−
 
−
Finally, a few words of explanation may be in order.  If this concept of a path appears to be described in a roundabout fashion, it is because I am trying to avoid using any assumption of vector space properties for the space ''X'' which contains its range.  In many ways the treatment is still unsatisfactory, but improvements will have to wait for the introduction of substitution operators acting on singular propositions.
 
−
 
−
===The Extended Universe of Discourse===
 
−
 
−
<blockquote>
 
−
<p>At the moment of speaking, I would like to have perceived a nameless voice, long preceding me, leaving me merely to enmesh myself in it, taking up its cadence, and to lodge myself, when no one was looking, in its interstices as if it had paused an instant, in suspense, to beckon to me.</p>
 
−
 
−
<p>Michel Foucault, ''The Discourse on Language'', [Fou, 215]</p>
 
−
</blockquote>
 
−
 
−
Next, we define the so-called ''extended alphabet'' or ''bundled alphabet'' E<font face="lucida calligraphy">A</font> as:
 
−
 
−
: E<font face="lucida calligraphy">A</font> = <font face="lucida calligraphy">A</font> &cup; d<font face="lucida calligraphy">A</font> = {''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''a''<sub>''n''</sub>,&nbsp;d''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;d''a''<sub>''n''</sub>}
 
−
 
−
This supplies enough material to construct the ''differential extension'' E''A'', or the ''tangent bundle'' over the initial space ''A'', in the following fashion:
 
−
 
−
:{| cellpadding=2
 
−
| E''A''
 
−
| =
 
−
| ''A'' &times; d''A''
 
−
|-
 
−
| &nbsp;
 
−
| =
 
−
| 〈E<font face="lucida calligraphy">A</font>〉
 
−
|-
 
−
| &nbsp;
 
−
| =
 
−
| 〈<font face="lucida calligraphy">A</font> &cup; d<font face="lucida calligraphy">A</font>〉
 
−
|-
 
−
| &nbsp;
 
−
| =
 
−
| 〈''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''a''<sub>''n''</sub>,&nbsp;d''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;d''a''<sub>''n''</sub>〉,
 
−
|}
 
−
 
−
thus giving E''A'' the type '''B'''<sup>''n''</sup> &times; '''D'''<sup>''n''</sup>.
 
−
 
−
Finally, the tangent universe E''A''<sup>&nbsp;&bull;</sup> = [E<font face="lucida calligraphy">A</font>] is constituted from the totality of points and maps, or interpretations and propositions, that are based on the extended set of features E<font face="lucida calligraphy">A</font>:
 
−
 
−
: E''A''<sup>&nbsp;&bull;</sup> = [E<font face="lucida calligraphy">A</font>] = [''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''a''<sub>''n''</sub>,&nbsp;d''a''<sub>1</sub>,&nbsp;&hellip;,&nbsp;d''a''<sub>''n''</sub>],
 
−
 
−
thus giving the tangent universe E''A''<sup>&nbsp;&bull;</sup> the type
 
−
('''B'''<sup>''n''</sup> &times; '''D'''<sup>''n''</sup> +&rarr; '''B''') = ('''B'''<sup>''n''</sup> &times; '''D'''<sup>''n''</sup>, ('''B'''<sup>''n''</sup> &times; '''D'''<sup>''n''</sup> &rarr; '''B''')).
 
−
 
−
A proposition in the tangent universe [E<font face="lucida calligraphy">A</font>] is called a ''differential proposition'' and forms the analogue of a system of differential equations, constraints, or relations in ordinary calculus.
 
−
 
−
With these constructions, to be specific, the differential extension E''A'' and the differential proposition ''h''&nbsp;:&nbsp;E''A''&nbsp;&rarr;&nbsp;'''B''', we have arrived, in concept at least, at one of the major subgoals of this study.  At this juncture, I pause by way of summary to set another Table with the current crop of mathematical produce (Table 8).
 
−
 
−
<font face="courier new">
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
 
−
|+ '''Table 8.  Notation for the Differential Extension of Propositional Calculus'''
 
−
|- style="background:paleturquoise"
 
−
! Symbol
 
−
! Notation
 
−
! Description
 
−
! Type
 
−
|-
 
−
| d<font face="lucida calligraphy">A<font>
 
−
| {d''a''<sub>1</sub>, &hellip;, d''a''<sub>''n''</sub>}
 
−
|
 
−
Alphabet of<br>
 
−
differential<br>
 
−
features
 
−
| [''n''] = '''n'''
 
−
|-
 
−
| d''A''<sub>''i''</sub>
 
−
| {(d''a''<sub>''i''</sub>), d''a''<sub>''i''</sub>}
 
−
|
 
−
Differential<br>
 
−
dimension ''i''
 
−
| '''D'''
 
−
|-
 
−
| d''A''
 
−
|
 
−
〈d<font face="lucida calligraphy">A</font>〉<br>
 
−
〈d''a''<sub>1</sub>, &hellip;, d''a''<sub>''n''</sub>〉<br>
 
−
{‹d''a''<sub>1</sub>, &hellip;, d''a''<sub>''n''</sub>›}<br>
 
−
d''A''<sub>1</sub> &times; &hellip; &times; d''A''<sub>''n''</sub><br>
 
−
&prod;<sub>''i''</sub> d''A''<sub>''i''</sub>
 
−
|
 
−
Tangent space<br>
 
−
at a point:<br>
 
−
Set of changes,<br>
 
−
motions, steps,<br>
 
−
tangent vectors<br>
 
−
at a point
 
−
| '''D'''<sup>''n''</sup>
 
−
|-
 
−
| d''A''*
 
−
| (hom : d''A'' &rarr; '''B''')
 
−
|
 
−
Linear functions<br>
 
−
on d''A''
 
−
| ('''D'''<sup>''n''</sup>)* = '''D'''<sup>''n''</sup>
 
−
|-
 
−
| d''A''^
 
−
| (d''A'' &rarr; '''B''')
 
−
|
 
−
Boolean functions<br>
 
−
on d''A''
 
−
| '''D'''<sup>''n''</sup> &rarr; '''B'''
 
−
|-
 
−
| d''A''<sup>&bull;</sup>
 
−
|
 
−
[d<font face="lucida calligraphy">A</font>]<br>
 
−
(d''A'', d''A''^)<br>
 
−
(d''A'' +&rarr; '''B''')<br>
 
−
(d''A'', (d''A'' &rarr; '''B'''))<br>
 
−
[d''a''<sub>1</sub>, &hellip;, d''a''<sub>''n''</sub>]
 
−
|
 
−
Tangent universe<br>
 
−
at a point of ''A''<sup>&bull;</sup>,<br>
 
−
based on the<br>
 
−
tangent features<br>
 
−
{d''a''<sub>1</sub>, &hellip;, d''a''<sub>''n''</sub>}
 
−
|
 
−
('''D'''<sup>''n''</sup>, ('''D'''<sup>''n''</sup> &rarr; '''B'''))<br>
 
−
('''D'''<sup>''n''</sup> +&rarr; '''B''')<br>
 
−
['''D'''<sup>''n''</sup>]
 
−
|}
 
−
</font><br>
 
−
 
−
The adjectives ''differential'' or ''tangent'' are systematically attached to every construct based on the differential alphabet d<font face="lucida calligraphy">A</font>, taken by itself.  Strictly speaking, we probably ought to call d<font face="lucida calligraphy">A</font> the set of ''cotangent'' features derived from <font face="lucida calligraphy">A</font>, but the only time this distinction really seems to matter is when we need to distinguish the tangent vectors as maps of type ('''B'''<sup>''n''</sup>&nbsp;&rarr;&nbsp;'''B''')&nbsp;&rarr;&nbsp;'''B''' from cotangent vectors as elements of type '''D'''<sup>''n''</sup>.  In like fashion, having defined E<font face="lucida calligraphy">A</font> = <font face="lucida calligraphy">A</font>&nbsp;&cup;&nbsp;d<font face="lucida calligraphy">A</font>, we can systematically attach the adjective ''extended'' or the substantive ''bundle'' to all of the constructs associated with this full complement of 2''n'' features.
 
−
 
−
Eventually we may want to extend our basic alphabet even further, to allow for discussion of higher order differential expressions.  For those who want to run ahead, and would like to play through, I submit the following gamut of notation (Table 9).
 
−
 
−
<font face="courier new">
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
 
−
|+ '''Table 9.  Higher Order Differential Features'''
 
−
| width=50% |
 
−
{| cellpadding="4" style="background:lightcyan"
 
−
| <font face="lucida calligraphy">A</font>
 
−
| =
 
−
| d<sup>0</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| {''a''<sub>1</sub>,
 
−
| &hellip;,
 
−
| ''a''<sub>''n''</sub>}
 
−
|-
 
−
| d<font face="lucida calligraphy">A</font>
 
−
| =
 
−
| d<sup>1</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| {d''a''<sub>1</sub>,
 
−
| &hellip;,
 
−
| d''a''<sub>''n''</sub>}
 
−
|-
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| d<sup>''k''</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| {d<sup>''k''</sup>''a''<sub>''1''</sub>,
 
−
| &hellip;,
 
−
| d<sup>''k''</sup>''a''<sub>''n''</sub>}
 
−
|-
 
−
| d<sup>*</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| {d<sup>0</sup><font face="lucida calligraphy">A</font>,
 
−
| &hellip;,
 
−
| d<sup>''k''</sup><font face="lucida calligraphy">A</font>,
 
−
| &hellip;}
 
−
|}
 
−
| width=50% |
 
−
{| cellpadding="4" style="background:lightcyan"
 
−
| E<sup>0</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| d<sup>0</sup><font face="lucida calligraphy">A</font>
 
−
|-
 
−
| E<sup>1</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| d<sup>0</sup><font face="lucida calligraphy">A</font> &cup; d<sup>1</sup><font face="lucida calligraphy">A</font>
 
−
|-
 
−
| E<sup>''k''</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| d<sup>0</sup><font face="lucida calligraphy">A</font> &cup; &hellip; &cup; d<sup>''k''</sup><font face="lucida calligraphy">A</font>
 
−
|-
 
−
| E<sup>&infin;</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| &cup; d<sup>*</sup><font face="lucida calligraphy">A</font>
 
−
|}
 
−
|}
 
−
</font><br>
 
−
 
−
===Intentional Propositions===
 
−
 
−
<blockquote>
 
−
<p>Do you guess I have some intricate purpose?<br>
 
−
Well I have . . . . for the April rain has, and the mica on<br>
 
−
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;the side of a rock has.</p>
 
−
 
−
<p>Walt Whitman, ''Leaves of Grass'', [Whi, 45]</p>
 
−
</blockquote>
 
−
 
−
In order to analyze the behavior of a system at successive moments in time, while staying within the limitations of propositional logic, it is necessary to create independent alphabets of logical features for each moment of time that we contemplate using in our discussion.  These moments have reference to typical instances and relative intervals, not actual or absolute times.  For example, to discuss ''velocities'' (first order rates of change) we need
 
−
to consider points of time in pairs.  There are a number of natural ways of doing this.  Given an initial alphabet, we could use its symbols as a lexical basis to generate successive alphabets of compound symbols, say, with temporal markers appended as suffixes.
 
−
 
−
As a standard way of dealing with these situations, I produce the following scheme of notation, which extends any alphabet of logical features through as many temporal moments as a particular order of analysis may demand.  The lexical operators p<sup>''k''</sup> and Q<sup>''k''</sup> are convenient in many contexts where the accumulation of prime symbols and union symbols would otherwise be cumbersome.
 
−
 
−
<font face="courier new">
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
 
−
|+ '''Table 10.  A Realm of Intentional Features'''
 
−
| width=50% |
 
−
{| cellpadding="4" style="background:lightcyan"
 
−
| p<sup>0</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| <font face="lucida calligraphy">A</font>
 
−
| =
 
−
| {''a''<sub>1</sub>&nbsp;,
 
−
| &hellip;,
 
−
| ''a''<sub>''n''</sub>&nbsp;}
 
−
|-
 
−
| p<sup>1</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| <font face="lucida calligraphy">A</font>&prime;
 
−
| =
 
−
| {''a''<sub>1</sub>&prime;,
 
−
| &hellip;,
 
−
| ''a''<sub>''n''</sub>&prime;}
 
−
|-
 
−
| p<sup>2</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| <font face="lucida calligraphy">A</font>&Prime;
 
−
| =
 
−
| {''a''<sub>1</sub>&Prime;,
 
−
| &hellip;,
 
−
| ''a''<sub>''n''</sub>&Prime;}
 
−
|-
 
−
| ...
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| ...
 
−
|-
 
−
| p<sup>''k''</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| {p<sup>''k''</sup>''a''<sub>1</sub>,
 
−
| &hellip;,
 
−
| p<sup>''k''</sup>''a''<sub>''n''</sub>}
 
−
|}
 
−
| width=50% |
 
−
{| cellpadding="4" style="background:lightcyan"
 
−
| Q<sup>0</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| <font face="lucida calligraphy">A</font>
 
−
|-
 
−
| Q<sup>1</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| <font face="lucida calligraphy">A</font> &cup; <font face="lucida calligraphy">A</font>&prime;
 
−
|-
 
−
| Q<sup>2</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| <font face="lucida calligraphy">A</font> &cup; <font face="lucida calligraphy">A</font>&prime; &cup; <font face="lucida calligraphy">A</font>&Prime;
 
−
|-
 
−
| ...
 
−
| &nbsp;
 
−
| ...
 
−
|-
 
−
| Q<sup>''k''</sup><font face="lucida calligraphy">A</font>
 
−
| =
 
−
| <font face="lucida calligraphy">A</font> &cup; <font face="lucida calligraphy">A</font>&prime; &cup; &hellip; &cup; p<sup>''k''</sup><font face="lucida calligraphy">A</font>
 
−
|}
 
−
|}
 
−
</font><br>
 
−
 
−
The resulting augmentations of our logical basis found a series of discursive universes that may be called the ''intentional extension'' of propositional calculus.  The pattern of this extension is analogous to that of the differential extension, which was developed in terms of the operators d<sup>''k''</sup> and E<sup>''k''</sup>, and there is an obvious and natural relation between these two extensions that falls within our purview to explore.  In contexts displaying this regular pattern, where a series of domains stretches up from an anchoring domain ''X'' through an indefinite number of higher reaches, I refer to a particular collection of domains based on ''X'' as a ''realm'' of ''X'', and when the succession exhibits a temporal aspect, as a ''reign'' of ''X''.
 
−
 
−
For the purposes of this discussion, let us define an ''intentional proposition'' as a proposition in the universe of discourse Q''X''<sup>&nbsp;&bull;</sup> = [Q<font face="lucida calligraphy">X</font>], in other words, a map ''q''&nbsp;:&nbsp;Q''X''&nbsp;&rarr;&nbsp;'''B'''.  The sense of this definition may be seen if we consider the following facts.  First, the equivalence Q''X''&nbsp;=&nbsp;''X''&nbsp;&times;&nbsp;''X''&prime; motivates the following chain of isomorphisms between spaces:
 
−
 
−
:{| cellpadding=2
 
−
| (Q''X'' &rarr; '''B''')
 
−
| <math>\cong</math>
 
−
| (''X'' &times; ''X''&prime; &rarr; '''B''')
 
−
|-
 
−
| &nbsp;
 
−
| <math>\cong</math>
 
−
| (''X'' &rarr; (''X''&prime; &rarr; '''B'''))
 
−
|-
 
−
| &nbsp;
 
−
| <math>\cong</math>
 
−
| (''X''&prime; &rarr; (''X'' &rarr; '''B''')).
 
−
|}
 
−
 
−
Viewed in this light, an intentional proposition ''q'' may be rephrased as a map ''q''&nbsp;:&nbsp;''X''&nbsp;&times;&nbsp;''X''&prime;&nbsp;&rarr;&nbsp;'''B''', which judges the juxtaposition of states in ''X'' from one moment to the next.  Alternatively, ''q'' may be parsed in two stages in two different ways, as ''q''&nbsp;:&nbsp;''X''&nbsp;&rarr;&nbsp;(''X''&prime;&nbsp;&rarr;&nbsp;'''B''') and as ''q''&nbsp;:&nbsp;''X''&prime;&nbsp;&rarr;&nbsp;(''X''&nbsp;&rarr;&nbsp;'''B'''), which associate to each point of ''X'' or ''X''&prime; a proposition about states in ''X''&prime; or ''X'', respectively.  In this way, an intentional proposition embodies a type of value system, in effect, a proposal that places a value on a collection of ends-in-view, or a project that evaluates a set of goals as regarded from each point of view in the state space of a system.
 
−
 
−
In sum, the intentional proposition q indicates a method for the systematic selection of local goals.  As a general form of description, we may refer to a map of the type ''q''&nbsp;:&nbsp;Q<sup>''i''</sup>''X''&nbsp;&rarr;&nbsp;'''B''' as an "''i''<sup>th</sup>&nbsp;order intentional proposition".  Naturally, when we speak of intentional propositions without qualification, we usually mean first order intentions.
 
−
 
−
Many different realms of discourse have the same structure as the extensions that have been indicated here.  From a strictly logical point of view, each new layer of terms is composed of independent logical variables that are no different in kind from those that go before, and each further course of logical atoms is treated like so many individual, but otherwise indifferent bricks by the prototype computer program that I use as a propositional interpreter.  Thus, the names that I use to single out the differential and the intentional extensions, and the lexical paradigms that I follow to construct them, are meant to suggest the interpretations that I have in mind, but they can only hint at the extra meanings that human communicators may pack into their terms and inflections.
 
−
 
−
As applied here, the word ''intentional'' is drawn from common use and may have little bearing on its technical use in other, more properly philosophical, contexts.  I am merely using the complex of intentional concepts - aims, ends, goals, objectives, purposes, and so on - metaphorically to flesh out and vividly to represent any situation where one needs to contemplate a system in multiple aspects of state and destination, that is, its being in certain states and at the same time acting as if headed through certain states.  If confusion arises, more neutral words like ''conative'', ''contingent'', ''discretionary'', ''experimental'', ''kinetic'', ''progressive'', ''tentative'', or ''trial'' would probably serve as well.
 
−
 
−
===Life on Easy Street===
 
−
 
−
<blockquote>
 
−
<p>Failing to fetch me at first keep encouraged,<br>
 
−
Missing me one place search another,<br>
 
−
I stop some where waiting for you</p>
 
−
 
−
<p>Walt Whitman, ''Leaves of Grass'', [Whi, 88]</p>
 
−
</blockquote>
 
−
 
−
The finite character of the extended universe [E<font face="lucida calligraphy">A</font>] makes the problem of solving differential propositions relatively straightforward, at least,
 
−
in principle.  The solution set of the differential proposition ''q''&nbsp;:&nbsp;E''A''&nbsp;&rarr;&nbsp;'''B''' is the set of models ''q''<sup>&ndash;1</sup>(1) in E''A''.  Finding all of the models of ''q'', the extended interpretations in E''A'' that satisfy ''q'', can be carried out by a finite search.  Being in possession of complete algorithms for propositional calculus theorem proving makes the analytic task fairly simple in principle, though the question of efficiency in the face of arbitrary complexity may always remain another matter entirely.  While the fact that propositional satisfiability is NP-complete may be discouraging for the prospects of a single efficient algorithm that covers the whole space of [E<font face="lucida calligraphy">A</font>] with equal facility, there appears to be much room for improvement in classifying special forms and in developing algorithms that are tailored to their practical processing.
 
−
 
−
In view of these constraints and contingencies, my focus shifts to the tasks of approximation and interpretation that support intuition, especially in dealing with the natural kinds of differential propositions that arise in applications, and in the effort to understand, in succinct and adaptive forms, their dynamic implications.  In the absence of direct insights, these tasks are partially carried out by forging analogies with the familiar situations and customary routines of ordinary calculus.  But the indirect approach, going by way of specious analogy and intuitive habit, forces us to remain on guard against the circumstance that occurs when the word ''forging'' takes on its shadier nuance, indicting the constant risk of a counterfeit in the proportion.
 
−
 
−
==Back to the Beginning : Some Exemplary Universes==
 
−
 
−
<blockquote>
 
−
<p>I would have preferred to be enveloped in words,<br>
 
−
borne way beyond all possible beginnings.</p>
 
−
 
−
<p>Michel Foucault, ''The Discourse on Language'', [Fou, 215]</p>
 
−
</blockquote>
 
−
 
−
To anchor our understanding of differential logic, let us look at how the various concepts apply in the simplest possible concrete cases, where the initial dimension is only 1 or 2.  In spite of the obvious simplicity of these cases, it is possible to observe how central difficulties of the subject begin to arise already at this stage.
 
−
 
−
===A One-Dimensional Universe===
 
−
 
−
<blockquote>
 
−
<p>There was never any more inception than there is now,<br>
 
−
Nor any more youth or age than there is now;<br>
 
−
And will never be any more perfection than there is now,<br>
 
−
Nor any more heaven or hell than there is now.</p>
 
−
 
−
<p>Walt Whitman, Leaves of Grass, [Whi, 28]</p>
 
−
</blockquote>
 
−
 
−
Let <font face="lucida calligraphy">X</font> = {''x''<sub>1</sub>} = {''A''} be an alphabet that represents one boolean variable or a single logical feature.  In this example I am using the capital letter "''A''" in a more usual informal way, to name a feature and not a space, at variance with my formerly stated formal conventions.  At any rate, the basis element
 
−
''A'' = ''x''<sub>1</sub> may be interpreted as a simple proposition or a coordinate projection ''A'' = ''x''<sub>1</sub> : '''B'''<sub>1</sub> <font face=symbol>'''¸>'''</font> '''B'''.  The space ''X'' = 〈''A'' 〉 =  {(''A''), ''A''} of points (cells, vectors, interpretations) has cardinality 2<sup>''n''</sup> = 2<sup>1</sup> = 2 and is isomorphic to '''B''' = {0,&nbsp;1}.  Moreover, ''X'' may be identified with the set of singular propositions {''x'' : '''B''' <font face=symbol>'''××>'''</font> '''B'''}.  The space of linear propositions ''X''* = {hom : '''B''' <font face=symbol>'''+>'''</font> '''B'''} = {0,&nbsp;''A''} is algebraically dual to ''X'' and also has cardinality 2.  Here, "0" is interpreted as denoting the constant function 0 : '''B''' &rarr; '''B''', amounting to the linear proposition of rank 0, while ''A'' is the linear proposition of rank 1.  Last but not least we have the positive propositions {pos : '''B''' <font face=symbol>'''¥>'''</font> '''B'''} = {''A'',&nbsp;1}, of rank 1 and 0, respectively, where "1" is understood as denoting the constant function 1 : '''B''' &rarr; '''B'''.  In sum, there are <math>2^{2^n} = 2^{2^1} = 4</math> propositions altogether in the universe of discourse, comprising the set ''X''^ = {f : ''X'' &rarr; '''B'''} = {0, (''A''), ''A'', 1} <math>\cong</math> ('''B''' &rarr; '''B''').
 
−
 
−
The first order differential extension of <font face="lucida calligraphy">X</font> is E<font face="lucida calligraphy">X</font> = {''x''<sub>1</sub>, d''x''<sub>1</sub>} = {''A'', d''A''}.  If the feature "''A''" is understood as applying to some object or state, then the feature "d''A''" may be interpreted as an attribute of the same object or state that says that it is changing ''significantly'' with respect to the property ''A'', or that it has an ''escape velocity'' with respect to the state ''A''.  In practice, differential features acquire their logical meaning through a class of ''temporal inference rules''.
 
−
 
−
For example, relative to a frame of observation that is left implicit for now, one is permitted to make the following sorts of inference:  From the fact that ''A'' and d''A'' are true at a given moment one may infer that (''A'') will be true in the next moment of observation.  Altogether in the present instance, there is the fourfold scheme of inference that is shown below:
 
−
 
−
<br><font face="courier new">
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
|
 
−
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
| &nbsp; || From || (''A'') || and || (d''A'') || infer || (''A'') || next. || &nbsp;
 
−
|-
 
−
| &nbsp; || From || (''A'') || and ||  d''A''  || infer ||  ''A''  || next. || &nbsp;
 
−
|-
 
−
| &nbsp; || From ||  ''A''  || and || (d''A'') || infer ||  ''A''  || next. || &nbsp;
 
−
|-
 
−
| &nbsp; || From ||  ''A''  || and ||  d''A''  || infer || (''A'') || next. || &nbsp;
 
−
|}
 
−
|}
 
−
</font><br>
 
−
 
−
It might be thought that we need to bring in an independent time variable at this point, but an insight of fundamental importance appears to be that the idea of process is more basic than the notion of time.  A time variable is actually a reference to a ''clock'', that is, a canonical or a convenient process that is established or accepted as a standard of measurement, but in essence no different than any other process.  This raises the question of how different subsystems in a more global process can be brought into comparison, and what it means for one process to serve the function of a local standard for others.  But these inquiries only wrap up puzzles in further riddles, and are obviously too involved to be handled at our current level of approximation.
 
−
 
−
<blockquote>
 
−
<p>The clock indicates the moment . . . . but what does<br>
 
−
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;eternity indicate?</p>
 
−
 
−
<p>Walt Whitman, 'Leaves of Grass', [Whi, 79]</p>
 
−
</blockquote>
 
−
 
−
Observe that the secular inference rules, used by themselves, involve a loss of information, since nothing in them can tell us whether the momenta {(d''A''),&nbsp;d''A''} are preserved or changed in the next instance.  In order to know this, we would have to determine d<sup>2</sup>''A'', and so on, pursuing an infinite regress.  Ultimately, in order to rest with a finitely determinate system, it is necessary to make an infinite assumption, for example, that d<sup>''k''</sup>''A'' = 0 for all ''k'' greater than some fixed value ''M''.  Another way to escape the regress is through the provision of a dynamic law, in typical form making higher order differentials dependent on lower degrees and estates.
 
−
 
−
===Example 1.  A Square Rigging===
 
−
 
−
<blockquote>
 
−
<p>Urge and urge and urge,<br>
 
−
Always the procreant urge of the world.</p>
 
−
 
−
<p>Walt Whitman, ''Leaves of Grass'', [Whi, 28]</p>
 
−
</blockquote>
 
−
 
−
By way of example, suppose that we are given the initial condition ''A''&nbsp;=&nbsp;d''A'' and the law d<sup>2</sup>''A''&nbsp;=&nbsp;(''A'').  Then, since "''A''&nbsp;=&nbsp;d''A''" &hArr; "''A''&nbsp;d''A'' or (''A'')(d''A'')", we may infer two possible trajectories, as displayed in Table 11.  In either of these cases, the state ''A''(d''A'')(d<sup>2</sup>''A'') is a stable attractor or a terminal condition for both starting points.
 
−
 
−
<font face="courier new">
 
−
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
|+ '''Table 11.  A Pair of Commodious Trajectories'''
 
−
|- style="background:paleturquoise"
 
−
! Time
 
−
! Trajectory 1
 
−
! Trajectory 2
 
−
|-
 
−
|
 
−
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; text-align:center"
 
−
| 0
 
−
|-
 
−
| 1
 
−
|-
 
−
| 2
 
−
|-
 
−
| 3
 
−
|-
 
−
| 4
 
−
|}
 
−
|
 
−
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; text-align:center"
 
−
|  ''A''  ||  d''A''  || (d<sup>2</sup>''A'')
 
−
|-
 
−
| (''A'') ||  d''A''  ||  d<sup>2</sup>''A''
 
−
|-
 
−
|  ''A''  || (d''A'') || (d<sup>2</sup>''A'')
 
−
|-
 
−
|  ''A''  || (d''A'') || (d<sup>2</sup>''A'')
 
−
|-
 
−
| " || " || "
 
−
|}
 
−
|
 
−
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; text-align:center"
 
−
| (''A'') || (d''A'') ||  d<sup>2</sup>''A''
 
−
|-
 
−
| (''A'') ||  d''A''  ||  d<sup>2</sup>''A''
 
−
|-
 
−
|  ''A''  || (d''A'') || (d<sup>2</sup>''A'')
 
−
|-
 
−
|  ''A''  || (d''A'') || (d<sup>2</sup>''A'')
 
−
|-
 
−
| " || " || "
 
−
|}
 
−
|}
 
−
</font><br>
 
−
 
−
Because the initial space ''X''&nbsp;=&nbsp;〈''A''〉 is one-dimensional, we can easily fit the second order extension E<sup>2</sup>''X''&nbsp;=&nbsp;〈''A'',&nbsp;d''A'',&nbsp;d<sup>2</sup>''A''〉 within the compass of a single venn diagram, charting the couple of converging trajectories as shown in Figure 12.
 
−
 
−
<br>
 
−
<p>[[Image:Diff Log Dyn Sys -- Figure 12 -- The Anchor.gif|center]]</p>
 
−
<p><center><font size="+1">'''Figure 12.  The Anchor'''</font></center></p>
 
−
 
−
If we eliminate from view the regions of E<sup>2</sup>''X'' that are ruled out by the dynamic law d<sup>2</sup>''A''&nbsp;=&nbsp;(''A''), then what remains is the quotient structure that is shown in Figure 13.  This picture makes it easy to see that the dynamically allowable portion of the universe is partitioned between the properties ''A'' and d<sup>2</sup>''A''.  As it happens, this fact might have been expressed "right off the bat" by an equivalent formulation of the differential law, one that uses the exclusive disjunction to state the law as (''A'',&nbsp;d<sup>2</sup>''A'').
 
−
 
−
<br>
 
−
<p>[[Image:Diff Log Dyn Sys -- Figure 13 -- The Tiller.gif|center]]</p>
 
−
<p><center><font size="+1">'''Figure 13.  The Tiller'''</font></center></p>
 
−
 
−
What we have achieved in this example is to give a differential description of a simple dynamic process.  In effect, we did this by embedding a directed graph, which can be taken to represent the state transitions of a finite automaton, in a dynamically allotted quotient structure that is created from a boolean lattice or an ''n''-cube by nullifying all of the regions that the dynamics outlaws.  With growth in the dimensions of our contemplated universes, it becomes essential, both for human comprehension and for computer implementation, that the dynamic structures of interest to us be represented not actually, by acquaintance, but virtually, by description.  In our present study, we are using the language of propositional calculus to express the relevant descriptions, and to comprehend the structure that is implicit in the subsets of a ''n''-cube without necessarily being forced to actualize all of its points.
 
−
 
−
One of the reasons for engaging in this kind of extremely reduced, but explicitly controlled case study is to throw light on the general study of languages, formal and natural, in their full array of syntactic, semantic, and pragmatic aspects.  Propositional calculus is one of the last points of departure where we can view these three aspects interacting in a non-trivial way without being immediately and totally overwhelmed by the complexity they generate.  Often this complexity causes investigators of formal and natural languages to adopt the strategy of focusing on a single aspect and to abandon all hope of understanding the whole, whether it's the still living natural language or the dynamics of inquiry that lies crystallized in formal logic.
 
−
 
−
From the perspective that I find most useful here, a language is a syntactic system that is designed or evolved in part to express a set of descriptions.  When the explicit symbols of a language have extensions in its object world that are actually infinite, or when the implicit categories and generative devices of a linguistic theory have extensions in its subject matter that are potentially infinite, then the finite characters of terms, statements, arguments, grammars, logics, and rhetorics force an excess of intension to reside in all these symbols and functions, across the spectrum from the object language to the metalinguistic uses.  In the aphorism from W. von Humboldt that Chomsky often cites, for example, in [Cho86, 30] and [Cho93, 49], language requires "the infinite use of finite means".  This is necessarily true when the extensions are infinite, when the referential symbols and grammatical categories of a language possess infinite sets of models and instances.  But it also voices a practical truth when the extensions, though finite at every stage, tend to grow at exponential rates.
 
−
 
−
This consequence of dealing with extensions that are "practically infinite" becomes crucial when one tries to build neural network systems that learn, since the learning competence of any intelligent system is limited to the objects and domains that it is able to represent.  If we want to design systems that operate intelligently with the full deck of propositions dealt by intact universes of discourse, then we must supply them with succinct representations and efficient transformations in this domain.  Furthermore, in the project of constructing inquiry driven systems, we find ourselves forced to contemplate the level of generality that is embodied in propositions, because the dynamic evolution of these systems is driven by the measurable discrepancies that occur among their expectations, intentions, and observations, and because each of these subsystems or components of knowledge constitutes a propositional modality that can take on the fully generic character of an empirical summary or an axiomatic theory.
 
−
 
−
A compression scheme by any other name is a symbolic representation, and this is what the differential extension of propositional calculus, through all of its many universes of discourse, is intended to supply.  Why is this particular program of mental calisthenics worth carrying out in general?  By providing a uniform logical medium for describing dynamic systems we can make the task of understanding complex systems much easier, both in looking for invariant representations of individual cases and in finding points of comparison among diverse structures that would otherwise appear as isolated systems.  All of this goes to facilitate the search for compact knowledge and to adapt what is learned from individual cases to the general realm.
 
−
 
−
===Back to the Feature===
 
−
 
−
<blockquote>
 
−
<p>I guess it must be the flag of my disposition, out of hopeful<br>
 
−
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;green stuff woven.</p>
 
−
 
−
<p>Walt Whitman, ''Leaves of Grass'', [Whi, 31]</p>
 
−
</blockquote>
 
−
 
−
Let us assume that the sense intended for differential features is well enough established in the intuition, for now, that I may continue with outlining the structure of the differential extension [E<font face="lucida calligraphy">X</font>]&nbsp;=&nbsp;[''A'',&nbsp;d''A''].  Over the extended alphabet E<font face="lucida calligraphy">X</font> = {''x''<sub>1</sub>,&nbsp;d''x''<sub>1</sub>} = {''A'',&nbsp;d''A''}, of cardinality 2<sup>''n''</sup> = 2, we generate the set of points, E''X'', of cardinality 2<sup>2''n''</sup> = 4, that bears the following chain of equivalent descriptions:
 
−
 
−
:{| cellpadding=2
 
−
| E''X''
 
−
| =
 
−
| 〈''A'', d''A''〉
 
−
|-
 
−
| &nbsp;
 
−
| =
 
−
| {(''A''), ''A''} &times; {(d''A''), d''A''}
 
−
|-
 
−
| &nbsp;
 
−
| =
 
−
| {(''A'')(d''A''), (''A'') d''A'', ''A'' (d''A''), ''A'' d''A''}.
 
−
|}
 
−
 
−
The space E''X'' may be assigned the mnemonic type '''B'''&nbsp;&times;&nbsp;'''D''', which is really no different than '''B'''&nbsp;&times;&nbsp;'''B'''&nbsp;=&nbsp;'''B'''<sup>2</sup>.  An individual element of E''X'' may be regarded as a ''disposition at a point'' or a ''situated direction'', in effect, a singular mode of change occurring at a single point in the universe of discourse.  In applications, the modality of this change can be interpreted in various ways, for example, as an expectation, an intention, or an observation with respect to the behavior of a system.
 
−
 
−
To complete the construction of the extended universe of discourse E''X''<sup>&nbsp;&bull;</sup>&nbsp;=&nbsp;[''x''<sub>1</sub>,&nbsp;d''x''<sub>1</sub>]&nbsp;=&nbsp;[''A'',&nbsp;d''A''], one must add the set of differential propositions E''X''^&nbsp;=&nbsp;{''g''&nbsp;:&nbsp;E''X''&nbsp;&rarr;&nbsp;'''B'''}&nbsp;<math>\cong</math>&nbsp;('''B'''&nbsp;&times;&nbsp;'''D'''&nbsp;&rarr;&nbsp;'''B''') to the set of dispositions in E''X''.  There are <math>2^{2^{2n}}</math>&nbsp;=&nbsp;16 propositions in E''X''^, as detailed in Table 14.
 
−
 
−
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Table 14.  Differential Propositions'''
 
−
|- style="background:paleturquoise"
 
−
| &nbsp;
 
−
| align="right" | A :
 
−
| 1 1 0 0
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|- style="background:paleturquoise"
 
−
| &nbsp;
 
−
| align="right" | dA :
 
−
| 1 0 1 0
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|-
 
−
| f<sub>0</sub>
 
−
| g<sub>0</sub>
 
−
| 0 0 0 0
 
−
| (&nbsp;)
 
−
| False
 
−
| 0
 
−
|-
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
&nbsp;<br>
 
−
&nbsp;<br>
 
−
&nbsp;<br>
 
−
&nbsp;
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
g<sub>1</sub><br>
 
−
g<sub>2</sub><br>
 
−
g<sub>4</sub><br>
 
−
g<sub>8</sub>
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
0 0 0 1<br>
 
−
0 0 1 0<br>
 
−
0 1 0 0<br>
 
−
1 0 0 0
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
(A)(dA)<br>
 
−
(A) dA <br>
 
−
A (dA)<br>
 
−
A dA
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
Neither A nor dA<br>
 
−
Not A but dA<br>
 
−
A but not dA<br>
 
−
A and dA
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
&not;A &and; &not;dA<br>
 
−
&not;A &and; dA<br>
 
−
A &and; &not;dA<br>
 
−
A &and; dA
 
−
|}
 
−
|-
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
f<sub>1</sub><br>
 
−
f<sub>2</sub>
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
g<sub>3</sub><br>
 
−
g<sub>12</sub>
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
0 0 1 1<br>
 
−
1 1 0 0
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
(A)<br>
 
−
A
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
Not A<br>
 
−
A
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
&not;A<br>
 
−
A
 
−
|}
 
−
|-
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
&nbsp;<br>
 
−
&nbsp;
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
g<sub>6</sub><br>
 
−
g<sub>9</sub>
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
0 1 1 0<br>
 
−
1 0 0 1
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
(A, dA)<br>
 
−
((A, dA))
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
A not equal to dA<br>
 
−
A equal to dA
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
A &ne; dA<br>
 
−
A = dA
 
−
|}
 
−
|-
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
&nbsp;<br>
 
−
&nbsp;
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
g<sub>5</sub><br>
 
−
g<sub>10</sub>
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
0 1 0 1<br>
 
−
1 0 1 0
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
(dA)<br>
 
−
dA
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
Not dA<br>
 
−
dA
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
&not;dA<br>
 
−
dA
 
−
|}
 
−
|-
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
&nbsp;<br>
 
−
&nbsp;<br>
 
−
&nbsp;<br>
 
−
&nbsp;
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
g<sub>7</sub><br>
 
−
g<sub>11</sub><br>
 
−
g<sub>13</sub><br>
 
−
g<sub>14</sub>
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
0 1 1 1<br>
 
−
1 0 1 1<br>
 
−
1 1 0 1<br>
 
−
1 1 1 0
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
(A dA)<br>
 
−
(A (dA))<br>
 
−
((A) dA)<br>
 
−
((A)(dA))
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
Not both A and dA<br>
 
−
Not A without dA<br>
 
−
Not dA without A<br>
 
−
A or dA
 
−
|}
 
−
|
 
−
{| style="background:lightcyan"
 
−
|
 
−
&not;A &or; &not;dA<br>
 
−
A &rarr; dA<br>
 
−
A &larr; dA<br>
 
−
A &or; dA
 
−
|}
 
−
|-
 
−
| f<sub>3</sub>
 
−
| g<sub>15</sub>
 
−
| 1 1 1 1
 
−
| ((&nbsp;))
 
−
| True
 
−
| 1
 
−
|}
 
−
<br>
 
−
 
−
Aside from changing the names of variables and shuffling the order of rows, this Table follows the format that was used previously for boolean functions of two variables.  The rows are grouped to reflect natural similarity classes among the propositions.  In a future discussion, these classes will be given additional explanation and motivation as the orbits of a certain transformation group acting on the set of 16 propositions.  Notice that four of the propositions, in their logical expressions, resemble those given in the table for ''X''^.  Thus the first set of propositions {''f''<sub>''i''</sub>} is automatically embedded in the present set {''g''<sub>''j''</sub>}, and the corresponding inclusions are indicated at the far left margin of the table.
 
−
 
−
===Tacit Extensions===
 
−
 
−
<blockquote>
 
−
<p>I would really like to have slipped imperceptibly into this lecture, as into all the others I shall be delivering, perhaps over the years ahead.</p>
 
−
 
−
<p>Michel Foucault, ''The Discourse on Language'', [Fou, 215]</p>
 
−
</blockquote>
 
−
 
−
Strictly speaking, however, there is a subtle distinction in type between the function ''f''<sub>''i''</sub>&nbsp;:&nbsp;''X''&nbsp;&rarr;&nbsp;'''B''' and the corresponding function ''g''<sub>''j''</sub>&nbsp;:&nbsp;E''X''&nbsp;&rarr;&nbsp;'''B''', even though they share the same logical expression.  Being human, we insist on preserving all the aesthetic delights afforded by the abstractly unified form of the "cake" while giving up none of the diverse contents that its substantive consummation can provide.  In short, we want to maintain the logical equivalence of expressions that represent the same proposition, while appreciating the full diversity of that proposition's functional and typical representatives.  Both perspectives, and all the levels of abstraction extending through them, have their reasons, as will develop in time.
 
−
 
−
Because this special circumstance points up an important general theme, it is a good idea to discuss it more carefully.  Whenever there arises a situation like this, where one alphabet <font face="lucida calligraphy">X</font> is a subset of another alphabet <font face="lucida calligraphy">Y</font>, then we say that any proposition ''f''&nbsp;:&nbsp;〈<font face="lucida calligraphy">X</font>〉&nbsp;&rarr;&nbsp;''B'' has a ''tacit extension'' to a proposition <math>\epsilon</math>''f''&nbsp;:&nbsp;〈<font face="lucida calligraphy">Y</font>〉&nbsp;&rarr;&nbsp;'''B''', and that the space (〈<font face="lucida calligraphy">X</font>〉&nbsp;&rarr;&nbsp;'''B''') has an ''automatic embedding'' within the space (〈<font face="lucida calligraphy">Y</font>〉&nbsp;&rarr;&nbsp;'''B''').  The extension is defined in such a way that <math>\epsilon</math>''f'' puts the same constraint on the variables of <font face="lucida calligraphy">X</font> that are contained in <font face="lucida calligraphy">Y</font> as the proposition ''f'' initially did, while it puts no constraint on the variables of <font face="lucida calligraphy">Y</font> outside of <font face="lucida calligraphy">X</font>, in effect, conjoining the two constraints.
 
−
 
−
If the variables in question are indexed as <font face="lucida calligraphy">X</font>&nbsp;=&nbsp;{''x''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''x''<sub>''n''</sub>} and <font face="lucida calligraphy">Y</font>&nbsp;=&nbsp;{''x''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''x''<sub>''n''</sub>,&nbsp;&hellip;,&nbsp;''x''<sub>''n''+''k''</sub>}, then the definition of the tacit extension from <font face="lucida calligraphy">X</font> to <font face="lucida calligraphy">Y</font> may be expressed in the form of an equation:
 
−
 
−
: <math>\epsilon</math>''f''(''x''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''x''<sub>''n''</sub>,&nbsp;&hellip;,&nbsp;''x''<sub>''n''+''k''</sub>) = ''f''(''x''<sub>1</sub>,&nbsp;&hellip;,&nbsp;''x''<sub>''n''</sub>).
 
−
 
−
On formal occasions, such as the present context of definition, the tacit extension from <font face="lucida calligraphy">X</font> to <font face="lucida calligraphy">Y</font> is explicitly symbolized by the operator <math>\epsilon</math>&nbsp;:&nbsp;(〈<font face="lucida calligraphy">X</font>〉&nbsp;&rarr;&nbsp;'''B''')&nbsp;&rarr;&nbsp;(〈<font face="lucida calligraphy">Y</font>〉&nbsp;&rarr;&nbsp;'''B'''), where the appropriate alphabets <font face="lucida calligraphy">X</font> and <font face="lucida calligraphy">Y</font> are understood from context, but normally one may leave the "<math>\epsilon</math>" silent.
 
−
 
−
Let's explore what this means for the present Example.  Here, <font face="lucida calligraphy">X</font> = {''A''} and <font face="lucida calligraphy">Y</font> = E<font face="lucida calligraphy">X</font> = {''A'',&nbsp;d''A''}.  For each of the propositions ''f''<sub>''i''</sub> over ''X'', specifically, those whose expression ''e''<sub>''i''</sub> lies in the collection {0,&nbsp;(''A''),&nbsp;''A'',&nbsp;1}, the tacit extension <math>\epsilon</math>''f'' of ''f'' to E''X'' can be phrased as a logical conjunction of two factors, ''f''<sub>''i''</sub> = ''e''<sub>''i''</sub>&nbsp;'''·'''&nbsp;<math>\tau</math>&nbsp;, where <math>\tau</math> is a logical tautology that uses all the variables of <font face="lucida calligraphy">Y</font>&nbsp;&ndash;&nbsp;<font face="lucida calligraphy">X</font>.  Working in these terms, the tacit extensions <math>\epsilon</math>''f'' of ''f'' to E''X'' may be explicated as shown in Table&nbsp;15.
 
−
 
−
<font face="courier new">
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
|+ '''Table 15.  Tacit Extension of [''A''] to [''A'', d''A'']'''
 
−
|
 
−
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
| &nbsp;
 
−
| 0
 
−
| =
 
−
| 0
 
−
| &middot;
 
−
| ((d''A''),&nbsp;d''A'')
 
−
| =
 
−
| 0
 
−
| &nbsp;
 
−
|-
 
−
| &nbsp;
 
−
| (''A'')
 
−
| =
 
−
| (''A'')
 
−
| &middot;
 
−
| ((d''A''),&nbsp;d''A'')
 
−
| =
 
−
| (''A'')(d''A'') + (''A'') d''A''&nbsp;
 
−
| &nbsp;
 
−
|-
 
−
| &nbsp;
 
−
| ''A''
 
−
| =
 
−
| ''A''
 
−
| &middot;
 
−
| ((d''A''),&nbsp;d''A'')
 
−
| =
 
−
| &nbsp;''A'' (d''A'') +  &nbsp;''A''&nbsp;&nbsp;d''A''&nbsp;
 
−
| &nbsp;
 
−
|-
 
−
| &nbsp;
 
−
| 1
 
−
| =
 
−
| 1
 
−
| &middot;
 
−
| ((d''A''),&nbsp;d''A'')
 
−
| =
 
−
| 1
 
−
|}
 
−
|}
 
−
</font><br>
 
−
 
−
In its effect on the singular propositions over ''X'', this analysis has an interesting interpretation.  The tacit extension takes us from thinking about a particular state, like ''A'' or (''A''), to considering the collection of outcomes, the outgoing changes or the singular dispositions, that spring from that state.
 
−
 
−
===Example 2.  Drives and Their Vicissitudes===
 
−
 
−
<blockquote>
 
−
<p>I open my scuttle at night and see the far-sprinkled systems,<br>
 
−
And all I see, multiplied as high as I can cipher, edge but<br>
 
−
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;the rim of the farther systems.</p>
 
−
 
−
<p>Walt Whitman, ''Leaves of Grass'', [Whi, 81]</p>
 
−
</blockquote>
 
−
 
−
Before we leave the one-feature case let's look at a more substantial example, one that illustrates a general class of curves that can be charted through the extended feature spaces and that provides an opportunity to discuss a number of important themes concerning their structure and dynamics.
 
−
 
−
Again, let <font face="lucida calligraphy">X</font>&nbsp;=&nbsp;{''x''<sub>1</sub>}&nbsp;=&nbsp;{''A''}.  In the discussion that follows I will consider a class of trajectories having the property that d<sup>''k''</sup>''A''&nbsp;=&nbsp;0 for all ''k'' greater than some fixed ''m'', and I indulge in the use of some picturesque terms that describe salient classes of such curves.  Given the finite order condition, there is a highest order non-zero difference d<sup>''m''</sup>''A'' exhibited at each point in the course of any determinate trajectory that one may wish to consider.  With respect to any point of the corresponding orbit or curve let us call this highest order differential feature d<sup>''m''</sup>''A'' the ''drive'' at that point.  Curves of constant drive d<sup>''m''</sup>''A'' are then referred to as "''m''<sup>th</sup> gear curves".
 
−
 
−
* '''Scholium.'''  The fact that a difference calculus can be developed for boolean functions is well known [Fuji], [Koh, &sect; 8-4] and was probably familiar to Boole, who was an expert in difference equations before he turned to logic.  And of course there is the strange but true story of how the Turin machines of the 1840's prefigured the Turing machines of the 1940's [Men, 225-297].  At the very outset of general purpose, mechanized computing we find that the motive power driving the Analytical Engine of Babbage, the kernel of an idea behind all of his wheels, was exactly his notion that difference operations, suitably trained, can serve as universal joints for any conceivable computation [M&M], [Mel, ch. 4].
 
−
 
−
Given this language, the particular Example that I take up here can be described as the family of 4<sup>th</sup> gear curves through E<sup>4</sup>''X'' = 〈''A'',&nbsp;d''A'',&nbsp;d<sup>2</sup>''A'',&nbsp;d<sup>3</sup>''A'',&nbsp;d<sup>4</sup>''A''〉.  These are the trajectories generated subject to the dynamic law d<sup>4</sup>''A''&nbsp;=&nbsp;1, where it is understood in such a statement that all higher order differences are equal to 0.  Since d<sup>4</sup>''A'' and all higher d<sup>''k''</sup>''A'' are fixed, the temporal or transitional conditions (initial, mediate, terminal - transient or stable states) vary only with respect to their projections as points of E<sup>3</sup>''X'' = 〈''A'',&nbsp;d''A'',&nbsp;d<sup>2</sup>''A'',&nbsp;d<sup>3</sup>''A''〉.  Thus, there is just enough space in a planar venn diagram to plot all of these orbits and to show how they partition the points of E<sup>3</sup>''X''.  It turns out that there are exactly two possible orbits, of eight points each, as illustrated in Figure&nbsp;16.
 
−
 
−
<br>
 
−
<p>[[Image:Diff Log Dyn Sys -- Figure 16 -- A Couple of Fourth Gear Orbits.gif|center]]</p>
 
−
<p><center><font size="+1">'''Figure 16.  A Couple of Fourth Gear Orbits'''</font></center></p>
 
−
 
−
With a little thought it is possible to devise an indexing scheme for the general run of dynamic states that allows for comparing universes of discourse that weigh in on different scales of observation.  With this end in sight, let us index the states ''q'' in E<sup>''m''</sup>''X'' with the dyadic rationals (or the binary fractions) in the half-open interval [0,&nbsp;2).  Formally and canonically, a state ''q''<sub>''r''</sub> is indexed by a fraction ''r''&nbsp;=&nbsp;''s''/''t'' whose denominator is the power of two ''t''&nbsp;=&nbsp;2<sup>''m''</sup> and whose numerator is a binary numeral that is formed from the coefficients of state in a manner to be described next.  The ''differential coefficients'' of the state ''q'' are just the values d<sup>''k''</sup>''A''(''q''), for ''k''&nbsp;=&nbsp;0&nbsp;to&nbsp;''m'', where d<sup>0</sup>''A'' is defined as being identical to ''A''.  To form the binary index d<sub>0</sub>'''.'''d<sub>1</sub>&hellip;d<sub>''m''</sub> of the state ''q'' the coefficient d<sup>''k''</sup>''A''(''q'') is read off as the binary digit ''d''<sub>''k''</sub> associated with the place value 2<sup>&ndash;''k''</sup>.  Expressed by way of algebraic formulas, the rational index ''r'' of the state ''q'' can be given by the following equivalent formulations:
 
−
 
−
<br><font face="courier new">
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
|
 
−
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
| <math>r(q)\!</math>
 
−
| <math>=</math>
 
−
| <math>\sum_k d_k \cdot 2^{-k}</math>
 
−
| <math>=</math>
 
−
| <math>\sum_k \mbox{d}^k A(q) \cdot 2^{-k}</math>
 
−
|-
 
−
| <math>=</math>
 
−
|-
 
−
| <math>\frac{s(q)}{t}</math>
 
−
| <math>=</math>
 
−
| <math>\frac{\sum_k d_k \cdot 2^{(m-k)}}{2^m}</math>
 
−
| <math>=</math>
 
−
| <math>\frac{\sum_k \mbox{d}^k A(q) \cdot 2^{(m-k)}}{2^m}</math>
 
−
|}
 
−
|}
 
−
</font><br>
 
−
 
−
Applied to the example of fourth gear curves, this scheme results in the data of Tables&nbsp;17-a and 17-b, which exhibit one period for each orbit.  The states in each orbit are listed as ordered pairs ‹''p''<sub>''i''</sub>,&nbsp;''q''<sub>''j''</sub>›, where ''p''<sub>''i''</sub> may be read as a temporal parameter that indicates the present time of the state, and where ''j'' is the decimal equivalent of the binary numeral ''s''.  Informally and more casually, the Tables exhibit the states ''q''<sub>''s''</sub> as subscripted with the numerators of their rational indices, taking for granted the constant denominators of 2<sup>''m''</sup>&nbsp;=&nbsp;2<sup>4</sup>&nbsp;=&nbsp;16.  Within this set-up, the temporal successions of states can be reckoned as given by a kind of ''parallel round-up rule''.  That is, if ‹''d''<sub>''k''</sub>,&nbsp;''d''<sub>''k''+1</sub>› is any pair of adjacent digits in the state index ''r'', then the value of ''d''<sub>''k''</sub> in the next state is ''d''<sub>''k''</sub>&prime;&nbsp;=&nbsp;''d''<sub>''k''</sub>&nbsp;+&nbsp;''d''<sub>''k''+1</sub>.
 
−
 
−
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Table 17-a.  A Couple of Orbits in Fourth Gear:  Orbit 1'''
 
−
|- style="background:paleturquoise"
 
−
| Time
 
−
| State
 
−
| ''A''
 
−
| d''A''
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|- style="background:paleturquoise"
 
−
| ''p''<sub>''i''</sub>
 
−
| ''q''<sub>''j''</sub>
 
−
| d<sup>0</sup>''A''
 
−
| d<sup>1</sup>''A''
 
−
| d<sup>2</sup>''A''
 
−
| d<sup>3</sup>''A''
 
−
| d<sup>4</sup>''A''
 
−
|-
 
−
|
 
−
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center"
 
−
| ''p''<sub>0</sub>
 
−
|-
 
−
| ''p''<sub>1</sub>
 
−
|-
 
−
| ''p''<sub>2</sub>
 
−
|-
 
−
| ''p''<sub>3</sub>
 
−
|-
 
−
| ''p''<sub>4</sub>
 
−
|-
 
−
| ''p''<sub>5</sub>
 
−
|-
 
−
| ''p''<sub>6</sub>
 
−
|-
 
−
| ''p''<sub>7</sub>
 
−
|}
 
−
|
 
−
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center"
 
−
| ''q''<sub>01</sub>
 
−
|-
 
−
| ''q''<sub>03</sub>
 
−
|-
 
−
| ''q''<sub>05</sub>
 
−
|-
 
−
| ''q''<sub>15</sub>
 
−
|-
 
−
| ''q''<sub>17</sub>
 
−
|-
 
−
| ''q''<sub>19</sub>
 
−
|-
 
−
| ''q''<sub>21</sub>
 
−
|-
 
−
| ''q''<sub>31</sub>
 
−
|}
 
−
| colspan="5" |
 
−
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 
−
| 0. || 0 || 0 || 0 || 1
 
−
|-
 
−
| 0. || 0 || 0 || 1 || 1
 
−
|-
 
−
| 0. || 0 || 1 || 0 || 1
 
−
|-
 
−
| 0. || 1 || 1 || 1 || 1
 
−
|-
 
−
| 1. || 0 || 0 || 0 || 1
 
−
|-
 
−
| 1. || 0 || 0 || 1 || 1
 
−
|-
 
−
| 1. || 0 || 1 || 0 || 1
 
−
|-
 
−
| 1. || 1 || 1 || 1 || 1
 
−
|}
 
−
|}
 
−
<br>
 
−
 
−
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Table 17-b.  A Couple of Orbits in Fourth Gear:  Orbit 2'''
 
−
|- style="background:paleturquoise"
 
−
| Time
 
−
| State
 
−
| ''A''
 
−
| d''A''
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|- style="background:paleturquoise"
 
−
| ''p''<sub>''i''</sub>
 
−
| ''q''<sub>''j''</sub>
 
−
| d<sup>0</sup>''A''
 
−
| d<sup>1</sup>''A''
 
−
| d<sup>2</sup>''A''
 
−
| d<sup>3</sup>''A''
 
−
| d<sup>4</sup>''A''
 
−
|-
 
−
|
 
−
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center"
 
−
| ''p''<sub>0</sub>
 
−
|-
 
−
| ''p''<sub>1</sub>
 
−
|-
 
−
| ''p''<sub>2</sub>
 
−
|-
 
−
| ''p''<sub>3</sub>
 
−
|-
 
−
| ''p''<sub>4</sub>
 
−
|-
 
−
| ''p''<sub>5</sub>
 
−
|-
 
−
| ''p''<sub>6</sub>
 
−
|-
 
−
| ''p''<sub>7</sub>
 
−
|}
 
−
|
 
−
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center"
 
−
| ''q''<sub>25</sub>
 
−
|-
 
−
| ''q''<sub>11</sub>
 
−
|-
 
−
| ''q''<sub>29</sub>
 
−
|-
 
−
| ''q''<sub>07</sub>
 
−
|-
 
−
| ''q''<sub>09</sub>
 
−
|-
 
−
| ''q''<sub>27</sub>
 
−
|-
 
−
| ''q''<sub>13</sub>
 
−
|-
 
−
| ''q''<sub>23</sub>
 
−
|}
 
−
| colspan="5" |
 
−
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 
−
| 1. || 1 || 0 || 0 || 1
 
−
|-
 
−
| 0. || 1 || 0 || 1 || 1
 
−
|-
 
−
| 1. || 1 || 1 || 0 || 1
 
−
|-
 
−
| 0. || 0 || 1 || 1 || 1
 
−
|-
 
−
| 0. || 1 || 0 || 0 || 1
 
−
|-
 
−
| 1. || 1 || 0 || 1 || 1
 
−
|-
 
−
| 0. || 1 || 1 || 0 || 1
 
−
|-
 
−
| 1. || 0 || 1 || 1 || 1
 
−
|}
 
−
|}
 
−
<br>
 
−
 
−
=Archive 1=
 
−
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
|+ '''Table 3.  Differential Inference Rules'''
 
−
|
 
−
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
| &nbsp;
 
−
| From
 
−
| <math>\overline{q}\!</math>
 
−
| and
 
−
| <math>\overline{\operatorname{d}q}\!</math>
 
−
| infer
 
−
| <math>\overline{q}\!</math>
 
−
| next.
 
−
| &nbsp;
 
−
|-
 
−
| &nbsp;
 
−
| From
 
−
| <math>\overline{q}\!</math>
 
−
| and
 
−
| <math>\operatorname{d}q\!</math>
 
−
| infer
 
−
| <math>q\!</math>
 
−
| next.
 
−
| &nbsp;
 
−
|-
 
−
| &nbsp;
 
−
| From
 
−
| <math>q\!</math>
 
−
| and
 
−
| <math>\overline{\operatorname{d}q}\!</math>
 
−
| infer
 
−
| <math>q\!</math>
 
−
| next.
 
−
| &nbsp;
 
−
|-
 
−
| &nbsp;
 
−
| From
 
−
| <math>q\!</math>
 
−
| and
 
−
| <math>\operatorname{d}q\!</math>
 
−
| infer
 
−
| <math>\overline{q}\!</math>
 
−
| next.
 
−
| &nbsp;
 
−
|}
 
−
|}
 
−
<br>
 
−
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
|+ '''Table 3.  Differential Inference Rules'''
 
−
|
 
−
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"
 
−
| &nbsp;
 
−
| From
 
−
| <math>(q)\!</math>
 
−
| and
 
−
| <math>(\operatorname{d}q)\!</math>
 
−
| infer
 
−
| <math>(q)\!</math>
 
−
| next.
 
−
| &nbsp;
 
−
|-
 
−
| &nbsp;
 
−
| From
 
−
| <math>(q)\!</math>
 
−
| and
 
−
| <math>\operatorname{d}q\!</math>
 
−
| infer
 
−
| <math>q\!</math>
 
−
| next.
 
−
| &nbsp;
 
−
|-
 
−
| &nbsp;
 
−
| From
 
−
| <math>q\!</math>
 
−
| and
 
−
| <math>(\operatorname{d}q)\!</math>
 
−
| infer
 
−
| <math>q\!</math>
 
−
| next.
 
−
| &nbsp;
 
−
|-
 
−
| &nbsp;
 
−
| From
 
−
| <math>q\!</math>
 
−
| and
 
−
| <math>\operatorname{d}q\!</math>
 
−
| infer
 
−
| <math>(q)\!</math>
 
−
| next.
 
−
| &nbsp;
 
−
|}
 
−
|}
 
−
<br>
 
−
 
−
Table 2 exhibits the scheme of notation I use to formalize the domain of propositional calculus, corresponding to the logical content of truth tables and venn diagrams.  Although it overworks the square brackets a bit, I also use either one of the equivalent notations <math>[n]\!</math> or <math>\mathbf{n}</math> to denote the data type of a finite set on <math>n\!</math> elements.
 
−
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
 
−
|+ '''Table 2.  Fundamental Notations for Propositional Calculus'''
 
−
|- style="background:paleturquoise"
 
−
! Symbol
 
−
! Notation
 
−
! Description
 
−
! Type
 
−
|-
 
−
| <math>\mathfrak{A}</math>
 
−
| <math>\lbrace\!</math>&nbsp;“<math>a_1\!</math>”&nbsp;<math>, \ldots,\!</math>&nbsp;“<math>a_n\!</math>”&nbsp;<math>\rbrace\!</math>
 
−
| Alphabet
 
−
| <math>[n] = \mathbf{n}</math>
 
−
|-
 
−
| <math>\mathcal{A}</math>
 
−
| <math>\{ a_1, \ldots, a_n \}</math>
 
−
| Basis
 
−
| <math>[n] = \mathbf{n}</math>
 
−
|-
 
−
| <math>A_i\!</math>
 
−
| <math>\{ \overline{a_i}, a_i \}\!</math>
 
−
| Dimension <math>i\!</math>
 
−
| <math>\mathbb{B}</math>
 
−
|-
 
−
| <math>A\!</math>
 
−
| <math>\langle \mathcal{A} \rangle</math><br>
 
−
<math>\langle a_1, \ldots, a_n \rangle</math><br>
 
−
<math>\{ (a_1, \ldots, a_n) \}\!</math>
 
−
<math>A_1 \times \ldots \times A_n</math><br>
 
−
<math>\textstyle \prod_i A_i\!</math>
 
−
| Set of cells,<br>
 
−
coordinate tuples,<br>
 
−
points, or vectors<br>
 
−
in the universe<br>
 
−
of discourse
 
−
| <math>\mathbb{B}^n</math>
 
−
|-
 
−
| <math>A^*\!</math>
 
−
| <math>(\operatorname{hom} : A \to \mathbb{B})</math>
 
−
| Linear functions
 
−
| <math>(\mathbb{B}^n)^* \cong \mathbb{B}^n</math>
 
−
|-
 
−
| <math>A^\uparrow</math>
 
−
| <math>(A \to \mathbb{B})</math>
 
−
| Boolean functions
 
−
| <math>\mathbb{B}^n \to \mathbb{B}</math>
 
−
|-
 
−
| <math>A^\circ</math>
 
−
| <math>[ \mathcal{A} ]</math><br>
 
−
<math>(A, A^\uparrow)</math><br>
 
−
<math>(A\ +\!\to \mathbb{B})</math><br>
 
−
<math>(A, (A \to \mathbb{B}))</math><br>
 
−
<math>[ a_1, \ldots, a_n ]</math>
 
−
| Universe of discourse<br>
 
−
based on the features<br>
 
−
<math>\{ a_1, \ldots, a_n \}</math>
 
−
| <math>(\mathbb{B}^n, (\mathbb{B}^n \to \mathbb{B}))</math><br>
 
−
<math>(\mathbb{B}^n\ +\!\to \mathbb{B})</math><br>
 
−
<math>[\mathbb{B}^n]</math>
 
−
|}
 
−
<br>
 
−
 
−
A proposition in the tangent universe [E<font face="lucida calligraphy">A</font>] is called a ''differential proposition'' and forms the analogue of a system of differential equations, constraints, or relations in ordinary calculus.
 
−
 
−
With these constructions, to be specific, the differential extension E''A'' and the differential proposition ''h''&nbsp;:&nbsp;E''A''&nbsp;&rarr;&nbsp;'''B''', we have arrived, in concept at least, at one of the major subgoals of this study.  At this juncture, I pause by way of summary to set another Table with the current crop of mathematical produce (Table 8).
 
−
 
−
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
 
−
|+ '''Table 8.  Notation for the Differential Extension of Propositional Calculus'''
 
−
|- style="background:paleturquoise"
 
−
! Symbol
 
−
! Notation
 
−
! Description
 
−
! Type
 
−
|-
 
−
| <math>\operatorname{d}\mathfrak{A}</math>
 
−
| <math>\lbrace\!</math>&nbsp;“<math>\operatorname{d}a_1</math>”&nbsp;<math>, \ldots,\!</math>&nbsp;“<math>\operatorname{d}a_n</math>”&nbsp;<math>\rbrace\!</math>
 
−
| Alphabet of<br>
 
−
differential<br>
 
−
symbols
 
−
| <math>[n] = \mathbf{n}</math>
 
−
|-
 
−
| <math>\operatorname{d}\mathcal{A}</math>
 
−
| <math>\{ \operatorname{d}a_1, \ldots, \operatorname{d}a_n \}</math>
 
−
| Basis of<br>
 
−
differential<br>
 
−
features
 
−
| <math>[n] = \mathbf{n}</math>
 
−
|-
 
−
| <math>\operatorname{d}A_i</math>
 
−
| <math>\{ \overline{\operatorname{d}a_i}, \operatorname{d}a_i \}</math>
 
−
| Differential<br>
 
−
dimension <math>i\!</math>
 
−
| <math>\mathbb{D}</math>
 
−
|-
 
−
| <math>\operatorname{d}A</math>
 
−
| <math>\langle \operatorname{d}\mathcal{A} \rangle</math><br>
 
−
<math>\langle \operatorname{d}a_1, \ldots, \operatorname{d}a_n \rangle</math><br>
 
−
<math>\{ (\operatorname{d}a_1, \ldots, \operatorname{d}a_n) \}</math><br>
 
−
<math>\operatorname{d}A_1 \times \ldots \times \operatorname{d}A_n</math><br>
 
−
<math>\textstyle \prod_i \operatorname{d}A_i</math>
 
−
| Tangent space<br>
 
−
at a point:<br>
 
−
Set of changes,<br>
 
−
motions, steps,<br>
 
−
tangent vectors<br>
 
−
at a point
 
−
| <math>\mathbb{D}^n</math>
 
−
|-
 
−
| <math>\operatorname{d}A^*</math>
 
−
| <math>(\operatorname{hom} : \operatorname{d}A \to \mathbb{B})</math>
 
−
| Linear functions<br>
 
−
on <math>\operatorname{d}A</math>
 
−
| <math>(\mathbb{D}^n)^* \cong \mathbb{D}^n</math>
 
−
|-
 
−
| <math>\operatorname{d}A^\uparrow</math>
 
−
| <math>(\operatorname{d}A \to \mathbb{B})</math>
 
−
| Boolean functions<br>
 
−
on <math>\operatorname{d}A</math>
 
−
| <math>\mathbb{D}^n \to \mathbb{B}</math>
 
−
|-
 
−
| <math>\operatorname{d}A^\circ</math>
 
−
| <math>[\operatorname{d}\mathcal{A}]</math><br>
 
−
<math>(\operatorname{d}A, \operatorname{d}A^\uparrow)</math><br>
 
−
<math>(\operatorname{d}A\ +\!\to \mathbb{B})</math><br>
 
−
<math>(\operatorname{d}A, (\operatorname{d}A \to \mathbb{B}))</math><br>
 
−
<math>[\operatorname{d}a_1, \ldots, \operatorname{d}a_n]</math>
 
−
| Tangent universe<br>
 
−
at a point of <math>A^\circ,</math><br>
 
−
based on the<br>
 
−
tangent features<br>
 
−
<math>\{ \operatorname{d}a_1, \ldots, \operatorname{d}a_n \}</math>
 
−
| <math>(\mathbb{D}^n, (\mathbb{D}^n \to \mathbb{B}))</math><br>
 
−
<math>(\mathbb{D}^n\ +\!\to \mathbb{B})</math><br>
 
−
<math>[\mathbb{D}^n]</math>
 
−
|}
 
−
<br>
 
−
 
−
=Archive 2=
 
−
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Propositional Forms on Two Variables'''
 
−
|- style="background:ghostwhite"
 
−
| style="width:16%" | <math>\mathcal{L}_1</math>
 
−
| style="width:16%" | <math>\mathcal{L}_2</math>
 
−
| style="width:16%" | <math>\mathcal{L}_3</math>
 
−
| style="width:16%" | <math>\mathcal{L}_4</math>
 
−
| style="width:16%" | <math>\mathcal{L}_5</math>
 
−
| style="width:16%" | <math>\mathcal{L}_6</math>
 
−
|- style="background:ghostwhite"
 
−
| &nbsp;
 
−
| align="right" | <math>x\!</math> :
 
−
| 1 1 0 0
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|- style="background:ghostwhite"
 
−
| &nbsp;
 
−
| align="right" | <math>y\!</math> :
 
−
| 1 0 1 0
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|-
 
−
| <math>f_{0}\!</math>
 
−
| <math>f_{0000}\!</math>
 
−
| 0 0 0 0
 
−
| <math>(~)\!</math>
 
−
| false
 
−
| <math>0\!</math>
 
−
|-
 
−
| <math>f_{1}\!</math>
 
−
| <math>f_{0001}\!</math>
 
−
| 0 0 0 1
 
−
| <math>(x)(y)\!</math>
 
−
| neither x nor y
 
−
| <math>\lnot x \land \lnot y\!</math>
 
−
|-
 
−
| <math>f_{2}\!</math>
 
−
| <math>f_{0010}\!</math>
 
−
| 0 0 1 0
 
−
| <math>(x)\ y\!</math>
 
−
| y and not x
 
−
| <math>\lnot x \land y\!</math>
 
−
|-
 
−
| <math>f_{3}\!</math>
 
−
| <math>f_{0011}\!</math>
 
−
| 0 0 1 1
 
−
| <math>(x)\!</math>
 
−
| not x
 
−
| <math>\lnot x\!</math>
 
−
|-
 
−
| <math>f_{4}\!</math>
 
−
| <math>f_{0100}\!</math>
 
−
| 0 1 0 0
 
−
| <math>x\ (y)\!</math>
 
−
| x and not y
 
−
| <math>x \land \lnot y\!</math>
 
−
|-
 
−
| <math>f_{5}\!</math>
 
−
| <math>f_{0101}\!</math>
 
−
| 0 1 0 1
 
−
| <math>(y)\!</math>
 
−
| not y
 
−
| <math>\lnot y\!</math>
 
−
|-
 
−
| <math>f_{6}\!</math>
 
−
| <math>f_{0110}\!</math>
 
−
| 0 1 1 0
 
−
| <math>(x,\ y)\!</math>
 
−
| x not equal to y
 
−
| <math>x \ne y\!</math>
 
−
|-
 
−
| <math>f_{7}\!</math>
 
−
| <math>f_{0111}\!</math>
 
−
| 0 1 1 1
 
−
| <math>(x\ y)\!</math>
 
−
| not both x and y
 
−
| <math>\lnot x \lor \lnot y\!</math>
 
−
|-
 
−
| <math>f_{8}\!</math>
 
−
| <math>f_{1000}\!</math>
 
−
| 1 0 0 0
 
−
| <math>x\ y\!</math>
 
−
| x and y
 
−
| <math>x \land y\!</math>
 
−
|-
 
−
| <math>f_{9}\!</math>
 
−
| <math>f_{1001}\!</math>
 
−
| 1 0 0 1
 
−
| <math>((x,\ y))\!</math>
 
−
| x equal to y
 
−
| <math>x = y\!</math>
 
−
|-
 
−
| <math>f_{10}\!</math>
 
−
| <math>f_{1010}\!</math>
 
−
| 1 0 1 0
 
−
| <math>y\!</math>
 
−
| y
 
−
| <math>y\!</math>
 
−
|-
 
−
| <math>f_{11}\!</math>
 
−
| <math>f_{1011}\!</math>
 
−
| 1 0 1 1
 
−
| <math>(x\ (y))\!</math>
 
−
| not x without y
 
−
| <math>x \Rightarrow y\!</math>
 
−
|-
 
−
| <math>f_{12}\!</math>
 
−
| <math>f_{1100}\!</math>
 
−
| 1 1 0 0
 
−
| <math>x\!</math>
 
−
| x
 
−
| <math>x\!</math>
 
−
|-
 
−
| <math>f_{13}\!</math>
 
−
| <math>f_{1101}\!</math>
 
−
| 1 1 0 1
 
−
| <math>((x)\ y)\!</math>
 
−
| not y without x
 
−
| <math>x \Leftarrow y\!</math>
 
−
|-
 
−
| <math>f_{14}\!</math>
 
−
| <math>f_{1110}\!</math>
 
−
| 1 1 1 0
 
−
| <math>((x)(y))\!</math>
 
−
| x or y
 
−
| <math>x \lor y\!</math>
 
−
|-
 
−
| <math>f_{15}\!</math>
 
−
| <math>f_{1111}\!</math>
 
−
| 1 1 1 1
 
−
| <math>((~))\!</math>
 
−
| true
 
−
| <math>1\!</math>
 
−
|}
 
−
<br>
 
−
 
−
=Archive 3=
 
−
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Propositional Forms on Two Variables'''
 
−
|- style="background:ghostwhite"
 
−
| style="width:16%" | <math>\mathcal{L}_1</math>
 
−
| style="width:16%" | <math>\mathcal{L}_2</math>
 
−
| style="width:16%" | <math>\mathcal{L}_3</math>
 
−
| style="width:16%" | <math>\mathcal{L}_4</math>
 
−
| style="width:16%" | <math>\mathcal{L}_5</math>
 
−
| style="width:16%" | <math>\mathcal{L}_6</math>
 
−
|- style="background:ghostwhite"
 
−
| &nbsp;
 
−
| align="right" | <math>x\!</math> :
 
−
| 1 1 0 0
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|- style="background:ghostwhite"
 
−
| &nbsp;
 
−
| align="right" | <math>y\!</math> :
 
−
| 1 0 1 0
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|-
 
−
| <math>f_{0}\!</math>
 
−
| <math>f_{0000}\!</math>
 
−
| 0 0 0 0
 
−
| <math>(\!|~|\!)</math>
 
−
| false
 
−
| <math>0\!</math>
 
−
|-
 
−
| <math>f_{1}\!</math>
 
−
| <math>f_{0001}\!</math>
 
−
| 0 0 0 1
 
−
| <math>(\!|x|\!)(\!|y|\!)</math>
 
−
| neither x nor y
 
−
| <math>\lnot x \land \lnot y</math>
 
−
|-
 
−
| <math>f_{2}\!</math>
 
−
| <math>f_{0010}\!</math>
 
−
| 0 0 1 0
 
−
| <math>(\!|x|\!)\ y</math>
 
−
| y and not x
 
−
| <math>\lnot x \land y</math>
 
−
|-
 
−
| <math>f_{3}\!</math>
 
−
| <math>f_{0011}\!</math>
 
−
| 0 0 1 1
 
−
| <math>(\!|x|\!)</math>
 
−
| not x
 
−
| <math>\lnot x</math>
 
−
|-
 
−
| <math>f_{4}\!</math>
 
−
| <math>f_{0100}\!</math>
 
−
| 0 1 0 0
 
−
| <math>x\ (\!|y|\!)</math>
 
−
| x and not y
 
−
| <math>x \land \lnot y</math>
 
−
|-
 
−
| <math>f_{5}\!</math>
 
−
| <math>f_{0101}\!</math>
 
−
| 0 1 0 1
 
−
| <math>(\!|y|\!)</math>
 
−
| not y
 
−
| <math>\lnot y</math>
 
−
|-
 
−
| <math>f_{6}\!</math>
 
−
| <math>f_{0110}\!</math>
 
−
| 0 1 1 0
 
−
| <math>(\!|x,\ y|\!)</math>
 
−
| x not equal to y
 
−
| <math>x \ne y</math>
 
−
|-
 
−
| <math>f_{7}\!</math>
 
−
| <math>f_{0111}\!</math>
 
−
| 0 1 1 1
 
−
| <math>(\!|x\ y|\!)</math>
 
−
| not both x and y
 
−
| <math>\lnot x \lor \lnot y</math>
 
−
|-
 
−
| <math>f_{8}\!</math>
 
−
| <math>f_{1000}\!</math>
 
−
| 1 0 0 0
 
−
| <math>x\ y</math>
 
−
| x and y
 
−
| <math>x \land y</math>
 
−
|-
 
−
| <math>f_{9}\!</math>
 
−
| <math>f_{1001}\!</math>
 
−
| 1 0 0 1
 
−
| <math>(\!|(\!|x,\ y|\!)|\!)</math>
 
−
| x equal to y
 
−
| <math>x = y\!</math>
 
−
|-
 
−
| <math>f_{10}\!</math>
 
−
| <math>f_{1010}\!</math>
 
−
| 1 0 1 0
 
−
| <math>y\!</math>
 
−
| y
 
−
| <math>y\!</math>
 
−
|-
 
−
| <math>f_{11}\!</math>
 
−
| <math>f_{1011}\!</math>
 
−
| 1 0 1 1
 
−
| <math>(\!|x\ (\!|y|\!)|\!)</math>
 
−
| not x without y
 
−
| <math>x \Rightarrow y</math>
 
−
|-
 
−
| <math>f_{12}\!</math>
 
−
| <math>f_{1100}\!</math>
 
−
| 1 1 0 0
 
−
| <math>x\!</math>
 
−
| x
 
−
| <math>x\!</math>
 
−
|-
 
−
| <math>f_{13}\!</math>
 
−
| <math>f_{1101}\!</math>
 
−
| 1 1 0 1
 
−
| <math>(\!|(\!|x|\!)\ y|\!)</math>
 
−
| not y without x
 
−
| <math>x \Leftarrow y</math>
 
−
|-
 
−
| <math>f_{14}\!</math>
 
−
| <math>f_{1110}\!</math>
 
−
| 1 1 1 0
 
−
| <math>(\!|(\!|x|\!)(\!|y|\!)|\!)</math>
 
−
| x or y
 
−
| <math>x \lor y</math>
 
−
|-
 
−
| <math>f_{15}\!</math>
 
−
| <math>f_{1111}\!</math>
 
−
| 1 1 1 1
 
−
| <math>(\!|(\!|~|\!)|\!)</math>
 
−
| true
 
−
| <math>1\!</math>
 
−
|}
 
−
<br>
 
−
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''<math>\operatorname{E}f</math> Expanded Over Ordinary Features <math>\{ x, y \}\!</math>'''
 
−
|- style="background:ghostwhite"
 
−
| style="width:16%" | &nbsp;
 
−
| style="width:16%" | <math>f\!</math>
 
−
| style="width:16%" | <math>\operatorname{E}f|_{xy}</math>
 
−
| style="width:16%" | <math>\operatorname{E}f|_{x(\!|y|\!)}</math>
 
−
| style="width:16%" | <math>\operatorname{E}f|_{(\!|x|\!)y}</math>
 
−
| style="width:16%" | <math>\operatorname{E}f|_{(\!|x|\!)(\!|y|\!)}</math>
 
−
|-
 
−
| <math>f_{0}\!</math>
 
−
| <math>(\!|~|\!)</math>
 
−
| <math>(\!|~|\!)</math>
 
−
| <math>(\!|~|\!)</math>
 
−
| <math>(\!|~|\!)</math>
 
−
| <math>(\!|~|\!)</math>
 
−
|-
 
−
| <math>f_{1}\!</math>
 
−
| <math>(\!|x|\!)(\!|y|\!)</math>
 
−
| <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
| <math>\operatorname{d}x (\!|\operatorname{d}y|\!)</math>
 
−
| <math>(\!|\operatorname{d}x|\!) \operatorname{d}y</math>
 
−
| <math>(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)</math>
 
−
|-
 
−
| <math>f_{2}\!</math>
 
−
| <math>(\!|x|\!) y</math>
 
−
| <math>\operatorname{d}x (\!|\operatorname{d}y|\!)</math>
 
−
| <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
| <math>(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)</math>
 
−
| <math>(\!|\operatorname{d}x|\!) \operatorname{d}y</math>
 
−
|-
 
−
| <math>f_{4}\!</math>
 
−
| <math>x (\!|y|\!)</math>
 
−
| <math>(\!|\operatorname{d}x|\!) \operatorname{d}y</math>
 
−
| <math>(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)</math>
 
−
| <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
| <math>\operatorname{d}x (\!|\operatorname{d}y|\!)</math>
 
−
|-
 
−
| <math>f_{8}\!</math>
 
−
| <math>x y\!</math>
 
−
| <math>(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)</math>
 
−
| <math>(\!|\operatorname{d}x|\!) \operatorname{d}y</math>
 
−
| <math>\operatorname{d}x (\!|\operatorname{d}y|\!)</math>
 
−
| <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|-
 
−
| <math>f_{3}\!</math>
 
−
| <math>(\!|x|\!)</math>
 
−
| <math>\operatorname{d}x</math>
 
−
| <math>\operatorname{d}x</math>
 
−
| <math>(\!|\operatorname{d}x|\!)</math>
 
−
| <math>(\!|\operatorname{d}x|\!)</math>
 
−
|-
 
−
| <math>f_{12}\!</math>
 
−
| <math>x\!</math>
 
−
| <math>(\!|\operatorname{d}x|\!)</math>
 
−
| <math>(\!|\operatorname{d}x|\!)</math>
 
−
| <math>\operatorname{d}x</math>
 
−
| <math>\operatorname{d}x</math>
 
−
|-
 
−
| <math>f_{6}\!</math>
 
−
| <math>(\!|x, y|\!)</math>
 
−
| <math>(\!|\operatorname{d}x, \operatorname{d}y|\!)</math>
 
−
| <math>(\!|(\!|\operatorname{d}x, \operatorname{d}y|\!)|\!)</math>
 
−
| <math>(\!|(\!|\operatorname{d}x, \operatorname{d}y|\!)|\!)</math>
 
−
| <math>(\!|\operatorname{d}x, \operatorname{d}y|\!)</math>
 
−
|-
 
−
| <math>f_{9}\!</math>
 
−
| <math>(\!|(\!|x, y|\!)|\!)</math>
 
−
| <math>(\!|(\!|\operatorname{d}x, \operatorname{d}y|\!)|\!)</math>
 
−
| <math>(\!|\operatorname{d}x, \operatorname{d}y|\!)</math>
 
−
| <math>(\!|\operatorname{d}x, \operatorname{d}y|\!)</math>
 
−
| <math>(\!|(\!|\operatorname{d}x, \operatorname{d}y|\!)|\!)</math>
 
−
|-
 
−
| <math>f_{5}\!</math>
 
−
| <math>(\!|y|\!)</math>
 
−
| <math>\operatorname{d}y</math>
 
−
| <math>(\!|\operatorname{d}y|\!)</math>
 
−
| <math>\operatorname{d}y</math>
 
−
| <math>(\!|\operatorname{d}y|\!)</math>
 
−
|-
 
−
| <math>f_{10}\!</math>
 
−
| <math>y\!</math>
 
−
| <math>(\!|\operatorname{d}y|\!)</math>
 
−
| <math>\operatorname{d}y</math>
 
−
| <math>(\!|\operatorname{d}y|\!)</math>
 
−
| <math>\operatorname{d}y</math>
 
−
|-
 
−
| <math>f_{7}\!</math>
 
−
| <math>(\!|x y|\!)</math>
 
−
| <math>(\!|(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)|\!)</math>
 
−
| <math>(\!|(\!|\operatorname{d}x|\!) \operatorname{d}y|\!)</math>
 
−
| <math>(\!|\operatorname{d}x (\!|\operatorname{d}y|\!)|\!)</math>
 
−
| <math>(\!|\operatorname{d}x\ \operatorname{d}y|\!)</math>
 
−
|-
 
−
| <math>f_{11}\!</math>
 
−
| <math>(\!|x (\!|y|\!)|\!)</math>
 
−
| <math>(\!|(\!|\operatorname{d}x|\!) \operatorname{d}y|\!)</math>
 
−
| <math>(\!|(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)|\!)</math>
 
−
| <math>(\!|\operatorname{d}x\ \operatorname{d}y|\!)</math>
 
−
| <math>(\!|\operatorname{d}x (\!|\operatorname{d}y|\!)|\!)</math>
 
−
|-
 
−
| <math>f_{13}\!</math>
 
−
| <math>(\!|(\!|x|\!) y|\!)</math>
 
−
| <math>(\!|\operatorname{d}x (\!|\operatorname{d}y|\!)|\!)</math>
 
−
| <math>(\!|\operatorname{d}x\ \operatorname{d}y|\!)</math>
 
−
| <math>(\!|(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)|\!)</math>
 
−
| <math>(\!|(\!|\operatorname{d}x|\!) \operatorname{d}y|\!)</math>
 
−
|-
 
−
| <math>f_{14}\!</math>
 
−
| <math>(\!|(\!|x|\!)(\!|y|\!)|\!)</math>
 
−
| <math>(\!|\operatorname{d}x\ \operatorname{d}y|\!)</math>
 
−
| <math>(\!|\operatorname{d}x (\!|\operatorname{d}y|\!)|\!)</math>
 
−
| <math>(\!|(\!|\operatorname{d}x|\!) \operatorname{d}y|\!)</math>
 
−
| <math>(\!|(\!|\operatorname{d}x|\!)(\!|\operatorname{d}y|\!)|\!)</math>
 
−
|-
 
−
| <math>f_{15}\!</math>
 
−
| <math>(\!|(\!|~|\!)|\!)</math>
 
−
| <math>(\!|(\!|~|\!)|\!)</math>
 
−
| <math>(\!|(\!|~|\!)|\!)</math>
 
−
| <math>(\!|(\!|~|\!)|\!)</math>
 
−
| <math>(\!|(\!|~|\!)|\!)</math>
 
−
|}
 
−
<br>
 
−
 
−
=Archive 4=
 
−
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Table 1.  Propositional Forms on Two Variables'''
 
−
|- style="background:ghostwhite"
 
−
| <math>\mathcal{L}_1</math>
 
−
| <math>\mathcal{L}_2</math>
 
−
| <math>\mathcal{L}_3</math>
 
−
| <math>\mathcal{L}_4</math>
 
−
| <math>\mathcal{L}_5</math>
 
−
| <math>\mathcal{L}_6</math>
 
−
|- style="background:ghostwhite"
 
−
| &nbsp;
 
−
| align="right" | <math>x\!</math> :
 
−
| 1 1 0 0
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|- style="background:ghostwhite"
 
−
| &nbsp;
 
−
| align="right" | <math>y\!</math> :
 
−
| 1 0 1 0
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|-
 
−
| <math>f_{0}\!</math>
 
−
| <math>f_{0000}\!</math>
 
−
| 0 0 0 0
 
−
| <math>(~)\!</math>
 
−
| <math>\operatorname{false}</math>
 
−
| <math>0\!</math>
 
−
|-
 
−
| <math>f_{1}\!</math>
 
−
| <math>f_{0001}\!</math>
 
−
| 0 0 0 1
 
−
| <math>(x)(y)\!</math>
 
−
| <math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math>
 
−
| <math>\lnot x \land \lnot y\!</math>
 
−
|-
 
−
| <math>f_{2}\!</math>
 
−
| <math>f_{0010}\!</math>
 
−
| 0 0 1 0
 
−
| <math>(x)\ y\!</math>
 
−
| <math>y\ \operatorname{without}\ x</math>
 
−
| <math>\lnot x \land y\!</math>
 
−
|-
 
−
| <math>f_{3}\!</math>
 
−
| <math>f_{0011}\!</math>
 
−
| 0 0 1 1
 
−
| <math>(x)\!</math>
 
−
| <math>\operatorname{not}\ x</math>
 
−
| <math>\lnot x\!</math>
 
−
|-
 
−
| <math>f_{4}\!</math>
 
−
| <math>f_{0100}\!</math>
 
−
| 0 1 0 0
 
−
| <math>x\ (y)\!</math>
 
−
| <math>x\ \operatorname{without}\ y</math>
 
−
| <math>x \land \lnot y\!</math>
 
−
|-
 
−
| <math>f_{5}\!</math>
 
−
| <math>f_{0101}\!</math>
 
−
| 0 1 0 1
 
−
| <math>(y)\!</math>
 
−
| <math>\operatorname{not}\ y</math>
 
−
| <math>\lnot y\!</math>
 
−
|-
 
−
| <math>f_{6}\!</math>
 
−
| <math>f_{0110}\!</math>
 
−
| 0 1 1 0
 
−
| <math>(x,\ y)\!</math>
 
−
| <math>x\ \operatorname{not~equal~to}\ y</math>
 
−
| <math>x \ne y\!</math>
 
−
|-
 
−
| <math>f_{7}\!</math>
 
−
| <math>f_{0111}\!</math>
 
−
| 0 1 1 1
 
−
| <math>(x\ y)\!</math>
 
−
| <math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math>
 
−
| <math>\lnot x \lor \lnot y\!</math>
 
−
|-
 
−
| <math>f_{8}\!</math>
 
−
| <math>f_{1000}\!</math>
 
−
| 1 0 0 0
 
−
| <math>x\ y\!</math>
 
−
| <math>x\ \operatorname{and}\ y</math>
 
−
| <math>x \land y\!</math>
 
−
|-
 
−
| <math>f_{9}\!</math>
 
−
| <math>f_{1001}\!</math>
 
−
| 1 0 0 1
 
−
| <math>((x,\ y))\!</math>
 
−
| <math>x\ \operatorname{equal~to}\ y</math>
 
−
| <math>x = y\!</math>
 
−
|-
 
−
| <math>f_{10}\!</math>
 
−
| <math>f_{1010}\!</math>
 
−
| 1 0 1 0
 
−
| <math>y\!</math>
 
−
| <math>y\!</math>
 
−
| <math>y\!</math>
 
−
|-
 
−
| <math>f_{11}\!</math>
 
−
| <math>f_{1011}\!</math>
 
−
| 1 0 1 1
 
−
| <math>(x\ (y))\!</math>
 
−
| <math>\operatorname{not}\ x\ \operatorname{without}\ y</math>
 
−
| <math>x \Rightarrow y\!</math>
 
−
|-
 
−
| <math>f_{12}\!</math>
 
−
| <math>f_{1100}\!</math>
 
−
| 1 1 0 0
 
−
| <math>x\!</math>
 
−
| <math>x\!</math>
 
−
| <math>x\!</math>
 
−
|-
 
−
| <math>f_{13}\!</math>
 
−
| <math>f_{1101}\!</math>
 
−
| 1 1 0 1
 
−
| <math>((x)\ y)\!</math>
 
−
| <math>\operatorname{not}\ y\ \operatorname{without}\ x</math>
 
−
| <math>x \Leftarrow y\!</math>
 
−
|-
 
−
| <math>f_{14}\!</math>
 
−
| <math>f_{1110}\!</math>
 
−
| 1 1 1 0
 
−
| <math>((x)(y))\!</math>
 
−
| <math>x\ \operatorname{or}\ y</math>
 
−
| <math>x \lor y\!</math>
 
−
|-
 
−
| <math>f_{15}\!</math>
 
−
| <math>f_{1111}\!</math>
 
−
| 1 1 1 1
 
−
| <math>((~))\!</math>
 
−
| <math>\operatorname{true}</math>
 
−
| <math>1\!</math>
 
−
|}
 
−
<br>
 
−
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Table 2.  Propositional Forms on Two Variables'''
 
−
|- style="background:ghostwhite"
 
−
| <math>\mathcal{L}_1</math>
 
−
| <math>\mathcal{L}_2</math>
 
−
| <math>\mathcal{L}_3</math>
 
−
| <math>\mathcal{L}_4</math>
 
−
| <math>\mathcal{L}_5</math>
 
−
| <math>\mathcal{L}_6</math>
 
−
|- style="background:ghostwhite"
 
−
| <p>&nbsp;</p>
 
−
| align="right" | <p><math>x\!</math> :</p>
 
−
| <p>1 1 0 0</p>
 
−
| <p>&nbsp;</p>
 
−
| <p>&nbsp;</p>
 
−
| <p>&nbsp;</p>
 
−
|- style="background:ghostwhite"
 
−
| <p>&nbsp;</p>
 
−
| align="right" | <p><math>y\!</math> :</p>
 
−
| <p>1 0 1 0</p>
 
−
| <p>&nbsp;</p>
 
−
| <p>&nbsp;</p>
 
−
| <p>&nbsp;</p>
 
−
|-
 
−
| <p><math>f_{0}\!</math></p>
 
−
| <p><math>f_{0000}\!</math></p>
 
−
| <p>0 0 0 0</p>
 
−
| <p><math>(~)\!</math></p>
 
−
| <p><math>\operatorname{false}</math></p>
 
−
| <p><math>0\!</math></p>
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{1}\!</math></p>
 
−
<p><math>f_{2}\!</math></p>
 
−
<p><math>f_{4}\!</math></p>
 
−
<p><math>f_{8}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{0001}\!</math></p>
 
−
<p><math>f_{0010}\!</math></p>
 
−
<p><math>f_{0100}\!</math></p>
 
−
<p><math>f_{1000}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p>0 0 0 1</p>
 
−
<p>0 0 1 0</p>
 
−
<p>0 1 0 0</p>
 
−
<p>1 0 0 0</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>(x)(y)\!</math></p>
 
−
<p><math>(x)\ y\!</math></p>
 
−
<p><math>x\ (y)\!</math></p>
 
−
<p><math>x\ y\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math></p>
 
−
<p><math>y\ \operatorname{without}\ x</math></p>
 
−
<p><math>x\ \operatorname{without}\ y</math></p>
 
−
<p><math>x\ \operatorname{and}\ y</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\lnot x \land \lnot y</math></p>
 
−
<p><math>\lnot x \land y</math></p>
 
−
<p><math>x \land \lnot y</math></p>
 
−
<p><math>x \land y</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{3}\!</math></p>
 
−
<p><math>f_{12}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{0011}\!</math></p>
 
−
<p><math>f_{1100}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p>0 0 1 1</p>
 
−
<p>1 1 0 0</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>(x)\!</math></p>
 
−
<p><math>x\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\operatorname{not}\ x</math></p>
 
−
<p><math>x\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\lnot x</math></p>
 
−
<p><math>x\!</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{6}\!</math></p>
 
−
<p><math>f_{9}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{0110}\!</math></p>
 
−
<p><math>f_{1001}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p>0 1 1 0</p>
 
−
<p>1 0 0 1</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>(x,\ y)\!</math></p>
 
−
<p><math>((x,\ y))\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>x\ \operatorname{not~equal~to}\ y</math></p>
 
−
<p><math>x\ \operatorname{equal~to}\ y</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>x \ne y</math></p>
 
−
<p><math>x = y\!</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{5}\!</math></p>
 
−
<p><math>f_{10}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{0101}\!</math></p>
 
−
<p><math>f_{1010}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p>0 1 0 1</p>
 
−
<p>1 0 1 0</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>(y)\!</math></p>
 
−
<p><math>y\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\operatorname{not}\ y</math></p>
 
−
<p><math>y\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\lnot y</math></p>
 
−
<p><math>y\!</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{7}\!</math></p>
 
−
<p><math>f_{11}\!</math></p>
 
−
<p><math>f_{13}\!</math></p>
 
−
<p><math>f_{14}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{0111}\!</math></p>
 
−
<p><math>f_{1011}\!</math></p>
 
−
<p><math>f_{1101}\!</math></p>
 
−
<p><math>f_{1110}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p>0 1 1 1</p>
 
−
<p>1 0 1 1</p>
 
−
<p>1 1 0 1</p>
 
−
<p>1 1 1 0</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>(x\ y)\!</math></p>
 
−
<p><math>(x\ (y))\!</math></p>
 
−
<p><math>((x)\ y)\!</math></p>
 
−
<p><math>((x)(y))\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math></p>
 
−
<p><math>\operatorname{not}\ x\ \operatorname{without}\ y</math></p>
 
−
<p><math>\operatorname{not}\ y\ \operatorname{without}\ x</math></p>
 
−
<p><math>x\ \operatorname{or}\ y</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\lnot x \lor \lnot y</math></p>
 
−
<p><math>x \Rightarrow y</math></p>
 
−
<p><math>x \Leftarrow y</math></p>
 
−
<p><math>x \lor y</math></p>
 
−
|}
 
−
|-
 
−
| <p><math>f_{15}\!</math></p>
 
−
| <p><math>f_{1111}\!</math></p>
 
−
| <p>1 1 1 1</p>
 
−
| <p><math>((~))\!</math></p>
 
−
| <p><math>\operatorname{true}</math></p>
 
−
| <p><math>1\!</math></p>
 
−
|}
 
−
<br>
 
−
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Table 2.  Propositional Forms on Two Variables'''
 
−
|- style="background:ghostwhite"
 
−
| <math>\mathcal{L}_1</math>
 
−
| <math>\mathcal{L}_2</math>
 
−
| <math>\mathcal{L}_3</math>
 
−
| <math>\mathcal{L}_4</math>
 
−
| <math>\mathcal{L}_5</math>
 
−
| <math>\mathcal{L}_6</math>
 
−
|- style="background:ghostwhite"
 
−
| <p>&nbsp;</p>
 
−
| align="right" | <p><math>x\!</math> :</p>
 
−
| <p>1 1 0 0</p>
 
−
| <p>&nbsp;</p>
 
−
| <p>&nbsp;</p>
 
−
| <p>&nbsp;</p>
 
−
|- style="background:ghostwhite"
 
−
| <p>&nbsp;</p>
 
−
| align="right" | <p><math>y\!</math> :</p>
 
−
| <p>1 0 1 0</p>
 
−
| <p>&nbsp;</p>
 
−
| <p>&nbsp;</p>
 
−
| <p>&nbsp;</p>
 
−
|-
 
−
| <p><math>f_{0}\!</math></p>
 
−
| <p><math>f_{0000}\!</math></p>
 
−
| <p>0 0 0 0</p>
 
−
| <p><math>(~)\!</math></p>
 
−
| <p><math>\operatorname{false}</math></p>
 
−
| <p><math>0\!</math></p>
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{1}\!</math></p><br>
 
−
<p><math>f_{2}\!</math></p><br>
 
−
<p><math>f_{4}\!</math></p><br>
 
−
<p><math>f_{8}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{0001}\!</math></p><br>
 
−
<p><math>f_{0010}\!</math></p><br>
 
−
<p><math>f_{0100}\!</math></p><br>
 
−
<p><math>f_{1000}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p>0 0 0 1</p><br>
 
−
<p>0 0 1 0</p><br>
 
−
<p>0 1 0 0</p><br>
 
−
<p>1 0 0 0</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>(x)(y)\!</math></p><br>
 
−
<p><math>(x)\ y\!</math></p><br>
 
−
<p><math>x\ (y)\!</math></p><br>
 
−
<p><math>x\ y\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math></p><br>
 
−
<p><math>y\ \operatorname{without}\ x</math></p><br>
 
−
<p><math>x\ \operatorname{without}\ y</math></p><br>
 
−
<p><math>x\ \operatorname{and}\ y</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\lnot x \land \lnot y</math></p><br>
 
−
<p><math>\lnot x \land y</math></p><br>
 
−
<p><math>x \land \lnot y</math></p><br>
 
−
<p><math>x \land y</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{3}\!</math></p><br>
 
−
<p><math>f_{12}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{0011}\!</math></p><br>
 
−
<p><math>f_{1100}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p>0 0 1 1</p><br>
 
−
<p>1 1 0 0</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>(x)\!</math></p><br>
 
−
<p><math>x\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\operatorname{not}\ x</math></p><br>
 
−
<p><math>x\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\lnot x</math></p><br>
 
−
<p><math>x\!</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{6}\!</math></p><br>
 
−
<p><math>f_{9}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{0110}\!</math></p><br>
 
−
<p><math>f_{1001}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p>0 1 1 0</p><br>
 
−
<p>1 0 0 1</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>(x,\ y)\!</math></p><br>
 
−
<p><math>((x,\ y))\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>x\ \operatorname{not~equal~to}\ y</math></p><br>
 
−
<p><math>x\ \operatorname{equal~to}\ y</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>x \ne y</math></p><br>
 
−
<p><math>x = y\!</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{5}\!</math></p><br>
 
−
<p><math>f_{10}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{0101}\!</math></p><br>
 
−
<p><math>f_{1010}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p>0 1 0 1</p><br>
 
−
<p>1 0 1 0</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>(y)\!</math></p><br>
 
−
<p><math>y\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\operatorname{not}\ y</math></p><br>
 
−
<p><math>y\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\lnot y</math></p><br>
 
−
<p><math>y\!</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{7}\!</math></p><br>
 
−
<p><math>f_{11}\!</math></p><br>
 
−
<p><math>f_{13}\!</math></p><br>
 
−
<p><math>f_{14}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>f_{0111}\!</math></p><br>
 
−
<p><math>f_{1011}\!</math></p><br>
 
−
<p><math>f_{1101}\!</math></p><br>
 
−
<p><math>f_{1110}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p>0 1 1 1</p><br>
 
−
<p>1 0 1 1</p><br>
 
−
<p>1 1 0 1</p><br>
 
−
<p>1 1 1 0</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>(x\ y)\!</math></p><br>
 
−
<p><math>(x\ (y))\!</math></p><br>
 
−
<p><math>((x)\ y)\!</math></p><br>
 
−
<p><math>((x)(y))\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math></p><br>
 
−
<p><math>\operatorname{not}\ x\ \operatorname{without}\ y</math></p><br>
 
−
<p><math>\operatorname{not}\ y\ \operatorname{without}\ x</math></p><br>
 
−
<p><math>x\ \operatorname{or}\ y</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|
 
−
<p><math>\lnot x \lor \lnot y</math></p><br>
 
−
<p><math>x \Rightarrow y</math></p><br>
 
−
<p><math>x \Leftarrow y</math></p><br>
 
−
<p><math>x \lor y</math></p>
 
−
|}
 
−
|-
 
−
| <p><math>f_{15}\!</math></p>
 
−
| <p><math>f_{1111}\!</math></p>
 
−
| <p>1 1 1 1</p>
 
−
| <p><math>((~))\!</math></p>
 
−
| <p><math>\operatorname{true}</math></p>
 
−
| <p><math>1\!</math></p>
 
−
|}
 
−
<br>
 
−
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Table 3.  <math>\operatorname{E}f</math> Expanded Over Ordinary Features <math>\{ x, y \}\!</math>'''
 
−
|- style="background:ghostwhite; height:36px"
 
−
| &nbsp;
 
−
| <math>f\!</math>
 
−
| <math>\operatorname{E}f|_{xy}</math>
 
−
| <math>\operatorname{E}f|_{x(y)}</math>
 
−
| <math>\operatorname{E}f|_{(x)y}</math>
 
−
| <math>\operatorname{E}f|_{(x)(y)}</math>
 
−
|-
 
−
| <math>f_{0}\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
|-
 
−
| <math>f_{1}\!</math>
 
−
| <math>(x)(y)\!</math>
 
−
| <math>\operatorname{d}x\ \operatorname{d}y\!</math>
 
−
| <math>\operatorname{d}x (\operatorname{d}y)\!</math>
 
−
| <math>(\operatorname{d}x) \operatorname{d}y\!</math>
 
−
| <math>(\operatorname{d}x)(\operatorname{d}y)\!</math>
 
−
|-
 
−
| <math>f_{2}\!</math>
 
−
| <math>(x) y\!</math>
 
−
| <math>\operatorname{d}x (\operatorname{d}y)\!</math>
 
−
| <math>\operatorname{d}x\ \operatorname{d}y\!</math>
 
−
| <math>(\operatorname{d}x)(\operatorname{d}y)\!</math>
 
−
| <math>(\operatorname{d}x) \operatorname{d}y\!</math>
 
−
|-
 
−
| <math>f_{4}\!</math>
 
−
| <math>x (y)\!</math>
 
−
| <math>(\operatorname{d}x) \operatorname{d}y\!</math>
 
−
| <math>(\operatorname{d}x)(\operatorname{d}y)\!</math>
 
−
| <math>\operatorname{d}x\ \operatorname{d}y\!</math>
 
−
| <math>\operatorname{d}x (\operatorname{d}y)\!</math>
 
−
|-
 
−
| <math>f_{8}\!</math>
 
−
| <math>x y\!</math>
 
−
| <math>(\operatorname{d}x)(\operatorname{d}y)\!</math>
 
−
| <math>(\operatorname{d}x) \operatorname{d}y\!</math>
 
−
| <math>\operatorname{d}x (\operatorname{d}y)\!</math>
 
−
| <math>\operatorname{d}x\ \operatorname{d}y\!</math>
 
−
|-
 
−
| <math>f_{3}\!</math>
 
−
| <math>(x)\!</math>
 
−
| <math>\operatorname{d}x\!</math>
 
−
| <math>\operatorname{d}x\!</math>
 
−
| <math>(\operatorname{d}x)\!</math>
 
−
| <math>(\operatorname{d}x)\!</math>
 
−
|-
 
−
| <math>f_{12}\!</math>
 
−
| <math>x\!</math>
 
−
| <math>(\operatorname{d}x)\!</math>
 
−
| <math>(\operatorname{d}x)\!</math>
 
−
| <math>\operatorname{d}x\!</math>
 
−
| <math>\operatorname{d}x\!</math>
 
−
|-
 
−
| <math>f_{6}\!</math>
 
−
| <math>(x, y)\!</math>
 
−
| <math>(\operatorname{d}x, \operatorname{d}y)\!</math>
 
−
| <math>((\operatorname{d}x, \operatorname{d}y))\!</math>
 
−
| <math>((\operatorname{d}x, \operatorname{d}y))\!</math>
 
−
| <math>(\operatorname{d}x, \operatorname{d}y)\!</math>
 
−
|-
 
−
| <math>f_{9}\!</math>
 
−
| <math>((x, y))\!</math>
 
−
| <math>((\operatorname{d}x, \operatorname{d}y))\!</math>
 
−
| <math>(\operatorname{d}x, \operatorname{d}y)\!</math>
 
−
| <math>(\operatorname{d}x, \operatorname{d}y)\!</math>
 
−
| <math>((\operatorname{d}x, \operatorname{d}y))\!</math>
 
−
|-
 
−
| <math>f_{5}\!</math>
 
−
| <math>(y)\!</math>
 
−
| <math>\operatorname{d}y\!</math>
 
−
| <math>(\operatorname{d}y)\!</math>
 
−
| <math>\operatorname{d}y\!</math>
 
−
| <math>(\operatorname{d}y)\!</math>
 
−
|-
 
−
| <math>f_{10}\!</math>
 
−
| <math>y\!</math>
 
−
| <math>(\operatorname{d}y)\!</math>
 
−
| <math>\operatorname{d}y\!</math>
 
−
| <math>(\operatorname{d}y)\!</math>
 
−
| <math>\operatorname{d}y\!</math>
 
−
|-
 
−
| <math>f_{7}\!</math>
 
−
| <math>(x y)\!</math>
 
−
| <math>((\operatorname{d}x)(\operatorname{d}y))\!</math>
 
−
| <math>((\operatorname{d}x) \operatorname{d}y)\!</math>
 
−
| <math>(\operatorname{d}x (\operatorname{d}y))\!</math>
 
−
| <math>(\operatorname{d}x\ \operatorname{d}y)\!</math>
 
−
|-
 
−
| <math>f_{11}\!</math>
 
−
| <math>(x (y))\!</math>
 
−
| <math>((\operatorname{d}x) \operatorname{d}y)\!</math>
 
−
| <math>((\operatorname{d}x)(\operatorname{d}y))\!</math>
 
−
| <math>(\operatorname{d}x\ \operatorname{d}y)\!</math>
 
−
| <math>(\operatorname{d}x (\operatorname{d}y))\!</math>
 
−
|-
 
−
| <math>f_{13}\!</math>
 
−
| <math>((x) y)\!</math>
 
−
| <math>(\operatorname{d}x (\operatorname{d}y))\!</math>
 
−
| <math>(\operatorname{d}x\ \operatorname{d}y)\!</math>
 
−
| <math>((\operatorname{d}x)(\operatorname{d}y))\!</math>
 
−
| <math>((\operatorname{d}x) \operatorname{d}y)\!</math>
 
−
|-
 
−
| <math>f_{14}\!</math>
 
−
| <math>((x)(y))\!</math>
 
−
| <math>(\operatorname{d}x\ \operatorname{d}y)\!</math>
 
−
| <math>(\operatorname{d}x (\operatorname{d}y))\!</math>
 
−
| <math>((\operatorname{d}x) \operatorname{d}y)\!</math>
 
−
| <math>((\operatorname{d}x)(\operatorname{d}y))\!</math>
 
−
|-
 
−
| <math>f_{15}\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>((~))\!</math>
 
−
|}<br>
 
−
 
−
=Work Area 1=
 
−
 
−
==Orbit Table Template==
 
−
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Orbit Table Template'''
 
−
|- style="background:ghostwhite; height:36px"
 
−
| &nbsp;
 
−
| <math>f\!</math>
 
−
| <math>\operatorname{F}f|_{xy}</math>
 
−
| <math>\operatorname{F}f|_{x(y)}</math>
 
−
| <math>\operatorname{F}f|_{(x)y}</math>
 
−
| <math>\operatorname{F}f|_{(x)(y)}</math>
 
−
|- style="height:36px"
 
−
| <math>f_{0}\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{1}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{2}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{4}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{8}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x)(y)\!</math>
 
−
|-
 
−
| height="36px" | <math>(x)\ y\!</math>
 
−
|-
 
−
| height="36px" | <math>x\ (y)\!</math>
 
−
|-
 
−
| height="36px" | <math>x\ y\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{3}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{12}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x)\!</math>
 
−
|-
 
−
| height="36px" | <math>x\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{6}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{9}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x,\ y)\!</math>
 
−
|-
 
−
| height="36px" | <math>((x,\ y))\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{5}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{10}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(y)\!</math>
 
−
|-
 
−
| height="36px" | <math>y\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{7}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{11}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{13}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{14}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x\ y)\!</math>
 
−
|-
 
−
| height="36px" | <math>(x\ (y))\!</math>
 
−
|-
 
−
| height="36px" | <math>((x)\ y)\!</math>
 
−
|-
 
−
| height="36px" | <math>((x)(y))\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|- style="height:36px"
 
−
| <math>f_{15}\!</math>
 
−
| <math>((~))\!</math>
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|}
 
−
<br>
 
−
 
−
==Propositional Forms on Two Variables==
 
−
 
−
To broaden our experience with simple examples, let us now contemplate the sixteen functions of concrete type <math>X \times Y \to \mathbb{B}</math> and abstract type <math>\mathbb{B} \times \mathbb{B} \to \mathbb{B}.</math>  For future reference, I will set here a few Tables that detail the actions of <math>\operatorname{E}</math> and <math>\operatorname{D}</math> on each of these functions, allowing us to view the results in several different ways.
 
−
 
−
By way of initial orientation, Table&nbsp;1 lists equivalent expressions for the sixteen functions in a number of different languages for zeroth order logic.
 
−
 
−
===Table 1===
 
−
 
−
{| align="center" border="1" cellpadding="0" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Table 1.  Propositional Forms on Two Variables'''
 
−
|- style="background:ghostwhite; height:36px"
 
−
| <math>\mathcal{L}_1</math>
 
−
| <math>\mathcal{L}_2</math>
 
−
| <math>\mathcal{L}_3</math>
 
−
| <math>\mathcal{L}_4</math>
 
−
| <math>\mathcal{L}_5</math>
 
−
| <math>\mathcal{L}_6</math>
 
−
|- style="background:ghostwhite; height:48px"
 
−
| &nbsp;
 
−
|
 
−
{| align="right" style="background:ghostwhite; text-align:right"
 
−
|-
 
−
| <math>x\!</math> :
 
−
|-
 
−
| <math>y\!</math> :
 
−
|}
 
−
|
 
−
{| align="center" style="background:ghostwhite"
 
−
|-
 
−
| 1 1 0 0
 
−
|-
 
−
| 1 0 1 0
 
−
|}
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{0}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{2}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{3}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{4}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{5}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{6}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{7}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{0000}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{0001}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{0010}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{0011}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{0100}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{0101}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{0110}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{0111}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | 0 0 0 0
 
−
|-
 
−
| height="36px" | 0 0 0 1
 
−
|-
 
−
| height="36px" | 0 0 1 0
 
−
|-
 
−
| height="36px" | 0 0 1 1
 
−
|-
 
−
| height="36px" | 0 1 0 0
 
−
|-
 
−
| height="36px" | 0 1 0 1
 
−
|-
 
−
| height="36px" | 0 1 1 0
 
−
|-
 
−
| height="36px" | 0 1 1 1
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>(~)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>(x)(y)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>(x)\ y\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>(x)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\ (y)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>(y)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>(x,\ y)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>(x\ y)\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{false}</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>y\ \operatorname{without}\ x</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{not}\ x</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\ \operatorname{without}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{not}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\ \operatorname{not~equal~to}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>0\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\lnot x \land \lnot y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\lnot x \land y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\lnot x</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x \land \lnot y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\lnot y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x \ne y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\lnot x \lor \lnot y</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{8}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{9}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{10}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{11}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{12}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{13}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{14}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{15}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{1000}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1001}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1010}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1011}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1100}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1101}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1110}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1111}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | 1 0 0 0
 
−
|-
 
−
| height="36px" | 1 0 0 1
 
−
|-
 
−
| height="36px" | 1 0 1 0
 
−
|-
 
−
| height="36px" | 1 0 1 1
 
−
|-
 
−
| height="36px" | 1 1 0 0
 
−
|-
 
−
| height="36px" | 1 1 0 1
 
−
|-
 
−
| height="36px" | 1 1 1 0
 
−
|-
 
−
| height="36px" | 1 1 1 1
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>x\ y\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>((x,\ y))\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>y\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>(x\ (y))\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>((x)\ y)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>((x)(y))\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>((~))\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>x\ \operatorname{and}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\ \operatorname{equal~to}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>y\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{not}\ x\ \operatorname{without}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{not}\ y\ \operatorname{without}\ x</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\ \operatorname{or}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{true}</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>x \land y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x = y\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>y\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x \Rightarrow y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x \Leftarrow y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x \lor y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>1\!</math></p>
 
−
|}
 
−
|}
 
−
<br>
 
−
 
−
===Table 2===
 
−
 
−
{| align="center" border="1" cellpadding="0" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Table 2.  Propositional Forms on Two Variables'''
 
−
|- style="background:ghostwhite; height:36px"
 
−
| <math>\mathcal{L}_1</math>
 
−
| <math>\mathcal{L}_2</math>
 
−
| <math>\mathcal{L}_3</math>
 
−
| <math>\mathcal{L}_4</math>
 
−
| <math>\mathcal{L}_5</math>
 
−
| <math>\mathcal{L}_6</math>
 
−
|- style="background:ghostwhite; height:48px"
 
−
| &nbsp;
 
−
|
 
−
{| align="right" style="background:ghostwhite; text-align:right"
 
−
|-
 
−
| <math>x\!</math> :
 
−
|-
 
−
| <math>y\!</math> :
 
−
|}
 
−
|
 
−
{| align="center" style="background:ghostwhite"
 
−
|-
 
−
| 1 1 0 0
 
−
|-
 
−
| 1 0 1 0
 
−
|}
 
−
| &nbsp;
 
−
| &nbsp;
 
−
| &nbsp;
 
−
|- style="height:36px"
 
−
| <p><math>f_{0}\!</math></p>
 
−
| <p><math>f_{0000}\!</math></p>
 
−
| <p>0 0 0 0</p>
 
−
| <p><math>(~)\!</math></p>
 
−
| <p><math>\operatorname{false}</math></p>
 
−
| <p><math>1\!</math></p>
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{1}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{2}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{4}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{8}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{0001}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{0010}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{0100}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1000}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p>0 0 0 1</p>
 
−
|-
 
−
| height="36px" | <p>0 0 1 0</p>
 
−
|-
 
−
| height="36px" | <p>0 1 0 0</p>
 
−
|-
 
−
| height="36px" | <p>1 0 0 0</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>(x)(y)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>(x)\ y\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\ (y)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\ y\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>y\ \operatorname{without}\ x</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\ \operatorname{without}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\ \operatorname{and}\ y</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>\lnot x \land \lnot y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\lnot x \land y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x \land \lnot y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x \land y</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{3}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{12}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{0011}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1100}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p>0 0 1 1</p>
 
−
|-
 
−
| height="36px" | <p>1 1 0 0</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>(x)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{not}\ x</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>\lnot x</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\!</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{6}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{9}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{0110}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1001}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p>0 1 1 0</p>
 
−
|-
 
−
| height="36px" | <p>1 0 0 1</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>(x,\ y)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>((x,\ y))\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>x\ \operatorname{not~equal~to}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\ \operatorname{equal~to}\ y</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>x \ne y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x = y\!</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{5}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{10}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{0101}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1010}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p>0 1 0 1</p>
 
−
|-
 
−
| height="36px" | <p>1 0 1 0</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>(y)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>y\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{not}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>y\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>\lnot y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>y\!</math></p>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{7}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{11}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{13}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{14}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>f_{0111}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1011}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1101}\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>f_{1110}\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p>0 1 1 1</p>
 
−
|-
 
−
| height="36px" | <p>1 0 1 1</p>
 
−
|-
 
−
| height="36px" | <p>1 1 0 1</p>
 
−
|-
 
−
| height="36px" | <p>1 1 1 0</p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>(x\ y)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>(x\ (y))\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>((x)\ y)\!</math></p>
 
−
|-
 
−
| height="36px" | <p><math>((x)(y))\!</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{not}\ x\ \operatorname{without}\ y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>\operatorname{not}\ y\ \operatorname{without}\ x</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x\ \operatorname{or}\ y</math></p>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <p><math>\lnot x \lor \lnot y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x \Rightarrow y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x \Leftarrow y</math></p>
 
−
|-
 
−
| height="36px" | <p><math>x \lor y</math></p>
 
−
|}
 
−
|- style="height:36px"
 
−
| <p><math>f_{15}\!</math></p>
 
−
| <p><math>f_{1111}\!</math></p>
 
−
| <p>1 1 1 1</p>
 
−
| <p><math>((~))\!</math></p>
 
−
| <p><math>\operatorname{true}</math></p>
 
−
| <p><math>1\!</math></p>
 
−
|}
 
−
<br>
 
−
 
−
===Table 3===
 
−
 
−
The next four Tables expand the expressions of <math>\operatorname{E}f</math> and <math>\operatorname{D}f</math> in two different ways, for each of the sixteen functions.  Notice that the functions are given in a different order, here being collected into a set of seven natural classes.
 
−
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Table 3.  <math>\operatorname{E}f</math> Expanded Over Ordinary Features <math>\{ x, y \}\!</math>'''
 
−
|- style="background:ghostwhite; height:36px"
 
−
| &nbsp;
 
−
| <math>f\!</math>
 
−
| <math>\operatorname{E}f|_{xy}</math>
 
−
| <math>\operatorname{E}f|_{x(y)}</math>
 
−
| <math>\operatorname{E}f|_{(x)y}</math>
 
−
| <math>\operatorname{E}f|_{(x)(y)}</math>
 
−
|- style="height:36px"
 
−
| <math>f_{0}\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{1}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{2}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{4}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{8}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x)(y)\!</math>
 
−
|-
 
−
| height="36px" | <math>(x)\ y\!</math>
 
−
|-
 
−
| height="36px" | <math>x\ (y)\!</math>
 
−
|-
 
−
| height="36px" | <math>x\ y\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ (\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x) (\operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ (\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x) (\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)\ \operatorname{d}y</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x) (\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ (\operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x) (\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ (\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{3}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{12}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x)\!</math>
 
−
|-
 
−
| height="36px" | <math>x\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x</math>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{6}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{9}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x,\ y)\!</math>
 
−
|-
 
−
| height="36px" | <math>((x,\ y))\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x,\ \operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x,\ \operatorname{d}y))</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x,\ \operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x,\ \operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x,\ \operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x,\ \operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x,\ \operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x,\ \operatorname{d}y))</math>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{5}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{10}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(y)\!</math>
 
−
|-
 
−
| height="36px" | <math>y\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}y</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}y</math>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{7}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{11}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{13}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{14}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x\ y)\!</math>
 
−
|-
 
−
| height="36px" | <math>(x\ (y))\!</math>
 
−
|-
 
−
| height="36px" | <math>((x)\ y)\!</math>
 
−
|-
 
−
| height="36px" | <math>((x)(y))\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)(\operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)\ \operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x\ (\operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x\ \operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)\ \operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)(\operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x\ \operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x\ (\operatorname{d}y))</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x\ (\operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x\ \operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)(\operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)\ \operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x\ \operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x\ (\operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)\ \operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)(\operatorname{d}y))</math>
 
−
|}
 
−
|- style="height:36px"
 
−
| <math>f_{15}\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>((~))\!</math>
 
−
|}
 
−
<br>
 
−
 
−
===Table 4===
 
−
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Table 4.  <math>\operatorname{D}f</math> Expanded Over Ordinary Features <math>\{ x, y \}\!</math>'''
 
−
|- style="background:ghostwhite; height:36px"
 
−
| &nbsp;
 
−
| <math>f\!</math>
 
−
| <math>\operatorname{D}f|_{xy}</math>
 
−
| <math>\operatorname{D}f|_{x(y)}</math>
 
−
| <math>\operatorname{D}f|_{(x)y}</math>
 
−
| <math>\operatorname{D}f|_{(x)(y)}</math>
 
−
|- style="height:36px"
 
−
| <math>f_{0}\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{1}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{2}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{4}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{8}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x)(y)\!</math>
 
−
|-
 
−
| height="36px" | <math>(x)\ y\!</math>
 
−
|-
 
−
| height="36px" | <math>x\ (y)\!</math>
 
−
|-
 
−
| height="36px" | <math>x\ y\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ (\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)(\operatorname{d}y))</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ (\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)(\operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)\ \operatorname{d}y</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)(\operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ (\operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)(\operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ (\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{3}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{12}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x)\!</math>
 
−
|-
 
−
| height="36px" | <math>x\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x</math>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{6}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{9}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x,\ y)\!</math>
 
−
|-
 
−
| height="36px" | <math>((x,\ y))\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x,\ \operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x,\ \operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x,\ \operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x,\ \operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x,\ \operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x,\ \operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x,\ \operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x,\ \operatorname{d}y)</math>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{5}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{10}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(y)\!</math>
 
−
|-
 
−
| height="36px" | <math>y\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}y</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}y</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}y</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}y</math>
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{7}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{11}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{13}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{14}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x\ y)\!</math>
 
−
|-
 
−
| height="36px" | <math>(x\ (y))\!</math>
 
−
|-
 
−
| height="36px" | <math>((x)\ y)\!</math>
 
−
|-
 
−
| height="36px" | <math>((x)(y))\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)(\operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ (\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)(\operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ (\operatorname{d}y)</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ (\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)(\operatorname{d}y))</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)\ \operatorname{d}y</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>\operatorname{d}x\ (\operatorname{d}y)</math>
 
−
|-
 
−
| height="36px" | <math>(\operatorname{d}x)\ \operatorname{d}y</math>
 
−
|-
 
−
| height="36px" | <math>((\operatorname{d}x)(\operatorname{d}y))</math>
 
−
|}
 
−
|- style="height:36px"
 
−
| <math>f_{15}\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
|}
 
−
<br>
 
−
 
−
===Table 5===
 
−
 
−
<pre>
 
−
Table 5.  Ef Expanded Over Differential Features {dx, dy}
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
|      |    f      |  T_11 f  |  T_10 f  |  T_01 f  |  T_00 f  |
 
−
|      |            |            |            |            |            |
 
−
|      |            | Ef| dx dy  | Ef| dx(dy) | Ef| (dx)dy | Ef|(dx)(dy)|
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_0  |    ()    |    ()    |    ()    |    ()    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_1  |  (x)(y)  |    x  y    |    x (y)  |  (x) y    |  (x)(y)  |
 
−
|      |            |            |            |            |            |
 
−
| f_2  |  (x) y    |    x (y)  |    x  y    |  (x)(y)  |  (x) y    |
 
−
|      |            |            |            |            |            |
 
−
| f_4  |    x (y)  |  (x) y    |  (x)(y)  |    x  y    |    x (y)  |
 
−
|      |            |            |            |            |            |
 
−
| f_8  |    x  y    |  (x)(y)  |  (x) y    |    x (y)  |    x  y    |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_3  |  (x)      |    x      |    x      |  (x)      |  (x)      |
 
−
|      |            |            |            |            |            |
 
−
| f_12 |    x      |  (x)      |  (x)      |    x      |    x      |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_6  |  (x, y)  |  (x, y)  |  ((x, y))  |  ((x, y))  |  (x, y)  |
 
−
|      |            |            |            |            |            |
 
−
| f_9  |  ((x, y))  |  ((x, y))  |  (x, y)  |  (x, y)  |  ((x, y))  |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_5  |      (y)  |      y    |      (y)  |      y    |      (y)  |
 
−
|      |            |            |            |            |            |
 
−
| f_10 |      y    |      (y)  |      y    |      (y)  |      y    |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_7  |  (x  y)  |  ((x)(y))  |  ((x) y)  |  (x (y))  |  (x  y)  |
 
−
|      |            |            |            |            |            |
 
−
| f_11 |  (x (y))  |  ((x) y)  |  ((x)(y))  |  (x  y)  |  (x (y))  |
 
−
|      |            |            |            |            |            |
 
−
| f_13 |  ((x) y)  |  (x (y))  |  (x  y)  |  ((x)(y))  |  ((x) y)  |
 
−
|      |            |            |            |            |            |
 
−
| f_14 |  ((x)(y))  |  (x  y)  |  (x (y))  |  ((x) y)  |  ((x)(y))  |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_15 |    (())    |    (())    |    (())    |    (())    |    (())    |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|                  |            |            |            |            |
 
−
| Fixed Point Total |      4    |      4    |      4    |    16    |
 
−
|                  |            |            |            |            |
 
−
o-------------------o------------o------------o------------o------------o
 
−
</pre>
 
−
 
−
{| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
 
−
|+ '''Table 5.  <math>\operatorname{E}f</math> Expanded Over Differential Features <math>\{ \operatorname{d}x, \operatorname{d}y \}</math>'''
 
−
|- style="background:ghostwhite; height:48px"
 
−
| &nbsp;
 
−
| <math>f\!</math>
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| <math>\operatorname{T}_{11}f</math>
 
−
|-
 
−
| <math>\operatorname{E}f|_{\operatorname{d}x\ \operatorname{d}y}</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| <math>\operatorname{T}_{10}f</math>
 
−
|-
 
−
| <math>\operatorname{E}f|_{\operatorname{d}x(\operatorname{d}y)}</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| <math>\operatorname{T}_{01}f</math>
 
−
|-
 
−
| <math>\operatorname{E}f|_{(\operatorname{d}x)\operatorname{d}y}</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| <math>\operatorname{T}_{00}f</math>
 
−
|-
 
−
| <math>\operatorname{E}f|_{(\operatorname{d}x)(\operatorname{d}y)}</math>
 
−
|}
 
−
|- style="height:36px"
 
−
| <math>f_{0}\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
| <math>(~)\!</math>
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{1}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{2}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{4}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{8}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x)(y)\!</math>
 
−
|-
 
−
| height="36px" | <math>(x)\ y\!</math>
 
−
|-
 
−
| height="36px" | <math>x\ (y)\!</math>
 
−
|-
 
−
| height="36px" | <math>x\ y\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{3}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{12}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x)\!</math>
 
−
|-
 
−
| height="36px" | <math>x\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{6}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{9}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x,\ y)\!</math>
 
−
|-
 
−
| height="36px" | <math>((x,\ y))\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{5}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{10}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(y)\!</math>
 
−
|-
 
−
| height="36px" | <math>y\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|-
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>f_{7}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{11}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{13}\!</math>
 
−
|-
 
−
| height="36px" | <math>f_{14}\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" | <math>(x\ y)\!</math>
 
−
|-
 
−
| height="36px" | <math>(x\ (y))\!</math>
 
−
|-
 
−
| height="36px" | <math>((x)\ y)\!</math>
 
−
|-
 
−
| height="36px" | <math>((x)(y))\!</math>
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|
 
−
{| align="center"
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|-
 
−
| height="36px" |
 
−
|}
 
−
|- style="height:36px"
 
−
| <math>f_{15}\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>((~))\!</math>
 
−
| <math>((~))\!</math>
 
−
|- style="background:ghostwhite; height:36px"
 
−
| colspan="2" | Fixed Point Total :
 
−
| <math>4\!</math>
 
−
| <math>4\!</math>
 
−
| <math>4\!</math>
 
−
| <math>16\!</math>
 
−
|}
 
−
<br>
 
−
 
−
===Table 6===
 
−
 
−
<pre>
 
−
Table 6.  Df Expanded Over Differential Features {dx, dy}
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
|      |    f      | Df| dx dy  | Df| dx(dy) | Df| (dx)dy | Df|(dx)(dy)|
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_0  |    ()    |    ()    |    ()    |    ()    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_1  |  (x)(y)  |  ((x, y))  |    (y)    |    (x)    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
| f_2  |  (x) y    |  (x, y)  |    y      |    (x)    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
| f_4  |    x (y)  |  (x, y)  |    (y)    |    x      |    ()    |
 
−
|      |            |            |            |            |            |
 
−
| f_8  |    x  y    |  ((x, y))  |    y      |    x      |    ()    |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_3  |  (x)      |    (())    |    (())    |    ()    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
| f_12 |    x      |    (())    |    (())    |    ()    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_6  |  (x, y)  |    ()    |    (())    |    (())    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
| f_9  |  ((x, y))  |    ()    |    (())    |    (())    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_5  |      (y)  |    (())    |    ()    |    (())    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
| f_10 |      y    |    (())    |    ()    |    (())    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_7  |  (x  y)  |  ((x, y))  |    y      |    x      |    ()    |
 
−
|      |            |            |            |            |            |
 
−
| f_11 |  (x (y))  |  (x, y)  |    (y)    |    x      |    ()    |
 
−
|      |            |            |            |            |            |
 
−
| f_13 |  ((x) y)  |  (x, y)  |    y      |    (x)    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
| f_14 |  ((x)(y))  |  ((x, y))  |    (y)    |    (x)    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
|      |            |            |            |            |            |
 
−
| f_15 |    (())    |    ()    |    ()    |    ()    |    ()    |
 
−
|      |            |            |            |            |            |
 
−
o------o------------o------------o------------o------------o------------o
 
−
</pre>
 

Latest revision as of 19:20, 12 December 2014

Retrieved from "https://mywikibiz.com/index.php?title=Directory_talk:Jon_Awbrey/Papers/Differential_Propositional_Calculus&oldid=464831"