12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 13:12, 19 June 2009
, 13:12, 19 June 2009→Note 1: convert graphics
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.
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="6" width="90%"
{| align="center" cellpadding="10"
| align="center" |
| [[Image:Cactus Graph Existential True.jpg]]
|}
|}
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="10"
| align="center" |
| [[Image:Cactus Graph Existential False.jpg]]
|}
|}
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
| [[Image:Venn Diagram P And Q.jpg|500px]]
| [[Image:Venn Diagram P And Q.jpg]]
|}
|}