What is the main advantage of Predicate or First-Order Logic over basic propositional logic?

Options

  • A. It can represent objects, properties and relationships between objects
  • B. It can represent only statements with no internal structure
  • C. It cannot use variables or predicates
  • D. More than one of the above
  • E. None of the above

Correct Answer (Detailed Explanation is Below)

A. It can represent objects, properties and relationships between objects

Detailed Explanation

First-Order Logic (FOL) is more expressive than propositional logic because it can represent objects, properties, relations and quantifiers. For example, it can express relationships such as "All humans are mortal."