def undecided_conjectures(state1):
clauses1 = and_clauses(state1.clauses,state1.domain.background_theory(state1.in_scope))
truths = clauses_imply_list(clauses1,state1.conjs)
return [c for c,t in zip(state1.conjs,truths) if not t]
def false_properties():
axioms = im.background_theory()
props = im.module.labeled_props
goals = [formula_to_clauses(prop.formula) for prop in props]
truths = clauses_imply_list(axioms,goals)
return [c for c,t in zip(props,truths) if not t]
def undecided_conjectures(state1):
clauses1 = and_clauses(state1.clauses,
state1.domain.background_theory(state1.in_scope))
truths = clauses_imply_list(clauses1, state1.conjs)
return [c for c, t in zip(state1.conjs, truths) if not t]
def false_properties():
axioms = im.background_theory()
props = im.module.labeled_props
goals = [formula_to_clauses(prop.formula) for prop in props]
truths = clauses_imply_list(axioms, goals)
return [c for c, t in zip(props, truths) if not t]
