1. To grasp the basic notions of logic and be able to use them

2. To excel at the skills of symbolizing arguments of natural language in First-order Logic

3. To understand and use basic semantic techniques of validity checking in Propositional Logic

4. To understand and use basic syntactic techniques of theorem proving in First-order Logic

5. To become familiar with basic metatheorems of First-order Logic