已知前提：（1）p→┐q（2） ┐r∨q（3） r∧┐s推理过程如下：由（3）得r（联言推理的分解式）；把r代入（2）得┐q（相容选言推理的否定肯定式）；把┐q代入（1）得┐p（充分条件假言直言推理的否定后件式）；故得证。
