<br><font size=2 face="sans-serif">Hello,</font>
<br>
<br><tt><font size=2>&gt; But here I am only entitled to discharge (A /\
B) in the preceding<br>
&gt; proof and not A and B on their own.<br>
&gt; What proof which would allow me to discharge my assumptions A and
B?<br>
&gt; <br>
&gt; I can see in my head how it makes perfect sense, but can't jiggle
a<br>
&gt; way to do it using only the given derivations.<br>
&gt; <br>
You have (A /\ B) to work with. Remember that intuitionistic/classical
logic places no restrictions on how many times you use each hypothesis.</font></tt>
<br>
<br><tt><font size=2>hth,</font></tt>
<br><tt><font size=2>&nbsp; Jeff</font></tt>
<br>
<br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">---</span><br>
<br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">This e-mail may contain confidential and/or privileged information. If you </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">are not the intended recipient (or have received this e-mail in error) </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">please notify the sender immediately and destroy this e-mail. Any </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">unauthorized copying, disclosure or distribution of the material in this </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">e-mail is strictly forbidden.</span><br>