This course divides logical knowledge into two main parts: (1) Logical Language; (2) Logical Proof. In the lessons before the midterm exam, our teaching objective is focused on the logical knowledge related to (1), with the expectation of helping students understand how logical language differs from natural language. Students will learn the grammatical structure and semantic features of logical language, and then recognize various types of logical inferences. After the midterm exam, our focus will shift to the logical knowledge related to (2), acquainting students with logical proof rules and practical operations of logical proofs, thereby learning abstract reasoning skills. This semester, we will arrange two written tests, midterm and final, to examine students' reception of the course content. One week before each test, we will also conduct a pre-test review to help students recall the course content and provide explanations and clarifications for less familiar topics.