【摘要】：本文定義了命題邏輯的所有合式公式組成的集合上的一個(gè)偏序關(guān)系,從而得到一個(gè)偏序集,然后在這個(gè)偏序集上討論了與中關(guān)于合式公式結(jié)構(gòu)的歸納法等價(jià)的幾個(gè)條件。
[Abstract]:In this paper, we define a partial ordering relation on the set of all the compound formulas of propositional logic, and then obtain a partial ordered set. Then we discuss some conditions of equivalence with the inductive method about the structure of the compound formula in the middle.
【作者單位】： 桂林電子科技大學(xué)數(shù)學(xué)與計(jì)算科學(xué)學(xué)院
【分類號】：B812

【共引文獻(xiàn)】

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

1 王國俊;;計(jì)量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報(bào);2006年02期

2 劉蔚萍,賈武;布爾元在軟代數(shù)中的應(yīng)用[J];湖北工學(xué)院學(xué)報(bào);1997年04期

3 姚衛(wèi),路玲霞,李生剛;內(nèi)部算子與閉包算子的若干性質(zhì)[J];河北師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年03期

4 路玲霞,姚衛(wèi),李生剛;內(nèi)部算子及閉包算子與伴隨的一些關(guān)系[J];河北師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年05期

5 姜保慶;李建;徐揚(yáng);;布爾關(guān)聯(lián)規(guī)則集的結(jié)構(gòu)[J];河南大學(xué)學(xué)報(bào)(自然科學(xué)版);2006年01期

6 王建平;格H蘊(yùn)涵代數(shù)在分子集上的表現(xiàn)[J];河南大學(xué)學(xué)報(bào)(自然科學(xué)版);1996年03期

7 胡長流;關(guān)于偏序集基數(shù)冪的半模性的若干反例[J];河南大學(xué)學(xué)報(bào)(自然科學(xué)版);1996年04期

8 黃菀蓉,宋振明;格蘊(yùn)涵代數(shù)與雙格半群[J];河南大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年02期

9 胡長流;I-環(huán)及其矩陣環(huán)[J];河南大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年03期

10 馬學(xué)文,羅從文;L-Fuzzy集分解定理[J];模糊系統(tǒng)與數(shù)學(xué);2001年01期

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

1 趙光峰;格蘊(yùn)涵代數(shù)與圖的升分解問題的研究[D];西南交通大學(xué);2002年

2 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動推理方法的研究[D];西南交通大學(xué);2002年

3 秦昆;基于形式概念分析的圖像數(shù)據(jù)挖掘研究[D];武漢大學(xué);2004年

4 孟丹;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)的歸結(jié)自動推理研究[D];西南交通大學(xué);2004年

5 陳樹偉;基于格蘊(yùn)涵代數(shù)的格值一階邏輯L_（vfl）中的不確定性推理研究[D];西南交通大學(xué);2006年

6 郝光;動態(tài)OD矩陣推算模型及算法研究[D];西南交通大學(xué);2007年

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

1 盧林;樹上隨機(jī)場的若干極限性質(zhì)[D];河北工業(yè)大學(xué);2002年

2 張可銘;L-拓?fù)淇臻g的完全正規(guī)分離性和L-Fuzzy代數(shù)中若干結(jié)構(gòu)的研究[D];首都師范大學(xué);2003年

3 張穎;利用有限域上n階冪等陣構(gòu)造幾何格[D];東北師范大學(xué);2003年

4 張花榮;代數(shù)系統(tǒng)的可嵌入性[D];陜西師范大學(xué);2003年

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

6 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學(xué);2004年

7 郝光;模糊多目標(biāo)格序決策及對稱矩陣對策[D];西南交通大學(xué);2004年

8 王瓊;基于剩余蘊(yùn)涵算子的三Ⅰ方法的研究[D];西南交通大學(xué);2004年

9 張千宏;基于區(qū)間值模糊集的三Ⅰ推理算法研究[D];西南交通大學(xué);2004年

10 徐克龍;基于格的多目標(biāo)決策理論研究[D];西南交通大學(xué);2004年

【相似文獻(xiàn)】

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

1 吳志雄;;不精確數(shù)據(jù)的相似度計(jì)算[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會議論文集[C];2008年

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

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

2 劉匯洋;若干廣義t-模及相關(guān)模糊邏輯系統(tǒng)[D];寧波大學(xué);2010年

，

本文編號：2258156