作业帮离散数学中的逻辑推理:A,B,A→B,B∧C→D,D→Q?题目是：已知下列事实：A,B,A→B,B∧C→D,D→Q,求证：Q为真.我的疑问是：1,题目中的“,”是表示什么意思?是合取、析取?2、书上给出的证明是：A,A→
来源：学生作业帮助网 编辑：作业帮 时间：2024/05/10 15:26:55
离散数学中的逻辑推理:A,B,A→B,B∧C→D,D→Q?题目是：已知下列事实：A,B,A→B,B∧C→D,D→Q,求证：Q为真.我的疑问是：1,题目中的“,”是表示什么意思?是合取、析取?2、书上给出的证明是：A,A→
离散数学中的逻辑推理: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?题目是：已知下列事实：A,B,A→B,B∧C→D,D→Q,求证：Q为真.我的疑问是：1,题目中的“,”是表示什么意思?是合取、析取?2、书上给出的证明是：A,A→
你的已知事实是不是有错误?如果是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=>B意思是当A为真,则B也为真,原题要证明,A∧B∧(A→B)∧(B∧C→D)∧(D→Q)=>Q。即要证明当A,B,A→B,B∧C→D,D→Q同时为真时,Q也为真.
离散数学中的逻辑推理:A,B,A→B,B∧C→D,D→Q?题目是：已知下列事实：A,B,A→B,B∧C→D,D→Q,求证：Q为真.我的疑问是：1,题目中的“,”是表示什么意思?是合取、析取?2、书上给出的证明是：A,A→
“A导致B”的逻辑推理是A→B,还是B→A 啊?
离散数学(a-b)-c=(a-c)-b怎么证
逻辑推理中：A V B 的假命题是什么?
离散数学：A=｛2,3,4｝,B=｛a,b｝,求A*B
逻辑推理 除非A否则B的公式表达是 -B👉A吗?逻辑推理除非A否则B的公式表达是-B👉A吗?
离散数学,A B C 为任意集合 证明
解一道离散数学中的集合证明题设A,B,C为集合,且A包含于B,B包含于C,证明A包含于C
行测-逻辑推理A->(B且C)->B(C) 这里的“B(C)”,文字意思是?
离散数学A×B=A×C,A不是空集,则B=C.求证明过程.
离散数学-一阶逻辑中 拒取式：(A→B)∧非B 等价于 (A→非B)∧B 以上两个公式 都能够推理出- 非A?
离散数学(A－B)×C = (A × C ) － ( B× C)成立吗?
离散数学问题：(A-B)∪(A∩B)怎么化简啊?RT,急求!要详细过程~
离散数学 证明集合A B等势 A=(0,1) B=(-2,2)
离散数学中a=>b和a->b有什么区别?
离散数学 基数A,B都是可数集,求证A×B为可数集.
在离散数学中,设A={a,b},求P(A)*A=?
离散数学集合的证明问题（很简单）：证明：若集合A-B=B-A,那么A=B