联言推理有两种推理式：分解式和（）。