Symbolic logic Multiple quantifiers evaluate a two-quantifier formula in a finite model About 45 minutes7 activities Paper packet This lesson needs JavaScript to run its activities.