A deductive argument is said to be sound if it meets two conditions: valid argument form and true premises (Notice that validity and true premises constitute necessary and sufficient conditions for soundness )
A promise made by a system that all information that it supplies is true (or relevant) Trivially (and not very interestingly) accomplished by providing no information at all Contrast completeness