Assertion: complement | /r/HasProperty | logic
Facets:
Source sentences:
text: In context|logic|lang=en terms the difference between predicate and complement is that predicate is (logic) a term of a statement, where the statement may be true or false depending on whether the thing referred to by the values of the statement's variables has the property signified by that (predicative) term while complement is (logic) an expression related to some other expression such that it is true under the same conditions that make other false, and vice versa.