离散数学中的逻辑推理:A,B,A→B,B∧C→D,D→Q?题目是：已知下列事实：A,B,A→B,B∧

离散数学中的逻辑推理:A,B,A→B,B∧C→D,D→Q?题目是：已知下列事实：A,B,A→B,B∧

你的已知事实是不是有错误?如果是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为真得证“,”表示“且”,即前后两个同时成立=>表是推出,即前面成立时得到后面结论,可以理解为所以======以下答案可供参考======供参考答案1:这里“，”是合取的意思,=>是逻辑蕴含的意思,如A=>B意思是当A为真,则B也为真,原题要证明,A∧B∧(A→B)∧(B∧C→D)∧(D→Q)=>Q。即要证明当A,B,A→B,B∧C→D,D→Q同时为真时,Q也为真.

谢谢回答！！！