Q. 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