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

来源:学生作业帮助网 编辑:作业帮 时间:2024/10/08 19:24:00
A->C,C->B=>A->B 中 ,逗号等同于 “v ”
xP[J@, mW (S *}F4Ɛ|u ğa<1-1(hwA2`kfHOfuZ: #ER)?pYx '_h,(9 Mv/Sg7Euεck,mqs'2Omg'L3@c>U?H/fҽiRuM{mK;v@*U!h9S!0 No

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