The links below are to a couple of PDF files on models and invalidity.

This link lays out the basic definitions, with an example.

This one gives a number of arguments adapted from Lewis Carroll,
and provides a lot of exercise in translation as well as in model building.