1:本文從基于模糊邏輯的量化命題演算出發,探究一個新的數據庫查詢機制,用以處理更一般的量化命題意義的模糊數據庫查詢。
2:針對直覺模糊邏輯及命題演算,提出了利用隸屬度和猶豫度計算直覺模糊邏輯命題真值的合成方法。
3:經典命題演算的能行方法研究具有重要的理論意義和現實價值。
4:在定量的意義下使模糊命題演算完全包容經典命題邏輯是不可能的。
5:本文得出了在邏輯的語義問題中,標準命題演算系統的每條公理在邏輯中都是模糊恒真的,但標準命題演算系統的定理,在邏輯中卻不都是模糊恒真的。