Figure 5 shows the 14 terms of the difference map as arcs, arrows, or directed edges in the venn diagram of the original proposition The arcs of are directed into the cell where is true from each of the other cells. The arcs of are directed from the cell where is true into each of the other cells.
The expansion of computed in the previous post is shown again below with the terms arranged by number of positive differential features, from lowest to highest.
To be continued …
- Differential Logic : Introduction
- Differential Propositional Calculus
- Differential Logic and Dynamic Systems