A->C,C->B=>A->B 中 ,逗号等同于 “v ”

A->C,C->B=>A->B 中 ,逗号等同于 “v ”
A->C,C->B=>A->B 中 ,逗号等同于 “v ”

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

这里的逗号不是运算符，若要算的话，应该是并且 即 与运算
这里表达是传递规则。
即：A->C并且C->B 则 A->B