1. Translate negations, conjunctions, disjunctions, identity statements, conditionals, and biconditionals from English to FOL (and vice versa).
2. Build "worlds" that make all the sentences (using not, and, or, equals, the material conditional, and the biconditional) in a short list true.
3. Give the truth tables for the material conditional and the biconditional.
4. Look at a world and tell whether expressions using conditionals and biconditionals are 1) sentences, 2) evaluable, and 3) true or false.
5. Build truth tables for sentences containing up to 3 atomic sentences that contain conditionals and/or biconditionals. (8 rows)
6. Use a truth table to identify whether a sentence containing a conditional and/or biconditional is a tautology or not., and whether it is TT-possible or not.
7. Understand equivalent ways of expressing conditionals and biconditionals. (See page 199)
8. Use joint truth tables to show that a sentence using conditionals and/or biconditionals is/is not a consequence of other sentences.
9. Use joint truth tables to show that a pair of sentences using conditionals and/or biconditionals are/are not equivalent.
10. Use joint truth tables to show that a pair of sentences using conditionals and/or biconditionals are/are not TT-contradictory.
11. Do proofs of any sort covered so far, with or without premises, having a full understanding of every rule discussed so far. Be able to give an inconsistency proof. (See 140-141) In particular, be sure to understand the four rules that require subproofs and be able to accurately produce a proof containing nested subproofs by hand on paper.  The vertical lines matter.
12. Evaluate arguments using Tarski World predicates, giving a proof if valid, and giving a counterexample "world" if invalid.
13. Understand when to introduce the contradiction symbol with Contra Intro and when to use Ana Con instead.