直覺模糊命題邏輯系統(tǒng)的語義.pdf

1、本文首先通過定義新的蘊(yùn)涵算子→T，建立一個新的直覺模糊命題邏輯系統(tǒng)(I02，()，v，→T)，討論此蘊(yùn)涵算子的性質(zhì)，研究系統(tǒng)I02上的廣義擬重言式，它共分為五種不同的廣義擬重言式：(1/2，1/2)-擬重言式，(吉，1/2,1/2)+-擬重言式，(1/2，0)-擬重言式，(1/2，0)+-擬重言式和(1，0)-擬重言式，將王國俊教授的廣義重言式研究成果[1]從一維推廣到整個二維直覺模糊命題代數(shù)上在此基礎(chǔ)上，通過對公式進(jìn)行I02中的部分賦

2、值，利用同態(tài)變換ψ和對稱表示賦值集的方法，分別討論了系統(tǒng)I22n和系統(tǒng)I22n+1上的廣義擬重言式之間的關(guān)系，即類類互異定理，它與文[2]的類類互異定理不一樣，它在滿足定理2.4.3條件時，只在每個小集合內(nèi)類類互異；同時，在廣義擬重言式之間建立了一種升級算法，獲得越來越真的可達(dá)擬重言式，甚至得出(1,0)-擬重言式.最后，利用概率論方法定義直覺模糊命題邏輯系統(tǒng)的真度，研究α-真度與α-重言式之間的關(guān)系，同時，討論(1/2，1/2)+-M