结构推理 设P为：他将去学校，Q为：他有时间．命题①“他将去学校，仅当他有时间”，②“他没有时间，他不去学校”，将①②符号化．
【正确答案】①P→Q．
【答案解析】命题并没有指明有时间就去学校，所以不能用Q→P．命题只是说去学校一定是有时间的情况，但并没有肯定有时间的情况都一定去学校．
   ②￢Q→￢P．