------------------------------------------------------------

format is  | deductive tableau |  (plural: "deductive tableaux")

------------------------------------------------------------

====================================================================

<p>
<hr>

<font size=-1>
(Copyright &copy; 2009 by
Hugh McGuire
&nbsp;
&mdash;
<cite>for thoughts about this, see </cite>
&nbsp;
<a href="/~mcguire/teaching/copyright_thoughts.html">
<kbd>http://www.cis.gvsu.edu/~mcguire/teaching/copyright_thoughts.html</kbd></a>&nbsp;.)
</font>