5.3 假言连锁