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