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

$\text{Table 4.} ~~ \text{Initial State Descriptions}$
$\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

$\text{Table 5.} ~~ \text{Differential Inference Rules}$
$\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

Linear Propositions

Positive Propositions

Singular Propositions

Table 11

PNG

Table 11. Differential Extension : Basic Notation