Soundness

Summary

A proof system is sound when everything it proves is true. More precisely, whenever $\Gamma \vdash \varphi$ in the system, also $\Gamma \models \varphi$ as a logical consequence. Soundness is the converse of completeness, and the standard proof systems for propositional and first-order logic have both. A sound system can never prove a false statement from true premises.