AI MCQ #304: A _________ is used to demonstrate, on a purely syntactic basis, that one formul…

by

Q304. 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: A) Deductive Systems

Explanation: Refer the definition of Deductive based systems.