Assertion: negation | /r/HasProperty | derivable
Facets:
value: from the negation of \(b\
type: OTHER
Source sentences:
text: The first rule, contraposition, for instance, says that if \(B\) is derivable from \(A\), then the negation of \(A\) is derivable from the negation of \(B\).
text: The first rule, contraposition, for instance, says that if \(B\) is derivable from \(A\), then the negation of \(A\) is derivable from the negation of \(B\).