Differential Logic • 13

Posted on February 27, 2026 by Jon Awbrey

Transforms Expanded over Ordinary and Differential Variables

Two views of how the difference operator \mathrm{D} acts on the set of sixteen functions f : \mathbb{B} \times \mathbb{B} \to \mathbb{B} are shown below.  Table A5 shows the expansion of \mathrm{D}f over the set \{ p, q \} of ordinary variables and Table A6 shows the expansion of \mathrm{D}f over the set \{ \mathrm{d}p, \mathrm{d}q \} of differential variables.

Difference Map Expanded over Ordinary Variables

\text{Table A5.}~ \mathrm{D}f ~\text{Expanded over Ordinary Variables}~ \{ p, q \}

Df Expanded over Ordinary Variables {p, q}

Difference Map Expanded over Differential Variables

\text{Table A6.}~ \mathrm{D}f ~\text{Expanded over Differential Variables}~ \{ \mathrm{d}p, \mathrm{d}q \}

Df Expanded over Differential Variables {dp, dq}

Resources

cc: Academia.edu • Cybernetics • Laws of Form • Mathstodon (1) (2)
cc: Research Gate • Structural Modeling • Systems Science • Syscoi

This entry was posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

2 Responses to Differential Logic • 13

  1. Pingback: Survey of Differential Logic • 8 | Inquiry Into Inquiry

Leave a comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.