Re: Derivations (SD)

Torkel Franzen wrote:
"Jeffrey Ketland" <ketland@xxxxxxxxxxxxxxxxxxx> writes:
? How could you derive A from A -> B?
By the rule of horseshoe elimination! 

It's a pretty damned useful rule. I can't think
why I haven't been using it all along, given
how much easier it makes proofs.
.