逻辑中的假言命题:“只有,才”