檢視约束出现的原始碼

{| class="wikitable" align="right"
|-
|<center><img src=https://p9.itc.cn/images01/20211223/9fecce449ccd404b801fa83dbe311ce0.jpeg width="350"></center>
<small>[https://www.sohu.com/a/511048913_121277902 来自 搜狐网 的图片]</small>
|}

'''约束出现'''是中国科技名词。

世界上所有的国家中，只有我们[[中国]]的文化<ref>[https://www.sohu.com/a/148797925_114731 汉字与中华文化]，搜狐，2017-06-14</ref>是始终没有间断过的传承下来，也只有 “汉字”是[[世界]]上唯一的古代一直演变过来没有间断过的文字形式<ref>[https://www.sohu.com/a/148963803_184802 探究世界上唯一没有间断的古老文字系统：汉文字]，搜狐，2017-06-15</ref>。

==名词解释==

一个谓词公式如果其中由一部分公式形如∀xA或∃xA，则凡在这部分中变元x的一切出现都叫做x在此谓词[[公式]]中约束出现，而变元x叫此谓词公式中的约束变元。一个谓词公式如果其中由一部分公式内的变元x不呈约束出现，则叫x在此谓词公式中[[自由]]出现，而此个体变元X叫此谓词公式的自由变元。

==全国科学技术名词审定委员会==

全国科学技术名词审定委员会（原称“全国自然科学名词审定委员会”）是经国务院批准成立，由[[科学技术部]]和[[中国科学院]]共同领导、中国科学院代管的全国性机构。

全国名词委的任务是负责制定中国科学技术名词[[规范]]化工作的方针、政策、原则和规划；负责组织科学技术各学科的名词审定、公布及协调、推广应用工作；开展海峡两岸及华语地区科学技术[[名词]]的交流、协调和统一工作；组织开展中国术语学学科建设和中国国内外术语学学术交流活动。

据2018年10月全国科学技术名词审定委员会[[官网]]显示，全国科学技术名词审定委员会的办事机构为全国科学技术名词审定委员会事务中心，各名词审定分委员会95个；聘请了[[中国]]各[[学科]]著名学者、专家、教授135人担任全国委员；数千位[[科学家]]参加过名词审定工作。

==参考文献==
[[Category:800 語言學總論]]