parameters: (claim, verbose=0)
return_statement: return prove(claim=Not(claim), assume=None, verbose=verbose)[0]
docstring: >>> x,y=Bools('x y')
      >>> is_contradiction(BoolVal(False))
      True
  
      >>> is_contradiction(BoolVal(True))
      False
  
      >>> is_contradiction(x)
      False
  
      >>> is_contradiction(Implies(x,y))
      False
  
      >>> is_contradiction(Implies(x,x))
      False
  
      >>> is_contradiction(And(x,Not(x)))
      True
docstring_summary: >>> x,y=Bools('x y')
      >>> is_contradiction(BoolVal(False))
      True
docstring_tokens: >>> x y = Bools ( x y ) >>> is_contradiction ( BoolVal ( False )) True
function: def is_contradiction(claim, verbose=0):
      """
      >>> x,y=Bools('x y')
      >>> is_contradiction(BoolVal(False))
      True
  
      >>> is_contradiction(BoolVal(True))
      False
  
      >>> is_contradiction(x)
      False
  
      >>> is_contradiction(Implies(x,y))
      False
  
      >>> is_contradiction(Implies(x,x))
      False
  
      >>> is_contradiction(And(x,Not(x)))
      True
      """
  
      return prove(claim=Not(claim), assume=None, verbose=verbose)[0]
function_tokens: def is_contradiction ( claim , verbose = 0 ) : return prove ( claim = Not ( claim ) , assume = None , verbose = verbose ) [ 0 ]