[Haskell-cafe] Propositional logic question
Jeff Polakow
jeff.polakow at db.com
Mon Jun 25 15:48:27 EDT 2007
Hello,
> But here I am only entitled to discharge (A /\ B) in the preceding
> proof and not A and B on their own.
> What proof which would allow me to discharge my assumptions A and B?
>
> I can see in my head how it makes perfect sense, but can't jiggle a
> way to do it using only the given derivations.
>
You have (A /\ B) to work with. Remember that intuitionistic/classical
logic places no restrictions on how many times you use each hypothesis.
hth,
Jeff
---
This e-mail may contain confidential and/or privileged information. If you
are not the intended recipient (or have received this e-mail in error)
please notify the sender immediately and destroy this e-mail. Any
unauthorized copying, disclosure or distribution of the material in this
e-mail is strictly forbidden.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070625/6f85ae0a/attachment.htm
More information about the Haskell-Cafe
mailing list