作者在教材分析的基础上,通过对高中数学新课程标准中命题及其关系、简单的逻辑联结词、充分条件、必要条件、全称量词、存在量词与离散数学中的命题符号化及联结词、推理理论、一阶逻辑知识的比较,研究其异同点,从而更好地指导大学离散数学的教学。%The paper studies the differences and similarities among propositions and their relations, simple logical connectives, sufficient condition, necessary condition, universal quantifier, existential quantifier and the symbolization of proposition and connectives in discrete mathematics, reasoning theory, the first-order logic knowledge, for providing better guidance for college discrete mathematics teaching, based on the analysis of new mathematics standard for high schools.
展开▼