Changes

MyWikiBiz, Author Your Legacy — Friday October 24, 2025
Jump to navigationJump to search

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>
 
<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===
 
===Differential Expansions of Propositions===
Jon Awbrey
12,122

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/89195"

Navigation menu