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

遼寧師范大學 碩士研究生學位論文 淪文題。目：擾動模糊命題邏輯系統(tǒng)的語義 研究生：盞艷甲 指導教師：陳圖公教授 學科專、№麻用數學 年 級：2002級 遼寧師范大學研究崔部 擾動模糊命題邏輯系統(tǒng)的語義 擾動模糊命題邏輯系統(tǒng)的語義 研究生：孟艷平 指導教師：陳圖云 專業(yè)：應用數學 研究方向：數理邏輯及其對計算機的應用 摘要：擾動模糊命題邏輯系統(tǒng)的產生源于實際問題的需要，但在該系統(tǒng)中對王國俊教授 關于一維邏輯系統(tǒng)形中廣義重言式理論到二維邏輯系統(tǒng)的推廣工作進行得并不順利． 本文通過修改二維蘊涵算子，建立一個新的擾動模糊命題邏輯系統(tǒng)D，將王國俊教授 關于一維邏輯系統(tǒng)礦中廣義重言式理論推廣到二維相應的擾動模糊命題邏輯系統(tǒng)中， 得到與之類似的結果．首先，本文給出了邏輯系統(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ī)則 引 言 數理邏輯已有300多年的歷史，如今已經發(fā)展成為一門枝繁葉茂的科學了．按文獻 【1]的劃分，數理邏輯包括模型論，公理集合論，遞歸論和證明論四個部分，而按文獻[2】 l 擾動模糊命題邏輯系統(tǒng)的語叉 的劃分，則數理邏輯可分為五個部分，即在以上四個部分之外再單獨把邏輯演算提出來 作為一個部分．經

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