第四章 数理逻辑
全文均为手敲,如果发现有误,请于评论区交流讨论留言,作者会及时修改
4.1 命题逻辑
-
简单的基础概念
命题、联结词
命题变元、原子公式、由联结词集合生成的公式
真值赋值、永真式、可满足式、永假式、真值表、替换
等值演算、对偶定理
文字、简单合取式(析取式)、合取(析取)范式、主合取(析取)范式
逻辑推论
-
对偶定理
设 A A A是由 { 0 , 1 , ⌝ , ∧ , ∨ } \{0,1,\urcorner,\wedge,\vee\} {0,1,┐,∧,∨}生成的公式,将 A A A中的 ∧ \wedge ∧和 ∨ \vee ∨互换, 0 0 0和 1 1 1互换得到 A ∗ A^* A∗,称 A ∗ A^* A∗与 A A A互为对偶式。
若真值赋值 v 1 , v 2 v_1,v_2 v1,v2满足:对每个命题变元 p p p, p v 1 ≠ p v 2 p^{v_1}\neq p^{v_2} pv1=pv2,则称 v 1 , v 2 v_1,v_2 v1,v2是相反的真值赋值。
设 A A A是由 { 0 , 1 , ⌝ , ∧ , ∨ } \{0,1,\urcorner,\wedge,\vee\} {0,1,┐,∧,∨}生成的公式, A ∗ A^* A∗与 A A A互为对偶式, v v v和 v ′ v' v′是箱单的真值赋值,则 v ( A ∗ ) = ⌝ v ′ ( A ) v(A^*)=\urcorner v'(A) v(A∗)=┐v′(A)。
对偶定理:设 A , B A,B A,B是 { 0 , 1 , ⌝ , ∧ , ∨ } \{0,1,\urcorner,\wedge,\vee\} {0,1,┐,∧,∨}生成的公式, A A A与 A ∗ A^* A∗互为对偶式, B B B与 B ∗ B^* B∗互为对偶式,则
如果 A ⇔ B , 那么 A ∗ ⇔ B ∗ 如果A\Leftrightarrow B,那么A^*\Leftrightarrow B^* 如果A⇔B,那么A∗⇔B∗
-
完全集和极小完全集
设 S S S是联结词集合。如果每个 n ( n ≥ 1 ) n(n\ge1) n(n≥1)元联结词都可由 S S S定义,则称 S S S为完全集。
若从完全集 S S S中去掉任意一个联结词就成为不完全的了,则称 S S S为极小完全集。
若完全集 S 1 S_1 S1中的每个联结词都可由联结词集合 S 2 S_2 S2定义,则 S 2 S_2 S2也是完全集。
-
永真式与永假式的主范式
出现 n n n个命题变元的公式 A A A为永真式,与以下两个条件均等价:
( 1 ) A (1)A (1)A的主析取范式中包含所有 2 n 2^n 2n个极小项。
( 2 ) A (2)A (2)A的主合取范式中不包含任何极大项。
出现 n n n个命题变元的公式 A A A为永假式,与以下两个条件均等价:
( 1 ) A (1)A (1)A的主析取范式不包含任何极小项。
( 2 ) A (2)A (2)A的主合取范式中包含所有 2 n 2^n 2n个极大项。
-
逻辑推论
若真值赋值 v v v满足公式集合 Γ \Gamma Γ中的每个公式,则称 v v v满足 Γ \Gamma Γ。
设 A A A是公式,若每个满足 Γ \Gamma Γ的真值赋值都满足 A A A,则称 A A A是 Γ \Gamma Γ的逻辑推论,记为 Γ ⊨ A \Gamma\vDash A Γ⊨A。
-
逻辑推论相关定理
设 A A A是公式则 ⊨ A \vDash A ⊨A当且仅当 A A A是永真式。
设 A 1 , ⋯ , A n , B A_1,\cdots,A_n,B A1,⋯,An,B是公式,则 A 1 , ⋯ , A n ⊨ B A_1,\cdots,A_n\vDash B A1,⋯,An⊨B,当且仅当 A 1 ∧ ⋯ ∧ A n → B A_1\wedge\cdots\wedge A_n\to B A1∧⋯∧An→B是永真式。
设 A , B A,B A,B是公式,则 A ⇔ B A\Leftrightarrow B A⇔B,当且仅当 A ⊨ B A\vDash B A⊨B且 B ⊨ A B\vDash A B⊨A。
设 Γ \Gamma Γ是公式集, A , B A,B A,B是公式,则 Γ ∪ { A } ⊨ B \Gamma\cup\{A\}\vDash B Γ∪{A}⊨B,当且仅当 Γ ⊨ A → B \Gamma\vDash A\to B Γ⊨A→B。
设 n n n是正整数,则公式集 { A 1 , ⋯ A n } \{A_1,\cdots A_n\} {A1,⋯An}是可满足的,当且仅当 A 1 ∧ ⋯ ∧ A n A_1\wedge\cdots\wedge A_n A1∧⋯∧An是可满足式。
设 Γ \Gamma Γ是公式集,则 Γ \Gamma Γ是不可满足的,当且仅当每个公式都是 Γ \Gamma Γ的逻辑推论。