 to say &quot;either p q r, or not p&quot;,
which gives us yet another expression equivalent
to the sentences &quot;(p (q))(p (r))&quot; and &quot;(p (q r))&quot;.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

</PRE>

<!--X-Body-of-Message-End-->
<!--X-MsgBody-End-->
<!--X-Follow-Ups-->
<hr>
<ul><li><strong>Follow-Ups</strong>:
<ul>
<li><strong><a name="04537" href="msg04537.html">ONT Re: Propositional Equation Reasoning Systems</a></strong>
<ul><li><em>From:</em> Jon Awbrey &lt;jawbrey@