Assertion: logic's semantic | /r/CapableOf | provide a definition of validity
Facets:
Source sentences:
text: Formal semantics for a logic provides a definition of validity by characterizing the truth behavior of the sentences of the system.