Jarrar: First Order Logic Basics (Part 1/4)