04数理逻辑(唐).docVIP

⑶ 可证等价是F(s)上的一个保持运算的等价关系，称为F(s)上的一个同等关系，这样可以按～将F(s)中的公式进行分类，每一类称为一个同等类（可证等价类），与A∈F(s)可证等价的公式全体记为[A]称为A的可证等价类，记F(s)/～＝[F]为所有的等价全体之集，即 [F]= F(s)/～＝{[A]|A∈F(s)}, 称[F]为F(s)关于可证等价关系的商。 （三）代入定理 定理：设公式A中含有子公式，～，在A中把一处或多处出现的代换成，得到的公式记为B，则A～B。 证明：按A中出现的连接词的个数进行归纳证明，但中出现的连接词不计在内，即作为一个整体。 若A不含连接词，则A＝，B＝，所以A～B，设当A中连接词的个数小于m时结论成立，现今对A中含有m个连接词。 若A＝C，这是C中含m－1个连接词，记C中出现的换成后为D，则B＝D，由假设C～D，所以C～D，即有A～B。 若A＝C→D，这时C，D均含有少于m个连接词，且B＝E→F，其中E，F分别为C，D中出现的换成而成的公式，则由假设C～E，D～F，由～的运算性质， A＝(C→D)～（E→F）＝B，得证。 代入定理的应用举例: ⑴ 试证（A→B）∨（A→C）～（A→B∨C） 其中G∨H＝G→H ⑵ 试证（A→B）∧（A→C）～（A→B∧C） 其中G∧H＝G→H ⑶ 试证（B→A）∧（C→A）～B∨C→A 证明：（1）不难证明： ①（A→B）～（A→（A→B）） ②（C→（A→B））～（A→（C→B）） ③（H→G）～（G→H） 由代入定理 A→B∨C＝（A→（B→C））～（A→（C→B））～（C→（A→B））～（C→（A→（A→B）））～（C→（（A→B）→A））～（（A→B）→（C→A））～（(A→B)→（A→C））～（A→B）∨（A→C） （2）易证 ├H∧G～H，├H∧G～G，及├B→（C→B∧C），又由MP知{A，A→B，A→C}├B，{A，A→B，A→C}├C， 所以{A，A→B，A→C}├B∧C 由演绎定理 {A→B，A→C}├A→B∧C， 从而用代入定理可得 ├（A→B）∧（A→C）→（A→B∧C） 反过来，由A→B∧C├A→B，A→B∧C├A→C 知： ├（A→B∧C）→（A→B）∧（A→C） 即（A→B）∧（A→C）～（A→B∧C） （3）注意（B∨C）＝（B→C）～（B→C）＝B∧C，及 B→A～A→B，C→A～A→C，用（2）和代入定理 （B→A）∧（C→A）～（A→B）∧（A→C） ～（A→B∧C） ～（A→（B∨C）） ～ B∨C→A （四）Lindenbaum代数 从上面我们不仅看到了可证等价的重要应用，而且知道可证等价～是F(s)上的一个保持运算的等价关系（称为同余关系），从而有商集[F]= F(s)/～。这一节我们对[F]引入≤关系和补运算＇,使（[F], ≤, ＇）成为Bool代数称为Lindenbaum代数。 1．Lindenbaum代数的引入 ⑴ 命题 A，B F(s)，定义[A] ≤[B]当且仅当├A→B，则≤为[F]上的偏序关系。 证明：[A], [B],则～A，～B，所以→～A→B，从而知≤的定义与[A],[B]的代表元选取无关，定义是合理的。 因├A→A，所以[A]≤[A],即≤是自反的 设[A] ≤[B]且[B] ≤[A],则├A→B且├B→A，所以A～B，故[A]=[B],即≤是反对称的 设[A] ≤[B]且[B] ≤[C],则├A→B且├B→C，由HS├A→C，[A] ≤[C]，即≤为传递的，故≤为[F]上的偏序关系。 (2) 命题：（[F], ≤）作成有最大，最小元1和0的格 证明：设[A],[B] [F],由（L1）├B→（A→B），又可证├A→（A→B），所以[B] ≤[A→B], [A] ≤[A→B],即[A→B]为[A]和[B]的一个上界。又设[C]为[A]与[B]的任一上界，则├A→C，├B→C，因此可证├（A→C）∧（B→C），再由上节例（3）得├A∨B→C，所以[A∨B] ≤[C],又A∨B＝A→B，所以[A∨B]＝[A→B]为[A]与[B]得上确界。 类似可证[A∧B]为[A]与[B]得