请问一个公式的推导 A推出B B推出C 说明A也能推出C吗?那么A与B有关系 B与C有关系 A与C有关系吗?