联言推理两种有效推理形式是____和合成式。