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 _____.
A. True, true
B. True, false
C. False, true
D. False, false
Answer:A
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 _____.
A. True, true B. True, false C. False, true D. False, false
Explanation: Refer the definition of law of entailment. 7. The statement comprising the limitations of FOL is/are