Explanation: “not” is coming under propositional logic and is therefore not a connective. 9. Inference algorithm is complete only if,
A. It can derive any sentence
B. It can derive any sentence that is an entailed version
C. It is truth preserving
D. Both b & c
Answer:A
Explanation: “not” is coming under propositional logic and is therefore not a connective. 9. Inference algorithm is complete only if,
A. It can derive any sentence B. It can derive any sentence that is an entailed version C. It is truth preserving D. Both b & c
Explanation: None. 10. An inference algorithm that derives only entailed sentences is called sound or truth-preserving.