Changes

Let us start with a proposition of the form <math>p ~\operatorname{and}~ q</math> that is graphed as two labels attached to a root node:

Let us start with a proposition of the form <math>p ~\operatorname{and}~ q</math> that is graphed as two labels attached to a root node:

{| align="center" cellpadding="6" width="90%"

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

| [[Image:Cactus Graph Existential P And Q.jpg|500px]]

|                     p and q                    |

|}

|}