Loading...

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.