Assertion: contradiction | /r/HasProperty | derived
Facets:
value: from them
type: OTHER
Source sentences:
text: The standard proof of the inconsistency of a set of propositions or sentences is to show that a contradiction may be derived from them.
text: The standard proof of the inconsistency of a set of propositions or sentences is to show that a contradiction may be derived from them.