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))
