In addition to reading section 2.1 of the text, please take a look at the following three sets of lectures slides I made for CS250:

I'd like you to read through them and make sure they make sense -- they provide a bunch of examples understanding truth from Tarski's definition and via the truth game, as well as just examples of negating formulas, etc. Please also see the handout on transforming FO formulas to Prenex form.