Logic Freshman Course Mid Exam