1. : First-Order Logic is also commonly known as?
(A) First Order Predicate Calculus
(B) Quantification Theory
(C) Lower Order Calculus
(D) All of these
2. : The adjective first-order differentiates first-order logic from which of the following in which there are predicates having functions or predicates as arguments, or in which one or both of predicate quantifiers or function quantifiers are allowed.
(A) Representational Verification
(B) Higher-Order Logic
(C) Representational Adequacy
(D) Inferential Efficiency
3. : Two types of quantifiers are Existential Quantification and Universal Quantification.
(A) True
(B) False
Answer: (A) True
4. : Which of the following is the statement comprising the limitations of FOL?
(A) Expressiveness
(B) Formalizing Natural Languages
(C) Many-sorted Logic
(D) A, B, and C
5. : Which of the following system is helpful to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.
(A) Search-Based Systems
(B) Inductive Systems
(C) Reasoning with Knowledge-Based Systems
(D) Deductive Systems
6. : Translate the given statement into First-order logic:
“For every a, if a is a poet, then a is a writer”
(A) ∃a Poet(a) → Writer(a)
(B) ∀a Poet(a) → Writer(a)
(C) All of these