数理逻辑学习笔记[3] #20210710 一阶逻辑：模型论谓词和量词一阶语言复杂度和权重 一阶逻辑：模型论 谓词和量词 Q: 为什么说命题逻辑 L L L的表达能力不够？ A: 比如难以表达“至少有一个A中元素满足某某”。 注：命题逻辑较容易表达“所有A中元素都满足某某”。Q: 含有自由变元的陈述和命题逻辑中的命题形式有何共同点？ A: 由于变元（自由变元或者命题逻辑中