12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday May 11, 2024
Jump to navigationJump to searchUndo revision 73967 by Jon Awbrey (Talk)
</pre>
</pre>
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 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.
