泛邏輯泛運算模型之間的關系

摘要：研究泛邏輯的泛與運算模型、泛或運算模型與模糊非之間的關系。證明了零級泛與運算模型T(x，y，h)、零級泛或運算模型S(x， y， h)與強非N(x)=1-x形成De Morgan三元組，當h∈(0， 0.75)， 零級泛或運算S(x， y， h)=(min(x^m+y^m， 1))^1/m， N(x)=(1-x^m)^1/m時， T， S， N形成一個強De Morgan三元組。進一步證明了一級泛與運算模型T(x， y， h， k)、一級泛或運算模型S(x， y， h， k)與N(x)=(1-xⁿ)^1/n滿足De Morgan定律；特別當h∈(0， 0.75)， 一級泛或運算模型S(x， y， h， k)=(min(x^nm+y^nm)^1/nm， N(x)=(1-x^nm)^1/nm時， T， S， N形成一個強De Morgan三元組。

關鍵詞：泛與運算模型；泛或運算模型；模糊非；De Morgan三元組

中圖法分類號：TP18；O141.1

文獻標識碼：A

文章編號：1001-3695(2006)06-0026-02