p假推出q真,真是针对复合命题的情况
p假的情况下q正确
可以举个例子:如果太阳从西边出来,我们明天就不用上班