How does predicate logic differ from syllogistic logic or propositional logic? When would it make more sense to use predicate logic?