Assertion: necessity | /r/HasProperty | equivalent
Facets:
value: for the first one
type: OTHER
value: to sufficiency of the other
type: OTHER
Source sentences:
text: For a third facet, identify every mathematical predicate N with the set T(N) of objects, events, or statements for which N holds true; then asserting the necessity of N for S is equivalent to claiming that T(N) is a superset of T(S), while asserting the sufficiency of S for N is equivalent to claiming that T(S) is a subset of T(N).
text: Because, as explained in previous section, necessity of one for the other is equivalent to sufficiency of the other for the first one, e.g. P ⇐ Q {\displaystyle P\Leftarrow