what is logical inference
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).
Introduction to Logic. Basic Definitions. Logic is the study of the criteria used in evaluating inferences or arguments. An inference is a process of reasoning in which a new belief is formed on the basis of or in virtue of evidence or proof supposedly provided by other beliefs. An argument is a collection of statements or propositions, some of which are intended to provide support or evidence in favor of one of the others.