2) 演示文稿第一章.pptVIP

§1.3 作为形式语言的命令逻辑： 在前一节中讲述的规则均是非形式的，主要目的是理解自 然演绎的精确机理，但我们必须做到： 1）规则对能形成的任何公式都是有效的； 2）规则与对应的模式相匹配。 例：应用→e规则 1 P→q 前提 1 P∨┐r→（r→P）前提 Ф Ф→ψ 2 P 前提 2 P∨┐r 前提 ψ 3 q →e1，2 3 r→P →e1，2 其中：把P用P∨┐r代替，q用r→P代替，证明同样有效。（代 入问题） Note：这样代入公式是无穷的，但是规范的。（在运算应用中 必需有限的） 结论：这就是我们用代表一般公式的希腊符号表示这  样规则的原因。 在给出形式化之前我们知道命题公式一定是字母 表。 即：命题公式={ P，q，r…}∪{ P