二难推理是以( )和( )为前提，根据充分条件假言判断和选言判断的逻辑性质得出结论的推理。