二、有效推理证明.1.构造下面命题推理的证明：1、如果我学习,那么我数学不会不及格；如果我不热衷于玩游戏机,那么我将学习；但我数学不及格.因此我热衷于玩游戏机.2.张三或李四的彩票中奖了；如果张三的彩票中奖了,那么你是知道的；如果李四的彩票中奖了,那么王五的彩票也中奖了；现在你不知道张三的彩票中奖.所以李四和王五的彩票都中奖了.
问题描述：
二、有效推理证明.1.构造下面命题推理的证明：
1、如果我学习,那么我数学不会不及格；如果我不热衷于玩游戏机,那么我将学习；但我数学不及格.因此我热衷于玩游戏机.
2.张三或李四的彩票中奖了；如果张三的彩票中奖了,那么你是知道的；如果李四的彩票中奖了,那么王五的彩票也中奖了；现在你不知道张三的彩票中奖.所以李四和王五的彩票都中奖了.
答
1、如果我学习,那么我数学不会不及格；如果我不热衷于玩游戏机,那么我将学习；但我数学不及格.因此我热衷于玩游戏机.
2.张三或李四的彩票中奖了；如果张三的彩票中奖了,那么你是知道的；如果李四的彩票中奖了,那么王五的彩票也中奖了；现在你不知道张三的彩票中奖.所以李四和王五的彩票都中奖了.
1、p：我学习；q：及格；r：玩游戏机
归谬赋值法证明题1：
（（p→～～q）∧（～r→p）∧～q））→r
T TT F T T TFTT T T F T F
2、p：张中奖：q：李中奖；r：你知道；s：王中奖
自然推理证明题2：
①｛1｝p∨q
②｛2｝p→r
③｛3｝q→s
④｛4｝～r /∴q∧s
⑤｛2.4｝～p ②④→-
⑥｛1.2.4｝q ①⑤∨-
⑦｛1.2.3.4｝s ③⑥→-
⑧｛1.2.3.4｝q∧s ⑥⑦∧＋
证毕