<*logic*>
an inference in which the conclusion contains information that
was not
contained in the premises. Or, also, a form of reasoning
in which one moves from one or more
premisses to a conclusion in such a way that while the
conclusion
seems to have been given some justification, it is logically
possible for the premisses to be
true and the conclusion false. deduction,
mathematical induction

Based on [A Philosophical Glossary, Glossary of First-Order Logic]

Try this search on OneLook / Google