复习 生成的一阶语言 个体变元 个体常元 胃词 符号库:{函数 量词 联结词 辅助符号 项 公式:}公式 自由与约束L ✓ : • ✔    • ✔    ✕✖ 1