a rule of inference is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion (or conclusions).
rules of inference are usually given in the following standard form:
a rule of inference is sound if the conclusion logically follows from the premises
the following isnt a sound rule of inference the following is a sound rule of inference
we arrive from premises to a conclusion with the inference process