1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
def forall(lst): def predicate(p): for x in lst: if not p(x): return False return True return predicate def exists(lst): def predicate(p): for x in lst: if p(x): return True return False return predicate