Changes

|}

|}

All of the axioms in this set have the form of equations.  This means that all of the inference steps that they allow are reversible.  The proof annotation scheme employed below makes use of a double bar <math>\overline{\underline{~~~~~~}}\!</math> to mark this fact, although it will often be left to the reader to decide which of the two possible directions is the one required for applying the indicated axiom.

All of the axioms in this set have the form of equations.  This means that all of the inference steps that they allow are reversible.  The proof annotation scheme employed below makes use of a double bar <math>\overline{\underline{13:56, 6 November 2015 (UTC)~}}\!</math> to mark this fact, although it will often be left to the reader to decide which of the two possible directions is the one required for applying the indicated axiom.

===Frequently used theorems===

===Frequently used theorems===

===Focal nodes===

===Focal nodes===

* [[Inquiry Live]]

* [[Inquiry Live]]

* [[Logic Live]]

* [[Logic Live]]

===Peer nodes===

===Peer nodes===

* [http://intersci.ss.uci.edu/wiki/index.php/Logical_graph Logical Graph @ InterSciWiki]

* [http://intersci.ss.uci.edu/wiki/index.php/Logical_graph Logical Graph @ InterSciWiki]

* [http://mywikibiz.com/Logical_graph Logical Graph @ MyWikiBiz]

* [http://mywikibiz.com/Logical_graph Logical Graph @ MyWikiBiz]

* [http://beta.wikiversity.org/wiki/Logical_graph Logical Graph @ Wikiversity Beta]

* [http://beta.wikiversity.org/wiki/Logical_graph Logical Graph @ Wikiversity Beta]

===Logical operators===

===Logical operators===

Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.

Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.

* [http://mywikibiz.com/Logical_graph Logical Graph], [http://mywikibiz.com/ MyWikiBiz]

* [http://mywikibiz.com/Logical_graph Logical Graph], [http://mywikibiz.com/ MyWikiBiz]

* [http://mathweb.org/wiki/Logical_graph Logical Graph], [http://mathweb.org/wiki/ MathWeb Wiki]

* [http://planetmath.org/LogicalGraphIntroduction Logical Graph 1], [http://planetmath.org/ PlanetMath]

* [http://planetmath.org/LogicalGraphFormalDevelopment Logical Graph 2], [http://planetmath.org/ PlanetMath]

* [http://semanticweb.org/wiki/Logical_graph Logical Graph], [http://semanticweb.org/ Semantic Web]

* [http://semanticweb.org/wiki/Logical_graph Logical Graph], [http://semanticweb.org/ Semantic Web]

* [http://wikinfo.org/w/index.php/Logical_graph Logical Graph], [http://wikinfo.org/w/ Wikinfo]

* [http://planetmath.org/LogicalGraphIntroduction Logical Graph 1], [http://planetmath.org/LogicalGraphFormalDevelopment Logical Graph 2], [http://planetmath.org/ PlanetMath]

* [http://en.wikiversity.org/wiki/Logical_graph Logical Graph], [http://en.wikiversity.org/ Wikiversity]

* [http://beta.wikiversity.org/wiki/Logical_graph Logical Graph], [http://beta.wikiversity.org/ Wikiversity Beta]

* [http://beta.wikiversity.org/wiki/Logical_graph Logical Graph], [http://beta.wikiversity.org/ Wikiversity Beta]

* [http://en.wikipedia.org/w/index.php?title=Logical_graph&oldid=67277491 Logical Graph], [http://en.wikipedia.org/ Wikipedia]

* [http://en.wikipedia.org/w/index.php?title=Logical_graph&oldid=67277491 Logical Graph], [http://en.wikipedia.org/ Wikipedia]

[[Category:Artificial Intelligence]]

[[Category:Artificial Intelligence]]