概率逻辑学基本定理的推广.pdf

第7期 电 子 学 报 V01．35No．7 2007年7月 ACrA眦C1RONICASINICA July2007 概率逻辑学基本定理的推广 王国俊1，一，惠小静1，3 (1．陕西师范大学数学研究所，陕西西安710062；2．西安交通大学基础科学研究中心， 陕西西安710049；3．延安大学数学与计算机科学学院，陕两延安716000) 摘要： 通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明，并进一步通过引入自 然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式，改进了对推理结论的不可靠度上界的估计．然后 将概率逻辑学的基本方法引入计量逻辑学，得出了带参数；的有限逻辑理论相容度概念，是参相容度的推广 关键词： 不可靠度；生成状态集；生成概率；自然合并概率；计量逻辑学；五一相容度 中图分类号：0142 文献标识码： A 文章编号：0372．2112(2007)07—1333—08 GeneralizationofFundamentalTheoremofProbability Logic WANG HUI Guo_junl,2Xiao—jin91，3 (1．Institute Normal ofMathematics，ShaaaxiUniversity，船’∞，Shaanx／710062，Ch／na； 2．Research CenterforScience，Xi’mJiaotongUniversity，Xi’m，Shaanx／710049，Ch／na； and Science，Yan’an 716000，China) 3．CollegeofMathematicsComputer University，Yan’∞，Shaanxi the of statesset a anddirect ofthe Abstract： and Byintroducingconceptsgenerating generatingprobabilitysimple proof fundamentaltheoremof is the of thefunda— logic merged probabilityproposed．Next，byintroducingconceptnaturallyprobability the fmite mentaltheoremhasbeen extends of theo— presentpaper conceptof艿一consistencydegree logic generalized．Moreover．the destobethe of andtheref