本文選題：謂詞邏輯　切入點：有限解釋　出處：《陜西師范大學(xué)學(xué)報(自然科學(xué)版)》2005年01期 　論文類型：期刊論文

【摘要】：在二值謂詞邏輯中引入了一階語言的一類特殊解釋,該類解釋中的解釋域取為非空有限集.在此基礎(chǔ)上基于有限均勻分布概率測度空間的可數(shù)無窮乘積引入了邏輯公式的相對真度與準(zhǔn)真度概念,證明了關(guān)于準(zhǔn)真度而言MP規(guī)則與HS規(guī)則成立,并基于準(zhǔn)真度對全體謂詞公式之集進(jìn)行了分類.準(zhǔn)真度理論雖然并不與邏輯有效公式以及矛盾式概念完全吻合,但可證明存在一類公式,對該類公式而言,邏輯有效性等價于準(zhǔn)真度為1,矛盾性等價于準(zhǔn)真度為0.所以準(zhǔn)真度為1或0分別是邏輯有效公式或矛盾式概念的一種推廣.
[Abstract]:A kind of special interpretation of first order language is introduced in the binary predicate logic. Based on the countable infinite product of the finite uniform distribution probability measure space, the concepts of relative truth degree and quasi-truth degree of logical formula are introduced. It is proved that MP rule and HS rule hold true for quasi-truth degree, and the set of all predicate formulas is classified on the basis of quasi-truth degree. But it can be proved that there exists a kind of formula. For this kind of formula, the logical validity is equivalent to the quasi-truth degree 1, and the contradiction is equivalent to the quasi-truth degree 0. Therefore, the quasi-truth degree of 1 or 0 is a generalization of the logical efficient formula or the concept of contradiction, respectively.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院
【基金】：國家自然科學(xué)基金重點資助項目(10331010)
【分類號】：O141.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前6條

1 王國俊;修正的Kleene系統(tǒng)中的Σ-(α-重言式)理論[J];中國科學(xué)E輯:技術(shù)科學(xué);1998年02期

2 吳望名;參數(shù)Kleene系統(tǒng)中的廣義重言式[J];模糊系統(tǒng)與數(shù)學(xué);2000年01期

3 吳洪博;G銉del邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學(xué);2000年04期

4 裴道武,李駿;積邏輯系統(tǒng)中的廣義重言式(英文)[J];模糊系統(tǒng)與數(shù)學(xué);2002年04期

5 李駿,袁和軍;積分語義學(xué)中的積分相似度、偽距離與近似推理理論[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);2002年01期

6 王國俊,王偉;邏輯度量空間[J];數(shù)學(xué)學(xué)報;2001年01期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 劉宏嵐;高慶獅;楊炳儒;;多值邏輯中的命題相關(guān)性與邏輯運算研究[J];北京科技大學(xué)學(xué)報;2007年S2期

