直言命题及推理补充练习