Talk:Inference rule

Merge?
As far as I can see, this article ought to be merged with Rule of inference. Does anyone disagree? Neilc 06:04, 12 Aug 2004 (UTC)