def deny_via_contradiction(self, conclusion, assumptions=USE_DEFAULTS): ''' From (A=FALSE), derive the negated conclusion provided that the conclusion implies both (A=FALSE) as well as A, and the conclusion is a Boolean. ''' from proveit.logic.booleans.implication import deny_via_contradiction return deny_via_contradiction(self, conclusion, assumptions)
def deny_via_contradiction(self, conclusion, assumptions=USE_DEFAULTS): ''' From x != y, derive the negated conclusion provided that the conclusion implies x != y and x = y, and the conclusion is a Boolean. ''' from proveit.logic.booleans.implication import deny_via_contradiction return deny_via_contradiction(self, conclusion, assumptions)
def deny_via_contradiction(self, conclusion, **defaults_config): ''' From x != y, derive the negated conclusion provided that the conclusion implies x != y and x = y, and the conclusion is a Boolean. ''' from proveit.logic.booleans.implication import deny_via_contradiction return deny_via_contradiction(self, conclusion)