Question :
A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.
1. Deductive Systems
2. Inductive Systems
3. Reasoning with Knowledge Based Systems
4. Search Based Systems
Answer :
1 - Deductive Systems
|