Jitpro Exercise 2.1 (Exchanging Quantifiers)

You had a problem like this on Test 5 where you gave an ND proof. It's a good idea for you to do a tableau proof and compare the tableau proof to the ND proof.

A similar problem.

Jitpro Exercise 2.2 (Simple Quantifier Examples)

Jitpro Exercise 2.3