A3. Predicate logic extends formal logic by including predicates and quantifiers, allowing for more detailed and expressive logical statements.