离散数学中的逻辑推理:A,B,A→B,B∧C→D,D→Q?
来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/14 18:37:45
离散数学中的逻辑推理:A,B,A→B,B∧C→D,D→Q?
题目是:
已知下列事实:
A,B,A→B,B∧C→D,D→Q,求证:Q为真.
我的疑问是:
1,题目中的“,”是表示什么意思?是合取、析取?
2、书上给出的证明是:
A,A→C=>C
B,C=>B∧C
B∧C,B∧C→D=>D
D,D→Q=>Q
所以Q为真
证明我也看不懂,这里又出现“,”了是什么意思?=>表示什么意思?
请高人解释解释,万分感激!
题目是:
已知下列事实:
A,B,A→B,B∧C→D,D→Q,求证:Q为真.
我的疑问是:
1,题目中的“,”是表示什么意思?是合取、析取?
2、书上给出的证明是:
A,A→C=>C
B,C=>B∧C
B∧C,B∧C→D=>D
D,D→Q=>Q
所以Q为真
证明我也看不懂,这里又出现“,”了是什么意思?=>表示什么意思?
请高人解释解释,万分感激!
你的已知事实是不是有错误?如果是A,B,A→C,B∧C→D,D→Q的话就解释的通了.
A为真,因为A推出C,所以C为真
B为真,C为真,推出B并C为真
B并C为真,因为B并C为真推出D,所以D为真
因为D为真,D推出Q,所以Q为真
得证
“,”表示“且”,即前后两个同时成立
=>表是推出,即前面成立时得到后面结论,可以理解为所以
A为真,因为A推出C,所以C为真
B为真,C为真,推出B并C为真
B并C为真,因为B并C为真推出D,所以D为真
因为D为真,D推出Q,所以Q为真
得证
“,”表示“且”,即前后两个同时成立
=>表是推出,即前面成立时得到后面结论,可以理解为所以
离散数学中的逻辑推理:A,B,A→B,B∧C→D,D→Q?
离散数学计算的过程怎么来的?b ∧ (b ∨ c ∨ d ) ∧ d ∧ ( a ∨ b ∨ d ) ∧ ( a ∨ b
符合A+D→B B+D→C A+C→B的所有化学反应
逻辑推理题:Z H A ; M E A:K B:Y C:B D:W
A + B → C + D △S
Q(a,b,c,d) :如果 a/b < c/d,得 a/b < (a+c)/(b_d) < c/d
求文档:关于离散数学笛卡尔乘积 证明(A-B)*(C-D)是否等于(A*C)-(B*D)
[a,b)×[c,d
a,b ,c ,d
离散数学(﹁A∧﹁B)∨(﹁A∧﹁B)等于什么?(﹁C∧D)∧(C∧﹁D)等于什么?
十六进制中的A B C D E
前提条件P→﹁Q P的有效结论是() A:P B:﹁P C:Q D:﹁Q