用命题逻辑推理方法证明下列推理如果我学习那么我数学不会不及格。如果我不热衷于玩扑克，那么我将学习。但是我数学不及格，因此，我热衷于玩扑克。其中：p：我学习。q：我数学及格。r：我热衷于玩扑克。
2019-04-30
用命题逻辑推理方法证明下列推理
如果我学习那么我数学不会不及格。如果我不热衷于玩扑克，那么我将学习。但是我数学不及格，因此，我热衷于玩扑克。
其中：p：我学习。q：我数学及格。r：我热衷于玩扑克。
优质解答
[(p→q)∧(¬r→p) ∧¬q] →r
分解开来是这样的：
1、[(p→q)∧¬q]→¬p（充分条件假言推理否定后件式）
2、(¬r→p) ∧¬p]→r（充分条件假言推理否定后件式）
能看清楚吧？
[(p→q)∧(¬r→p) ∧¬q] →r
分解开来是这样的：
1、[(p→q)∧¬q]→¬p（充分条件假言推理否定后件式）
2、(¬r→p) ∧¬p]→r（充分条件假言推理否定后件式）
能看清楚吧？