The Laws of Natural Deduction in Inference by DNA Computer

<table>The reaction of inference for<b> a</b> and<b> a  </b><svg height="7.6374998" id="M54" style="vertical-align:-0.0pt" version="1.1" viewbox="0 0 19.174999 7.6374998" width="19.174999" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,2.9,7.575)"><path d="M901 255q-71 -62 -185 -187l-22 15l102 147h-727v50h727l-102 147l22 15q114 -125 185 -187z" id="x2192"></path></g>
</svg><b>  b</b>.</table>

The Scientific World Journal

fig5

Figure 5

Figure 5: The Laws of Natural Deduction in Inference by DNA Computer 