Changes

That expresses the proposed equation in the language of logical graphs.  To test whether the equation holds we need to use the rest of the formal system that comes with this formal language, namely, a set of axioms taken for granted and a set of inference rules that allow us to derive the consequences of these axioms.

That expresses the proposed equation in the language of logical graphs.  To test whether the equation holds we need to use the rest of the formal system that comes with this formal language, namely, a set of axioms taken for granted and a set of inference rules that allow us to derive the consequences of these axioms.

The formal system that we use for logical graphs has just four axioms.  These are given [[Logical_graph#Axioms|here]].

The formal system that we use for logical graphs has just four axioms.  These are given here:

 

:* [[Logical_graph#Axioms|Logical Graph Axioms]]

 

Proceeding from these axioms is a handful of very simple theorems that we tend to use over and over in deriving more complex theorems.  A sample of these is given here:

 

:* [[Logical_graph#Frequently_used_theorems|Frequently Used Theorems]]