First Order Logic FOL MCQs | Artificial Intelligence

By: Prof. Fazal Rehman Shamil

Solved MCQs on First-Order Logic in Artificial Intelligence(Questions Answers).

First-Order Logic is also commonly known as?

(A). First Order Predicate Calculus

(B). Quantification Theory

(C). Lower Order Calculus

(D). All of these

(E). None of these

MCQ Answer: d


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

(E). None of these

MCQ Answer: (B). Higher-Order Logic


Two types of quantifiers are Existential Quantification and Universal Quantification.

(A). True

(B). False

MCQ Answer: a

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

(E). None of these

MCQ Answer: d


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

(E). None of these

MCQ Answer: (D). Deductive Systems


A common convention is given below;

  • is evaluated first
  • and are evaluated next
  • Quantifiers are evaluated next
  • is evaluated last.

(A). True

(B). False

(C). Partially true

MCQ Answer: a


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

(D). None of these

MCQ Answer: (B). ∀ a poet ((A). writer ((A).


A Term is either an individual constant (a 0-ary function), or a variable, or an n-ary function applied to n

terms: F(t1 t2 ..tn).

(A). True

(B). False

(C). Partially true

Prof. Fazal Rehman Shamil
Latest posts by Prof. Fazal Rehman Shamil (see all)