网站建设总体上可划分为两个阶段,酒类网站建设,wordpress 后台分页按钮,北京网站设计研究与开发公司等值式(等值联结词)
1、设A、B是两个命题公式,若A、B构成的等价式 A等价于B 为重言式,那么称A与B是等值的 2、常用等值式#xff1a;
注意#xff1a;
1 双否定律
2 幂等律
3 交换律
4 结合律
5 吸收律
6 德摩根律
7 同一律
8 零律
9 矛盾律
10 排中律
11 蕴含表达式
12 …等值式(等值联结词)
1、设A、B是两个命题公式,若A、B构成的等价式 A等价于B 为重言式,那么称A与B是等值的 2、常用等值式
注意
1 双否定律
2 幂等律
3 交换律
4 结合律
5 吸收律
6 德摩根律
7 同一律
8 零律
9 矛盾律
10 排中律
11 蕴含表达式
12 等值表达式
13 **逆反律**(假言易位)14 归谬律(反证法) 15 输出律(间接证明法CP规则) 将蕴含前件作为前提条件去推出蕴含后件
析取范式与合取范式
1、文字命题变元及其否定 2、短语有限个文字的合取式 3、子句有限个文字的析取式
注意
一个文字既可以看作是一个短语也可以看作是一个子句4、析取范式有限个短语(合取式)的析取式 5、合取范式有限个子句(析取式)的合取式
主析取范式与主合取范式
1、极小项(成真赋值)
1 是一个简单的**合取式**
2 每个命题变元和它的否定式恰好出现仅出现一次
3 命题变元或它的否定式按照下标从小到大排列2、极大项(成假赋值)
1 是一个简单的**析取式**
2 每个命题变元和它的否定式恰好出现仅出现一次
3 命题变元或它的否定式按照下标从小到大排列3、主析取范式所有的合取式都是极小项的析取范式
4、主合取范式所有的析取式都是极大项的合取范式
5、求主析取范式和主合取范式的方法
1 真值表法
2 等值演算法
