依据前提的数目，所有的推理可分为