In Logic, inference is an intellectual operation by which the truth of a proposition is affirmed as a result of its connection with others
propositions already recognized as true. It consists, therefore, in deriving conclusions from known or decidedly true premises.