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

问题描述:

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

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