Differential Logic • 13

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.eduCyberneticsLaws of Form • Mathstodon (1) (2)
cc: Research GateStructural ModelingSystems ScienceSyscoi

#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