Research on the Solving Method of Prenex Normal Form in Predicate Logic
It's always a difficult point that solves the Prenex Normal Form in the Predicate Logic of Discrete Mathematics.Analyzes and summarizes the solution steps of Prenex Normal Form.The second,for the two rules and situations of changing name,researches on them according to the classification method.Using the instances,we help students to know well its solutions,and it gets a good effect in the teaching process.