【正文】
positional formula, implication, equivalence2Definitions and properties of Normal form3Propositional Reasoning theory3Definitions of Predicates1Definitions of Quantifiers, Translation3Predicate formula, implication, equivalence2Definitions and properties of Prenex Normal Form3Predicate Reasoning theory3Sum:645. GradingExam.6. TextBook amp。 Additional Readings1) Zuo Xiaoling et al, Discrete Mathematics, Shanghai Keji。 1989 (in Chinese).