命题能传递么 例如A推出B,B推出C,那么A推出C么?