Emphasis: Basic properties of connectives, application of truth table, equivalence algorithm, solution and application of principal disjunctive paradigm and principal conjunctive normal form, and reasoning theory.

Difficulties: Symbolization of propositions. Prove the validity of reasoning with constructive proof.

Two. predicate logic

Emphasis: the definition of predicate, the concept of quantifier, the application of renaming rules and substitution rules, and the solution of toe-in paradigm.

Inference theory.

Difficulties: Symbolization of propositions. Prove the validity of reasoning with constructive proof.

Three. Set sum relation

Emphasis: the relationship between elements and sets, the relationship between sets, the concept of power sets, the basic operations of sets, the counting of finite sets, the operations and properties of Cartesian products, the three representations of relationships and their transformations, the basic operations of relationships, the five properties of relationships, the solution of relationship closures, the related theorems of equivalence relations and division and their applications, and the solution of eight specific elements in partial ordered sets.

Difficulties: proof of the nature of the relationship. Solution of eight specific elements in poset.

Four. function

Key points: definition and properties of functions. Composition of functions. Only bijective functions have inverse functions.

Difficulties: the proof of the nature of the function. Construction of bijection between infinite sets.

Verb (abbreviation of verb) graph theory