Symbolic logic Predicates and domains formalize a property claim over a declared domain About 40 minutes7 activities Paper packet This lesson needs JavaScript to run its activities.