Talk:Rules of inference

I deleted it. My bad. Rule of inference already exists!