构造下面命题推理的证明

来源：学生作业帮编辑：搜搜考试网作业帮分类：数学作业时间：2024/06/05 05:37:21

构造下面命题推理的证明
张三或李四的彩票中奖了,如果张三的彩票中奖那么我能知道；如果李四的彩票中奖,那么王五的彩票业中奖；但是我不知道张三的彩票中奖,因此李四和王五的彩票中奖了.

设 P(x):x彩票中奖,S(x):我知道x中奖, a：张三 ,b：李四, c:王五
根据题目可以得到条件:
P(a)vP(b) P(a)→S(a) P(b)→P(c) ┐S(a)
结论:P(b)∧P(c)
证明：
(1) ┐S(a) P
(2) P(a)→S(a) P
(3) ┐S(a)→┐P(a) T(2)E
(4) ┐P(a) T(1)(3)I
(5) P(a)vP(b) P
(6) ┐P(a)→P(b) T(5)E
(7) P(b) T(4)(6)I
(8) P(b)→P(c) P
(9) P(c) T(7)(8)I
(10) P(b)∧P(c) T(7)(9)I

构造下面命题推理的证明二、有效推理证明.1.构造下面命题推理的证明：离散数学构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带将下列命题符号化,并构造推理证明离散数学：符号化命题,构造推理自然推理系统问题在自然推理系统Nb中,构造下面推理的证明没有白色的乌鸦.北京鸭是白色的.因此,北京鸭不是乌鸦构造下面推理的证明前提：非(p合取非q),非q析取r,非r结论：非p 在自然推理系统中构造下面推理的证明：前提：p→r,q→s,p∧q,结论：r∧s 1、写出下面推理的证明过程. 符合化下列命题,并构造推理证明：三角函数都是周期函数,有些三角函数是连续函数,所以有些周期函数是构造下面推理的证明前提:p→(q→s),q,p∨┐r.结论：r→s实在是看不懂书上写的了. 离散数学数理逻辑例构造下面推理的证明 P1152是素数或合数.若2是素数,则是无理数.若是无理数,则4不是素数.所