p→q类型中,当p为假时为什么整体为真