Home / Engineering / Artificial Intelligence and Robotics (AIR) / Question

M

Madhu • 12.02K Points
Tutor II

Q.) 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
Correct answer : Option (A) - deductive systems

Share

Discusssion

Login to discuss.