A->C,C->B是前提,A->B 是结论,表示由前两个前提可得到后面的结论,其中逗号等同于 “∧ ”