用归谬赋值法判定(p∧q∧r →s)→(┑s→(p→(q→┑r)是否 是重言式.