Predicate logic extends propositional logic by including quantifiers and predicates, allowing for more expressive statements about objects and their properties. It forms the foundation of formal reasoning in mathematics and computer science, enabling the representation and manipulation of complex logical expressions.