直言命题的直接推