二、有效推理证明.1.构造下面命题推理的证明:
1、如果我学习,那么我数学不会不及格;如果我不热衷于玩游戏机,那么我将学习;但我数学不及格.因此我热衷于玩游戏机.
2.张三或李四的彩票中奖了;如果张三的彩票中奖了,那么你是知道的;如果李四的彩票中奖了,那么王五的彩票也中奖了;现在你不知道张三的彩票中奖.所以李四和王五的彩票都中奖了.
人气:100 ℃ 时间:2019-11-15 07:17:13
解答
1、如果我学习,那么我数学不会不及格;如果我不热衷于玩游戏机,那么我将学习;但我数学不及格.因此我热衷于玩游戏机.
2.张三或李四的彩票中奖了;如果张三的彩票中奖了,那么你是知道的;如果李四的彩票中奖了,那么王五的彩票也中奖了;现在你不知道张三的彩票中奖.所以李四和王五的彩票都中奖了.
1、p:我学习;q:及格;r:玩游戏机
归谬赋值法证明题1:
((p→~~q)∧(~r→p)∧~q))→r
T TT F TT TFTTTT FT 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 ⑥⑦∧+
证毕
推荐
- 构造下面命题推理的证明
- 构造下面推理的证明
- 推理说明下列命题是真命题,有急用.
- 构造下面推理的证明
- 在命题逻辑中构造下面推理的证明 前提:p→s,q→r,┐r,p∨q,结论s
- 某农场,去年产稻谷和小麦共3200吨,其中稻谷比小麦多800吨则去年产稻谷和小麦各多少吨?(用解方程)
- 拼音的拼读
- 某市百货商场某月1日举行促销活动,购物不超过200元不予优惠,超过200元而不足500元的全部九折优惠,超过500元时,其中500元九折,超过500元的部分8折优惠.某人先后两次购物分别用了134元和466元.
猜你喜欢