Assertion: logic's semantic | /r/HasProperty | truth functions
Facets:
Source sentences:
text: Corresponding semantics of logical connectives are truth functions, whose values are expressed in the form of truth tables.