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
The question was posed to me in exam.
This intriguing question originated from First-Order Logic topic in chapter Logical Agents of Artificial Intelligence
Select the correct answer from above options
Interview Questions and Answers, Database Interview Questions and Answers for Freshers and Experience