Question

1． 证明下面推理： 前提：p→┐q, ┐r∨q, r∧┐s 结论：┐p

急！！！

Answer 1

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