三、联言命题及其有效推理