Logical inference is the process of deriving new information or conclusions from known premises using rules of logic. It is fundamental in various fields such as mathematics, computer science, and philosophy, enabling the systematic development of valid arguments and proofs.