自然演绎逻辑导论.pptVIP

自然演绎逻辑导论 第八章　命题逻辑的元理论 第一节　对象语言与元语言、常项变项与变项变项 §8∶1·1 对象语言与元语言 对象语言是被讨论的语言，元语言是用于讨论对象语言的语言。 对象语言不含元语言的成分，但元语言可以包含对象语言的成分。 对象语言的某一个成分通过加引号的方法成为元语言成分，这个元语言成分是相应的对象语言成分的专名。除此之外，对象语言的一类成分可以由元语言的一个变项来表示，这个变项被称为元变项（metavariable），它是相应的那一类对象语言成分的通名。元变项的值域是对象语言中与之相对应的那类成分，但元变项本身不属对象语言，而属于元语言。 §8∶1·2 常项变项与变项变项 被放在引号中的符号是这个符号在元语言中的专名即元专名，亦即元常项。与之不同，元变项不是表示对象语言的某一个符号，而是表示对象语言的某一类符号。相应地，元变项不是被放在引号中，而是用与对象语言某类符号相应的黑体字（或用其他什么方式）来体现。元变项也就是元通名。 第二节　SL的语法 §8∶2·1 SL的基本语法 关于一个逻辑系统的整体性质的理论叫做这个逻辑系统的元理论。 语法只涉及符号语言的纯粹形式，而不涉及它的内容；语义则在一定程度上涉及符号语言的内容。 一、初始符号： 命题常项：从A到Z的大写字母（带或不带正整数下标）。 联结词：?，?，?，?，?。 辅助符号：（　，　）。 二、形成规则： 1、每一个命题常项是一个命题。 2、如果P是一个命题，那么?P是一个命题。 3、如果P和Q是命题，那么（P?Q）是一个命题。 4、如果P和Q是命题，那么（P?Q）是一个命题。 5、如果P和Q是命题，那么（P?Q）是一个命题。 6、如果P和Q是命题，那么（P?Q）是一个命题。 7、只有通过应用或重复应用以上项目的一条或多条而形成的符号式是命题。（习惯上，由此构成的公式的最外边一对括号可以省去。） 三、推演规则（变形规则）： 包括八条整推规则、十条置换规则、条件证明规则和间接证明规则。 §8∶2·2 一些语法元定理及其证明 元定理8.2.1：在SC中，如果Γ? P，那么对于Γ的每一个母集Γ?而言，Γ?? P。 元定理8.2.2：如果SL的一个命题集Γ是SC不一致的，那么，SL的任一命题Q在SC中是从Γ可推演的。 元定理8.2.3：对于任何命题集Γ和任何命题P，在SC中Γ? P，当且仅当，Γ?{?P}是SC不一致的。 元定理8:2.4: 如果命题集Γ是SC不一致的，那么，Γ的每一个母集Γ?是SC不一致的。 元定理8.2.5：如果命题集Γ是SC不一致的，那么，至少有一Γ的有限子集是SC不一致的。 元定理8:2.6: 如果至少有一Γ的有限子集Γ?是SC不一致的，那么，Γ是SC不一致的。 元定理8.2.7： 一个命题集Γ是SC一致的，当且仅当，Γ的每一有限子集是SC一致的。 第三节　SL的语义 §8∶3·1 SL的基本语义 五个真值函项联结词的特征真值表就是SL的最基本的语义。 定义：SL的一个命题集Γ是真值函项地一致的，当且仅当，至少有一真值指派使得Γ的每一成员是真的。SL的一个命题集Γ是真值函项地不一致的，当且仅当，Γ不是真值函项地一致的。 定义：SL的一个命题集Γ重言蕴涵一个命题P，当且仅当，没有一个真值指派使得，Γ的每一成员为真而P为假。 重言有效也叫做“真值函项地有效”。 §8∶3·2 一些语义元定理及其证明 元定理8.3.1：SL的一个命题P是矛盾式，当且仅当，｛P｝是真值函项地不一致的。 元定理8.3.2：SL的一个命题P是重言式，当且仅当，｛?P｝是真值函项地不一致的。 元定理8.3.3：SL的一个命题P是偶然式，当且仅当，｛P｝和｛?P｝都是真值函项地一致的。 元定理8.3.4：SL的命题P和Q是重言等值的，当且仅当，{?(P?Q)}是真值函项地不一致的。 元定理8.3.5：对于SL的一个命题集Γ和一个命题P，如果Γ? P，那么Γ?{?P }是真值函项地不一致的。 元定理8.3.6：对于SL的一个命题集Γ和一个命题P，如果Γ?{?P }是真值函项地不一致的，那么Γ? P。 元定理8.3.7：SL的一个命题P是重言式，当且仅当，? ? P。 第四节　数学归纳法 §8∶4·1 什么是数学归纳法 数学归纳法的基本原理是：为证明某一定理对于某一领域的所有对象都成立，把该类对象以某种方式进行排序，然后分两步进行证明：一、证明定理对该序列的第一项成立；二、证明如果定理对第K项成立，那么它对K＋1项也成立。 前者证明的是奠基命题（basis clause），即“定理对该序列的第一项成立”；后者证明的是归纳步骤（inductive step），归纳步骤的前件即“定理对第K项成立”叫做归纳假设（inducti