2 鄭亞林;Fuzzy邏輯新進(jìn)展[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2000年01期

3 鄭亞林,白永成,黃宏科,黃德隆;基于帶Fuzzy殼Boole代數(shù)和修正的Gaines-Rescher蘊涵算子的險象識別邏輯[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2000年02期

4 辛?xí)詵|,尤飛;乘積R_0-代數(shù)上的若干映射性質(zhì)[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2000年02期

5 許文艷,韓誠;R_0代數(shù)中的真布爾元[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2003年04期

6 蘇忍鎖;蘊涵格、弱R_o代數(shù)與正則剩余格[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2004年02期

7 劉東利,茹永梅;經(jīng)典二值邏輯系統(tǒng)L中的MT問題[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2005年04期

8 杜亞靈;尹貽林;;基于模糊邏輯的公共項目風(fēng)險分配模型[J];北京理工大學(xué)學(xué)報(社會科學(xué)版);2008年03期

9 尤飛,馮艷賓,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅰ)——模糊蘊涵算子及其性質(zhì)[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2003年05期

10 尤飛,馮艷賓,王加銀,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅱ)——模糊蘊涵算子的伴隨對及其圈乘算子[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2004年02期

相關(guān)會議論文 前10條

1 王茹;王國俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

2 郭秀敏;王國俊;;關(guān)于描述邏輯中不動點語義的討論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

3 段巧林;王國俊;;根與幾種命題邏輯系統(tǒng)中的近似推理[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

4 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

5 潘小東;徐揚;;基于Lukasiewicz蘊涵代數(shù)的模糊命題邏輯的語法理論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

6 胡明娣;于鵬;王國俊;;蘊涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

7 潘小東;徐揚;;基于格值命題邏輯的語言真值不確定性推理方法[A];第八屆中國不確定系統(tǒng)年會論文集[C];2010年

8 張鳳姣;張興芳;李成允;;G銉del邏輯中真值函數(shù)特征及真度分布[A];第八屆中國不確定系統(tǒng)年會論文集[C];2010年

9 潘小東;;模糊一階邏輯研究進(jìn)展綜述[A];第十屆中國不確定系統(tǒng)年會、第十四屆中國青年信息與管理學(xué)者大會論文集[C];2012年

10 陳圖云;陳文麗;;修正的Atanassov邏輯及其廣義重言式[A];中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會第十一屆年會論文選集[C];2002年

相關(guān)博士學(xué)位論文 前10條

1 何映思;模糊推理方法及模糊邏輯形式系統(tǒng)研究[D];西南大學(xué);2011年

2 吳新星;基于語言的軟件可信性度量理論及其應(yīng)用[D];華東師范大學(xué);2011年

3 馬麗娜;模糊推理方法及知識推理的計量化研究[D];陜西師范大學(xué);2011年

4 胡明娣;邏輯度量空間的內(nèi)蘊結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

5 韓召偉;幾類基于量子邏輯的自動機(jī)的代數(shù)及邏輯刻畫[D];陜西師范大學(xué);2011年

6 陳佳林;柔性邏輯的健全性研究與應(yīng)用[D];北京郵電大學(xué);2011年

7 賴家俊;基于語言真值格值一階邏輯的不確定性推理研究[D];西南交通大學(xué);2011年

8 鄒麗;基于語言真值格蘊涵代數(shù)的格值命題邏輯及其歸結(jié)自動推理研究[D];西南交通大學(xué);2010年

9 于海田;民航安全分析與管理研究[D];上海大學(xué);2011年

10 韓邦合;賦值代數(shù)分裂算法與隱性半環(huán)賦值研究[D];陜西師范大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大學(xué);2010年

2 黃阿敏;基于蘊涵算子族的模糊邏輯理論[D];浙江理工大學(xué);2010年

3 鹿文慧;基于重心法的Boolean模糊系統(tǒng)及其概率表示理論[D];大連理工大學(xué);2010年

4 袁英敏;基于CRI方法的重心法模糊系統(tǒng)及概率表示[D];大連理工大學(xué);2010年

5 王云濤;基于二Ⅰ算法的模糊系統(tǒng)的構(gòu)造及其概率表示[D];大連理工大學(xué);2010年

6 許筱婷;基于本體論的知識表達(dá)[D];湘潭大學(xué);2010年

7 劉婷;軟集合理論在模糊邏輯代數(shù)中的應(yīng)用研究[D];江南大學(xué);2010年

8 李四化;幾種多值邏輯系統(tǒng)重言式關(guān)系和L_4中導(dǎo)出函數(shù)問題的研究[D];山東大學(xué);2010年

9 趙力;模糊推理的三Ⅰ算法研究[D];山東大學(xué);2010年

10 吳媛;剩余格的模糊濾子和廣義模糊濾子[D];西北大學(xué);2011年

【二級參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 王國俊;修正的Kleene系統(tǒng)中的Σ-(α-重言式)理論[J];中國科學(xué)E輯:技術(shù)科學(xué);1998年02期

2 裴道武 ,王國俊;The completeness and applications of the formal system B[J];Science in China(Series F:Information Sciences);2002年01期

3 ;A formal deductive system for fuzzy propositional calculus[J];Chinese Science Bulletin;1997年18期

4 王國俊;模糊命題演算的一種形式演繹系統(tǒng)[J];科學(xué)通報;1997年10期

5 吳望名;Fuzzy蘊涵代數(shù)[J];模糊系統(tǒng)與數(shù)學(xué);1990年01期

6 裴道武;形式演繹系統(tǒng)L~*中的懔運算與演繹定理[J];模糊系統(tǒng)與數(shù)學(xué);2001年01期

7 王國俊;一類代數(shù)上的邏輯學(xué)(Ⅰ)[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);1997年01期

8 王國俊;一類代數(shù)上的邏輯學(xué)(Ⅱ)[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);1997年03期

9 楊曉斌,張文修;Lukasiewicz系統(tǒng)中的廣義重言式理論[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);1998年04期

10 裴道武,王國俊;一種新的模糊邏輯代數(shù)系統(tǒng)[J];西南交通大學(xué)學(xué)報;2000年05期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張興芳,孟廣武;模糊謂詞邏輯公式的有限和可數(shù)解釋真度理論[J];聊城師院學(xué)報(自然科學(xué)版);2004年04期

2 李駿,蘭倩,黎鎖平;Lukasiewicz三值命題邏輯中命題的真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2004年04期

3 王國俊,李璧鏡;Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J];中國科學(xué)E輯;2005年06期

4 李駿,黎鎖平,夏亞峰;Lukasiewicz n值命題邏輯中命題的真度理論[J];數(shù)學(xué)學(xué)報;2004年04期

5 陳世鴻,彭蓉,吳志遠(yuǎn);FLL語言的說明性語義與過程性語義[J];武漢大學(xué)學(xué)報(自然科學(xué)版);1999年03期

6 李駿,蘭倩,夏亞峰;標(biāo)準(zhǔn)序列邏輯系統(tǒng)S_3中命題的真度值之集在[0,1]上的分布[J];甘肅工業(yè)大學(xué)學(xué)報;2003年04期

7 隋云云;;邏輯系統(tǒng)L_4~2中公式的相似度[J];濰坊學(xué)院學(xué)報;2011年04期

8 茹永梅;;兩個特殊邏輯系統(tǒng)G_n和Π_n中的相似度與偽距離[J];浙江工貿(mào)職業(yè)技術(shù)學(xué)院學(xué)報;2008年01期

9 李成允;張興芳;;L~*邏輯系統(tǒng)中的函數(shù)決定公式問題[J];山東大學(xué)學(xué)報(理學(xué)版);2009年12期

10 隋云云;;邏輯系統(tǒng)G_4~2中命題的真度[J];濰坊學(xué)院學(xué)報;2010年02期

相關(guān)會議論文 前10條

1 王廷明;吳偉民;;基于主范式的二值命題邏輯公式的真度[A];第一屆中國智能計算大會論文集[C];2007年

2 王茹;王國俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

3 王國俊;;數(shù)理邏輯中的數(shù)值化方法(英文)[A];第12屆全國模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會論文集[C];2004年

4 張鳳姣;張興芳;李成允;;G銉del邏輯中真值函數(shù)特征及真度分布[A];第八屆中國不確定系統(tǒng)年會論文集[C];2010年

5 劉壯虎;;復(fù)合謂詞的邏輯系統(tǒng)[A];2000年邏輯研究專輯[C];2000年

6 劉壯虎;;幾類性質(zhì)詞的邏輯特征[A];第二屆中國南北哲學(xué)論壇暨“哲學(xué)的當(dāng)代意義”學(xué)術(shù)研討會論文集[C];2005年

7 李娜;;我講《數(shù)理邏輯》課程的方法[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年

8 陳勇;戴先中;孟正大;;多移動機(jī)器人可重構(gòu)物流系統(tǒng)建模方法[A];2005全國自動化新技術(shù)學(xué)術(shù)交流會論文集（三）[C];2005年

9 郭曙綸;陸汝占;陳玉泉;高峰;;論動詞的邏輯論元[A];第三屆全國語言文字應(yīng)用學(xué)術(shù)研討會論文集[C];2004年

10 陳其樓;潘正華;;謂詞邏輯中有關(guān)函數(shù)及其部分性質(zhì)的形式描述[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會議論文集[C];2008年

相關(guān)重要報紙文章 前10條

1 本報記者 鄧小敏 特約記者 特約記者 文火玉;在市區(qū)有限解除煙花爆竹燃放禁令[N];韶關(guān)日報;2005年

2 王蘇伊 王立嘉;想在北京買假名牌難了[N];市場報;2005年

3 馬根喜;歐盟有限解除活禽進(jìn)口禁令[N];國際商報;2007年

4 小馬;走近LCD[N];中國電腦教育報;2002年

5 晚心;黑龍江將率先推出中醫(yī)藥發(fā)展條例[N];中國高新技術(shù)產(chǎn)業(yè)導(dǎo)報;2008年

6 金娜;皮裝選購有訣竅[N];大眾科技報;2000年

7 $$點評嘉賓 首都經(jīng)貿(mào)大學(xué)經(jīng)濟(jì)研究所教授 $$吳少平 北大經(jīng)濟(jì)系教授 鐘偉 $$本版采寫 劉凌林;利潤水分怎么擠？[N];中國企業(yè)報;2001年

8 吳挺;進(jìn)軍專業(yè)繪圖市場[N];計算機(jī)世界;2003年

9 馬國川;國企改制應(yīng)該法律先行[N];中國經(jīng)濟(jì)時報;2006年

10 馬國川;國企MBO解禁應(yīng)該法律先行[N];經(jīng)理日報;2006年

相關(guān)博士學(xué)位論文 前10條

1 李益發(fā);密碼協(xié)議安全性分析中的邏輯化方法——一種新的BAN類邏輯[D];解放軍信息工程大學(xué);2001年

2 王慶平;邏輯度量空間中的仿射變換和幾類特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年

3 韓邦合;賦值代數(shù)分裂算法與隱性半環(huán)賦值研究[D];陜西師范大學(xué);2011年

4 張繼華;科學(xué)探究推理研究[D];西南大學(xué);2012年

5 王谷亮;DNA聚合酶β在烷化劑MNNG引起的非定標(biāo)性突變中的作用[D];浙江大學(xué);2002年

6 陳書義;面向融合的移動通信網(wǎng)絡(luò)安全關(guān)鍵技術(shù)研究[D];東北大學(xué);2009年

7 馬麗娜;模糊推理方法及知識推理的計量化研究[D];陜西師范大學(xué);2011年

8 石振國;資源網(wǎng)絡(luò)的精化學(xué)習(xí)及應(yīng)用研究[D];上海大學(xué);2011年

9 彭君;領(lǐng)域軟件開發(fā)中體系結(jié)構(gòu)元模型及模型轉(zhuǎn)換方法研究[D];吉林大學(xué);2010年

10 聶大海;語言指稱的同一性與必然性[D];吉林大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 高香妮;命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D];陜西師范大學(xué);2010年

2 李海亞;n值SMTL系統(tǒng)中命題的∑-（[α，，β]-真度）理論[D];蘭州理工大學(xué);2012年

3 謝晶晶;L_n系統(tǒng)和L_n*系統(tǒng)中的真度理論[D];陜西師范大學(xué);2012年

4 崔艷麗;R_0代數(shù)的簡化以及相對真度的相關(guān)性質(zhì)研究[D];陜西師范大學(xué);2010年

5 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學(xué);2002年

6 任鵬飛;命題邏輯公式集上的相似度、偽距離與近似推理[D];西北大學(xué);2008年

7 茹永梅;經(jīng)典邏輯系統(tǒng)（？）中的MT問題及公式的真度理論[D];陜西師范大學(xué);2006年

8 高菲菲;多值命題邏輯中若干邏輯理論的拓?fù)淇坍媅D];陜西師范大學(xué);2008年

9 任燕;命題集的相容性、根及發(fā)散性[D];陜西師范大學(xué);2004年

10 張瓊;BL_△~*形式系統(tǒng)與NM（?）形式系統(tǒng)的研究[D];陜西師范大學(xué);2010年

本文編號：1628043