联言推理的两种主要推理形式是_____和合成式。