In this lecture we give an introduction to formal logic. The purpose is to relate how to test validity of an argument with the models presented in the previous weeks.