Assertion: predicate | /r/HasProperty | understood as logical function
Facets:
Source sentences:
text: The predicate then may be understood only as a logical function defined in terms of set theory, that is, as the mapping of Dn in [T, F], where n is the number of arguments in the function, D their domain, D2 the n-tuple direct product of this domain, and {T, F} the set of truth-values of the function.