def __tc(l, r): if not isinstance(l, Formula): raise ex.TypeCheckingError('Iff: the left operand of\ Iff is not a well-formed formula.') if not isinstance(r, Formula): raise ex.TypeCheckingError('Iff: the right operand of\ Iff is not a well-formed formula.')
def __tc(l): if not isinstance(l, list): raise ex.TypeCheckingError( 'Or: a list of formulae must be provided.') if len(l) < 2: raise ex.TypeCheckingError( 'Or: at least 2 operands must be provided.') for f in l: if not isinstance(f, Formula): raise ex.TypeCheckingError( 'Or: an operand of And is not a well-formed formula.')
def __tc(l): if not isinstance(l, Formula): raise ex.TypeCheckingError('Not: the operand of\ Not is not a well-formed formula.')
def __tc(name): if not isinstance(name, str): raise ex.TypeCheckingError('Prop: a\ propositional variable must be a string.')
def __tc(name): if not isinstance(name, str): raise ex.TypeCheckingError('Variable: a variable must be a string.')