12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 17:38, 12 August 2009
, 17:38, 12 August 2009→Case analysis-synthesis theorem: number figures
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (18)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (19)
|-
|-
|
|
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (20)
|-
|-
|
|
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (21)
|}
|}
o=============================< QES >=======================o
o=============================< QES >=======================o
</pre>
</pre>
| (22)
|}
|}
o=============================< QED >=======================o
o=============================< QED >=======================o
</pre>
</pre>
| (23)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (24)
|}
|}