a推出b b推出c c推出a 则a与c互推 真假命题