For years, the logic course in the first year of our Bachelor in Computer Science was a serious hurdle for many students. Most of the students computer science perceive the formal and abstract mechanisms of logic as difficult and awkward to deal with. We have seen a lot of procrastination with regard to studying this subject.