Changes

Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)

Revision as of 16:48, 3 July 2009

363 bytes removed , 16:48, 3 July 2009

→‎Cactus Language for Propositional Logic: cleanup

Line 214: Line 214:

<br>

−

~~In this style of graphical representation, the value <math>\operatorname{true}</math> looks like a blank label and the value <math>\operatorname{false}</math> looks like an edge.~~

−

~~{| align="center" cellpadding="10"~~

−

~~| [[Image:Cactus Graph Existential True.jpg|500px]]~~

−

|}

−

~~{| align="center" cellpadding="10"~~

−

~~| [[Image:Cactus Graph Existential False.jpg|500px]]~~

−

|}

===Differential Expansions of Propositions===

Jon Awbrey

12,080

edits