- What is a term of a first-order logic formula? Please provide examples. - What is an atomic formula of first-order logic? Please provide examples. - What is a (non-atomic) first-order logic formula? Please provide examples. - Provide examples of sentences in English (math-related) that make use of for all and there exists expressions and formulate it as a formula of first-order logic. - Provide examples of FOL formulas involving the universal and existential quantifiers and translate them into English. - Discuss the following definitions associated to FOL formulas and provide examples: scope of a variable, free variable, and boundvariable.