数学
离散数学中的分划定义是什么?

2019-05-29

离散数学中的分划定义是什么?
优质解答
课本上的定义的写法应该是有点问题,想必是用“P→Q”表示条件式吧?
这里你很容易想到P和Q是两个命题变元吧,实际上这里的P和Q是命题公式,所以写成A→B更合适点.也就是说前件和后件是有关系的,比如P∧Q→P,就是一个重言式
当P,Q都是命题变元的时候,P→Q当然不可能是重言式了.
课本上的定义的写法应该是有点问题,想必是用“P→Q”表示条件式吧?
这里你很容易想到P和Q是两个命题变元吧,实际上这里的P和Q是命题公式,所以写成A→B更合适点.也就是说前件和后件是有关系的,比如P∧Q→P,就是一个重言式
当P,Q都是命题变元的时候,P→Q当然不可能是重言式了.
相关标签: 离散数学 定义
相关问答