∧这个是交运算符号
P推出Q Q推出R 则 P推出R
相当于传递性 比如 A>B,B>C 则A>C