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

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
并以此两性质进行蕴含关系的证明