计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
34期
17-20
,共4页
泛逻辑%谓词演算形式系统%泛与运算
汎邏輯%謂詞縯算形式繫統%汎與運算
범라집%위사연산형식계통%범여운산
主要解决基于一级泛与运算的一阶谓词演算形式系统ULULh∈-[0.75,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统Ulh∈-[0.75,1]相对应的一阶谓词形式系统Ulh∈-[0.75,1],证明其完备性定理.从而说明形式系统Ulh∈-[0.75,1]的语义和语构是和谐的.
主要解決基于一級汎與運算的一階謂詞縯算形式繫統ULULh∈-[0.75,1]的完備性.通過引入全稱量詞和存在量詞,建立與命題形式繫統Ulh∈-[0.75,1]相對應的一階謂詞形式繫統Ulh∈-[0.75,1],證明其完備性定理.從而說明形式繫統Ulh∈-[0.75,1]的語義和語構是和諧的.
주요해결기우일급범여운산적일계위사연산형식계통ULULh∈-[0.75,1]적완비성.통과인입전칭량사화존재량사,건립여명제형식계통Ulh∈-[0.75,1]상대응적일계위사형식계통Ulh∈-[0.75,1],증명기완비성정리.종이설명형식계통Ulh∈-[0.75,1]적어의화어구시화해적.