# Work P

## Differential Propositional Calculus

### Figure 1

Figure 1.  Local Habitations, And Names

Figure 1.  Local Habitations, And Names

### Figure 2

Figure 2.  Same Names, Different Habitations

Figure 2.  Same Names, Different Habitations

### Figure 3

Figure 3.  Back, To The Future

Figure 3.  Back, To The Future

### Table 4

#### HTML + LaTeX

 $\begin{matrix} \overline{q} ~ \overline{\mathrm{d}q} ~\text{describes}~ a \\[8pt] \overline{q} ~ \mathrm{d}q ~\text{describes}~ d \\[8pt] q ~ \overline{\mathrm{d}q} ~\text{describes}~ b \\[8pt] q ~ \mathrm{d}q ~\text{describes}~ c \end{matrix}$

#### PNG

Table 4.  Initial State Descriptions

Table 4.  Initial State Descriptions

### Table 5

#### HTML + LaTeX

 $\begin{matrix} \text{From} & \overline{q} & \text{and} & \overline{\mathrm{d}q} & \text{infer} & \overline{q} & \text{next.} \\[8pt] \text{From} & \overline{q} & \text{and} & \mathrm{d}q & \text{infer} & q & \text{next.} \\[8pt] \text{From} & q & \text{and} & \overline{\mathrm{d}q} & \text{infer} & q & \text{next.} \\[8pt] \text{From} & q & \text{and} & \mathrm{d}q & \text{infer} & \overline{q} & \text{next.} \end{matrix}$

#### PNG

Table 5.  Differential Inference Rules

Table 5.  Differential Inference Rules

### Table 6

#### PNG

Table 6.  Syntax and Semantics of a Calculus for Propositional Logic

### Table 7

#### PNG

Table 7.  Propositional Calculus : Basic Notation

### Table 11

#### PNG

Table 11.  Differential Extension : Basic Notation