proof system cannot derive conclusion set premises unless semantically entailed words proof system cannot lead false conclusions defined semantics system ''complete'' proof system derive every conclusion semantically entailed premises words proof system lead true conclusion defined semantics thus soundness completeness together describe system whose notions validity entailment line perfectly important metalogical properties include ''consistency'' ' 'decidability'' ''expressive power''
Humanities Philosophy Logic