Question

离散数学蕴含中 蕴含是什么关系 书上写的 当且仅当P真Q假时 P->Q为假

离散数学蕴含中 蕴含是什么关系
书上写的 当且仅当P真Q假时 P->Q为假
但是 什么时候P->Q为真呢？ 是P假的时候 还是Q真的 时候

Answer 1

P Q p->Q
0 0 1
0 1 1
1 0 0
1 1 1
0为假，1为真
蕴含是说P->Q为永真时，P=>Q
要使P->Q永真，有
P Q p->Q
0 0 1
0 1 1
1 1 1
这三种情况
所以，一般书上还有两个性质，当P为真时，Q为真则P=>Q；当Q为假时，P为假，则P=>Q
并以此两性质进行蕴含关系的证明

Answer 2

看来你们数字逻辑还没有学，实际上，离散数学的第一部分是数字逻辑的一个延伸，其内容本质上一样，不过运算符号变了。对于其运算，有一下对应关系：a∨b=a+b,a^b=ab,a→b=「a∨b=「a+b,a�6�2b=a⊙b=(ab+「a「b),所以你再进行任何逻辑推理时，只要知道这些，解题就会得心应手。另外，对于你的追问，这很简单啊，咱们中学就学了：一个命题的逆否命题为真，所以你的那个问题不一定成立，如果改成「Q→「P就成立了

Answer 3

`````学习哥