计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
5期
178-180,223
,共4页
泛逻辑%谓词演算形式系统%泛与运算
汎邏輯%謂詞縯算形式繫統%汎與運算
범라집%위사연산형식계통%범여운산
对基于一级泛与运算的一阶谓词演算形式系统(A)UL-h∈[0.75,1]进行公理化.通过引入全称量词和存在量词,建立与命题形式系统(A)UL-h∈[0.75,1]相对应的一阶谓词形式系统V(A)UL-h∈[0.75,1]并证明该系统的可靠性定理及演绎定理.
對基于一級汎與運算的一階謂詞縯算形式繫統(A)UL-h∈[0.75,1]進行公理化.通過引入全稱量詞和存在量詞,建立與命題形式繫統(A)UL-h∈[0.75,1]相對應的一階謂詞形式繫統V(A)UL-h∈[0.75,1]併證明該繫統的可靠性定理及縯繹定理.
대기우일급범여운산적일계위사연산형식계통(A)UL-h∈[0.75,1]진행공이화.통과인입전칭량사화존재량사,건립여명제형식계통(A)UL-h∈[0.75,1]상대응적일계위사형식계통V(A)UL-h∈[0.75,1]병증명해계통적가고성정리급연역정리.