Saved Bookmarks
| 1. |
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» Correct choice is (a) Deductive Systems Best explanation: Refer the definition of Deductive based systems. |
|