What is the primary advantage of first-order logic over propositional logic?
- First-order logic requires fewer symbols.
- First-order logic can concisely represent relationships among objects.
- First-order logic eliminates the need for quantifiers.
- First-order logic is easier to automate.