设P表示“天下雨”,Q表示“他在室内运动”,将命题“如果天不下雨,那么他一定不在室内运动”符号化为:( )
·P→Q
·P∧Q
·┐P→>┐Q
·┐P∨Q。