数理逻辑 (作为形式语言的命题逻辑).ppt

§2.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，… }∪{┐，  ∧，∨，→，（，）}的符号串。 现在我们给出合式(well-formed)字符串的定义。 定义：命题逻辑的合式公式是且仅是那些有限次使用下列构造规则  所得到的符号串， （①到⑤所构成的符号串） ① 原子（原子命题）：每个命题原子p，q，r…和p1 ，  p2，…是合式公式。 ② ┐：如果φ是合式公式，那么（┐φ）也是合式公式。  ③ ∧：如果φ和ψ是合式公式，那么φ∧ψ也是合式公式。 ④ ∨：如果φ和ψ是合式公式，那么φ∨ψ也是合式公式。 ⑤ →：如果φ和ψ是合式公式，那么φ→ψ也是合式公式。 ⑥ 公式仅限于此 Note：联结词的优先级：1：┐，2：∧，∨ ，3：→。蕴涵→是右 结合，如p→q→r表达为p→（q→r） 定义命题逻辑合式公式是以定义语法的形式给出(BNF) 即φ：：=p∣（┐φ）∣（φ∧φ）∣（φ∨  φ）∣（φ→φ） (1-3) 其中：p代表原子命题，φ表示任何已经构造好的公式。 例：设 p，q，r是合式公式 根据定义有：p∧q，p∨q，┐p，┐  （p∧┐q），…均是合式公式（无限多）， 接下来，如何证明一个符号串是一个合式公式呢？ （1—3）式的语法满足逆推理原理，即逆推过  程构建公式（即从树叶向树根推导，这符合计算机  应用，因是有限的符号串） BNF(Backus Naur巴科斯范式)：描述计算机语言语法的符号集 1.双引号中的字(“word”)代表着这些字符本身 2.在双引号外的字（有可能有下划线）代表着语法部分 3.尖括号( )内包含的为必选项 4.方括号( [ ] )内包含的为可选项 5.大括号( { } )内包含的为可重复0至无数次的项 6.竖线( | )表示在其左右两边任选一项，相当于“OR”的意思 7.::= 是“被定义为”的意思 例：φ=（（（┐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））也 是合式 所以说可用我们给出语法分析树（二叉树）