如果要...就要...是哪种形式的假言判断?