def check_can_assume(fmla,ast): logic = ivy_module.logic() if not is_in_logic(fmla,logic): raise IvyError(ast,"This formula is not in logic {}.".format(logic))
def check_can_assume(fmla, ast): logic = ivy_module.logic() if not is_in_logic(fmla, logic): raise IvyError(ast, "This formula is not in logic {}.".format(logic))
def check_can_assert(fmla,ast): check_can_assume(fmla,ast) logic = ivy_module.logic() if not is_in_logic(Not(fmla),logic): raise IvyError(ast,"This formula is not in logic {} when negated.".format(logic))
def check_can_assert(fmla, ast): check_can_assume(fmla, ast) logic = ivy_module.logic() if not is_in_logic(Not(fmla), logic): raise IvyError( ast, "This formula is not in logic {} when negated.".format(logic))