本文關鍵詞：擾動模糊命題邏輯系統(tǒng)的語義，由筆耕文化傳播整理發(fā)布。

文檔介紹：
遼寧師范大學碩士研究生學位論文淪文題。目:擾動模糊命題邏輯系統(tǒng)的語義研究生:盞艷甲指導教師:陳圖公教授學科專、№麻用數(shù)學年級:2002級遼寧師范大學研究崔部擾動模糊命題邏輯系統(tǒng)的語義擾動模糊命題邏輯系統(tǒng)的語義研究生:孟艷平指導教師:陳圖云專業(yè):應用數(shù)學研究方向:數(shù)理邏輯及其對計算機的應用摘要:擾動模糊命題邏輯系統(tǒng)的產(chǎn)生源于實際問題的需要,但在該系統(tǒng)中對王國俊教授關于一維邏輯系統(tǒng)形中廣義重言式理論到二維邏輯系統(tǒng)的推廣工作進行得并不順利.本文通過修改二維蘊涵算子,建立一個新的擾動模糊命題邏輯系統(tǒng)D,將王國俊教授關于一維邏輯系統(tǒng)礦中廣義重言式理論推廣到二維相應的擾動模糊命題邏輯系統(tǒng)中,得到與之類似的結(jié)果.首先,本文給出了邏輯系統(tǒng)D,D中的廠‘義重言式的分類,對偶地,也討論了邏輯系統(tǒng)D,D中的廣義矛盾式的分類.其次,不僅給出了無限值邏輯系統(tǒng)D,D中的升值算法,還討論了有限擾動模糊邏輯系統(tǒng)D。中的公式分類及升級算法.最后,討論了該系統(tǒng)中的廣義語義MP規(guī)則和廣義語義Hs規(guī)則.本文表明在某些特殊的二維賦值格上,王教授關于一維賦值格的理論完全可以推廣.關鍵詞:模糊邏輯;命題邏輯;廠義重言式;升級算法;廣義語義MP規(guī)則;廣義語義HS規(guī)則引言數(shù)理邏輯已有300多... 內(nèi)容來自轉(zhuǎn)載請標明出處.

  本文關鍵詞：擾動模糊命題邏輯系統(tǒng)的語義，由筆耕文化傳播整理發(fā)布。