Explanation: None. 5. 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:A
Explanation: None. 5. 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
Explanation: Refer the definition of Deductive based systems. 6. ‘α |= β ‘(to mean that the sentence α entails the sentence β) if and only if, in every model in which α is _____, β is also _____.