直言命题的对当关系和推理