不错的离散数学教材，很适合计算机专业的学生自学
2021-11-04 19:02:25
5.68MB
1
本资源是南京航空航天大学大学计算机专业《图论与代数》或《离散数学》必做的大作业，里面是tsp问题求解，采用最小临近法与最小生成树法进行模拟解决。本资源涵盖源代码以及完备的文档说明，可以直接下载使用。
2021-11-02 13:01:19
490KB
1
３.蕴涵式证明方法
除真值表外，还有两种方法：
① 前件真导后件真方法
设公式的前件为真，若能推导出后件也为真，则条件式是永真式，故蕴涵式成立。
因为欲证AB，即证AB是永真式。对于AB，除在A取真和B取假时，AB为假外，余下AB皆为真。所以，若AB的前件A为真，由此可推出B亦为真，则AB是永真式，即AB。
2021-11-01 16:35:40
560KB
1