二难推理的简单构成式使用了充分条件假言推理的（），其结论是一个（）判断。