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