Deductive System Soundness
Jump to navigation
Jump to search
A Deductive System Soundness is a Deductive System that ...
- AKA: Soundness.
- See: Deductive System.
References
2020
- (Wikipedia, 2020) ⇒ https://en.wikipedia.org/wiki/Soundness#Soundness Retrieved:2020-1-9.
- Soundness of a deductive system is the property that any sentence that is provable in that deductive system is also true on all interpretations or structures of the semantic theory for the language upon which that theory is based. In symbols, where S is the deductive system, L the language together with its semantic theory, and P a sentence of L: if ⊢S P, then also ⊨L P.