Assertion: contradiction | /r/CapableOf | involve negation
Facets:
Source sentences:
text: Since the ordinary notion of consistency involves that of contradiction, which again involves negation, and since this function does not appear in general as a primitive in [the generalized set of postulates] a new definition must be given.
text: Since the ordinary notion of consistency involves that of contradiction, which again involves negation, and since this function does not appear in general as a primitive in [the generalized set of postulates] a new definition must be given".