设P表示“天下大雨”, Q表示“他在室内运动”,则命题“除非天下大雨,否则他不在室内运动”符号化为( )。(本题5.0分)
A.P→Q;
B.P^Q;
C.P¬→Q;
D.P¬Q .
出自:平顶山学院-计算机科学与技术-离散数学