- What are the differences between propositional logic and first-order logic? - Why, with first-order logic, we are better equipped to handle mathematical propositions? - How are different the concept of interpretation of a formula in propositional logic and the concept of interpretation of a formula in first-order logic? - Why is important the domain of discourse associated to the interpretation of a FOL formula? Please illustrate with examples. - Explain, illustrating with examples, how formulas of first-order logic are interpreted.