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

来源：学生作业帮助网编辑：六六作业网时间：2024/12/25 22:40:03

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 中 ,逗号等同于 “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