Assertion: propositional logic | /r/HasProperty | sound
Facets:
value: strongly
type: DEGREE
Source sentences:
text: It can be shown that classical propositional logic is (strongly) sound and complete with respect to probabilistic semantics:
text: It can be shown that classical propositional logic is (strongly) sound and complete with respect to Adams’ probabilistic semantics: