直言命题 变形推理例题