A logical system with syntactic entailment and semantic entailment is sound if for any sequence of sentences in its language, if , then . In other words, a system is sound when all of its theorems are validities.
A logical system with syntactic entailment and semantic entailment is sound if for any sequence of sentences in its language, .if , then . In other words, a system is sound when all of its theorems are validities