设P表示“天下大雨”, Q表示“他在室内运动”,则命题“除非天下大雨,否则他不在室内运动”符号化为( )。
·;
·;
·;
·.
出自:佳木斯大学语言治疗学