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

Question

Quizplus · Accepted Answer

Deductive systems are used to show, through the application of rules and logic, that one formula logically follows from another, purely based on their syntactic structure.

A _________ Is Used to Demonstrate, on a Purely Syntactic