Artificial Intelligence (2180703) MCQ

MCQs of Using Predicate Logic

MCQ No - 1

There exist only two types of quantifiers, Universal Quantification and Existential Quantification.

(A) TRUE
(B) FALSE

A
MCQ No - 2

"Translate the following statement into FOL. “For every a, if a is a philosopher, then a is a scholar”"

(A) ∀ a philosopher(a) scholar(a)
(B) ∃ a philosopher(a) scholar(a)
(C) All of the mentioned
(D) None of the mentioned

A
MCQ No - 3

A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.

(A) Deductive Systems
(B) Inductive Systems
(C) Reasoning with Knowledge Based Systems
(D) Search Based Systems

A
MCQ No - 4

The statement comprising the limitations of FOL is/are ____________

(A) Expressiveness
(B) Formalizing Natural Languages
(C) Many-sorted Logic
(D) All of the mentioned

D
MCQ No - 5

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

A