一個體變項△在一公式A的 某一位置上為自由出現,若且唯若, 此位上的△滿足:(1)不在量詞(V …)和(3…)之中,並且(2)不在量詞 (VA)和(3A)的轄域之中。例如: 在:“(3x)(pVB(x,y))” 中,“y” 為自由出現。
相關詞條
-
自由邏輯
自由邏輯是一種能夠處理空專名的非經典邏輯。有多種帶等號或不帶等號的謂詞演算系統。所謂“空專名”,即不指稱任何實存個體的專名(例如專名“孫悟空”是小說《西...
-
自由國家憲章
《自由國家憲章》2007年03月10日 星期六 20:06 自由國家意志原則定位為民主國家國際體系中的大國參與國,改革目標定位為憲治...的規則規範素質,戮力節約政府管理素質成本,戮力支持完善自由自主的公民法治...
-
微生物[個體難以用肉眼觀察的一切微小生物]
微生物包括:細菌、病毒、真菌以及一些小型的原生生物、顯微藻類等在內的一大類生物群體,它個體微小,與人類關係密切。涵蓋了有益跟有害的眾多種類,廣泛涉及食品...
現代定義 主要特徵 發現歷史 原核生物 微生物群 -
謂詞邏輯
的定理。謂詞與量詞個體詞分個體常項(用a,b,c,…表示)和個體變項(用...表示某一確定論域中的特定個體的個體詞,稱為個體變項或個體變元,用符號x,y,z和x1,y1,z1,…表示;個體變項取任一論域中的任一個體為值...
概述 謂詞與量詞 注意事項 公式與解釋 命題形式 -
個體變元的自由出現
個體變元的自由出現( free occurence of individualvariable)數理邏輯用語。一個體變項△在一公式A的某位置上為自由出現,若且唯若,此位上的△滿足:(1)不在量詞(…)和(彐…)之中...
-
共振設計
的,基本上不是堅實的對象本身,而是項與項之間的關係。以宇宙的角度去思考建築...
共振簡介 宇宙宣言—最具野心的建築計畫 共振建築——中國造園 空間與權力的談判 -
《當代分析哲學》
這種關係的個體事物,通常表達為變元符號x,y,z……。這樣,一個表達...要用基於函項學說之上的更令人滿意的各種命題形式的區別,來代替“主詞”和...形式就可以用符號表達為:“Fx”。這是一個僅包含了一個變元即x的情況,F...
圖書出版信息 內容簡介 當代分析哲學的基本特徵 當代分析哲學簡史 -
中央民族大學宗教學培養方案
西方哲學史課程編號:1039030020課程名稱:西方哲學史學時學分:72學時 4學分開課對象:宗教學本科專業學生課程類型:專業...
-
一階形式語言
約束的。變項的非約束的出現,稱為 自由出現。 一階形式語言 一階形式語言...的 自由變項。如果 在A中的所有出現都是約束的,則 是A中的 約束變項...規則①項的形成規則: 一階形式語言 (i) 任一個體變元 ,任一常項變元...
基本介紹 相關概念