Assertion: logic | /r/HasProperty | sound
Facets:
Source sentences:
text: A logical system is sound if each well-formed formula that can be inferred from the axioms is satisfied by every model of the logical system.
text: that is, the logic axiomatized by (A1)–(A7) — is sound and complete with respect to this semantics (Leblanc and Thomason 1968).
text: A logical system is sound if each well-formed formula that can be inferred from the axioms is satisfied by every model of the logical system.