第三章、谓词逻辑

    相关基础定义
        特指的个体常量：小写的a,b,c,d、
        
        泛指的个体变量：小写的x,y,z
        
        个体域：个体词的取值范围，用D表示
        
        谓词：使用大写字母 P Q R F G H L表示 取值是0,1 而函数是个体域D^n->D
            谓词常量：表示具体性质或关系的谓词
            谓词变量：表示抽象的泛指性质或关系的谓词
            谓词的顺序不能随意改变
                如F(a,b)：a是b的父亲

        0元谓词：没有任何个体变量的谓词  F(a)也就是命题

        量词：
            全称量词： ∀ 
            存在量词： ∃

        变元的分类
            约束变元：变元在使用变元的量词的辖域之内
            自由变元：变元不在使用变元的量词的辖域之内
                如：(∃x)P(x)∧Q(x,y)中P(x)中的x是约束变元，Q(x,y)中的x，y是自由变元


        两个规则(改名的新变元必须有别于其他变元)
            约束变元的改名:所有都需要用新的个体变元替换
                (∃x)P(x)∧Q(x,y)=>(∃z)P(z)∧Q(x,y)

            自由变元的改名：每一处都用新的个体变元替换,带入常量
                (∃x)P(x)∧Q(x,y)=>(∃x)P(a)∧Q(a,y)


        闭式：当G中无自由出现的个体变元
        
        前束范式：一切量词都在最前端，并且这些量词的辖域都延伸至公式的最末端
            求解步骤：
                1.消去->,<->
                2.运用量词转换，德摩根律和双重否定律内移¬
                3.使用谓词等价公式将量词提前，改名，量词分配，辖域的扩张与收缩



    谓词公式
        改名: ∀ x G(x) ≡ ∀ y G(y)         ∃同理
        量词转换律：¬∃ x G(x) ≡ ∀ x ¬G(x)      ∃同理
        辖域的扩张与收缩：
            ∀ x (G(x) ∧/∨ S) ≡ ∀ x G(x) ∧/∨ S  ∃同理
            ∀ x G(x) ∧ ∀ x H(x) ≡ ∀ x ∀ y (G(x) ∧ H(y))   ∃同理
            ∀ x (G(x) ∧ H(x)) ≡ ∀ x G(x) ∧ ∀ x H(x)   ∃同理

        谓词演算
            UI 全称特指规则,量词消去
                ∀ x G(x) ⇒ G(y)，y 不在 ∀ x G(x) 中约束出现
                ∀ x G(x) ⇒ G(c)，c 为任意个体常量

            EI 特称存在规则，量词消去
                ∃ x G(x) ⇒ G(c)，c 为存在一个满足 G(x) 的个体常量

            UG 全称推广规则，量词引入
                G(y) ⇒ (∀ x) G(x)，G(y) 中无变元 x

            EG 存在推广规则，量词引入
                G(c) ⇒ (∃ x) G(x)，c 为特定个体常量
                G(y) ⇒ (∃ x) G(x)，G(y) 中无变元 x


        当特称与全称需要同时改成同一个元素时，需要先使用EI，后使用UI
        当利用EI规则时，y可以表示成z的函数，那么可以将∃yG(z,y)改成G(z,f(z))
        推理定律
            ∀ x (G(x) -> H(x)) ≡ ∀ x G(x) -> ∀ x H(x)
            ∀ x (G(x) -> H(x)) ≡ ∃ x G(x) -> ∃ x H(x)   
            ∀ x ∃ y G(x,y)=>∃ x ∀ y G(x,y)         感觉类似于改名规则