离散数学基本公式

发布时间:2023-03-13 13:25:02   来源:文档文库   
字号:
.一、基本等值式
双重否定律AA幂等律AAAAAA
交换律结合律⑸分配律(6德摩根律(7吸收律(8零律(9同一律(10排中律(11矛盾律(12蕴含等值式.ABBAABBA
A(BC(ABCA(BC(ABC
A(BC(AB(ACA(BC(AB(AC(ABAB(ABABA(ABAA(ABAA11A00A1AA0A
AA1AA0ABAB


.(13等价等值式AB(AB(BAAB(AB(AB
AB(AB(AB(14假言易位ABBA(15等价否定等值式ABAB
(16归谬论(AB(ABA二、推理定律——重言蕴涵式
1.A(AB附加律

2.(ABA化简律
3.(ABAB假言推理
4.(ABBA拒取式

5.(ABBA析取三段论
6.(AB(BC(AC假言三段论
.

本文来源:https://www.2haoxitong.net/k/doc/c211c8340875f46527d3240c844769eae109a30c.html

《离散数学基本公式.doc》
将本文的Word文档下载到电脑,方便收藏和打印
推荐度:
点击下载文档

文档为doc格式