離散數(shù)學(xué)中的邏輯推理:A,B,A→B,B∧C→D,D→Q?
題目是：
已知下列事實(shí)：
A,B,A→B,B∧C→D,D→Q,求證：Q為真.
我的疑問(wèn)是：
1,題目中的“,”是表示什么意思?是合取、析取?
2、書上給出的證明是：
A,A→C=>C
B,C=>B∧C
B∧C,B∧C→D=>D
D,D→Q=>Q
所以Q為真
證明我也看不懂,這里又出現(xiàn)“,”了是什么意思?=>表示什么意思?
請(qǐng)高人解釋解釋,萬(wàn)分感激!