选言直言推理