第三章 逻辑知识回顾

• 命题、命题变量、连接词、复合命题、命题逻辑、原子公式、公式
• 谓词、一元谓词、二元谓词、量词、约束变量、自由变量、函数
• 一阶语言L、L的项、L的原子公式、L的公式
• 一阶谓词公式举例
  • 例：5只能被1和5整除、他不能在所有时刻欺骗所有人
• 一阶谓词逻辑系统：符号表、项、公式（组成部分）、公理、推理规则（推演部分）
• 一阶谓词逻辑系统举例
  • 例：描述加法器电路的一阶谓词逻辑系统（关于联通、电路、整个电路描述、查询）
• 逻辑系统的语法（形式可推演性）、逻辑系统的语义（可满足性、有效性）、重言式和矛盾式
• 可靠性定理，完备性定理