Logical formulas are formal expressions used in logic and mathematics to represent propositions and their relationships through symbols and operators. They are fundamental in fields like computer science, mathematics, and philosophy for constructing proofs, algorithms, and reasoning systems.