Semantic entailment is the same as the implication that we have seen earlier. If all truth assignments that satisfy a set of forumulae S also satisfy A, then S semantically entails A. That is, S→A.
Syntactic entailment is slighly different. If A can be derived from S using a finite application of the propositional inference rules, then S syntactically entails A.
What does it mean if only one of the above applies?
Search This Blog