系统科学与数学
繫統科學與數學
계통과학여수학
JOURNAL OF SYSTEMS SCIENCE AND MATHEMATICAL SCIENCES
2010年
10期
1417-1428
,共12页
G(o)del逻辑系统%L*逻辑系统%逻辑公式%真度%相似度%伪距离
G(o)del邏輯繫統%L*邏輯繫統%邏輯公式%真度%相似度%偽距離
G(o)del라집계통%L*라집계통%라집공식%진도%상사도%위거리
研究了G(o)del逻辑系统和L*逻辑系统中公式的真度的分布情况.结果表明在G(o)del逻辑系统和L*逻辑系统中含有n个原子命题的公式(n元公式)的真度集分别为{i/(n+1)|0≤i≤(n+1)!,i∈N}和{i/(n+1!)|0≤i≤2n(n+1)!,i∈N}.进而得到了G(o)del逻辑系统和L*逻辑系统中公式的真度集均为[0,1]上的有理数集.最后,还给出了两系统中公式的相似度,伪距离的分布情况.
研究瞭G(o)del邏輯繫統和L*邏輯繫統中公式的真度的分佈情況.結果錶明在G(o)del邏輯繫統和L*邏輯繫統中含有n箇原子命題的公式(n元公式)的真度集分彆為{i/(n+1)|0≤i≤(n+1)!,i∈N}和{i/(n+1!)|0≤i≤2n(n+1)!,i∈N}.進而得到瞭G(o)del邏輯繫統和L*邏輯繫統中公式的真度集均為[0,1]上的有理數集.最後,還給齣瞭兩繫統中公式的相似度,偽距離的分佈情況.
연구료G(o)del라집계통화L*라집계통중공식적진도적분포정황.결과표명재G(o)del라집계통화L*라집계통중함유n개원자명제적공식(n원공식)적진도집분별위{i/(n+1)|0≤i≤(n+1)!,i∈N}화{i/(n+1!)|0≤i≤2n(n+1)!,i∈N}.진이득도료G(o)del라집계통화L*라집계통중공식적진도집균위[0,1]상적유리수집.최후,환급출료량계통중공식적상사도,위거리적분포정황.
