判断是否重言式P→(q→﹁﹁p)