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

遼寧師范大學(xué) 碩士研究生學(xué)位論文 淪文題。目：擾動(dòng)模糊命題邏輯系統(tǒng)的語義 研究生：盞艷甲 指導(dǎo)教師：陳圖公教授 學(xué)科專、№麻用數(shù)學(xué) 年 級：2002級 遼寧師范大學(xué)研究崔部 擾動(dòng)模糊命題邏輯系統(tǒng)的語義 擾動(dòng)模糊命題邏輯系統(tǒng)的語義 研究生：孟艷平 指導(dǎo)教師：陳圖云 專業(yè)：應(yīng)用數(shù)學(xué) 研究方向：數(shù)理邏輯及其對計(jì)算機(jī)的應(yīng)用 摘要：擾動(dòng)模糊命題邏輯系統(tǒng)的產(chǎn)生源于實(shí)際問題的需要，但在該系統(tǒng)中對王國俊教授 關(guān)于一維邏輯系統(tǒng)形中廣義重言式理論到二維邏輯系統(tǒng)的推廣工作進(jìn)行得并不順利． 本文通過修改二維蘊(yùn)涵算子，建立一個(gè)新的擾動(dòng)模糊命題邏輯系統(tǒng)D，將王國俊教授 關(guān)于一維邏輯系統(tǒng)礦中廣義重言式理論推廣到二維相應(yīng)的擾動(dòng)模糊命題邏輯系統(tǒng)中， 得到與之類似的結(jié)果．首先，本文給出了邏輯系統(tǒng)D，D中的廠‘義重言式的分類，對偶 地，，也討論了邏輯系統(tǒng)D，D中的廣義矛盾式的分類．其次，不僅給出了無限值邏輯系 統(tǒng)D，D中的升值算法，還討論了有限擾動(dòng)模糊邏輯系統(tǒng)D。中的公式分類及升級算法． 最后，討論了該系統(tǒng)中的廣義語義MP規(guī)則和廣義語義Hs規(guī)則．本文表明在某些特殊 的二維賦值格上，王教授關(guān)于一維賦值格的理論完全可以推廣． 關(guān)鍵詞：模糊邏輯；命題邏輯；廠義重言式；升級算法；廣義語義MP規(guī)則；廣義語義 HS規(guī)則 引 言 數(shù)理邏輯已有300多年的歷史，如今已經(jīng)發(fā)展成為一門枝繁葉茂的科學(xué)了．按文獻(xiàn) 【1]的劃分，數(shù)理邏輯包括模型論，公理集合論，遞歸論和證明論四個(gè)部分，而按文獻(xiàn)[2】 l 擾動(dòng)模糊命題邏輯系統(tǒng)的語叉 的劃分，則數(shù)理邏輯可分為五個(gè)部分，即在以上四個(gè)部分之外再單獨(dú)把邏輯演算提出來 作為一個(gè)部分．經(jīng)

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