前提和结论都是假言判断的推理。