Question

证明前提┐p∨r，┒q∨s，p∧q 结论：t→（r∧s）离散数学

前提┐p∨r，┒q∨s，p∧q 结论：t→（r∧s）离散数学

Answer 1

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