adplus-dvertising
Artificial Intelligence MCQ
What is the condition of variables in first-order literals?
A)
Existentially quantified
B)
Universally quantified
C)
Both (a) and (b)
D)
None of the above

Correct Answer : Option (B) :   Universally quantified

Explanation : First-order literals will accept variables only if they are universally quantified.