共查询到5条相似文献，搜索用时 3 毫秒
1.
出于为模糊推理奠定逻辑基础之需要,文献[1]提出了形式系统Ｌ.基于此文献[2～4]从语义的角度为ＦＭＰ及ＦＭＴ建立了严格的逻辑依据.为从语构的角度开展进一步的工作,本文首先证明了Ｌ中Ｆ(Ｓ)的典型赋值中介[Ｆ]的结构定理,然后将Ｌ中的14条公理作了简化,得出了仅含9条公理的等价系统Ｌ°.设Ｓ是无限集,是一元运算,∨与→是二元运算,以Ｆ(Ｓ)记由Ｓ生成的(,∨,→)型自由代数.称由Ｆ(Ｓ)、文献[1]中的14条公理(Ｌ1),(Ｌ3)—(Ｌ6),(Ｍ1)—(Ｍ9)以及ＭＰ规则与交推理规则组成的系统为Ｌ.设Ａ,Ｂ∈Ｆ(Ｓ),定义Ａ～Ｂ 当且仅当├(Ａ→Ｂ)且├… 相似文献
2.
3.
本文在对MS 的个体与谓词加以必要的限制后,把ZFC 中除正则公理以外的每一条公理都作为MS 的定理予以证明.这表明整个精确性经典数学也能奠基于MS 并在MS 中产生.定义5.1(良集) W(a)=_(df)disa∧(?)(a)∧(?)x(x∈a(?)(disx∧(?)(x))). 相似文献
4.
5.