Assertion: contradiction | /r/HasProperty | represented with inverted t or -down t
Facets:
value: in formal logic proofs
type: OTHER
Source sentences:
text: In Formal Logic proofs, the contradiction is represented with an inverted T (or upside-down T) as follows: ┴