To familiarise students with the basic concepts of logic.
Basic concepts of propositional logic and predicate logic.