1. Translate English sentences into FOL using the blocks language of Tarski's World.
2. Translate sentences of FOL into natural-sounding English.
3. Translate sentences that use function symbols into natural-sounding English.
4. Using a given world, indicate whether an expression is 1) a sentence 2) evaluable and 3) true or false.
5. Translate sentences into a functional language using a newly defined function.
6. Classify arguments as valid or invalid.
7. For invalid arguments, build a "world" that makes all the premises true and the conclusion false.
8. Complete a Fitch-style proof.  You may have to insert sentences, fill in justifications, or fill in line number citations.