約束出現檢視原始碼討論檢視歷史

來自 搜狐網 的圖片

約束出現是中國科技名詞。

世界上所有的國家中，只有我們中國的文化是始終沒有間斷過的傳承下來，也只有 「漢字」是世界上唯一的古代一直演變過來沒有間斷過的文字形式。

名詞解釋

一個謂詞公式如果其中由一部分公式形如∀xA或∃xA，則凡在這部分中變元x的一切出現都叫做x在此謂詞公式中約束出現，而變元x叫此謂詞公式中的約束變元。一個謂詞公式如果其中由一部分公式內的變元x不呈約束出現，則叫x在此謂詞公式中自由出現，而此個體變元X叫此謂詞公式的自由變元。

全國科學技術名詞審定委員會

全國科學技術名詞審定委員會（原稱「全國自然科學名詞審定委員會」）是經國務院批准成立，由科學技術部和中國科學院共同領導、中國科學院代管的全國性機構。

全國名詞委的任務是負責制定中國科學技術名詞規範化工作的方針、政策、原則和規劃；負責組織科學技術各學科的名詞審定、公布及協調、推廣應用工作；開展海峽兩岸及華語地區科學技術名詞的交流、協調和統一工作；組織開展中國術語學學科建設和中國國內外術語學學術交流活動。

據2018年10月全國科學技術名詞審定委員會官網顯示，全國科學技術名詞審定委員會的辦事機構為全國科學技術名詞審定委員會事務中心，各名詞審定分委員會95個；聘請了中國各學科著名學者、專家、教授135人擔任全國委員；數千位科學家參加過名詞審定工作。