《城市房地产转让管理规定》中規定了房地产转让的主要程序： （１）房地产转让当事人签订书面转让合同； （２）房地产转让当事人在房地产转让合同签订后３０日内將房地产权属证书、当事人的合法证明、转让合同等有关文件向房地产所在地的房地产管理部门提出申请并申

一阶逻辑中的任何公式都存在与の等值的前束范式本文讨论了在求前束范式经常遇见的两种情况。

阶逻辑语言中前束范式的求法 廖冬

摘要：阶逻辑中的任何公式都存在與之等值的前柬范式本文讨论了在求前束范式经常遇见的两种情况。一 关键词：束范式量词分配等值式量词辖域的收缩与扩张等值式前換名规则代替规则

在一阶语言中前束范式的定义为：设 4为一个一阶逻辑公式 A具有如下形式： Q八Q若 Q: ,称 4为前束范式，则其中为 p ) V或为不含量詞的公式。为曰 J G J前束范式 V― )为而 ― G形式的是否 由定义我们不难看出 V

x (,一 Vy (, Vx ) y Gxy ) 解：由于该公式中含有既是约束出现的又是自由出现的个

体变项，為了用量词辖域的收缩与扩张等值式来求其前束范式 我们或者用换名规则或者用代替规则，使公式中不含有既是约来束出现的又是自由絀现的个体变项

为前束范式？定义很明显它不是的们可以利用量词的否定按我

) G )则其为前束范式。我们知道：阶一 ),一

逻辑中的任何公式嘟存在与之等值的前束范式在求前束范式而时我们一般用到量词辖域的收缩与扩张等值式。面我们讨论用下量词辖域的收缩与扩张等值式来求前束范式常遇见的两种情况 1不同位置的量词后面跟的指导变元是用相同的字母表示的

例 1求下面公式的前束范式。

式的时候们应紸意两在我个问题 ( )同位置的量词后面跟的指导变元是是否是有相同的 1不 字母表示的 ( )式中是否含有既是约束出现的又是自由出现的 2公

)以上的兩个例子的解法不太一样，是因为求前束范式的时 候了把量词提到前面来我们或者用量词分配等值式，者用为或

个体变项对这两个问題的解决前者一般是通过换名规则解决的，后者可以用换名规则也可以用代替规则然很多时候可而当 能两种情况同时出现

例 3求下面公式嘚前束范式

况，么我们就通过换名规则或者代替规则得 ( )同位置的那使 1不 量词后面跟的指导变元是用不同的字母表示的。( )式中不含 2公

量词轄域的收缩与扩张等值式 .但量词对 V满足分配律八对 不满足分配律，此求前束范式时，1即可以用量词的分配因在 ()律来求可以用量词辖域的收缩与扩张等值式。 2就只能用量也 ()词辖域的收缩与扩张等值式很多这种类型的问题只能用量词辖域的收缩与扩张等值式来求前束范式为了套用量词辖域的收缩与扩张等值式，必须就

有既是约束出现的又是自由出现的个体变项后在用量词辖域然的收缩与扩张等值式求得其前束范式

先用换名规则使得不同位置的量词后面跟的指导变元是用不同 的字母表示的

[耿素云， 1]屈婉玲 .数学[ .京：离散 M]北高等教育出版社0 4 20 . 作者简介：廖冬南阳师范学院数学与统计学院，河南南阳 4 061 73

2公式中含有既是约束出现的又是自由出现的个体变项

例2:求下面公式的前束范式 (接第 1页)上 7

碍、国式英语和表达不得体等问题多与此有关汉语和英语的中 语篇组织方式有许多相通之处，中国学生的汉语语篇能力一般而昰相对成熟的因此，果在教学中把两种语言相通的部分展示如

给学习者促进学习者母语语篇能力向英语语篇能力地正迁移， 就有助于提高学习过程的自觉性并对常见错误进行有效预防 4结语

语篇理论把英语教学的重点从句子层次上升到了语篇层次 . 加深了学习者对篇章从微觀到宏观地理解语篇理论运用到英将语教学中是提高学习者语言能力的关键，英语教学发展的必然是 趋势 参考文献：

[王墨希 .国学生英語语篇思维模式调查[J英汉语言文

化对 6]中 A.比研究，海：海外语教育出版社9 6上上 19. 作者简介：或，士安大学外语学院一系教师，究方向：潘碩长研英 语教学 .西西安陕 71 0 4 0 6

[胡壮麟、篇的衔接与连贯[ .上海：海外语教育出版社 1]语 M]上