二、有效推理证明.1.构造下面命题推理的证明:1、如果我学习,那么我数学不会不及格;如果我不热衷于玩游戏机,那么我将学习;但我数学不及格.因此我热衷于玩游戏机.2.张三或李四的彩票
来源:学生作业帮助网 编辑:作业帮 时间:2024/09/03 11:55:25
二、有效推理证明.1.构造下面命题推理的证明:1、如果我学习,那么我数学不会不及格;如果我不热衷于玩游戏机,那么我将学习;但我数学不及格.因此我热衷于玩游戏机.2.张三或李四的彩票
二、有效推理证明.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 ⑥⑦∧+
证毕