In logic , a rule of inference , inference rule , or transformation rule is a logical form consisting of a function which takes premises , analyzes their syntax , and returns a conclusion ( or conclusions ) .
In logic , a rule of inference , inference rule , or transformation rule is a logical form consisting of a function which takes premises , analyzes their syntax , and returns a conclusion .