单项选择题

A.当p不成立时,“如果p那么q”恒为真
B.“如果p那么q”定义的是一种蕴涵关系(即充分条件)
C.无法用真值表来判断“如果p那么q”的真假
D.“如果p那么q”意味着命题q包含着命题p,即p是q的子集