复习一命题演算 命题演算形式系统: 命题公式 语法 形式公理 形式规则 形式推理 指派 语义:{公式的值 永真式 可靠性:凡是推出来的都是正确的. 完全性:凡是正确的都可以推出来.— : • ✓    • ✓    : . : . 1