Python deny_via_contradiction Examples

Example #1

File: equals.py Project: gustavomonente/Prove-It

 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)

Example #2

 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)

Example #3

 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)