A proof system is sound if and only if every conclusion that is provable from a set of premises is logically entailed. In other words, if Δ ⊦ φ, then Δ ⊨ φ.