12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 21:20, 10 August 2009
, 21:20, 10 August 2009→Formal extension : Cactus calculus: center figures
The formal rule of evaluation for a <math>k\!</math>''-lobe'' or <math>k\!</math>-operator may be summarized as follows:
The formal rule of evaluation for a <math>k\!</math>''-lobe'' or <math>k\!</math>-operator may be summarized as follows:
{| align="center" cellpadding="10" style="text-align:center; width:90%"
|
<pre>
<pre>
o-----------------------------------------------------------o
o-----------------------------------------------------------o
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
|}
The interpretation of these operators, read as assertions about the values of their listed arguments, is as follows:
The interpretation of these operators, read as assertions about the values of their listed arguments, is as follows:
{| align="center" cellpadding="10" style="text-align:center; width:90%"
|
<pre>
<pre>
o-----------------------------------------------------------o
o-----------------------------------------------------------o
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
|}
==Case analysis-synthesis theorem==
==Case analysis-synthesis theorem==