Work T

Differential Logic

Cactus Graph Existential True

Cactus Graph Existential False

Differential Expansions of Propositions

Bird’s Eye View

Cactus Graph Existential p and q

Venn Diagram p and q

Cactus Graph (p,dp)(q,dq)

Cactus Graph (p,dp)

Cactus Graph ((p,dp)(q,dq),pq)

Cactus Graph (( ,dp)( ,dq), )

Cactus Graph ((dp)(dq))

Cactus Graph pq Diff ((dp)(dq))

Worm’s Eye View

Venn Diagram f = pq

Cactus Graph f = pq

Venn Diagram p q dp dq

Cactus Graph Ef = (p,dp)(q,dq)

Cactus Graph Df = ((p,dp)(q,dq),pq)

Venn Diagram Difference pq @ pq

Cactus Graph Difference pq @ pq

Panoptic View • Difference Maps

Cactus Graph Df = ((p,dp)(q,dq),pq)

Cactus Graph Difference pq @ pq = ((dp)(dq))

Cactus Graph Difference pq @ p(q) = (dp)dq

Cactus Graph Difference pq @ (p)q = dp(dq)

Cactus Graph Difference pq @ (p)(q) = dp dq

Cactus Graph Lobe Rule

Cactus Graph Spike Rule

Venn Diagram Difference pq

Directed Graph Difference pq

Panoptic View • Enlargement Maps

Cactus Graph Ef = (p,dp)(q,dq)

Cactus Graph Enlargement pq @ pq = (dp)(dq)

Cactus Graph Enlargement pq @ p(q) = (dp)dq

Cactus Graph Enlargement pq @ (p)q = dp(dq)

Cactus Graph Enlargement pq @ (p)(q) = dp dq

Directed Graph Enlargement pq