【正文】
Form (3 class hours)Reasoning theory (3 class hours)4. Semester Hour StructureTopicsLectureComputer Lab.ExperimentPracticePractice (Week)Definitions and expressions of Propositions1Definitions of Connectives, Translation3Propositional 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 theory3