Description
 The main purpose of studying "Logical Inference" is to help us obtain a kind of logical ability, by means of which we will be able to make right choices for our life. This courses covers at least the following topics: basic ideas in logic, the truth table method, 18 basic rules of inference in the method of natural deduction in sentential logic, basic axiomatic systems in sentential logic, basic rules of inference in the method of natural deduction in quantificational logic, interpretations in quantificational logic, basic axiomatic systems in quantificational logic, metatheorem in sentential logic, metatheorem in quantificational logic, traditional syllogism, the fallacy theory, and the translation between natural and formal language, etc.

