A process of reasoning that derives a new conclusion from established premises through logical inference.