为什么规定无论q是真是假,p→q均为真 离散数学中蕴涵式的问题