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