为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容。为了在命题演算中，反映命题的内在联系，常常 要将简单命题分解成个体词、谓词、量词等，并对它 们的形式结构及逻辑关系加以研究，总结出正确的推 理形式和规则，这就是本章一阶逻辑要研究的内容