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
Answer:A
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