A. "如果 p 那么 q "定义的是一种蕴涵关系(即充分条件)

B. "如果 p 那么 q "意味着命题 q 包含着命题 p ,即 p 是 q 的子集

C. 无法用真值表来判断"如果 p 那么 q "的真假

D. 当 p 不成立时,"如果 p 那么 q "恒为真