slide 1：课程大纲

• 2 命题逻辑
• 3 三段式推理
• 4 关于谓词和类的推理
• 8 有效性测试
• 9 证明（自然演绎）
• 10 计算（Resolution）
• 11 集合
• 12 关系
• 13 函数