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