Symbolic logic Universal quantification evaluate a universal claim in a finite declared domain About 40 minutes7 activities Paper packet This lesson needs JavaScript to run its activities.