2) 演示文稿第一章节.ppt

§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…}∪{ P1 ，P2，… }∪{┐，  ∧，∨，→，（，）}的符号串。 现在我们给出合式字符串的定义。 定义：命题逻辑的合式公式是且仅是那些有限次使用下列构成规则  所得到的符号串， （①到⑤所构成的符号串） ① 原子（原子命题）：每个命题原子P，q，r…和P1 ，  P2，…是合式公式。 ② ┐：如果Ф是合式公式，那么（┐Ф）也是合式公式。  ③ ∧：如果Ф和ψ是合式公式，那么Ф∧ψ也是合式公式。 ④ ∨：如果Ф和ψ是合式公式，那么Ф∨ψ也是合式公式。 ⑤ →：如果Ф和ψ是合式公式，那么Ф→ψ也是合式公式。 ⑥ 公式仅限于此 Note：联结词的优先级：1：┐，2：∧，r：3：→。蕴涵→是右 结合，如P→q→r表达为P→（q→r） 下面将定义命题逻辑合式公式以定义语法的形式给出 即：Ф：：=P∣（┐Ф）∣（Ф∧Ф）∣（Ф∨  Ф）∣（Ф→Ф） (1-3) 其中：P代表原子命题，：：=右边的Ф的每一次出  都表示已经构造好的公式。 例：设 P，q，r是合式公式 根据定义有：P∧q，P∨q，┐P，┐  （P∧┐q），…均是合式公式（无限多）， 接下来，如何证明一个符号串是一个合式公式呢？ 分析（1—3）式的语法满足逆推理原理，即逆推过  程构建公式（即从树叶向树根推导，这符合计算机  应用，因是有限的符号串） 例：Ф=（（（┐P）∧q）→（P∧（q∨（┐r）））） （1-4） 分析 1）Ф蕴涵式， 其假设是（┐P）∧q) （前件） 其结论是（P∧（q∨（┐r）））（后件） 2）对假设运用逆推，该式是（┐P）和q的合取 3）因为（1-3）第一个子句P是合式 第二个子句P是合式 4）所以合取也是合式，同理结论（P∧（q∨┐r））也 是合式 所以说可用我们给出语法分析树（二叉树） →  ∧ ∧ ┐ q P ∨ P q ┐