摘 要：在多值邏輯函數(shù)結(jié)構(gòu)理論中，Sheffer函數(shù)的判定與構(gòu)造是其中的一個重要的組成部分。其判定問題與函數(shù)集完備性之判定密切相關(guān)，而完備性之判定又可歸結(jié)為定出其中的所有準(zhǔn)完備集。對于部分多值邏輯，其函數(shù)集的完備性問題已徹底解決，即定出了其中 的所有準(zhǔn)完備集(共七類)，但其中的Sheffer函數(shù)之判定與構(gòu)造問題尚未徹底解決。

本文對第三類準(zhǔn)完備集——單純可離函數(shù)集的性質(zhì)進行了研究。

關(guān)鍵詞：多值邏輯；完備性；Sheffer函數(shù)；準(zhǔn)完備集

中圖分類號：TP391

文獻標(biāo)識碼：A