MCQ
Q.
An inference algorithm that derives only entailed sentences is called sound or truth-preserving.
Correct Answer: A