Symbolic logic First-order countermodels supply a finite countermodel to a stated quantified inference About 45 minutes7 activities Paper packet This lesson needs JavaScript to run its activities.