Symbolic logic Existential proof identify a permitted existential witness move About 45 minutes7 activities Paper packet This lesson needs JavaScript to run its activities.