好悬成你妈 2星
共回答了93个问题采纳率:91.4% 评论
具体运用方法就是:
(1)使用P规则,把R当作一般前提(就像S一样)来使用;但应加以说明:附加前提;
(2)当推导出C之后,可直接写出最后的结论:R→C;这一步的说明是:CP规则
先说一下,即使不用CP规则,只用P规则和T规则(即直接证明法)也可以实现所有证明。引入CP规则,只是为了简化证明过程。不过CP规则的适用范围不像P、T规则那样具有普遍性——当被证明的结论本身是一个条件复合命题时,才会用到CP规则。其内容是:
若要证明:(S)=>(R→C);——S是前提,R→C是结论;
只需证明:(S∧R)=>(C);——即:把R当作附加的前提,引入推理过程;
11小时前
小心眼的人 2星
共回答了229个问题 评论
运用方法就是:1、附加前提规则,如果从给定前提集合Γ与公式p(附加前提)中推出结论s,则给定前提Γ,能推出p蕴含s。1、使用P规则,把R当作一般前提(就像S一样)来使用;但应加以说明:附加前提。2、当推导出C之后,可直接写出最后的结论:R→C;这一步的说明是:CP规则。离散数学的学科内容1、集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数。2、图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用。3、代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数。4、组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理。5、数理逻辑部分:命题逻辑、一阶谓词演算、消解原理。离散数学被分成三门课程进行教学,即集合论与图论、代数结构与组合数学、数理逻辑。教学方式以课堂讲授为主, 课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。
9小时前
猜你喜欢的问题
5个月前1个回答
5个月前1个回答
5个月前1个回答
5个月前2个回答
5个月前1个回答
5个月前2个回答
热门问题推荐
4个月前1个回答
3个月前1个回答
1个月前5个回答
1个月前2个回答
4个月前1个回答
1个月前2个回答
3个月前1个回答
3个月前2个回答
1个月前1个回答