Here isIn section 7.3 of the book Artificial Intelligence: A Modern Approach (maybe abridged3rd edition) definition from the book - Artificial Intelligence, a modern approachit's written
An inference algorithm 𝑖 is sound or truth-preserving if it derives only entailed sentences
An inference algorithm that derives only entailed sentences is called sound or truth-preserving.
It is complete if it can derive any sentence that is entailed
The property of completeness is also desirable: an inference algorithm is complete if it can derive any sentence that is entailed.
However, this does not make much sense to me. I'd like someone to kindly elaborate on this.