【摘要】：本文以公式真度概念為基礎,給出了二值命題邏輯系統(tǒng)中公式由理論邏輯推出的有效度概念及計算方法,討論了在基本邏輯運算下理論的有效結論問題以及同一理論的結論的相似問題。
[Abstract]:Based on the concept of true degree of formula, this paper gives the concept of validity and calculation method of formula derived from theoretical logic in binary propositional logic system. In this paper, we discuss the efficient conclusion of the theory under the basic logic operation and the similarity problem of the conclusion of the same theory.
【作者單位】： 青島大學;
【分類號】：O141.1

【相似文獻】

相關期刊論文 前10條

1 王廷明;;有限理論結論基于根的余式和結論集的表示[J];青島大學學報(自然科學版);2011年02期

2 李啟建;;淺談高職離散數(shù)學的教法體會[J];出國與就業(yè)(就業(yè)版);2011年12期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關會議論文 前2條

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

2 梁丹然;;加入最優(yōu)動作選擇規(guī)則的擴展的圖規(guī)劃[A];科技、工程與經(jīng)濟社會協(xié)調發(fā)展——中國科協(xié)第五屆青年學術年會論文集[C];2004年

相關碩士學位論文 前5條

1 王禮萍;理想的Groebner基與特征列[D];吉林大學;2008年

2 孫焱平;模糊邏輯中蘊涵算子的構造[D];南昌大學;2010年

3 肖華;DPLL到（1，，1）-消解的轉換及其復雜性分析[D];貴州大學;2006年

4 姚雷博;MAX～+（2）公式改名的復雜性[D];貴州大學;2007年

5 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學;2005年

本文編號：2379559