<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

Nearby terms: individuals « individual variable « indubitable « induction » induction hypothesis » induction step » inductive inference