直言命题中的推出关系