Assertion: contradiction | /r/HasProperty | explosive
Facets:
value: in expression of this fact
type: OTHER
value: "logically explosive"
type: DEGREE
value: in first-order logic
type: OTHER
Source sentences:
text: In expression of this fact, contradictions are said to be "logically explosive" in first-order logic.