A logical formula is an expression composed of symbols and operators that represent a proposition or a set of propositions within a formal logical system. It is used to evaluate the truth value of logical statements and is fundamental in fields like mathematics, computer science, and philosophy for reasoning and problem-solving.