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