Soundness is a quality of proof procedures. A sound procedure is one which only derives that which is true with respect to the semantics, i.e., everything that is derived follows logically.
Fitting, Melvin. First-Order Logic and Automated Theorem Proving. Springer, 1990.
Copyright © 2014 Barry Watson. All rights reserved.