规则24 假言三段论