用归谬赋值法判定（ p∧q∧r →s ） → （ ┑ s→ （ p→ （ q → ┑ r ）））是否是重言式。