初等子框架.docVIP

补充1 初等子框架 定义1.1 子框架 F = W, R是框架，W( ( W，R( = R | W(框架F( = W(, R(称为由W(生成的F的子框架。 任给x, y(W(，都有xRy 当且仅当 xR(y。 为了表示R和R(之间的联系，可以将W(, R(记为W(, R，对x, y(W(，可以将xR(y记为xRy。 一般的子框架和原框架没有什么联系，我们考虑一种特殊的子框架。 如果从x(W(且xRy能够得到y(W(，则称W(对R封闭。 定义1.2 初等子框架 F = W, R是框架，W( ( W，如果W(对R封闭，则称子框架W(, R(是F的初等子框架。 定理1.3 F = W, R是框架，F( = W(, R(是F的初等子框架。任给F(上的赋值V(，存在F上的赋值V，使得 任给x(W(，任给公式(，都有V((, x) = V(((, x)。 证 任给F(上的赋值V(，取V如下：任给命题变项p， V(p, x) = V((p, x) 如果x(W( 1 否则 归纳证明：任给x(W(，任给公式(，都有V((, x) = V(((, x)。 (1) (是命题变项，按定义V((, x) = V(((, x)。 (2) ( = ((，由归纳假设V((, x) = V(((, x)，所以 V((, x) = 1 当且仅当 V(((, x) = 1 当且仅当 V((, x) = 0 当且仅当 V(((, x) = 0 当且仅当 V((((, x) = 1 当且仅当 V(((, x) = 1。 因此，V((, x) = V(((, x)。 (3) ( = (((，由归纳假设V((, x) = V(((, x), V((, x) = V(((, x)，所以 V((, x) = 1 当且仅当 V((((, x) = 1 当且仅当 (V((, x) = 1且V((, x) = 1) 当且仅当 (V(((, x) = 1且V(((, x) = 1) 当且仅当 V(((((, x) = 1 当且仅当 V(((, x) = 1。 因此，V((, x) = V(((, x)。 (4) ( =□(，由归纳假设任给y(W(，都有V((,y) = V(((, y)。 因为W(对R封闭，所以任给x(W(，都有 (y(W(且xR(y) 当且仅当 (y(W且xRy)。 所以 V((, x) = 1 当且仅当 V(□(, x) = 1 当且仅当 (y(如果y(W且xRy则V((, y) = 1) 当且仅当 (y(如果y(W(且xR(y则V((, y) = 1) 当且仅当 (y(如果y(W(且xR(y则V(((, y) = 1) 当且仅当 V((□(, x) = 1 当且仅当 V(((, x) = 1。 因此，V((, x) = V(((, x)。■ 定理1.4 F( = W(, R(是F = W, R的初等子框架。任给公式(，如果任给F |= (，则F( |= (。 证 任给F(上的赋值V(，任给x(W(，由定理1.3得 存在F上的赋值V，使得V((, x) = V(((, x)， 由F |= (得V((, x) = 1，所以 V( ((, x) = 1， 因此F( |= (。■ 定理1.5 F = W, R是框架，F( = W(, R(是F的初等子框架。任给F上的赋值V，存在F(上的赋值V(，使得 任给x(W(，任给公式(，都有V(((, x) = V((, x)。 证 任给F上的赋值V，取V(如下： 任给命题变项p，V((p, x) = V(p, x)。 归纳证明同定理1.3。■ F = W, R是框架，( = {Fi = Wi, Ri | i(I}是F的初等子框架类（即任给i(I，Fi都是F的初等子框架）。如果W =∪{Wi | i(I}，则称(是F的完备的初等子框架类。 定理1.6 F = W, R是框架，( = {Fi = Wi, Ri | i(I}是F的完备的初等子框架类，则F等价(（即任给公式(，都有F |= ( 当且仅当 ( |= (）。 证 证明如果F |= (，则( |= (。 任给Fi((，Fi都是F的初等子框架，由定理1.4得Fi |= (，因此( |= (。 证明如果( |= (，则F |= (。 任给F上的赋值V，任给x(W，由W =∪{Wi | i(I}得 存在i(I，使得x(Wi， 由定理1.5得 存在Wi上的赋值Vi，使得Vi((, x) = V((, x)， 由( |= (得Fi |= (，所以Vi((, x) = 1，由Vi((, x) = V((, x)得 V((, x) = 1， 因此F |= (。■ 什么样的子框架类可以成为一个框架的完备的初等子框架类？ 定义1.7 相容 ( = {Fi