本文選題：邏輯系統(tǒng)■ + 真度　； 參考：《陜西師范大學(xué)學(xué)報(自然科學(xué)版)》2008年05期

【摘要】：研究了n值Lukasiewicz命題邏輯系統(tǒng)■中公式的真度、理論的發(fā)散度與相容度的分布問題.令H={k/nm|k=0,…,nm;m=1,2,…},利用McNaughton函數(shù)證明了對任意k/nm∈H,都有公式A,使得A的真度為k/nm,從而全體公式的真度值之集在[0,1]中稠密.又由真度值之集的稠密性和系統(tǒng)■的廣義演繹定理證明了理論的發(fā)散度取值之集為單位區(qū)間[0,1].最后由理論的相容度與發(fā)散度的關(guān)系得到了理論的相容度取值之集為{0}∪[1/2,1].
[Abstract]:In this paper, the distribution of the true degree, divergence degree and consistency degree of formulas in n-valued Lukasiewicz propositional logic system is studied. Let H = {k/nm K0,... NM ~ (1) ~ (1) ~ (2) ~ (2),... }, using the McNaughton function, we prove that for any k/nm 鈭，

本文編號：1823966