附加前提的使用规则
回答
爱扬教育
2022-01-08
- 相关推荐
1.加否定是用的反证法， 当然也可以不用附加的，也可以做的；
2.是结论中的D，呵呵 这个问题不晓得说明你没看CP规则呀；
结论是P→Q 格式的，可以把结论中的前件也作为推理的前提，使结论只为Q 。
扩展资料
离散数学（Discrete mathematics）是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。