本文選題：謂詞邏輯 + 邏輯系統(tǒng)��； 參考：《北京航空航天大學(xué)學(xué)報》2000年04期

【摘要】：清楚地敘述了自然推理系統(tǒng)中的存在量詞消去規(guī)則和全稱量詞引入規(guī)則滿足的條件 ,而這些條件在許多離散數(shù)學(xué)教科書中敘述得相當(dāng)含糊 .與某些教科書中存在量詞消去規(guī)則只能用于無自由變元的公式不同 ,按照本文給出的條件 ,存在量詞消去規(guī)則也可以用于有自由變元的公式 ,因而增強(qiáng)了系統(tǒng)的推理能力 .引進(jìn)了解釋之間和賦值之間關(guān)于公式集的等價性 ,從而證明了系統(tǒng)是可靠的 ,即一個證明中的結(jié)論是其前提的邏輯推論
[Abstract]:The existence quantifier elimination rules in natural inference system and the conditions satisfied by introducing rules into full name quantifiers are clearly described. These conditions are rather vague in many discrete mathematics textbooks. Different from the formula in some textbooks in which quantifier elimination rules can only be used in the absence of free arguments, according to the conditions given in this paper, the existential quantifier elimination rules can also be used for formulas with free variables. Therefore, the reasoning ability of the system is enhanced. In this paper, we introduce the equivalence of the set of formulas between explanations and assignments, and prove that the system is reliable, that is, the logical inference that the conclusion in a proof is its premise.
【作者單位】： 北京航空航天大學(xué)計算機(jī)科學(xué)與工程系
【分類號】：O141

【相似文獻(xiàn)】

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

1 周廣田;楊豐;;離散數(shù)學(xué)教學(xué)實踐的探索[J];信息技術(shù);2010年07期

2 譚維奇;;關(guān)于《離散數(shù)學(xué)》教材內(nèi)容的對比分析與思考[J];安慶師范學(xué)院學(xué)報(自然科學(xué)版);2007年04期

3 黃震;;《離散數(shù)學(xué)》課程在計算機(jī)學(xué)科中的作用及其應(yīng)用[J];赤峰學(xué)院學(xué)報(自然科學(xué)版);2011年05期

4 蘇麗紅;;淺談多媒體教學(xué)在《離散數(shù)學(xué)》教學(xué)中的優(yōu)勢[J];科技咨詢導(dǎo)報;2007年07期

5 車飛;;離散數(shù)學(xué)與人工智能的關(guān)系[J];吉林教育;2008年01期

6 潘冠宇;;《離散數(shù)學(xué)》課程教學(xué)探討[J];數(shù)學(xué)學(xué)習(xí)與研究;2009年13期

7 趙鵬起;曹萬昌;李曉霞;;淺談《離散數(shù)學(xué)》教學(xué)改革與創(chuàng)新[J];中國科教創(chuàng)新導(dǎo)刊;2011年10期

8 吳陳;模塊覆蓋與相容聚類的關(guān)系[J];華東船舶工業(yè)學(xué)院學(xué)報;1995年01期

9 傅彥;;重視精品課程建設(shè),培養(yǎng)高素質(zhì)人才——國家精品課程“離散數(shù)學(xué)”建設(shè)經(jīng)驗談[J];計算機(jī)教育;2008年09期

10 鄧春燕;黃星壽;任賢;;計算機(jī)專業(yè)的離散數(shù)學(xué)教學(xué)探討[J];電腦知識與技術(shù);2010年10期

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

1 黃賢珍;張春元;高峰修;;“離散數(shù)學(xué)”課程教學(xué)改革探索與實踐[A];中國電子教育學(xué)會高教分會2010年論文集[C];2010年

2 馮平;馬智剛;;離散數(shù)學(xué)在電氣與信息工程中的應(yīng)用[A];電工理論與新技術(shù)2004年學(xué)術(shù)研討會論文集[C];2004年

3 劉增良;;知識的因素表示[A];中國科學(xué)技術(shù)協(xié)會首屆青年學(xué)術(shù)年會論文集（工科分冊·上冊）[C];1992年

4 張冠軍;姜豪;;離散數(shù)學(xué)課程中的群論教學(xué)經(jīng)驗點滴[A];數(shù)學(xué)·物理·力學(xué)·高新技術(shù)研究進(jìn)展——1998（7）卷——中國數(shù)學(xué)力學(xué)物理學(xué)高新技術(shù)交叉研究會第7屆學(xué)術(shù)研討會論文集[C];1998年

5 任偉;趙俊閣;王志鋒;;變抽象為直觀:“形式語言與自動機(jī)”教學(xué)中的圖論方法[A];2009年中國高校通信類院系學(xué)術(shù)研討會論文集[C];2009年

6 章忠志;周水庚;;網(wǎng)絡(luò)建模[A];第五屆全國復(fù)雜網(wǎng)絡(luò)學(xué)術(shù)會議論文（摘要）匯集[C];2009年

7 于筑國;鄭淑麗;劉欣;;關(guān)于《離散數(shù)學(xué)》知識點練習(xí)測試器的設(shè)計思想(英文)[A];全國第21屆計算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會議（CACIS·2010）暨全國第2屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會議論文集[C];2010年

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

1 葛海峽;我國首家離散數(shù)學(xué)與理論計算機(jī)科學(xué)研究中心在福大成立[N];福建科技報;2002年

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

1 趙永強(qiáng);圖的限制染色及其相關(guān)問題的研究[D];河北師范大學(xué);2005年

2 王坤;正交陣列的嵌套問題研究[D];蘇州大學(xué);2013年

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

1 �，幹�;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

2 秦曉燕;關(guān)于PI證明的若干注記以及邏輯公式的真度理論[D];陜西師范大學(xué);2005年

3 孫舒瑩;五圈對輪的Ramsey數(shù)[D];南京大學(xué);2012年

4 朱俊杰;超圖的奇圈橫貫和偶邊著色[D];新疆師范大學(xué);2008年

5 趙燕;組合數(shù)學(xué)中的Hopf方法[D];曲阜師范大學(xué);2005年

6 林啟忠;超圖中的C-圈[D];新疆師范大學(xué);2006年

7 唐宇軒;超圖的譜[D];新疆師范大學(xué);2007年

8 王旭培;幾類超圖譜的研究[D];新疆師范大學(xué);2008年

9 李士榮;關(guān)于Jes'manowicz猜想[D];重慶師范大學(xué);2008年

10 凌煥章;幾類標(biāo)號圖問題的研究[D];哈爾濱工程大學(xué);2008年

，

本文編號：1957915