Q212
A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.
A.
Deductive Systems
AnswerB.
Inductive Systems
C.
Reasoning with Knowledge Based Systems
D.
Search Based Systems
Answer: Option A
Solution
Answer: Option A
No explanation is given for this question Let's Discuss on Board