设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( ). A. B. C. D.